Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype Expression t Source
Num t => Num (ExpG t) | |
GenExp (Expression t) | |
GenExp (ExpG a) | |
GenExp x => GenExp (ExpG a -> x) | |
type GenExpType (Expression t) = t | |
type GenExpType (ExpG a) = a | |
type GenExpType (ExpG a -> x) = a -> GenExpType x |
app :: Expression (a -> b) -> Expression a -> Expression b Source