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