Lib

Documentation

type Identifier = String

newtype ErrIdentifier

Constructors

ErrIdentifier String

Instances

Eq ErrIdentifier

Defined in Lib

Methods

(==) :: ErrIdentifier -> ErrIdentifier -> Bool

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

Show ErrIdentifier

Defined in Lib

Methods

showsPrec :: Int -> ErrIdentifier -> ShowS

show :: ErrIdentifier -> String

showList :: [ErrIdentifier] -> ShowS

type Env a = [(Identifier, a)]

data Expr

Constructors

Lit String

Term Identifier

Abs Identifier Expr

App Expr Expr

Instances

Eq Expr

Defined in Lib

Methods

(==) :: Expr -> Expr -> Bool

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

Show Expr

Defined in Lib

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

data Value

Constructors

Value String

Closure Expr (Env Value) Identifier

Instances

Eq Value

Defined in Lib

Methods

(==) :: Value -> Value -> Bool

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

Show Value

Defined in Lib

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

data Error

Constructors

UndeclaredVar String

NonFunctionApp String

Instances

Eq Error

Defined in Lib

Methods

(==) :: Error -> Error -> Bool

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

Show Error

Defined in Lib

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

eval :: Env Value -> Expr -> Either Error Value

betaReduce :: Env Expr -> Expr -> Either Error Expr

data ShadowVar

Constructors

ShadowVar ErrIdentifier Expr

Instances

Eq ShadowVar

Defined in Lib

Methods

(==) :: ShadowVar -> ShadowVar -> Bool

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

Show ShadowVar

Defined in Lib

Methods

showsPrec :: Int -> ShadowVar -> ShowS

show :: ShadowVar -> String

showList :: [ShadowVar] -> ShowS

checkShadowing :: [Identifier] -> Expr -> [ShadowVar]

checkUnused :: Expr -> [Identifier]

mergeUnused :: Eq a => [a] -> [a] -> [a] -> [a]

etaReduce :: Expr -> Expr

isFreeVarOf :: Identifier -> Expr -> Bool

compile :: Expr -> Either Error String

compile' :: Expr -> Either Error String