Safe Haskell	None
Language	GHC2021

Control.Effect.Unclog

Synopsis

data Log (m :: k) r where
- PublishLogEntry :: forall {k} (m :: k). (Time -> LogEntry) -> Log m ()
publishLogEntry :: forall (sig :: (Type -> Type) -> Type -> Type) m. Has (Log :: (Type -> Type) -> Type -> Type) sig m => (Time -> LogEntry) -> m ()

Documentation

data Log (m :: k) r where Source #

a logging effect

Constructors

PublishLogEntry :: forall {k} (m :: k). (Time -> LogEntry) -> Log m ()

Instances details

(Algebra sig m, MonadIO m) => Algebra ((Log :: (Type -> Type) -> Type -> Type) :+: sig) (UnclogC m) Source #
Instance details Defined in Control.Carrier.Unclog Methods alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (UnclogC m) -> ((Log :: (Type -> Type) -> Type -> Type) :+: sig) n a -> ctx () -> UnclogC m (ctx a) #

publishLogEntry :: forall (sig :: (Type -> Type) -> Type -> Type) m. Has (Log :: (Type -> Type) -> Type -> Type) sig m => (Time -> LogEntry) -> m () Source #

publish a log entry that gets supplied a time by the effect interpretation