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

Safe HaskellSafe
LanguageHaskell2010

Data.Expression

Documentation

data Expression a g f r Source #

Constructors

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

Instances

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

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) Source # 

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 Source #

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

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