Compiler.ES.Doc

Definitions

data Doc : Type

Totality: total
Visibility: public export
Constructors:

Nil : Doc

LineBreak : Doc

SoftSpace : Doc

Comment : Doc -> Doc

Text : String -> Doc

Nest : Nat -> Doc -> Doc

Seq : Doc -> Doc -> Doc

Hints:

FromString Doc

Monoid Doc

Semigroup Doc

shown : Show a => a -> Doc

Visibility: public export

comment : Doc -> Doc

Visibility: export

isMultiline : Doc -> Bool

Visibility: export

(<++>) : Doc -> Doc -> Doc

Visibility: export
Fixity Declaration: infixr operator, level 6

vcat : List Doc -> Doc

Visibility: export

hcat : List Doc -> Doc

Visibility: export

hsep : List Doc -> Doc

Visibility: export

block : Doc -> Doc

Visibility: export

paren : Doc -> Doc

Visibility: export

lambdaArrow : Doc

Visibility: export

softComma : Doc

Visibility: export

softColon : Doc

Visibility: export

softEq : Doc

Visibility: export

compact : Doc -> String

Visibility: export

pretty : Doc -> String

Visibility: export