SMR.Source.Pretty

Documentation

class Build a where

Class of things that can be converted to text builders.

Minimal complete definition

build

Methods

build :: a -> Builder

Instances

Build Text

Methods

build :: Text -> Builder

Build Prim

Methods

build :: Prim -> Builder

(Build s, Build p) => Build (Ref s p)

Methods

build :: Ref s p -> Builder

(Build s, Build p) => Build (Exp s p)

Methods

build :: Exp s p -> Builder

(Build s, Build p) => Build (Decl s p)

Methods

build :: Decl s p -> Builder

data Ctx

Context we're currently in when pretty printing.

Constructors

CtxTop

Top level context.

CtxFun

Functional expression in an an application.

CtxArg

Argument expression in an application.

Instances

Show Ctx

Methods

showsPrec :: Int -> Ctx -> ShowS

show :: Ctx -> String

showList :: [Ctx] -> ShowS

parens :: Builder -> Builder

Wrap a thing in parenthesis.

pretty :: Build a => a -> Text

Pretty print a thing as strict Text.

buildDecl :: (Build s, Build p) => Decl s p -> Builder

Yield a builder for a declaration.

buildExp :: (Build s, Build p) => Ctx -> Exp s p -> Builder

Yield a builder for an expression.

buildParam :: Param -> Builder

Yield a builder for a parameter.

buildKey :: Key -> Builder

Yield a builder for a keyword.

buildTrain :: (Build s, Build p) => Train s p -> Builder

Yield a builder for a train.

buildCar :: (Build s, Build p) => Car s p -> Builder

Yield a builder for a train car.

buildSnv :: (Build s, Build p) => Snv s p -> Builder

Yield a builder for a substitution.

buildSnvBind :: (Build s, Build p) => SnvBind s p -> Builder

Yield a builder for a substitution binding.

buildUps :: Ups -> Builder

Yield a builder for an ups.

buildUpsBump :: UpsBump -> Builder

Yield a builder for an ups bump.

buildRef :: (Build s, Build p) => Ref s p -> Builder

Yield a builder for a reference.

buildText :: Text -> Builder

Build a text string, escaping special chars in JSON style.

buildPrim :: Prim -> Builder

Yield a builder for a primitive.