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)

show_errors :: Show a => [a] -> IO ()

show_expecting :: [String] -> String

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

listToStr :: [t] -> loc -> Str t loc

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

data Munch a

Constructors

Munch (a -> Bool) String

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]

pToken :: Provides state (Token a) token => [a] -> P state token

show_tokens :: String -> b -> b

show_munch :: String -> b -> b

show_symbol :: String -> b -> b