Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data LambdaExpr name Source #
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) Source # | |
Defined in Language.Lambda.Untyped.Expression showsPrec :: Int -> LambdaExpr name -> ShowS # show :: LambdaExpr name -> String # showList :: [LambdaExpr name] -> ShowS # | |
Eq name => Eq (LambdaExpr name) Source # | |
Defined in Language.Lambda.Untyped.Expression (==) :: LambdaExpr name -> LambdaExpr name -> Bool # (/=) :: LambdaExpr name -> LambdaExpr name -> Bool # | |
Pretty name => Pretty (LambdaExpr name) Source # | |
Defined in Language.Lambda.Untyped.Expression pretty :: LambdaExpr name -> Doc ann # prettyList :: [LambdaExpr name] -> Doc ann # |
prettyPrint :: Pretty name => LambdaExpr name -> Text Source #