Documentation

type NAME = Token

type DECL = ([NAME], TYPE)

type SDECL = (NAME, TYPE)

data BASIC_SPEC

data BASIC_ITEM

data TYPE

data TERM

data FORMULA

type SYMB = NAME

data SYMB_ITEMS

data SYMB_MAP_ITEMS

data SYMB_OR_MAP

termRecForm :: TERM -> TERM

termFlatForm :: TERM -> (NAME, [TERM])

typeRecForm :: TYPE -> TYPE

typeFlatForm :: TYPE -> TYPE

formulaRecForm :: FORMULA -> FORMULA

formulaFlatForm :: FORMULA -> FORMULA

printNames :: [NAME] -> Doc

printDecls :: [DECL] -> Doc

getVarsFromDecls :: [DECL] -> [NAME]

getVarTypeFromDecls :: NAME -> [DECL] -> Maybe TYPE

compactDecls :: [DECL] -> [DECL]

expandDecls :: [DECL] -> [SDECL]

class Translatable a where

getNewName :: NAME -> Set NAME -> NAME

getFreeVars :: TYPE -> Set NAME