TypeLevel.Rewrite.Internal.PrettyPrint

Documentation

pprMaybe :: (a -> String) -> Maybe a -> String

pprPair :: (a -> String) -> (b -> String) -> (a, b) -> String

pprList :: (a -> String) -> [a] -> String

pprTyCon :: TyCon -> String

pprType :: Type -> String

pprTyVar :: TyVar -> String

pprTypeEq :: TypeEq -> String

pprTerm :: (f -> String) -> (v -> String) -> Term f v -> String

pprRule :: (f -> String) -> (v -> String) -> Rule f v -> String

pprReduct :: (f -> String) -> (v -> String) -> (v' -> String) -> Reduct f v v' -> String

pprTypeNode :: TypeNode -> String

pprTypeSubst :: TypeSubst -> String

pprTypeTemplate :: TypeTemplate -> String

pprTypeTerm :: TypeTerm -> String

pprTypeRule :: TypeRule -> String

pprTypeReduct :: Reduct TyCon TypeEq TyVar -> String