Control.Monad.HReader.Class

Documentation

class (Monad m, Applicative m) => MonadHReader m where

Monad which is a reader of HSet (or just can construct it).

Minimal complete definition

askHSet, hlocal

Associated Types

type MHRElements m :: [*]

Methods

askHSet :: m (HSet (MHRElements m))

hlocal :: (HSet (MHRElements m) -> HSet (MHRElements m)) -> m a -> m a

Instances

MonadHReader m => MonadHReader (ListT m)

Associated Types

type MHRElements (ListT m :: * -> *) :: [*]

Methods

askHSet :: ListT m (HSet (MHRElements (ListT m)))

hlocal :: (HSet (MHRElements (ListT m)) -> HSet (MHRElements (ListT m))) -> ListT m a -> ListT m a

MonadHReader m => MonadHReader (MaybeT m)

Associated Types

type MHRElements (MaybeT m :: * -> *) :: [*]

Methods

askHSet :: MaybeT m (HSet (MHRElements (MaybeT m)))

hlocal :: (HSet (MHRElements (MaybeT m)) -> HSet (MHRElements (MaybeT m))) -> MaybeT m a -> MaybeT m a

MonadHReader m => MonadHReader (ExceptT e m)

Associated Types

type MHRElements (ExceptT e m :: * -> *) :: [*]

Methods

askHSet :: ExceptT e m (HSet (MHRElements (ExceptT e m)))

hlocal :: (HSet (MHRElements (ExceptT e m)) -> HSet (MHRElements (ExceptT e m))) -> ExceptT e m a -> ExceptT e m a

MonadHReader m => MonadHReader (StateT s m)

Associated Types

type MHRElements (StateT s m :: * -> *) :: [*]

Methods

askHSet :: StateT s m (HSet (MHRElements (StateT s m)))

hlocal :: (HSet (MHRElements (StateT s m)) -> HSet (MHRElements (StateT s m))) -> StateT s m a -> StateT s m a

MonadHReader m => MonadHReader (StateT s m)

Associated Types

type MHRElements (StateT s m :: * -> *) :: [*]

Methods

askHSet :: StateT s m (HSet (MHRElements (StateT s m)))

hlocal :: (HSet (MHRElements (StateT s m)) -> HSet (MHRElements (StateT s m))) -> StateT s m a -> StateT s m a

(MonadHReader m, Monoid w) => MonadHReader (WriterT w m)

Associated Types

type MHRElements (WriterT w m :: * -> *) :: [*]

Methods

askHSet :: WriterT w m (HSet (MHRElements (WriterT w m)))

hlocal :: (HSet (MHRElements (WriterT w m)) -> HSet (MHRElements (WriterT w m))) -> WriterT w m a -> WriterT w m a

(MonadHReader m, Monoid w) => MonadHReader (WriterT w m)

Associated Types

type MHRElements (WriterT w m :: * -> *) :: [*]

Methods

askHSet :: WriterT w m (HSet (MHRElements (WriterT w m)))

hlocal :: (HSet (MHRElements (WriterT w m)) -> HSet (MHRElements (WriterT w m))) -> WriterT w m a -> WriterT w m a

MonadHReader m => MonadHReader (IdentityT * m)

Associated Types

type MHRElements (IdentityT * m :: * -> *) :: [*]

Methods

askHSet :: IdentityT * m (HSet (MHRElements (IdentityT * m)))

hlocal :: (HSet (MHRElements (IdentityT * m)) -> HSet (MHRElements (IdentityT * m))) -> IdentityT * m a -> IdentityT * m a

(Monad m, Applicative m) => MonadHReader (HReaderT els m)

Associated Types

type MHRElements (HReaderT els m :: * -> *) :: [*]

Methods

askHSet :: HReaderT els m (HSet (MHRElements (HReaderT els m)))

hlocal :: (HSet (MHRElements (HReaderT els m)) -> HSet (MHRElements (HReaderT els m))) -> HReaderT els m a -> HReaderT els m a

MonadHReader m => MonadHReader (ContT * r m)

Associated Types

type MHRElements (ContT * r m :: * -> *) :: [*]

Methods

askHSet :: ContT * r m (HSet (MHRElements (ContT * r m)))

hlocal :: (HSet (MHRElements (ContT * r m)) -> HSet (MHRElements (ContT * r m))) -> ContT * r m a -> ContT * r m a

MonadHReader m => MonadHReader (ReaderT * r m)

Associated Types

type MHRElements (ReaderT * r m :: * -> *) :: [*]

Methods

askHSet :: ReaderT * r m (HSet (MHRElements (ReaderT * r m)))

hlocal :: (HSet (MHRElements (ReaderT * r m)) -> HSet (MHRElements (ReaderT * r m))) -> ReaderT * r m a -> ReaderT * r m a

(MonadHReader m, Monoid w) => MonadHReader (RWST r w s m)

Associated Types

type MHRElements (RWST r w s m :: * -> *) :: [*]

Methods

askHSet :: RWST r w s m (HSet (MHRElements (RWST r w s m)))

hlocal :: (HSet (MHRElements (RWST r w s m)) -> HSet (MHRElements (RWST r w s m))) -> RWST r w s m a -> RWST r w s m a

(MonadHReader m, Monoid w) => MonadHReader (RWST r w s m)

Associated Types

type MHRElements (RWST r w s m :: * -> *) :: [*]

Methods

askHSet :: RWST r w s m (HSet (MHRElements (RWST r w s m)))

hlocal :: (HSet (MHRElements (RWST r w s m)) -> HSet (MHRElements (RWST r w s m))) -> RWST r w s m a -> RWST r w s m a

type family MHRElemsConstraint (m :: * -> *) (els :: [*]) :: Constraint where ...

Easy generate constraint like (HGettable (MHRElements m) Int, HGettable (MHRElements m) Bool) from type list [Int, Bool]. Usable to reuse type lists for constraints and concrete HSet.

Equations

MHRElemsConstraint m '[] = MonadHReader m

MHRElemsConstraint m (e ': els) = (HGettable (MHRElements m) e, MHRElemsConstraint m els)

hask :: (MonadHReader m, HGettable (MHRElements m) e) => m e

Ask arbitrary element of hset inside HReader

haskTagged :: (MonadHReader m, HGettable (MHRElements m) (Tagged tag e)) => proxy tag -> m e

Ask arbitrary labeled element of hset in HReader