Language.Haskell.Generate.Expression

Documentation

newtype Expression t

Constructors

Expression

Fields

runExpression :: Exp

Instances

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