Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. withReaderT :: forall r' r (m :: Type -> Type) a . (r' -> r) -> ReaderT r m a -> ReaderT r' m a

   can-i-haz	Control.Monad.Reader.Has

   Execute a computation in a modified environment (a more general version of local).

   • runReaderT (withReaderT f m) =
     runReaderT m . f

2. class (Monad m, HasSource tag r m) => HasReader (tag :: k) r (m :: Type -> Type) | tag m -> r

   capability	Capability.Reader

   Reader capability An instance should fulfill the following laws. At this point these laws are not definitive, see https://github.com/haskell/mtl/issues/5.

   k <*> ask @t = ask @t <**> k
   

   ask @t *> m = m = m <* ask @t
   

   local @t f (ask @t) = fmap f (ask @t)
   

   local @t f . local @t g = local @t (g . f)
   

   local @t f (pure x) = pure x
   

   local @t f (m >>= \x -> k x) = local @t f m >>= \x -> local @t f (k x)
   

   reader @t f = f <$> ask @t
   

3. type HasReader' (tag :: k) = HasReader tag TypeOf k tag

   capability	Capability.Reader

   Type synonym using the TypeOf type family to specify HasReader constraints without having to specify the type associated to a tag.

4. newtype MonadReader (m :: Type -> Type) a

   capability	Capability.Reader

   Derive HasSource from m's MonadReader instance.

5. MonadReader :: m a -> MonadReader (m :: Type -> Type) a

   capability	Capability.Reader

   No documentation available.

6. newtype MonadReader (m :: Type -> Type) a

   capability	Capability.Source

   Derive HasSource from m's MonadReader instance.

7. MonadReader :: m a -> MonadReader (m :: Type -> Type) a

   capability	Capability.Source

   No documentation available.

8. newtype LazilyReadBeanMissing

   cauldron	Cauldron.Args

   Imprecise exception that might lie hidden in the result of runArgs, if the Beans map lacks a value for some type demanded by the Args. Why not make runArgs return a Maybe instead of throwing an imprecise exception? The answer is that, for my purposes, using Maybe or Either caused undesirable strictness when doing weird things like reading values "from the future".

   >>> :{
   try @LazilyReadBeanMissing $ evaluate $ runArgs (taste Cauldron.Beans.empty) (arg @Int)
   :}
   Left (LazilyReadBeanMissing Int)
   

   If more safety is needed, one can perform additional preliminary checks with the help of getArgsReps.

9. LazilyReadBeanMissing :: TypeRep -> LazilyReadBeanMissing

   cauldron	Cauldron.Args

   No documentation available.

10. alreadyInlined :: Id -> Id -> NormalizeMonad (Maybe Int)

    clash-lib	Clash.Normalize.Util

    Determine if a function is already inlined in the context of the NetlistMonad

Page 753 of many | Previous | Next