Language.Lambda

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

class PrettyPrint a where

Minimal complete definition

prettyPrint

Methods

prettyPrint :: a -> String

Instances

PrettyPrint String

Methods

prettyPrint :: String -> String

PrettyPrint s => PrettyPrint (PDoc s)

Methods

prettyPrint :: PDoc s -> String

PrettyPrint a => PrettyPrint (LambdaExpr a)

Methods

prettyPrint :: LambdaExpr a -> String

evalExpr :: Eq n => [n] -> LambdaExpr n -> LambdaExpr n

evalString :: String -> Either ParseError (LambdaExpr String)

parseExpr :: String -> Either ParseError (LambdaExpr String)

uniques :: [String]