Module

Math.Interval.Internal

Package: purescript-intervals
Repository: colehaus/purescript-intervals

#Empty Source

data Empty

Constructors

MkEmpty

Instances

#NonEmpty Source

newtype NonEmpty n

Constructors

MkNonEmpty { lower :: Lower n, upper :: Upper n }

Instances

(Generic n) => Generic (NonEmpty n)
(Eq n) => Eq (NonEmpty n)
(Ord n) => Ord (NonEmpty n)
(Generic n) => Show (NonEmpty n)
(Ord n) => JoinSemilattice (NonEmpty n)

#Interval Source

newtype Interval n

Constructors

MkInterval (Either Empty (NonEmpty n))

Instances

(Generic n) => Generic (Interval n)
Newtype (Interval n) _
(Eq n) => Eq (Interval n)
(Ord n) => Ord (Interval n)
(Generic n) => Show (Interval n)
(Ord n) => JoinSemilattice (Interval n)
(Ord n) => BoundedJoinSemilattice (Interval n)
(Ord n) => MeetSemilattice (Interval n)
(Ord n) => BoundedMeetSemilattice (Interval n)
(Ord n) => Lattice (Interval n)
(Ord n) => BoundedLattice (Interval n)

Modules: Math.Interval; Math.Interval.Bound; Math.Interval.Bound.Internal; Math.Interval.Internal; Math.Interval.Openness