Documentation

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

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

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

pprTyCon :: TyCon -> String Source #

pprType :: Type -> String Source #

pprTyVar :: TyVar -> String Source #

pprTypeEq :: TypeEq -> String Source #

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

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

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

pprTypeNode :: TypeNode -> String Source #

pprTypeSubst :: TypeSubst -> String Source #

pprTypeTemplate :: TypeTemplate -> String Source #

pprTypeTerm :: TypeTerm -> String Source #

pprTypeRule :: TypeRule -> String Source #

pprTypeReduct :: Reduct TyCon TypeEq TyVar -> String Source #