Idris2Doc : Text.PrettyPrint.Prettyprinter.SimpleDocTree

Text.PrettyPrint.Prettyprinter.SimpleDocTree

dataSimpleDocTree : 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