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).

Associated Types

type MHRElements m :: [*]

Methods

askHSet :: m (HSet (MHRElements m))

Instances

MonadHReader m => MonadHReader (ListT m)

MonadHReader m => MonadHReader (ContT r m)

MonadHReader m => MonadHReader (ReaderT r m)

MonadHReader m => MonadHReader (StateT s m)

MonadHReader m => MonadHReader (StateT s m)

MonadHReader m => MonadHReader (ExceptT e m)

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

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

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

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

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

type family MHRElemsConstraint m els :: Constraint

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