Data.Limit

Documentation

data Limit a

Constructors

Bounded a

Unbounded

Instances

Monad Limit

Functor Limit

Eq a => Eq (Limit a)

Ord a => Ord (Limit a)

Read a => Read (Limit a)

Show a => Show (Limit a)

isBounded :: Limit a -> Bool

isUnbounded :: Limit a -> Bool

fromBounded :: Limit a -> a

fromLimit :: a -> Limit a -> a