Extra functions for working with a Gap buffer.
Gap
fromString : String -> Buffer.Gap.Gap Char
Transform a String into a gap buffer of Char.
String
Char
toString : Buffer.Gap.Gap Char -> String
Transform a gap buffer of Char into a String.