hakaru-0.6.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.

prettyValue :: Value a -> Doc Source #

prettyT :: ABT Term abt => abt '[] a -> Text Source #

Pretty print a term as a Text

prettyTypeT :: Sing (a :: Hakaru) -> Text Source #

Pretty-print a type as a Text

prettyTypeS :: Sing (a :: Hakaru) -> String Source #

Pretty-print a type as a String

Helper functions (semi-public internal API)