effect-monad-0.8.0.0: Embeds effect systems and program logics into Haskell using graded monads and parameterised monads
Control.Effect.ReadOnceReader
Synopsis
ask :: Reader '[a] a Source #
ask for a value of type a
ask
a
data Reader (r :: [*]) a Source #
Provides a weak reader monad, which can only read an item once. Provides an effect system as a list of the items that have been read
Constructors
Fields
Instances
Associated Types
type Unit Reader (m :: Reader -> * -> *) :: k Source #
type Plus Reader (m :: Reader -> * -> *) (f :: Reader) (g :: Reader) :: k Source #
type Inv Reader (m :: Reader -> * -> *) (f :: Reader) (g :: Reader) :: Constraint Source #
Methods
return :: a -> m (Unit Reader m) a Source #
(>>=) :: Inv Reader m f g => m f a -> (a -> m g b) -> m (Plus Reader m f g) b Source #
(>>) :: Inv Reader m f g => m f a -> m g b -> m (Plus Reader m f g) b Source #
type AltInv Reader (m :: Reader -> * -> *) (s :: Reader) (t :: Reader) :: Constraint Source #
type Alt Reader (m :: Reader -> * -> *) (s :: Reader) (t :: Reader) :: k Source #
ifM :: AltInv Reader m s t => Bool -> m s a -> m t a -> m (Alt Reader m s t) a Source #
data List (l :: [*]) where Source #