lambda-calculator-3.1.1.0: A lambda calculus interpreter
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Lambda.Untyped.Expression

Documentation

data LambdaExpr name Source #

Constructors

Var name

Variables

App (LambdaExpr name) (LambdaExpr name)

Application

Abs name (LambdaExpr name)

Abstractions

Let name (LambdaExpr name)

Let bindings

Instances

Instances details
Show name => Show (LambdaExpr name) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Lambda.Untyped.Expression

Methods

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

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

Pretty name => Pretty (LambdaExpr name) Source # 
Instance details

Defined in Language.Lambda.Untyped.Expression

Methods

pretty :: LambdaExpr name -> Doc ann #

prettyList :: [LambdaExpr name] -> Doc ann #