Effectful.Zoo.DataLog.Data.DataLogger

Documentation

newtype DataLogger i

Constructors

DataLogger

Fields

• run :: i -> IO ()

Instances

Contravariant DataLogger

Defined in Effectful.Zoo.DataLog.Data.DataLogger

Methods

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

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

Generic (DataLogger i)

Defined in Effectful.Zoo.DataLog.Data.DataLogger

Associated Types

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

Methods

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

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

type Rep (DataLogger i)

Defined in Effectful.Zoo.DataLog.Data.DataLogger

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

mkDataLogger :: (i -> Eff r ()) -> Eff r (DataLogger i)