countable-0.2: Countable, Searchable, Finite, Empty classes

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Expression

Documentation

data Expression a b f r Source

Constructors

ClosedExpression (f r) 
OpenExpression a (Expression a b f (b -> r)) 

Instances

expressionSym :: a -> f (b -> r) -> Expression a b f r Source

runExpression :: Functor f => Expression a b f r -> f ((a -> b) -> r) Source