Documentation

ttext :: Text -> DocSource

defaultIndent :: IntSource

nestDef :: Doc -> DocSource

renderWithTabs :: Doc -> StringSource

newline :: DocSource

emptyLine :: DocSource

ups :: Text -> TextSource

toDoc :: Clas -> DocSource

toInterfaceDoc :: ClasInterface -> DocSource

interfaceBodyDoc :: EmptyBody -> DocSource

toDocWith :: Ord body => Bool -> (body -> Doc) -> AbsClas body Expr -> DocSource

inheritance :: [Inheritance] -> DocSource

inheritanceClauses :: Inheritance -> DocSource

inheritClause :: InheritClause -> DocSource

createClause :: CreateClause -> DocSource

convertClause :: [ConvertClause] -> DocSource

featureClauses :: Ord body => Bool -> (body -> Doc) -> FeatureMap body Expr -> [Doc]Source

vsep :: [Doc] -> DocSource

commaSep :: [Doc] -> DocSource

vCommaSep :: [Doc] -> DocSource

angles :: Doc -> DocSource

langle :: DocSource

rangle :: DocSource

squareQuotes :: Doc -> DocSource

anyStringLiteral :: Text -> DocSource

stringLiteral :: Text -> DocSource

procDoc :: Proc -> DocSource

genericsDoc :: [Generic] -> DocSource

notes :: [Note] -> DocSource

note :: Note -> DocSource

invars :: [Clause Expr] -> DocSource

procGenDoc :: [Proc] -> DocSource

decl :: Decl -> DocSource

typeDoc :: Typ -> DocSource

frozen :: Bool -> DocSource

require :: Contract Expr -> DocSource

ensure :: Contract Expr -> DocSource

constDoc :: Constant Expr -> DocSource

attrDoc :: Bool -> Attribute Expr -> DocSource

type' :: Typ -> DocSource

routineDoc :: (body -> Doc) -> AbsRoutine body Expr -> DocSource

routineBodyDoc :: RoutineBody Expr -> DocSource

locals :: RoutineBody exp -> DocSource

procExprs :: AbsRoutine body exp -> DocSource

($?$) :: Doc -> Doc -> DocSource

(<?>) :: Doc -> Doc -> DocSource

clausesDoc :: [Clause Expr] -> DocSource

clause :: Clause Expr -> DocSource

stmt :: Stmt -> DocSource

stmt' :: AbsStmt Expr -> DocSource

expr :: Expr -> DocSource

exprPrec :: Int -> Expr -> DocSource

expr' :: Int -> UnPosExpr -> DocSource

quant :: Quant -> DocSource

condParens :: Bool -> Doc -> DocSource

unop :: IsString a => UnOp -> aSource

opList :: [(BinOp, (Text, Int))]Source

binop :: BinOp -> (Text, Int)Source

relop :: IsString a => ROp -> aSource

actArgs :: [Expr] -> DocSource

formArgs :: [Decl] -> DocSource

genDoc :: [Typ] -> DocSource

procExprD :: ProcExpr -> DocSource

locks :: [Proc] -> DocSource

procs :: [Proc] -> DocSource

proc :: Proc -> DocSource

procM :: Maybe Proc -> DocSource

sepDoc :: DocSource