Safe Haskell	None
Language	Haskell2010

Control.Effect.Internal.Writer

Synopsis

data Tell o :: Effect where
- Tell :: o -> Tell o m ()
data Listen o :: Effect where
- Listen :: m a -> Listen o m (o, a)
newtype Pass o :: Effect where
- Pass :: m (o -> o, a) -> Pass o m a
newtype TellC o m a = TellC {
- unTellC :: WriterT o m a
}
newtype ListenC o m a = ListenC {
- unListenC :: WriterT o m a
}
newtype WriterC o m a = WriterC {
- unWriterC :: WriterT o m a
}
newtype TellLazyC o m a = TellLazyC {
- unTellLazyC :: WriterT o m a
}
newtype ListenLazyC o m a = ListenLazyC {
- unListenLazyC :: WriterT o m a
}
newtype WriterLazyC o m a = WriterLazyC {
- _unWriterLazyC :: WriterT o m a
}
class (forall o. Monoid o => Threads (WriterT o) p) => WriterThreads p
class (forall o. Monoid o => Threads (WriterT o) p) => WriterLazyThreads p

Documentation

data Tell o :: Effect where Source #

An effect for arbitrary output.

Constructors

Tell :: o -> Tell o m ()

Instances

Instances details

(Monoid w, Carrier m, Threaders '[SteppedThreads] m p) => PrimHandler ListenSteppedH (ListenPrim w) (SteppedC (Tell w) m) Source #
Instance details Defined in Control.Effect.Internal.Intercept Methods effPrimHandler :: EffPrimHandler (ListenPrim w) (SteppedC (Tell w) m) Source #

data Listen o :: Effect where Source #

An effect for hearing what a computation has to tell.

Constructors

Listen :: m a -> Listen o m (o, a)

Instances

Instances details

Eff (ListenPrim w) m => Handler ListenSteppedH (Listen w) m Source #
Instance details Defined in Control.Effect.Internal.Intercept Methods effHandler :: EffHandler (Listen w) m Source #

newtype Pass o :: Effect where Source #

An effect for altering what a computation tells.

Constructors

Pass :: m (o -> o, a) -> Pass o m a

newtype TellC o m a Source #

Constructors

TellC
Fields unTellC :: WriterT o m a

Instances

Instances details

MonadBase b m => MonadBase b (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftBase :: b α -> TellC o m α #
(MonadBaseControl b m, Monoid o) => MonadBaseControl b (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StM (TellC o m) a # Methods liftBaseWith :: (RunInBase (TellC o m) b -> b a) -> TellC o m a # restoreM :: StM (TellC o m) a -> TellC o m a #
MonadTrans (TellC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods lift :: Monad m => m a -> TellC o m a #
Monoid o => MonadTransControl (TellC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StT (TellC o) a # Methods liftWith :: Monad m => (Run (TellC o) -> m a) -> TellC o m a # restoreT :: Monad m => m (StT (TellC o) a) -> TellC o m a #
Monad m => Monad (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods (>>=) :: TellC o m a -> (a -> TellC o m b) -> TellC o m b # (>>) :: TellC o m a -> TellC o m b -> TellC o m b # return :: a -> TellC o m a #
Functor m => Functor (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fmap :: (a -> b) -> TellC o m a -> TellC o m b # (<$) :: a -> TellC o m b -> TellC o m a #
MonadFix m => MonadFix (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mfix :: (a -> TellC o m a) -> TellC o m a #
MonadFail m => MonadFail (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fail :: String -> TellC o m a #
Monad m => Applicative (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods pure :: a -> TellC o m a # (<>) :: TellC o m (a -> b) -> TellC o m a -> TellC o m b # liftA2 :: (a -> b -> c) -> TellC o m a -> TellC o m b -> TellC o m c # (>) :: TellC o m a -> TellC o m b -> TellC o m b # (<*) :: TellC o m a -> TellC o m b -> TellC o m a #
MonadIO m => MonadIO (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftIO :: IO a -> TellC o m a #
MonadPlus m => Alternative (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods empty :: TellC o m a # (<\|>) :: TellC o m a -> TellC o m a -> TellC o m a # some :: TellC o m a -> TellC o m [a] # many :: TellC o m a -> TellC o m [a] #
MonadPlus m => MonadPlus (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mzero :: TellC o m a # mplus :: TellC o m a -> TellC o m a -> TellC o m a #
MonadThrow m => MonadThrow (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods throwM :: Exception e => e -> TellC o m a #
(Monoid o, MonadCatch m) => MonadCatch (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods catch :: Exception e => TellC o m a -> (e -> TellC o m a) -> TellC o m a #
(Monoid o, MonadMask m) => MonadMask (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mask :: ((forall a. TellC o m a -> TellC o m a) -> TellC o m b) -> TellC o m b # uninterruptibleMask :: ((forall a. TellC o m a -> TellC o m a) -> TellC o m b) -> TellC o m b # generalBracket :: TellC o m a -> (a -> ExitCase b -> TellC o m c) -> (a -> TellC o m b) -> TellC o m (b, c) #
(Carrier m, Monoid o, Threads (WriterT o) (Prims m)) => Carrier (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type Derivs (TellC o m) :: [Effect] Source # type Prims (TellC o m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (TellC o m)) (TellC o m) a Source # reformulate :: Monad z => Reformulation' (Derivs (TellC o m)) (Prims (TellC o m)) (TellC o m) z a Source # algDerivs :: Algebra' (Derivs (TellC o m)) (TellC o m) a Source #
type StT (TellC o) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StT (TellC o) a = (a, o)
type Derivs (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Derivs (TellC o m) = Tell o ': Derivs m
type Prims (TellC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Prims (TellC o m) = Prims m
type StM (TellC o m) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StM (TellC o m) a = StM m (a, o)

newtype ListenC o m a Source #

Constructors

ListenC
Fields unListenC :: WriterT o m a

Instances

Instances details

MonadBase b m => MonadBase b (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftBase :: b α -> ListenC o m α #
(MonadBaseControl b m, Monoid o) => MonadBaseControl b (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StM (ListenC o m) a # Methods liftBaseWith :: (RunInBase (ListenC o m) b -> b a) -> ListenC o m a # restoreM :: StM (ListenC o m) a -> ListenC o m a #
MonadTrans (ListenC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods lift :: Monad m => m a -> ListenC o m a #
Monoid o => MonadTransControl (ListenC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StT (ListenC o) a # Methods liftWith :: Monad m => (Run (ListenC o) -> m a) -> ListenC o m a # restoreT :: Monad m => m (StT (ListenC o) a) -> ListenC o m a #
Monad m => Monad (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods (>>=) :: ListenC o m a -> (a -> ListenC o m b) -> ListenC o m b # (>>) :: ListenC o m a -> ListenC o m b -> ListenC o m b # return :: a -> ListenC o m a #
Functor m => Functor (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fmap :: (a -> b) -> ListenC o m a -> ListenC o m b # (<$) :: a -> ListenC o m b -> ListenC o m a #
MonadFix m => MonadFix (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mfix :: (a -> ListenC o m a) -> ListenC o m a #
MonadFail m => MonadFail (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fail :: String -> ListenC o m a #
Monad m => Applicative (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods pure :: a -> ListenC o m a # (<>) :: ListenC o m (a -> b) -> ListenC o m a -> ListenC o m b # liftA2 :: (a -> b -> c) -> ListenC o m a -> ListenC o m b -> ListenC o m c # (>) :: ListenC o m a -> ListenC o m b -> ListenC o m b # (<*) :: ListenC o m a -> ListenC o m b -> ListenC o m a #
MonadIO m => MonadIO (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftIO :: IO a -> ListenC o m a #
MonadPlus m => Alternative (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods empty :: ListenC o m a # (<\|>) :: ListenC o m a -> ListenC o m a -> ListenC o m a # some :: ListenC o m a -> ListenC o m [a] # many :: ListenC o m a -> ListenC o m [a] #
MonadPlus m => MonadPlus (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mzero :: ListenC o m a # mplus :: ListenC o m a -> ListenC o m a -> ListenC o m a #
MonadThrow m => MonadThrow (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods throwM :: Exception e => e -> ListenC o m a #
(Monoid o, MonadCatch m) => MonadCatch (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods catch :: Exception e => ListenC o m a -> (e -> ListenC o m a) -> ListenC o m a #
(Monoid o, MonadMask m) => MonadMask (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mask :: ((forall a. ListenC o m a -> ListenC o m a) -> ListenC o m b) -> ListenC o m b # uninterruptibleMask :: ((forall a. ListenC o m a -> ListenC o m a) -> ListenC o m b) -> ListenC o m b # generalBracket :: ListenC o m a -> (a -> ExitCase b -> ListenC o m c) -> (a -> ListenC o m b) -> ListenC o m (b, c) #
(Carrier m, Monoid o, Threads (WriterT o) (Prims m)) => Carrier (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type Derivs (ListenC o m) :: [Effect] Source # type Prims (ListenC o m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (ListenC o m)) (ListenC o m) a Source # reformulate :: Monad z => Reformulation' (Derivs (ListenC o m)) (Prims (ListenC o m)) (ListenC o m) z a Source # algDerivs :: Algebra' (Derivs (ListenC o m)) (ListenC o m) a Source #
type StT (ListenC o) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StT (ListenC o) a = StT (TellC o) a
type Derivs (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Derivs (ListenC o m) = Listen o ': (Tell o ': Derivs m)
type Prims (ListenC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Prims (ListenC o m) = ListenPrim o ': Prims m
type StM (ListenC o m) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StM (ListenC o m) a = StM (TellC o m) a

newtype WriterC o m a Source #

Constructors

WriterC
Fields unWriterC :: WriterT o m a

Instances

Instances details

MonadBase b m => MonadBase b (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftBase :: b α -> WriterC o m α #
(MonadBaseControl b m, Monoid o) => MonadBaseControl b (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StM (WriterC o m) a # Methods liftBaseWith :: (RunInBase (WriterC o m) b -> b a) -> WriterC o m a # restoreM :: StM (WriterC o m) a -> WriterC o m a #
MonadTrans (WriterC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods lift :: Monad m => m a -> WriterC o m a #
Monoid o => MonadTransControl (WriterC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StT (WriterC o) a # Methods liftWith :: Monad m => (Run (WriterC o) -> m a) -> WriterC o m a # restoreT :: Monad m => m (StT (WriterC o) a) -> WriterC o m a #
Monad m => Monad (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods (>>=) :: WriterC o m a -> (a -> WriterC o m b) -> WriterC o m b # (>>) :: WriterC o m a -> WriterC o m b -> WriterC o m b # return :: a -> WriterC o m a #
Functor m => Functor (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fmap :: (a -> b) -> WriterC o m a -> WriterC o m b # (<$) :: a -> WriterC o m b -> WriterC o m a #
MonadFix m => MonadFix (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mfix :: (a -> WriterC o m a) -> WriterC o m a #
MonadFail m => MonadFail (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fail :: String -> WriterC o m a #
Monad m => Applicative (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods pure :: a -> WriterC o m a # (<>) :: WriterC o m (a -> b) -> WriterC o m a -> WriterC o m b # liftA2 :: (a -> b -> c) -> WriterC o m a -> WriterC o m b -> WriterC o m c # (>) :: WriterC o m a -> WriterC o m b -> WriterC o m b # (<*) :: WriterC o m a -> WriterC o m b -> WriterC o m a #
MonadIO m => MonadIO (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftIO :: IO a -> WriterC o m a #
MonadPlus m => Alternative (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods empty :: WriterC o m a # (<\|>) :: WriterC o m a -> WriterC o m a -> WriterC o m a # some :: WriterC o m a -> WriterC o m [a] # many :: WriterC o m a -> WriterC o m [a] #
MonadPlus m => MonadPlus (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mzero :: WriterC o m a # mplus :: WriterC o m a -> WriterC o m a -> WriterC o m a #
MonadThrow m => MonadThrow (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods throwM :: Exception e => e -> WriterC o m a #
(Monoid o, MonadCatch m) => MonadCatch (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods catch :: Exception e => WriterC o m a -> (e -> WriterC o m a) -> WriterC o m a #
(Monoid o, MonadMask m) => MonadMask (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mask :: ((forall a. WriterC o m a -> WriterC o m a) -> WriterC o m b) -> WriterC o m b # uninterruptibleMask :: ((forall a. WriterC o m a -> WriterC o m a) -> WriterC o m b) -> WriterC o m b # generalBracket :: WriterC o m a -> (a -> ExitCase b -> WriterC o m c) -> (a -> WriterC o m b) -> WriterC o m (b, c) #
(Carrier m, Monoid o, Threads (WriterT o) (Prims m)) => Carrier (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type Derivs (WriterC o m) :: [Effect] Source # type Prims (WriterC o m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (WriterC o m)) (WriterC o m) a Source # reformulate :: Monad z => Reformulation' (Derivs (WriterC o m)) (Prims (WriterC o m)) (WriterC o m) z a Source # algDerivs :: Algebra' (Derivs (WriterC o m)) (WriterC o m) a Source #
type StT (WriterC o) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StT (WriterC o) a = StT (TellC o) a
type Derivs (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Derivs (WriterC o m) = Pass o ': (Listen o ': (Tell o ': Derivs m))
type Prims (WriterC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Prims (WriterC o m) = WriterPrim o ': Prims m
type StM (WriterC o m) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StM (WriterC o m) a = StM (TellC o m) a

newtype TellLazyC o m a Source #

Constructors

TellLazyC
Fields unTellLazyC :: WriterT o m a

Instances

Instances details

(Monoid o, MonadBase b m) => MonadBase b (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftBase :: b α -> TellLazyC o m α #
(Monoid o, MonadBaseControl b m) => MonadBaseControl b (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StM (TellLazyC o m) a # Methods liftBaseWith :: (RunInBase (TellLazyC o m) b -> b a) -> TellLazyC o m a # restoreM :: StM (TellLazyC o m) a -> TellLazyC o m a #
Monoid o => MonadTrans (TellLazyC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods lift :: Monad m => m a -> TellLazyC o m a #
Monoid o => MonadTransControl (TellLazyC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StT (TellLazyC o) a # Methods liftWith :: Monad m => (Run (TellLazyC o) -> m a) -> TellLazyC o m a # restoreT :: Monad m => m (StT (TellLazyC o) a) -> TellLazyC o m a #
(Monoid o, Monad m) => Monad (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods (>>=) :: TellLazyC o m a -> (a -> TellLazyC o m b) -> TellLazyC o m b # (>>) :: TellLazyC o m a -> TellLazyC o m b -> TellLazyC o m b # return :: a -> TellLazyC o m a #
Functor m => Functor (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fmap :: (a -> b) -> TellLazyC o m a -> TellLazyC o m b # (<$) :: a -> TellLazyC o m b -> TellLazyC o m a #
(Monoid o, MonadFix m) => MonadFix (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mfix :: (a -> TellLazyC o m a) -> TellLazyC o m a #
(Monoid o, MonadFail m) => MonadFail (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fail :: String -> TellLazyC o m a #
(Monoid o, Applicative m) => Applicative (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods pure :: a -> TellLazyC o m a # (<>) :: TellLazyC o m (a -> b) -> TellLazyC o m a -> TellLazyC o m b # liftA2 :: (a -> b -> c) -> TellLazyC o m a -> TellLazyC o m b -> TellLazyC o m c # (>) :: TellLazyC o m a -> TellLazyC o m b -> TellLazyC o m b # (<*) :: TellLazyC o m a -> TellLazyC o m b -> TellLazyC o m a #
(Monoid o, MonadIO m) => MonadIO (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftIO :: IO a -> TellLazyC o m a #
(Monoid o, Alternative m) => Alternative (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods empty :: TellLazyC o m a # (<\|>) :: TellLazyC o m a -> TellLazyC o m a -> TellLazyC o m a # some :: TellLazyC o m a -> TellLazyC o m [a] # many :: TellLazyC o m a -> TellLazyC o m [a] #
(Monoid o, MonadPlus m) => MonadPlus (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mzero :: TellLazyC o m a # mplus :: TellLazyC o m a -> TellLazyC o m a -> TellLazyC o m a #
(Monoid o, MonadThrow m) => MonadThrow (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods throwM :: Exception e => e -> TellLazyC o m a #
(Monoid o, MonadCatch m) => MonadCatch (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods catch :: Exception e => TellLazyC o m a -> (e -> TellLazyC o m a) -> TellLazyC o m a #
(Monoid o, MonadMask m) => MonadMask (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mask :: ((forall a. TellLazyC o m a -> TellLazyC o m a) -> TellLazyC o m b) -> TellLazyC o m b # uninterruptibleMask :: ((forall a. TellLazyC o m a -> TellLazyC o m a) -> TellLazyC o m b) -> TellLazyC o m b # generalBracket :: TellLazyC o m a -> (a -> ExitCase b -> TellLazyC o m c) -> (a -> TellLazyC o m b) -> TellLazyC o m (b, c) #
(Monoid o, Carrier m, Threads (WriterT o) (Prims m)) => Carrier (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type Derivs (TellLazyC o m) :: [Effect] Source # type Prims (TellLazyC o m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (TellLazyC o m)) (TellLazyC o m) a Source # reformulate :: Monad z => Reformulation' (Derivs (TellLazyC o m)) (Prims (TellLazyC o m)) (TellLazyC o m) z a Source # algDerivs :: Algebra' (Derivs (TellLazyC o m)) (TellLazyC o m) a Source #
type StT (TellLazyC o) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StT (TellLazyC o) a = StT (WriterT o) a
type Derivs (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Derivs (TellLazyC o m) = Tell o ': Derivs m
type Prims (TellLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Prims (TellLazyC o m) = Prims m
type StM (TellLazyC o m) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StM (TellLazyC o m) a = StM (WriterT o m) a

newtype ListenLazyC o m a Source #

Constructors

ListenLazyC
Fields unListenLazyC :: WriterT o m a

Instances

Instances details

(Monoid o, MonadBase b m) => MonadBase b (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftBase :: b α -> ListenLazyC o m α #
(Monoid o, MonadBaseControl b m) => MonadBaseControl b (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StM (ListenLazyC o m) a # Methods liftBaseWith :: (RunInBase (ListenLazyC o m) b -> b a) -> ListenLazyC o m a # restoreM :: StM (ListenLazyC o m) a -> ListenLazyC o m a #
Monoid o => MonadTrans (ListenLazyC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods lift :: Monad m => m a -> ListenLazyC o m a #
Monoid o => MonadTransControl (ListenLazyC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StT (ListenLazyC o) a # Methods liftWith :: Monad m => (Run (ListenLazyC o) -> m a) -> ListenLazyC o m a # restoreT :: Monad m => m (StT (ListenLazyC o) a) -> ListenLazyC o m a #
(Monoid o, Monad m) => Monad (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods (>>=) :: ListenLazyC o m a -> (a -> ListenLazyC o m b) -> ListenLazyC o m b # (>>) :: ListenLazyC o m a -> ListenLazyC o m b -> ListenLazyC o m b # return :: a -> ListenLazyC o m a #
Functor m => Functor (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fmap :: (a -> b) -> ListenLazyC o m a -> ListenLazyC o m b # (<$) :: a -> ListenLazyC o m b -> ListenLazyC o m a #
(Monoid o, MonadFix m) => MonadFix (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mfix :: (a -> ListenLazyC o m a) -> ListenLazyC o m a #
(Monoid o, MonadFail m) => MonadFail (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fail :: String -> ListenLazyC o m a #
(Monoid o, Applicative m) => Applicative (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods pure :: a -> ListenLazyC o m a # (<>) :: ListenLazyC o m (a -> b) -> ListenLazyC o m a -> ListenLazyC o m b # liftA2 :: (a -> b -> c) -> ListenLazyC o m a -> ListenLazyC o m b -> ListenLazyC o m c # (>) :: ListenLazyC o m a -> ListenLazyC o m b -> ListenLazyC o m b # (<*) :: ListenLazyC o m a -> ListenLazyC o m b -> ListenLazyC o m a #
(Monoid o, MonadIO m) => MonadIO (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftIO :: IO a -> ListenLazyC o m a #
(Monoid o, Alternative m) => Alternative (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods empty :: ListenLazyC o m a # (<\|>) :: ListenLazyC o m a -> ListenLazyC o m a -> ListenLazyC o m a # some :: ListenLazyC o m a -> ListenLazyC o m [a] # many :: ListenLazyC o m a -> ListenLazyC o m [a] #
(Monoid o, MonadPlus m) => MonadPlus (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mzero :: ListenLazyC o m a # mplus :: ListenLazyC o m a -> ListenLazyC o m a -> ListenLazyC o m a #
(Monoid o, MonadThrow m) => MonadThrow (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods throwM :: Exception e => e -> ListenLazyC o m a #
(Monoid o, MonadCatch m) => MonadCatch (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods catch :: Exception e => ListenLazyC o m a -> (e -> ListenLazyC o m a) -> ListenLazyC o m a #
(Monoid o, MonadMask m) => MonadMask (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mask :: ((forall a. ListenLazyC o m a -> ListenLazyC o m a) -> ListenLazyC o m b) -> ListenLazyC o m b # uninterruptibleMask :: ((forall a. ListenLazyC o m a -> ListenLazyC o m a) -> ListenLazyC o m b) -> ListenLazyC o m b # generalBracket :: ListenLazyC o m a -> (a -> ExitCase b -> ListenLazyC o m c) -> (a -> ListenLazyC o m b) -> ListenLazyC o m (b, c) #
(Monoid o, Carrier m, Threads (WriterT o) (Prims m)) => Carrier (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type Derivs (ListenLazyC o m) :: [Effect] Source # type Prims (ListenLazyC o m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (ListenLazyC o m)) (ListenLazyC o m) a Source # reformulate :: Monad z => Reformulation' (Derivs (ListenLazyC o m)) (Prims (ListenLazyC o m)) (ListenLazyC o m) z a Source # algDerivs :: Algebra' (Derivs (ListenLazyC o m)) (ListenLazyC o m) a Source #
type StT (ListenLazyC o) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StT (ListenLazyC o) a = StT (WriterT o) a
type Derivs (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Derivs (ListenLazyC o m) = Listen o ': (Tell o ': Derivs m)
type Prims (ListenLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Prims (ListenLazyC o m) = ListenPrim o ': Prims m
type StM (ListenLazyC o m) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StM (ListenLazyC o m) a = StM (WriterT o m) a

newtype WriterLazyC o m a Source #

Constructors

WriterLazyC
Fields _unWriterLazyC :: WriterT o m a

Instances

Instances details

(Monoid o, MonadBase b m) => MonadBase b (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftBase :: b α -> WriterLazyC o m α #
(Monoid o, MonadBaseControl b m) => MonadBaseControl b (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StM (WriterLazyC o m) a # Methods liftBaseWith :: (RunInBase (WriterLazyC o m) b -> b a) -> WriterLazyC o m a # restoreM :: StM (WriterLazyC o m) a -> WriterLazyC o m a #
Monoid o => MonadTrans (WriterLazyC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods lift :: Monad m => m a -> WriterLazyC o m a #
Monoid o => MonadTransControl (WriterLazyC o) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type StT (WriterLazyC o) a # Methods liftWith :: Monad m => (Run (WriterLazyC o) -> m a) -> WriterLazyC o m a # restoreT :: Monad m => m (StT (WriterLazyC o) a) -> WriterLazyC o m a #
(Monoid o, Monad m) => Monad (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods (>>=) :: WriterLazyC o m a -> (a -> WriterLazyC o m b) -> WriterLazyC o m b # (>>) :: WriterLazyC o m a -> WriterLazyC o m b -> WriterLazyC o m b # return :: a -> WriterLazyC o m a #
Functor m => Functor (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fmap :: (a -> b) -> WriterLazyC o m a -> WriterLazyC o m b # (<$) :: a -> WriterLazyC o m b -> WriterLazyC o m a #
(Monoid o, MonadFix m) => MonadFix (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mfix :: (a -> WriterLazyC o m a) -> WriterLazyC o m a #
(Monoid o, MonadFail m) => MonadFail (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods fail :: String -> WriterLazyC o m a #
(Monoid o, Applicative m) => Applicative (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods pure :: a -> WriterLazyC o m a # (<>) :: WriterLazyC o m (a -> b) -> WriterLazyC o m a -> WriterLazyC o m b # liftA2 :: (a -> b -> c) -> WriterLazyC o m a -> WriterLazyC o m b -> WriterLazyC o m c # (>) :: WriterLazyC o m a -> WriterLazyC o m b -> WriterLazyC o m b # (<*) :: WriterLazyC o m a -> WriterLazyC o m b -> WriterLazyC o m a #
(Monoid o, MonadIO m) => MonadIO (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods liftIO :: IO a -> WriterLazyC o m a #
(Monoid o, Alternative m) => Alternative (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods empty :: WriterLazyC o m a # (<\|>) :: WriterLazyC o m a -> WriterLazyC o m a -> WriterLazyC o m a # some :: WriterLazyC o m a -> WriterLazyC o m [a] # many :: WriterLazyC o m a -> WriterLazyC o m [a] #
(Monoid o, MonadPlus m) => MonadPlus (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mzero :: WriterLazyC o m a # mplus :: WriterLazyC o m a -> WriterLazyC o m a -> WriterLazyC o m a #
(Monoid o, MonadThrow m) => MonadThrow (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods throwM :: Exception e => e -> WriterLazyC o m a #
(Monoid o, MonadCatch m) => MonadCatch (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods catch :: Exception e => WriterLazyC o m a -> (e -> WriterLazyC o m a) -> WriterLazyC o m a #
(Monoid o, MonadMask m) => MonadMask (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Methods mask :: ((forall a. WriterLazyC o m a -> WriterLazyC o m a) -> WriterLazyC o m b) -> WriterLazyC o m b # uninterruptibleMask :: ((forall a. WriterLazyC o m a -> WriterLazyC o m a) -> WriterLazyC o m b) -> WriterLazyC o m b # generalBracket :: WriterLazyC o m a -> (a -> ExitCase b -> WriterLazyC o m c) -> (a -> WriterLazyC o m b) -> WriterLazyC o m (b, c) #
(Monoid o, Carrier m, Threads (WriterT o) (Prims m)) => Carrier (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer Associated Types type Derivs (WriterLazyC o m) :: [Effect] Source # type Prims (WriterLazyC o m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (WriterLazyC o m)) (WriterLazyC o m) a Source # reformulate :: Monad z => Reformulation' (Derivs (WriterLazyC o m)) (Prims (WriterLazyC o m)) (WriterLazyC o m) z a Source # algDerivs :: Algebra' (Derivs (WriterLazyC o m)) (WriterLazyC o m) a Source #
type StT (WriterLazyC o) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StT (WriterLazyC o) a = StT (WriterT o) a
type Derivs (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Derivs (WriterLazyC o m) = Pass o ': (Listen o ': (Tell o ': Derivs m))
type Prims (WriterLazyC o m) Source #
Instance details Defined in Control.Effect.Internal.Writer type Prims (WriterLazyC o m) = WriterPrim o ': Prims m
type StM (WriterLazyC o m) a Source #
Instance details Defined in Control.Effect.Internal.Writer type StM (WriterLazyC o m) a = StM (WriterT o m) a

class (forall o. Monoid o => Threads (WriterT o) p) => WriterThreads p Source #

WriterThreads accepts the following primitive effects:

Regional s
Optional s (when s is a functor)
BaseControl b
ListenPrim o (when o is a Monoid)
WriterPrim o (when o is a Monoid)
ReaderPrim i
Mask
Bracket
Fix
Split

Instances

Instances details

(forall o. Monoid o => Threads (WriterT o) p) => WriterThreads p Source #
Instance details Defined in Control.Effect.Internal.Writer

class (forall o. Monoid o => Threads (WriterT o) p) => WriterLazyThreads p Source #

WriterLazyThreads accepts the following primitive effects:

Regional s
Optional s (when s is a functor)
BaseControl b
ListenPrim o (when o is a Monoid)
WriterPrim o (when o is a Monoid)
ReaderPrim i
Mask
Bracket
Fix
Split

Instances

Instances details

(forall o. Monoid o => Threads (WriterT o) p) => WriterLazyThreads p Source #
Instance details Defined in Control.Effect.Internal.Writer