Language.Hakaru.Pretty.Haskell

The user-facing API

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

Pretty-print a term.

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

Pretty-print a term at a given precendence level.

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

Pretty-print a variable/term association pair.

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

Pretty-print an association at a given precendence level.

Helper functions (semi-public internal API)

ppVariable :: Variable (a :: Hakaru) -> Doc

Pretty-print a variable.

ppVariables :: List1 Variable (xs :: [Hakaru]) -> Docs

Pretty-print a list of variables as a list of variables. N.B., the output is not valid Haskell code since it uses the special built-in list syntax rather than using the List1 constructors...

ppBinder :: ABT Term abt => abt xs a -> Docs

Pretty-print Hakaru binders as a Haskell lambda, as per our HOAS API.

ppCoerceTo :: ABT Term abt => Int -> Coercion a b -> abt '[] a -> Docs

ppUnsafeFrom :: ABT Term abt => Int -> Coercion a b -> abt '[] b -> Docs

ppRatio :: (Show a, Integral a) => Int -> Ratio a -> Doc

Something prettier than rational. This works correctly for both Rational and NonNegativeRational, though it may not work for other a types.

N.B., the resulting string assumes prefix negation and the Fractional (/) operator are both in scope.

data Associativity

Constructors

LeftAssoc

RightAssoc

NonAssoc

ppBinop :: ABT Term abt => String -> Int -> Associativity -> Int -> abt '[] a -> abt '[] b -> Docs

class Pretty f where

Minimal complete definition

prettyPrec_

Methods

prettyPrec_ :: Int -> f a -> Docs

A polymorphic variant if prettyPrec, for internal use.

Instances

Pretty Literal

Methods

prettyPrec_ :: Int -> Literal a -> Docs

Pretty (Pattern xs)

Methods

prettyPrec_ :: Int -> Pattern xs a -> Docs

Pretty f => Pretty (Datum f)

Methods

prettyPrec_ :: Int -> Datum f a -> Docs

ABT Hakaru Term abt => Pretty (LC_ abt)

Methods

prettyPrec_ :: Int -> LC_ abt a -> Docs

ABT Hakaru Term abt => Pretty (Branch a abt)

Methods

prettyPrec_ :: Int -> Branch a abt a -> Docs