Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Language.Haskell.Generate.Expression
Documentation
newtype Expression t Source
Constructors
Expression | |
Fields
|
Instances
GenExp (Expression t) Source | |
GenExp (ExpG a) Source | |
GenExp x => GenExp (ExpG a -> x) Source | |
type GenExpType (Expression t) = t Source | |
type GenExpType (ExpG a) = a Source | |
type GenExpType (ExpG a -> x) = a -> GenExpType x Source |
app :: Expression (a -> b) -> Expression a -> Expression b Source