Language.Lambda.Expression

Documentation

data LambdaExpr name

Constructors

Var name

App (LambdaExpr name) (LambdaExpr name)

Abs name (LambdaExpr name)

Instances

Eq name => Eq (LambdaExpr name)

Methods

(==) :: LambdaExpr name -> LambdaExpr name -> Bool

(/=) :: LambdaExpr name -> LambdaExpr name -> Bool

Show name => Show (LambdaExpr name)

Methods

showsPrec :: Int -> LambdaExpr name -> ShowS

show :: LambdaExpr name -> String

showList :: [LambdaExpr name] -> ShowS

PrettyPrint a => PrettyPrint (LambdaExpr a)

Methods

prettyPrint :: LambdaExpr a -> String

pprExpr :: PrettyPrint n => PDoc String -> LambdaExpr n -> PDoc String

pprAbs :: PrettyPrint n => PDoc String -> n -> LambdaExpr n -> PDoc String

pprApp :: PrettyPrint n => PDoc String -> LambdaExpr n -> LambdaExpr n -> PDoc String

uncurry :: n -> LambdaExpr n -> ([n], LambdaExpr n)