Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. ReadStatePure :: m a -> ReadStatePure (m :: Type -> Type) a

   capability	Capability.Source

   No documentation available.

2. newtype ReaderIORef (m :: k -> Type) (a :: k)

   capability	Capability.Source

   Derive a state monad from a reader over an IORef. Example:

   newtype MyState m a = MyState (ReaderT (IORef Int) m a)
   deriving (Functor, Applicative, Monad)
   deriving HasState "foo" Int via
   ReaderIORef (MonadReader (ReaderT (IORef Int) m))
   

   See ReaderRef for a more generic strategy.

3. ReaderIORef :: m a -> ReaderIORef (m :: k -> Type) (a :: k)

   capability	Capability.Source

   No documentation available.

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

   capability	Capability.Source

   Derive a state monad from a reader over a mutable reference. Mutable references are available in a PrimMonad. The corresponding PrimState has to match the MCState of the reference. This constraint makes a stand-alone deriving clause necessary. Example:

   newtype MyState m a = MyState (ReaderT (IORef Int) m a)
   deriving (Functor, Applicative, Monad)
   deriving via ReaderRef (MonadReader (ReaderT (IORef Int) m))
   instance (PrimMonad m, PrimState m ~ PrimState IO)
   => HasState "foo" Int (MyState m)
   

   See ReaderIORef for a specialized version over IORef.

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

   capability	Capability.Source

   No documentation available.

6. newtype ReaderIORef (m :: k -> Type) (a :: k)

   capability	Capability.State

   Derive a state monad from a reader over an IORef. Example:

   newtype MyState m a = MyState (ReaderT (IORef Int) m a)
   deriving (Functor, Applicative, Monad)
   deriving HasState "foo" Int via
   ReaderIORef (MonadReader (ReaderT (IORef Int) m))
   

   See ReaderRef for a more generic strategy.

7. ReaderIORef :: m a -> ReaderIORef (m :: k -> Type) (a :: k)

   capability	Capability.State

   No documentation available.

8. newtype ReaderRef (m :: Type -> Type) a

   capability	Capability.State

   Derive a state monad from a reader over a mutable reference. Mutable references are available in a PrimMonad. The corresponding PrimState has to match the MCState of the reference. This constraint makes a stand-alone deriving clause necessary. Example:

   newtype MyState m a = MyState (ReaderT (IORef Int) m a)
   deriving (Functor, Applicative, Monad)
   deriving via ReaderRef (MonadReader (ReaderT (IORef Int) m))
   instance (PrimMonad m, PrimState m ~ PrimState IO)
   => HasState "foo" Int (MyState m)
   

   See ReaderIORef for a specialized version over IORef.

9. ReaderRef :: m a -> ReaderRef (m :: Type -> Type) a

   capability	Capability.State

   No documentation available.

10. data ReadM a

    configuration-tools	Configuration.Utils.CommandLine

    A newtype over 'ReaderT String Except', used by option readers.

Page 413 of many | Previous | Next