Copyright	Benjamin F Jones 2016
License	ISC
Maintainer	bjones@galois.com
Stability	experimental
Portability	unknown
Safe Haskell	Safe
Language	Haskell2010

Language.Sally.SExpPP

Contents

S-expression pretty printing
misc

Description

This module gives a uniform way to pretty print S-expressions through a typeclass ToSExp.

Synopsis

S-expression pretty printing

data SExp Source #

A simple S-expression datatype with Doc values at the leaves.

Constructors

SXBare Doc	bare symbol or literal represented by a `Doc`
SXList [SExp]	list of `SExp`, e.g. (foo a b)

Instances

ToSExp SExp Source #	Trivial `ToSExp` instance for `SExp`.
Methods toSExp :: SExp -> SExp Source # sxPretty :: SExp -> Doc Source # sxPrettyCompact :: SExp -> Doc Source #

class ToSExp a where Source #

Typeclass for values that can be converted to a SExp. These values can then be pretty printed using the default layout scheme given by sxPretty.

Minimal complete definition

toSExp

Methods

toSExp :: a -> SExp Source #

sxPretty :: a -> Doc Source #

sxPrettyCompact :: a -> Doc Source #

Instances

ToSExp SExp Source #	Trivial `ToSExp` instance for `SExp`.
Methods toSExp :: SExp -> SExp Source # sxPretty :: SExp -> Doc Source # sxPrettyCompact :: SExp -> Doc Source #
ToSExp SallySystem Source #	Pretty print a `SallySystem`.
Methods toSExp :: SallySystem -> SExp Source # sxPretty :: SallySystem -> Doc Source # sxPrettyCompact :: SallySystem -> Doc Source #
ToSExp SallyTransition Source #
Methods toSExp :: SallyTransition -> SExp Source # sxPretty :: SallyTransition -> Doc Source # sxPrettyCompact :: SallyTransition -> Doc Source #
ToSExp SallyStateFormula Source #
Methods toSExp :: SallyStateFormula -> SExp Source # sxPretty :: SallyStateFormula -> Doc Source # sxPrettyCompact :: SallyStateFormula -> Doc Source #
ToSExp SallyState Source #
Methods toSExp :: SallyState -> SExp Source # sxPretty :: SallyState -> Doc Source # sxPrettyCompact :: SallyState -> Doc Source #
ToSExp SallyArith Source #
Methods toSExp :: SallyArith -> SExp Source # sxPretty :: SallyArith -> Doc Source # sxPrettyCompact :: SallyArith -> Doc Source #
ToSExp SallyPred Source #
Methods toSExp :: SallyPred -> SExp Source # sxPretty :: SallyPred -> Doc Source # sxPrettyCompact :: SallyPred -> Doc Source #
ToSExp SallyExpr Source #
Methods toSExp :: SallyExpr -> SExp Source # sxPretty :: SallyExpr -> Doc Source # sxPrettyCompact :: SallyExpr -> Doc Source #
ToSExp SallyVar Source #
Methods toSExp :: SallyVar -> SExp Source # sxPretty :: SallyVar -> Doc Source # sxPrettyCompact :: SallyVar -> Doc Source #
ToSExp SallyBaseType Source #
Methods toSExp :: SallyBaseType -> SExp Source # sxPretty :: SallyBaseType -> Doc Source # sxPrettyCompact :: SallyBaseType -> Doc Source #
ToSExp SallyConst Source #
Methods toSExp :: SallyConst -> SExp Source # sxPretty :: SallyConst -> Doc Source # sxPrettyCompact :: SallyConst -> Doc Source #
ToSExp Name Source #
Methods toSExp :: Name -> SExp Source # sxPretty :: Name -> Doc Source # sxPrettyCompact :: Name -> Doc Source #

bareText :: Text -> SExp Source #

Inject a text literal as a SExp.

misc

sallyCom :: Doc Source #

A Sally comment.