Documentation

namedTy :: String -> [TyTerm] -> TyTerm

typeNames :: [[Char]]

distColTypeNames :: [[Char]]

typesContainingFuns :: [String]

type TyLocs = [(String, Int)]

numTypeParams :: TyLocs

funLocations :: [(String, Int)]

partFunLocations :: TyLocs

layoutFunLocations :: TyLocs

typesContainingDims :: [String]

dimLocations :: [(String, Int)]

partDimLocations :: TyLocs

mirrDimLocations :: TyLocs

type TyModes = [((String, Int), [String])]

typesContainingModes :: [String]

typeModeInfo :: TyModes

typeModeNames :: [String]

typeDefaults :: [(([Char], Int), TyTerm)]

numParams :: String -> Int

funs :: String -> [Int]

partFuns :: String -> [Int]

layFuns :: String -> [Int]

typeModes :: String -> [(Int, [String])]

dimLocs :: String -> [Int]

typeDefault :: String -> Int -> Maybe TyTerm