Libraries.Data.String.Builder

This module contains an efficient string builder

Reexports

Definitions

intersperse : a -> List a -> DList a

Visibility: export

Builder : Type

Visibility: public export

char : Char -> Builder

Visibility: public export

sepBy : String -> List Builder -> Builder

Visibility: export

build : Builder -> String

Visibility: public export

showB : Show a => a -> Builder

Visibility: public export