README About Versions Source Modules

Buffer.Gap.Extra

Extra functions for working with a Gap buffer.

Working with String

fromString : String -> Gap Char

Transform a String into a gap buffer of Char.

toString : Gap Char -> String

Transform a gap buffer of Char into a String.

Modules