range-0.1.2.0: This has a bunch of code for specifying and managing ranges in your code.

Safe HaskellSafe
LanguageHaskell98

Data.Range.Algebra

Contents

Synopsis

Documentation

data RangeExpr a Source

Instances

Functor RangeExpr 
Eq a => Eq (RangeExpr a) 
Ord a => Ord (RangeExpr a) 
Show a => Show (RangeExpr a) 

Operations

const :: a -> RangeExpr a Source

invert :: RangeExpr a -> RangeExpr a Source

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

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

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

Evaluation

type Algebra f a = f a -> a Source

class RangeAlgebra a where Source

Methods

eval :: Algebra RangeExpr a Source

Instances

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