- data SimpleDocTree : Type -> Type
Tree-like structure more suitable for rendering to a structured
format such as HTML.
Totality: total
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- collectAnnotations : Monoid m => (ann -> m) -> SimpleDocTree ann -> m
Collects all annotations from a document.
Totality: total- fromStream : SimpleDocStream ann -> SimpleDocTree ann
- Totality: total
- reAnnotateST : (ann -> ann') -> SimpleDocTree ann -> SimpleDocTree ann'
Changes the annotation of a document.
Totality: total- traverse : Applicative f => (ann -> f ann') -> SimpleDocTree ann -> f (SimpleDocTree ann')
Transform a document based on its annotations.
Totality: total- unAnnotateST : SimpleDocTree ann -> SimpleDocTree xxx
Removes all annotations.
Totality: total