Effectful.Zoo.Log.Data.Logger

Documentation

newtype Logger i

Constructors

Logger

Fields

• run :: CallStack -> Severity -> i -> IO ()

Instances

Contravariant Logger

Defined in Effectful.Zoo.Log.Data.Logger

Methods

contramap :: (a' -> a) -> Logger a -> Logger a'

(>$) :: b -> Logger b -> Logger a

Generic (Logger i)

Defined in Effectful.Zoo.Log.Data.Logger

Associated Types

type Rep (Logger i) :: Type -> Type

Methods

from :: Logger i -> Rep (Logger i) x

to :: Rep (Logger i) x -> Logger i

type Rep (Logger i)

Defined in Effectful.Zoo.Log.Data.Logger

type Rep (Logger i) = D1 ('MetaData "Logger" "Effectful.Zoo.Log.Data.Logger" "effectful-zoo-0.0.1.0-GRBLOGvI3mP8eq7rgEiM2E-log" 'True) (C1 ('MetaCons "Logger" 'PrefixI 'True) (S1 ('MetaSel ('Just "run") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CallStack -> Severity -> i -> IO ()))))

mkLogger :: r <: IOE => UnliftStrategy -> (CallStack -> Severity -> i -> Eff r ()) -> Eff r (Logger i)