Safe Haskell	Safe
Language	Haskell98

Data.Range.Algebra

Contents

Synopsis

Documentation

Instances

Functor RangeExpr #
Methods fmap :: (a -> b) -> RangeExpr a -> RangeExpr b # (<$) :: a -> RangeExpr b -> RangeExpr a #
Eq a => Eq (RangeExpr a) #
Methods (==) :: RangeExpr a -> RangeExpr a -> Bool # (/=) :: RangeExpr a -> RangeExpr a -> Bool #
Ord a => Ord (RangeExpr a) #
Methods compare :: RangeExpr a -> RangeExpr a -> Ordering # (<) :: RangeExpr a -> RangeExpr a -> Bool # (<=) :: RangeExpr a -> RangeExpr a -> Bool # (>) :: RangeExpr a -> RangeExpr a -> Bool # (>=) :: RangeExpr a -> RangeExpr a -> Bool # max :: RangeExpr a -> RangeExpr a -> RangeExpr a # min :: RangeExpr a -> RangeExpr a -> RangeExpr a #
Show a => Show (RangeExpr a) #
Methods showsPrec :: Int -> RangeExpr a -> ShowS # show :: RangeExpr a -> String # showList :: [RangeExpr a] -> ShowS #

Operations

type Algebra f a = f a -> a #

class RangeAlgebra a where #

Minimal complete definition

Methods

Instances

(Ord a, Enum a) => RangeAlgebra [Range a] #
Methods eval :: Algebra RangeExpr [Range a] #
RangeAlgebra (a -> Bool) #
Methods eval :: Algebra RangeExpr (a -> Bool) #