From e709a4e393f628b4660080e9185d67578cef4ba9 Mon Sep 17 00:00:00 2001 From: Curtis Vogt Date: Mon, 22 Feb 2021 09:40:20 -0600 Subject: [PATCH] fixup! Document LefEndpoint and RightEndpoint --- src/docstrings.jl | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 deletions(-) diff --git a/src/docstrings.jl b/src/docstrings.jl index d53f3c37..fa9af823 100644 --- a/src/docstrings.jl +++ b/src/docstrings.jl @@ -56,8 +56,14 @@ Intervals.Endpoint{Float64,Intervals.Direction{:Left}(),Closed}(0.0) julia> LeftEndpoint{Closed}(1.0) Intervals.Endpoint{Float64,Intervals.Direction{:Left}(),Closed}(1.0) -julia> LeftEndpoint{Integer, Closed}(1.0) -Intervals.Endpoint{Integer,Intervals.Direction{:Left}(),Closed}(1) +julia> LeftEndpoint{Closed}(1) < LeftEndpoint{Closed}(2) +true + +julia> LeftEndpoint{Closed}(0) < LeftEndpoint{Open}(0) +true + +julia> LeftEndpoint{Open}(0) <= LeftEndpoint{Closed}(0) +false ``` See also: [`RightEndpoint`](@ref) @@ -79,8 +85,14 @@ Intervals.Endpoint{Float64,Intervals.Direction{:Right}(),Closed}(1.0) julia> RightEndpoint{Closed}(1.0) Intervals.Endpoint{Float64,Intervals.Direction{:Right}(),Closed}(1.0) -julia> RightEndpoint{Integer, Closed}(1.0) -Intervals.Endpoint{Integer,Intervals.Direction{:Right}(),Closed}(1) +julia> RightEndpoint{Closed}(1) < RightEndpoint{Closed}(2) +true + +julia> RightEndpoint{Open}(0) < RightEndpoint{Closed}(0) +true + +julia> RightEndpoint{Closed}(0) <= RightEndpoint{Open}(0) +false ``` See also: [`LeftEndpoint`](@ref)