hakaru-0.3.0: A probabilistic programming language

CopyrightCopyright (c) 2016 the Hakaru team
LicenseBSD3
Maintainerwren@community.haskell.org
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

Language.Hakaru.Pretty.Concrete

Contents

Description

 

Synopsis

The user-facing API

pretty :: ABT Term abt => abt '[] a -> Doc Source #

Pretty-print a term.

prettyPrec :: ABT Term abt => Int -> abt '[] a -> Doc Source #

Pretty-print a term at a given precendence level.

prettyType :: Int -> Sing (a :: Hakaru) -> Doc Source #

Pretty-print a type.

prettyAssoc :: ABT Term abt => Assoc (abt '[]) -> Doc Source #

Pretty-print a variable/term association pair.

prettyPrecAssoc :: ABT Term abt => Int -> Assoc (abt '[]) -> Doc Source #

Pretty-print an association at a given precendence level.

Helper functions (semi-public internal API)