Safe Haskell	Safe
Language	Haskell2010

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 # liftA2 :: (a -> b -> c) -> Expression a g f a -> Expression a g f b -> Expression a g f c # (>) :: 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) #