Colog.Polysemy.Formatting.WithLog

Documentation

type WithLog' msg r = (HasCallStack, Member (Log msg) r)

This constraint allows you to specify a custom message type. Otherwise, use WithLog instead.

type WithLog r = WithLog' (Msg Severity) r

Add this constraint to a type signature to require the Log effect, with callstack support, using the 'Msg Severity' message type.