Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Utils.Printing

Contents

Simple builders
Basic writers
Generic writer transformers
Specific writer transformers

Synopsis

class ToCodeString a where
- build :: (MonadWriter [String] m, MonadFail m) => a -> m ()
toCodeString :: ToCodeString a => a -> String
toCodeWord :: ToCodeString a => a -> String
toCodeStringM :: (ToCodeString a, MonadFail m) => a -> m String
commaList :: [String] -> String
wrapNonEmpty :: String -> String -> String -> String
putWord :: MonadWriter [w] m => w -> m ()
putLine :: MonadWriter [w] m => w -> m ()
putComment :: MonadWriter [String] m => String -> m ()
endl :: MonadWriter [String] m => m ()
fromBuild :: (ToCodeString a, MonadWriter [String] m, MonadFail m) => a -> m String
listenWord :: (MonadWriter [String] m, MonadFail m) => m () -> m String
mapped :: MonadWriter [w] m => (w -> w) -> m a -> m a
joined :: MonadWriter [w] m => ([w] -> w) -> m a -> m a
delimitedBlock :: MonadWriter [String] m => String -> String -> m a -> m a
indented :: MonadWriter [String] m => m a -> m a
concatenated :: MonadWriter [[w]] m => m a -> m a
unworded :: MonadWriter [String] m => m a -> m a
unlined :: MonadWriter [String] m => m a -> m a
commented :: MonadWriter [String] m => m a -> m a
bracedBlock :: MonadWriter [String] m => m a -> m a
bracedBlockWith :: MonadWriter [String] m => String -> m a -> m a
doEndBlock :: MonadWriter [String] m => m a -> m a
prepended :: MonadWriter [String] m => String -> m a -> m a

Documentation

class ToCodeString a where #

Methods

build :: (MonadWriter [String] m, MonadFail m) => a -> m () #

Instances

Instances details

ToCodeString Void #
Instance details Defined in Traq.Utils.Printing Methods build :: (MonadWriter [String] m, MonadFail m) => Void -> m () #
ToCodeString ParamTag #
Instance details Defined in Traq.CQPL.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => ParamTag -> m () #
ToCodeString PartialFun #
Instance details Defined in Traq.Primitives.Class.Prelude Methods build :: (MonadWriter [String] m, MonadFail m) => PartialFun -> m () #
ToCodeString BinOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => BinOp -> m () #
ToCodeString NAryOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => NAryOp -> m () #
ToCodeString UnOp #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => UnOp -> m () #
(ToCodeString ext, Show (PrecType ext)) => ToCodeString (AnnFailProb ext) #
Instance details Defined in Traq.Analysis.Annotate.Prelude Methods build :: (MonadWriter [String] m, MonadFail m) => AnnFailProb ext -> m () #
Show sizeT => ToCodeString (ProcDef sizeT) #
Instance details Defined in Traq.CQPL.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => ProcDef sizeT -> m () #
Show sizeT => ToCodeString (Program sizeT) #
Instance details Defined in Traq.CQPL.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Program sizeT -> m () #
Show sizeT => ToCodeString (Stmt sizeT) #
Instance details Defined in Traq.CQPL.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Stmt sizeT -> m () #
Show sizeT => ToCodeString (UStmt sizeT) #
Instance details Defined in Traq.CQPL.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => UStmt sizeT -> m () #
Show sizeT => ToCodeString (Unitary sizeT) #
Instance details Defined in Traq.CQPL.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Unitary sizeT -> m () #
SerializePrim prim => ToCodeString (Primitive prim) #
Instance details Defined in Traq.Primitives.Class Methods build :: (MonadWriter [String] m, MonadFail m) => Primitive prim -> m () #
Show sizeT => ToCodeString (BasicExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => BasicExpr sizeT -> m () #
Show sizeT => ToCodeString (DistrExpr sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => DistrExpr sizeT -> m () #
(Show (SizeType ext), ToCodeString ext) => ToCodeString (Expr ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Expr ext -> m () #
Show sizeT => ToCodeString (MetaParam sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => MetaParam sizeT -> m () #
(Show (SizeType ext), ToCodeString ext) => ToCodeString (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => NamedFunDef ext -> m () #
(Show (SizeType ext), ToCodeString ext) => ToCodeString (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Program ext -> m () #
(Show (SizeType ext), ToCodeString ext) => ToCodeString (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Stmt ext -> m () #
Show sizeT => ToCodeString (Value sizeT) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => Value sizeT -> m () #
Show a => ToCodeString (VarType a) #
Instance details Defined in Traq.ProtoLang.Syntax Methods build :: (MonadWriter [String] m, MonadFail m) => VarType a -> m () #
ToCodeString (TreeSearch sizeT precT) #
Instance details Defined in Traq.Primitives.TreeSearch Methods build :: (MonadWriter [String] m, MonadFail m) => TreeSearch sizeT precT -> m () #