Language.Lambda.Untyped.Expression

Documentation

data LambdaExpr name

Constructors

Var name

Variables

App (LambdaExpr name) (LambdaExpr name)

Application

Abs name (LambdaExpr name)

Abstractions

Let name (LambdaExpr name)

Let bindings

Instances

Show name => Show (LambdaExpr name)

Defined in Language.Lambda.Untyped.Expression

Methods

showsPrec :: Int -> LambdaExpr name -> ShowS

show :: LambdaExpr name -> String

showList :: [LambdaExpr name] -> ShowS

Eq name => Eq (LambdaExpr name)

Defined in Language.Lambda.Untyped.Expression

Methods

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

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

Pretty name => Pretty (LambdaExpr name)

Defined in Language.Lambda.Untyped.Expression

Methods

pretty :: LambdaExpr name -> Doc ann

prettyList :: [LambdaExpr name] -> Doc ann

lambda :: Char

prettyPrint :: Pretty name => LambdaExpr name -> Text