Documentation

data Reg r a Source #

make :: a -> (forall r. Reg r a -> Parsec b) -> Parsec b Source #

get :: Reg r a -> Parsec a Source #

gets :: Reg r a -> (a -> b) -> Parsec b Source #

put :: Reg r a -> a -> Parsec () Source #

puts :: Reg r b -> (a -> b) -> Parsec a -> Parsec () Source #

modify :: Reg r a -> (a -> a) -> Parsec () Source #

local :: Reg r a -> (a -> a) -> Parsec b -> Parsec b Source #

localWith :: Reg r a -> a -> Parsec b -> Parsec b Source #