Text.Gigaparsec.State

Documentation

data Ref r a

Instances

Eq (Ref r a)

Defined in Data.Ref.Impl

Methods

(==) :: Ref r a -> Ref r a -> Bool

(/=) :: Ref r a -> Ref r a -> Bool

make :: a -> (forall r. Ref r a -> Parsec b) -> Parsec b

unsafeMake :: (forall r. Ref r a -> Parsec b) -> Parsec b

get :: Ref r a -> Parsec a

gets :: Ref r a -> (a -> b) -> Parsec b

set :: Ref r a -> a -> Parsec ()

sets :: Ref r b -> (a -> b) -> Parsec a -> Parsec ()

update :: Ref r a -> (a -> a) -> Parsec ()

updateDuring :: Ref r a -> (a -> a) -> Parsec b -> Parsec b

setDuring :: Ref r a -> a -> Parsec b -> Parsec b

rollback :: Ref r a -> Parsec b -> Parsec b

forP :: Parsec a -> Parsec (a -> Bool) -> Parsec (a -> a) -> Parsec b -> Parsec [b]

forP' :: Parsec a -> Parsec (a -> Bool) -> Parsec (a -> a) -> (a -> Parsec b) -> Parsec [b]

forP_ :: Parsec a -> Parsec (a -> Bool) -> Parsec (a -> a) -> Parsec b -> Parsec ()

forP'_ :: Parsec a -> Parsec (a -> Bool) -> Parsec (a -> a) -> (a -> Parsec b) -> Parsec ()