Data.RangeSet.Internal.Types

Documentation

data SRangeList

Constructors

SRangeCons !E !E !SRangeList

SNil

data StrictMaybeE

Constructors

SJust !E

SNothing

data RangeSet a

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

Show (RangeSet a)

Defined in Data.RangeSet.Internal.Types

Methods

showsPrec :: Int -> RangeSet a -> ShowS

show :: RangeSet a -> String

showList :: [RangeSet a] -> ShowS

Eq (RangeSet a)

Defined in Data.RangeSet.Internal.Types

Methods

(==) :: RangeSet a -> RangeSet a -> Bool

(/=) :: RangeSet a -> RangeSet a -> Bool

type H = Word8

type E = Int

size :: RangeSet a -> Int

Return the number of elements in the set.

Since: 0.0.1.0

height :: RangeSet a -> H

foldE

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