| 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