Idris2Doc : Data.String.Builder

Data.String.Builder

(source)
Reexports
import public Data.DiffList
Definitions
Builder : Type
  Visibility: public export
char : Char -> Builder
  Visibility: public export
build : Builder -> String
  Visibility: public export
sepBy : Builder -> List Builder -> Builder
  Visibility: public export
showB : Show a => a -> Builder
  Visibility: public export