Data.Expression

Documentation

data Expression a b f r

Constructors

ClosedExpression (f r)

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

Instances

Functor f => Functor (Expression a b f)

Applicative f => Applicative (Expression a b f)

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

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