Documentation

ppExt :: E1Ext () Ty1 -> Doc Source #

ppE :: Exp1 -> Doc Source #

ppCurried :: Doc -> [Exp1] -> Doc Source #

ppAp :: Doc -> [Exp1] -> Doc Source #

ppVar :: Var -> Doc Source #

getVar :: Var -> String Source #

interleave :: Doc -> [Doc] -> Doc Source #

binary :: String -> [Exp1] -> Doc Source #

extractBinary :: String -> [Exp1] -> (Doc, Doc) Source #

extractUnary :: String -> [Exp1] -> Doc Source #

ppFail :: String -> Doc Source #

ppPrim :: Prim Ty1 -> [Exp1] -> Doc Source #

ppProgram :: Prog1 -> Doc Source #

ppFunDefs :: Map Var (FunDef Exp1) -> Doc Source #

separateDefs :: [FunDef Exp1] -> [Either (FunDef Exp1) [FunDef Exp1]] Source #

ppValDef :: FunDef Exp1 -> Doc Source #

ppFunRec :: [FunDef Exp1] -> Doc Source #

reduceFunDefs :: Doc -> FunDef Exp1 -> Doc -> Doc Source #

ppMainExpr :: Maybe (Exp1, Ty1) -> Doc Source #

ppDDefs :: DDefs1 -> Doc Source #

ppDDef :: DDef1 -> Doc Source #

ppTyVar :: TyVar -> Doc Source #

ppTy1 :: Ty1 -> Doc Source #

printerTy1 :: Ty1 -> Doc -> Doc Source #

printer :: Doc -> Doc -> Doc Source #

toss :: Doc -> Doc Source #

justPrint :: Doc -> Doc Source #

quotePrint :: Doc -> Doc Source #

qsort :: Doc Source #

varsEs :: Set String -> [Exp1] -> Set String Source #

varsE :: Set String -> Exp1 -> Set String Source #

addFunBinding :: FunDef ex -> Map String (FunDef ex) -> Map String (FunDef ex) Source #

allFunEntries :: [FunDef ex] -> Map String (FunDef ex) Source #

allFunNames :: [FunDef ex] -> Set String Source #

getDependencies :: [FunDef Exp1] -> Map String [FunDef Exp1] Source #

sortDefs :: [FunDef Exp1] -> [[FunDef Exp1]] Source #