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.2.1-C1YknkV63pgCyck4MB6Ci9" '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.