Safe Haskell	Safe-Inferred
Language	Haskell2010

Rattletrap.Get

Documentation

newtype Get s (m :: Type -> Type) a Source #

Constructors

Instances details

Monad m => MonadFail (Get s m) Source #
Instance details Defined in Rattletrap.Get Methods fail :: String -> Get s m a #
Monad m => Alternative (Get s m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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)) Source #

get :: forall (m :: Type -> Type) s. Applicative m => Get s m s Source #

put :: forall (m :: Type -> Type) s. Applicative m => s -> Get s m () Source #

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

throw :: forall e (m :: Type -> Type) s a. (Exception e, Applicative m) => e -> Get s m a Source #

embed :: forall (m :: Type -> Type) s a t. Monad m => Get s m a -> s -> Get t m a Source #

labels :: forall (m :: Type -> Type) s a. Functor m => [String] -> Get s m a -> Get s m a Source #

label :: forall (m :: Type -> Type) s a. Functor m => String -> Get s m a -> Get s m a Source #