Rattletrap.Get

Documentation

newtype Get s m a

Constructors

Get (s -> m (Either ([String], SomeException) (s, a)))

Instances

Monad m => MonadFail (Get s m)

Defined in Rattletrap.Get

Methods

fail :: String -> Get s m a

Monad m => Alternative (Get s m)

Defined in Rattletrap.Get

Methods

empty :: Get s m a

(<|>) :: Get s m a -> Get s m a -> Get s m a

some :: Get s m a -> Get s m [a]

many :: Get s m a -> Get s m [a]

Monad m => Applicative (Get s m)

Defined in Rattletrap.Get

Methods

pure :: a -> Get s m a

(<*>) :: Get s m (a -> b) -> Get s m a -> Get s m b

liftA2 :: (a -> b -> c) -> Get s m a -> Get s m b -> Get s m c

(*>) :: Get s m a -> Get s m b -> Get s m b

(<*) :: Get s m a -> Get s m b -> Get s m a

Functor m => Functor (Get s m)

Defined in Rattletrap.Get

Methods

fmap :: (a -> b) -> Get s m a -> Get s m b

(<$) :: a -> Get s m b -> Get s m a

Monad m => Monad (Get s m)

Defined in Rattletrap.Get

Methods

(>>=) :: Get s m a -> (a -> Get s m b) -> Get s m b

(>>) :: Get s m a -> Get s m b -> Get s m b

return :: a -> Get s m a

run :: Get s m a -> s -> m (Either ([String], SomeException) (s, a))

get :: Applicative m => Get s m s

put :: Applicative m => s -> Get s m ()

lift :: Functor m => m a -> Get s m a

throw :: (Exception e, Applicative m) => e -> Get s m a

embed :: Monad m => Get s m a -> s -> Get t m a

labels :: Functor m => [String] -> Get s m a -> Get s m a

label :: Functor m => String -> Get s m a -> Get s m a