Documentation

type PrDecl = TiDecl PNT

aweLits :: [String]

mthEq :: [String]

removeEL :: [[a]] -> [[a]]

extAxType :: Named Sentence -> Typ

extTBody :: Term -> (Term, [Term])

fixMRec :: Continuity -> [[Named Sentence]] -> [Named Sentence]

newConstTab :: Continuity -> [Named Sentence] -> ConstTab

getTermName :: Term -> Maybe String

extRightH :: Named Sentence -> Term

data ExpRole

type ISign = Sign

type IsaSort = Sort

type IsaType = Typ

type IsaPattern = Term

type IsaTerm = Term

class IsaName a where

xDummy :: IsaTerm

termMAbs :: Continuity -> [Term] -> Term -> Term

termMAppl :: Continuity -> Term -> [Term] -> Term

termBAppl :: Continuity -> Term -> Term -> Term -> Term

type PrExp = TiExp PNT

type PrPat = TiPat PNT

renVars :: Term -> [Term] -> Term -> Term

remove_duplicates :: Ord a => [a] -> [a]

type HsType = Type PNT

type HsScheme = Scheme PNT

type HsId = HsIdentI PNT

getInstClass :: HsPred -> HsType

getInstType :: HsPred -> HsType

repVarClass :: IsaType -> IsaClass -> IsaType -> IsaType

constrVarClass :: IsaType -> [(IsaType, Sort)] -> IsaType

getLitName :: HsType -> PNT

transTN :: Continuity -> String -> String -> String

transPath :: String -> String -> String

showIsaS :: String -> String

funFliftbin :: Term -> Term

funFlift2 :: Term -> Term

type VaMap = Map HsId HsScheme

type AConstTab = Map VName (Typ, IsaVT)

liftMapByListD :: (x -> [a]) -> ([c] -> y) -> (a -> b1) -> (a -> b2) -> ([(b1, b2)] -> [c]) -> x -> y

nothingFiOut :: [(a, (Maybe b, c))] -> [(a, (b, c))]

type IsaTypeInsts = (TName, [(IsaClass, [(IsaType, [IsaClass])])])

data IsaVT

type TyMap = Map HsId (Kind, HsTypeInfo)

liftMapByList :: (x -> [(a, b)]) -> ([(c, d)] -> y) -> (a -> c) -> (b -> d) -> x -> y

type HsTypeInfo = TypeInfo PNT

type HsInstance = Instance PNT

type HsInstances = [Instance PNT]

extClassInfo :: HsTypeInfo -> [HsClass]

extAbbrsInfo :: HsTypeInfo -> ([PNT], HsType)

groupInst :: [IsaTypeInsts] -> [IsaTypeInsts]

getMainInstType :: HsInstance -> HsType

prepInst :: HsInstance -> (HsClass, [(HsType, [HsClass])])

checkTyCons :: HsId -> Bool

getDepDoms :: DomainTab -> DomainTab

getDomType :: AConstTab -> VName -> IsaType

getFieldTypes :: AConstTab -> VName -> [IsaType]

isCont :: Continuity -> Bool

replaceTyVar :: IsaType -> IsaType -> IsaType

varDouble :: String -> Term

mthTy :: Continuity -> String -> String -> IsaType

mthAll :: [String]

enElem :: String -> [String] -> Bool

getContinuity :: Continuity -> IsaTerm -> Continuity