Data.Effect.Log

Documentation

data Log msg a where

Constructors

Log :: forall msg. msg -> Log msg ()

type LLog msg = LiftFOE (Log msg)

pattern LLog :: forall a msg f. () => (a ~ (), ()) => msg -> LiftFOE (Log msg) f a

log :: SendFOE (Log msg) f => msg -> f ()

log' :: forall {k} (tag :: k) msg f. SendFOE (Tag (Log msg) tag) f => msg -> f ()

log'' :: forall {k} (key :: k) msg f. SendFOEBy key (Log msg) f => msg -> f ()