closed-0.2.0.2: Integers bounded by a closed interval

Index

addClosed.Internal, Closed
BoundsClosed.Internal, Closed
clampClosed.Internal, Closed
Closed 
1 (Type/Class)Closed.Internal, Closed
2 (Data Constructor)Closed.Internal
closedClosed.Internal, Closed
cmpClosed.Internal, Closed
EndpointClosed.Internal, Closed
equalsClosed.Internal, Closed
ExclusiveClosed.Internal, Closed
FiniteNatClosed.Internal, Closed
getClosedClosed.Internal, Closed
InclusiveClosed.Internal, Closed
isValidClosedClosed.Internal, Closed
lowerBoundClosed.Internal, Closed
multiplyClosed.Internal, Closed
natToClosedClosed.Internal, Closed
SingleClosed.Internal, Closed
strengthenLowerClosed.Internal, Closed
strengthenUpperClosed.Internal, Closed
subClosed.Internal, Closed
unrepresentableClosed.Internal
unsafeClosedClosed.Internal, Closed
upperBoundClosed.Internal, Closed
weakenLowerClosed.Internal, Closed
weakenUpperClosed.Internal, Closed