Safe Haskell	Trustworthy
Language	Haskell2010

Data.RangeSet.Internal.Types

Synopsis

data SRangeList
- = SRangeCons !E !E !SRangeList
- | SNil
data StrictMaybeE
- = SJust !E
- | SNothing
data RangeSet a
- = Fork !H !E !E !(RangeSet a) !(RangeSet a)
- | Tip
type H = Word8
type E = Int
size :: RangeSet a -> Int
height :: RangeSet a -> H
foldE :: (E -> E -> b -> b -> b) -> b -> RangeSet a -> b
absDiff :: H -> H -> H

Documentation

data SRangeList Source #

Constructors

SRangeCons !E !E !SRangeList
SNil

data StrictMaybeE Source #

Constructors

SJust !E
SNothing

data RangeSet a Source #

A Set type designed for types that are Enum as well as Ord. This allows the RangeSet to compress the data when it is contiguous, reducing memory-footprint and enabling otherwise impractical operations like complement for Bounded types.

Since: 0.0.1.0

Constructors

Fork !H !E !E !(RangeSet a) !(RangeSet a)
Tip

Instances

Instances details

Show (RangeSet a) Source #
Instance details Defined in Data.RangeSet.Internal.Types Methods showsPrec :: Int -> RangeSet a -> ShowS # show :: RangeSet a -> String # showList :: [RangeSet a] -> ShowS #
Eq (RangeSet a) Source #
Instance details Defined in Data.RangeSet.Internal.Types Methods (==) :: RangeSet a -> RangeSet a -> Bool # (/=) :: RangeSet a -> RangeSet a -> Bool #

type H = Word8 Source #

type E = Int Source #

size :: RangeSet a -> Int Source #

Return the number of elements in the set.

Since: 0.0.1.0

height :: RangeSet a -> H Source #

foldE Source #

Arguments

:: (E -> E -> b -> b -> b)	Function that combines the lower and upper values (inclusive) for a range with the folded left- and right-subtrees.
-> b	Value to be substituted at the leaves.
-> RangeSet a
-> b

absDiff :: H -> H -> H Source #