Polysemy.SequentialAccess.Text

This module is for sequential access to variable-width encoded text data.

In sequential access for variable-width encoded (e.g. UTF-8) text data, It is allowed to read data per line instead of by arbitrary size. And, seek operation is only allowed to both ends of a file.

This restriction of safety assumes no writing from others while opening a file. The behavior is undefined if the assumption is not satisfied. (An encoding corruption occurs typically.)

Documentation

type GetPosition = GetPosition TriPosition

type Seek = Seek Ends

type ReadLine = Read Line Text

type ReadToEnd = Read ToEnd Text

type Extend = Extend Text

type Append = Append Text

type Clear = Resize NullSize

data Line

A singleton that represents the size from the current position to the next line break.

Constructors

Line

Instances

Eq Line

Defined in Polysemy.SequentialAccess.Text

Methods

(==) :: Line -> Line -> Bool

(/=) :: Line -> Line -> Bool

Ord Line

Defined in Polysemy.SequentialAccess.Text

Methods

compare :: Line -> Line -> Ordering

(<) :: Line -> Line -> Bool

(<=) :: Line -> Line -> Bool

(>) :: Line -> Line -> Bool

(>=) :: Line -> Line -> Bool

max :: Line -> Line -> Line

min :: Line -> Line -> Line

Show Line

Defined in Polysemy.SequentialAccess.Text

Methods

showsPrec :: Int -> Line -> ShowS

show :: Line -> String

showList :: [Line] -> ShowS

type Cursor = '[GetPosition, Seek]