Implementations of various lambda calculus based systems. Source code Contents Index

Typed.Pretty Stability experimental Maintainer thanos@sians.org

Contents Pretty-printers

Description

Pretty-printers for the typed system.

Synopsis

prettyTerm :: Term -> String prettyType :: Type -> String prettyTypedTerm :: Context -> Term -> String prettyC :: String -> Pretty Computation prettyTC :: String -> Context -> Pretty Computation

Pretty-printers

prettyTerm :: Term -> String Source

Pretty-print a Term.

prettyType :: Type -> String Source

Pretty-print a Type.

prettyTypedTerm :: Context -> Term -> String Source

Pretty-print a Term and its inferred Type.

prettyC :: String -> Pretty Computation Source

Given a separator string, creates a Computation pretty-printer.

prettyTC :: String -> Context -> Pretty Computation Source

Given a separator string and a Context, creates a Computation pretty-printer.

Produced by Haddock version 2.4.2