Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Lib
Documentation
type Identifier = String Source #
newtype ErrIdentifier Source #
Constructors
ErrIdentifier String |
Instances
Eq ErrIdentifier Source # | |
Defined in Lib Methods (==) :: ErrIdentifier -> ErrIdentifier -> Bool # (/=) :: ErrIdentifier -> ErrIdentifier -> Bool # | |
Show ErrIdentifier Source # | |
Defined in Lib Methods showsPrec :: Int -> ErrIdentifier -> ShowS # show :: ErrIdentifier -> String # showList :: [ErrIdentifier] -> ShowS # |
type Env a = [(Identifier, a)] Source #
Constructors
Lit String | |
Term Identifier | |
Abs Identifier Expr | |
App Expr Expr |
Constructors
UndeclaredVar String | |
NonFunctionApp String |
Constructors
ShadowVar ErrIdentifier Expr |
checkShadowing :: [Identifier] -> Expr -> [ShadowVar] Source #
checkUnused :: Expr -> [Identifier] Source #
mergeUnused :: Eq a => [a] -> [a] -> [a] -> [a] Source #
isFreeVarOf :: Identifier -> Expr -> Bool Source #