free-theorems-seq-1.0: Taming Selective Strictness

Safe HaskellNone

Language.Haskell.FreeTheorems.Variations.PolySeq.PrettyPrint

Documentation

prettyMarkedTyp :: Typ -> DocSource

prettyUnMarkedTyp :: Typ -> DocSource

prettyMarkedTerm :: Term -> DocSource

prettyUnMarkedTerm :: Term -> DocSource

prettyConstraint :: Constraint -> DocSource

prettyLabel :: Label -> DocSource

adjustTypAbstraction :: Bool -> Term -> TermSource