Documentation

data Variable

data Attributes

type Variables = Signature Int Attributes

type VariableMonad a = SignatureMonad Int Attributes a

defaultAttribs :: String -> Attributes

emptyVariables :: Variables

variable :: String -> Variables -> Maybe Variable

isVariable :: String -> Variables -> Bool

fresh :: String -> VariableMonad Variable

maybeFresh :: String -> VariableMonad Variable

canonical :: Int -> Variable

canonVarName :: Int -> String

lookup :: Variable -> Variables -> Maybe Attributes

variableName :: Variable -> Variables -> String