Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Lambda.Untyped.Expression

Documentation

Constructors

Var name	Variables
App (LambdaExpr name) (LambdaExpr name)	Application
Abs name (LambdaExpr name)	Abstractions
Let name (LambdaExpr name)	Let bindings

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 #