Haskus.Format.Text

Documentation

newtype TextBuffer (t :: k) b

Text buffer

The buffer contains a text encoded according to phantom type t

Constructors

TextBuffer b

Instances

(IsList b, Item b ~ Word8) => IsString (TextBuffer ASCII b)

Support ASCII text with OverloadedStrings

>>> :set -XOverloadedStrings
>>> let t = "HELLO" :: TextI ASCII
>>> showText t
"HELLO"

>>> let badt = "José" :: TextI ASCII
>>> showText badt
"*** Exception: Invalid ASCII character: é

Defined in Haskus.Format.Text.ASCII

Methods

fromString :: String -> TextBuffer ASCII b

type TextI t = TextBuffer t BufferI

type TextB t mut pin fin heap = TextBuffer t (Buffer mut pin fin heap)

class ShowText t b where

Methods

showTextIO :: MonadIO m => TextBuffer t b -> m String

Show text in IO

showText :: BufferToList b => TextBuffer t b -> String

Pure show text

Instances

ShowText ASCII (Buffer mut pin gc heap)

Instance for ASCII text

>>> :set -XOverloadedLists
>>> let b = [72,69,76,76,79] :: BufferI
>>> showText (TextBuffer @ASCII b)
"HELLO"

Defined in Haskus.Format.Text.ASCII

Methods

showTextIO :: MonadIO m => TextBuffer ASCII (Buffer mut pin gc heap) -> m String

showText :: TextBuffer ASCII (Buffer mut pin gc heap) -> String