Text.PrettyPrint.Prettyprinter.SimpleDocTree

Definitions

data SimpleDocTree : Type -> Type

  Tree-like structure more suitable for rendering to a structured
  format such as HTML.

Totality: total
Visibility: public export
Constructors:

STEmpty : SimpleDocTree ann

STChar : Char -> SimpleDocTree ann

STText : Int -> String -> SimpleDocTree ann

STLine : Int -> SimpleDocTree ann

STAnn : ann -> SimpleDocTree ann -> SimpleDocTree ann

STConcat : List (SimpleDocTree ann) -> SimpleDocTree ann

alterAnnotationsST : (ann -> List ann') -> SimpleDocTree ann -> SimpleDocTree ann'

  Changes the annotation of a document, or none at all.

Totality: total
Visibility: export

reAnnotateST : (ann -> ann') -> SimpleDocTree ann -> SimpleDocTree ann'

  Changes the annotation of a document.

Totality: total
Visibility: export

unAnnotateST : SimpleDocTree ann -> SimpleDocTree xxx

  Removes all annotations.

Totality: total
Visibility: export

collectAnnotations : Monoid m => (ann -> m) -> SimpleDocTree ann -> m

  Collects all annotations from a document.

Totality: total
Visibility: export

traverse : Applicative f => (ann -> f ann') -> SimpleDocTree ann -> f (SimpleDocTree ann')

  Transform a document based on its annotations.

Totality: total
Visibility: export

fromStream : SimpleDocStream ann -> SimpleDocTree ann

Totality: total
Visibility: export