Data.Expression

Documentation

data Expression a g f r

Constructors

ClosedExpression (f r)

OpenExpression a (Expression a g f (g r))

Instances

(Functor f, Functor g) => Functor (Expression a g f)

Methods

fmap :: (a -> b) -> Expression a g f a -> Expression a g f b

(<$) :: a -> Expression a g f b -> Expression a g f a

(Applicative f, Functor g) => Applicative (Expression a g f)

Methods

pure :: a -> Expression a g f a

(<*>) :: Expression a g f (a -> b) -> Expression a g f a -> Expression a g f b

(*>) :: Expression a g f a -> Expression a g f b -> Expression a g f b

(<*) :: Expression a g f a -> Expression a g f b -> Expression a g f a

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

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

runMatchExpression :: Functor f => Expression a ((,) b) f r -> f ([(a, b)], r)