HaskellWorks.Data.Segment.Strict

Documentation

data Segment k

A closed segment. The lower bound should be less than or equal to the higher bound.

Constructors

Segment

Fields

• low :: !k
• high :: !k

Instances

Monoid k => Measured k (Segment k)

Defined in HaskellWorks.Data.Segment.Strict

Methods

measure :: Segment k -> k

Eq k => Eq (Segment k)

Defined in HaskellWorks.Data.Segment.Strict

Methods

(==) :: Segment k -> Segment k -> Bool

(/=) :: Segment k -> Segment k -> Bool

Ord k => Ord (Segment k)

Defined in HaskellWorks.Data.Segment.Strict

Methods

compare :: Segment k -> Segment k -> Ordering

(<) :: Segment k -> Segment k -> Bool

(<=) :: Segment k -> Segment k -> Bool

(>) :: Segment k -> Segment k -> Bool

(>=) :: Segment k -> Segment k -> Bool

max :: Segment k -> Segment k -> Segment k

min :: Segment k -> Segment k -> Segment k

Show k => Show (Segment k)

Defined in HaskellWorks.Data.Segment.Strict

Methods

showsPrec :: Int -> Segment k -> ShowS

show :: Segment k -> String

showList :: [Segment k] -> ShowS

Generic (Segment k)

Defined in HaskellWorks.Data.Segment.Strict

Associated Types

type Rep (Segment k) :: Type -> Type

Methods

from :: Segment k -> Rep (Segment k) x

to :: Rep (Segment k) x -> Segment k

NFData k => NFData (Segment k)

Defined in HaskellWorks.Data.Segment.Strict

Methods

rnf :: Segment k -> ()

type Rep (Segment k)

Defined in HaskellWorks.Data.Segment.Strict

type Rep (Segment k) = D1 (MetaData "Segment" "HaskellWorks.Data.Segment.Strict" "hw-fingertree-strict-0.1.1.3-EgbVhr6i12l2vYC8XWLWwK" False) (C1 (MetaCons "Segment" PrefixI True) (S1 (MetaSel (Just "low") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 k) :*: S1 (MetaSel (Just "high") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 k)))

point :: k -> Segment k

A segment in which the lower and upper bounds are equal.