| 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) # | |
Defined in Data.Expression Methods fmap :: (a0 -> b) -> Expression a g f a0 -> Expression a g f b # (<$) :: a0 -> Expression a g f b -> Expression a g f a0 # | |
| (Applicative f, Functor g) => Applicative (Expression a g f) # | |
Defined in Data.Expression Methods pure :: a0 -> Expression a g f a0 # (<*>) :: Expression a g f (a0 -> b) -> Expression a g f a0 -> Expression a g f b # liftA2 :: (a0 -> b -> c) -> Expression a g f a0 -> Expression a g f b -> Expression a g f c # (*>) :: Expression a g f a0 -> Expression a g f b -> Expression a g f b # (<*) :: Expression a g f a0 -> Expression a g f b -> Expression a g f a0 # | |
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) #