Idris2Doc : Text.PrettyPrint.Prettyprinter.SimpleDocTree

Text.PrettyPrint.Prettyprinter.SimpleDocTree

SimpleDocTree : Type -> Type
Tree-like structure more suitable for rendering to a structured
format such as HTML.
Totality: total
Constructors:
STEmpty : SimpleDocTreeann
STChar : Char -> SimpleDocTreeann
STText : Int -> String -> SimpleDocTreeann
STLine : Int -> SimpleDocTreeann
STAnn : ann -> SimpleDocTreeann -> SimpleDocTreeann
STConcat : List (SimpleDocTreeann) -> SimpleDocTreeann
alterAnnotationsST : (ann -> Listann') -> SimpleDocTreeann -> SimpleDocTreeann'
Changes the annotation of a document, or none at all.
Totality: total
collectAnnotations : Monoidm => (ann -> m) -> SimpleDocTreeann -> m
Collects all annotations from a document.
Totality: total
fromStream : SimpleDocStreamann -> SimpleDocTreeann
Totality: total
reAnnotateST : (ann -> ann') -> SimpleDocTreeann -> SimpleDocTreeann'
Changes the annotation of a document.
Totality: total
traverse : Applicativef => (ann -> fann') -> SimpleDocTreeann -> f (SimpleDocTreeann')
Transform a document based on its annotations.
Totality: total
unAnnotateST : SimpleDocTreeann -> SimpleDocTreexxx
Removes all annotations.
Totality: total