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

data ParseError :: *

The abstract data type ParseError represents parse errors. It provides the source position (SourcePos) of the error and a list of error messages (Message). A ParseError can be returned by the function parse. ParseError is an instance of the Show and Eq classes.

Instances

Eq ParseError

Methods

(==) :: ParseError -> ParseError -> Bool

(/=) :: ParseError -> ParseError -> Bool

Show ParseError

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

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 n => PrettyPrint (Ty n)

Methods

prettyPrint :: Ty n -> String

PrettyPrint a => PrettyPrint (LambdaExpr a)

Methods

prettyPrint :: LambdaExpr a -> String

(PrettyPrint n, PrettyPrint t) => PrettyPrint (SystemFExpr n t)

Methods

prettyPrint :: SystemFExpr n t -> String

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

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

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

uniques :: [String]