Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
newtype Expression t Source
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