Text.ParserCombinators.UU.BasicInstances

Documentation

data Error pos

Constructors

Inserted String pos Strings

Deleted String pos Strings

DeletedAtEnd String

Instances

Show pos => Show (Error pos)

Stores (Str a loc) (Error loc)

data Str t loc

Constructors

Str

Fields

input :: [t]

msgs :: [Error loc]

pos :: loc

deleteOk :: !Bool

Instances

Show a => Eof (Str a loc)

HasPosition (Str a loc) loc

(Eq a, Show a, IsLocationUpdatedBy loc a) => Provides (Str a loc) a a

Stores (Str a loc) (Error loc)

(Show a, Eq a, IsLocationUpdatedBy loc [a]) => Provides (Str a loc) (Token a) [a]

(Show a, IsLocationUpdatedBy loc [a]) => Provides (Str a loc) (Munch a) [a]

(Ord a, Show a, IsLocationUpdatedBy loc a) => Provides (Str a loc) (a, a) a

(Show a, IsLocationUpdatedBy loc a) => Provides (Str a loc) (a -> Bool, String, a) a

type Parser a = P (Str Char (Int, Int)) a

data Munch a

Constructors

Munch (a -> Bool)

Instances

(Show a, IsLocationUpdatedBy loc [a]) => Provides (Str a loc) (Munch a) [a]

pMunch :: Provides st (Munch a) [a] => (a -> Bool) -> P st [a]

data Token a

Constructors

Token [a] Int

Instances

(Show a, Eq a, IsLocationUpdatedBy loc [a]) => Provides (Str a loc) (Token a) [a]