Data.Range.Algebra

Internally the range library converts your ranges into an internal efficient representation of multiple ranges. When you do multiple unions and intersections in a row converting to and from that data structure becomes extra work that is not required. To amortize those costs away the RangeExpr algebra exists. You can specify a tree of operations in advance and then evaluate them all at once. This is not only useful for efficiency but for parsing too. Build up RangeExpr's whenever you wish to perform multiple operations in a row, and evaluate it in one step to be as efficient as possible.

Documentation

data RangeExpr a

Instances

Functor RangeExpr

Defined in Data.Range.Algebra.Internal

Methods

fmap :: (a -> b) -> RangeExpr a -> RangeExpr b

(<$) :: a -> RangeExpr b -> RangeExpr a

Eq a => Eq (RangeExpr a)

Defined in Data.Range.Algebra.Internal

Methods

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

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

Show a => Show (RangeExpr a)

Defined in Data.Range.Algebra.Internal

Methods

showsPrec :: Int -> RangeExpr a -> ShowS

show :: RangeExpr a -> String

showList :: [RangeExpr a] -> ShowS

Operations

const :: a -> RangeExpr a

Lifts the input value as a constant into an expression.

invert :: RangeExpr a -> RangeExpr a

Returns an expression that represents the inverse of the input expression.

union :: RangeExpr a -> RangeExpr a -> RangeExpr a

Returns an expression that represents the set union of the input expressions.

intersection :: RangeExpr a -> RangeExpr a -> RangeExpr a

Returns an expression that represents the set intersection of the input expressions.

difference :: RangeExpr a -> RangeExpr a -> RangeExpr a

Returns an expression that represents the set difference of the input expressions.

Evaluation

type Algebra f a = f a -> a

class RangeAlgebra a where

Represents the fact that there exists an algebra for the given representation of a range, so that a range expression of the same type can be evaluated, yielding that representation.

Minimal complete definition

eval

Methods

eval :: Algebra RangeExpr a

Instances

(Ord a, Enum a) => RangeAlgebra [Range a]

Multiple ranges represented by a list of disjoint ranges. Note that input ranges are allowed to overlap, but the output ranges are guaranteed to be disjoint.

Defined in Data.Range.Algebra

Methods

eval :: Algebra RangeExpr [Range a]

RangeAlgebra (a -> Bool)

Multiple ranges represented by a predicate function, indicating membership of a point in one of the ranges.

Defined in Data.Range.Algebra

Methods

eval :: Algebra RangeExpr (a -> Bool)