Effectful.Zoo.Console.Data.Writer

Documentation

newtype Writer i

Constructors

Writer

Fields

• run :: i -> IO ()

Instances

Contravariant Writer

Defined in Effectful.Zoo.Console.Data.Writer

Methods

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

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

Generic (Writer i)

Defined in Effectful.Zoo.Console.Data.Writer

Associated Types

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

Methods

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

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

type Rep (Writer i)

Defined in Effectful.Zoo.Console.Data.Writer

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

mkWriter :: r <: IOE => UnliftStrategy -> (i -> Eff r ()) -> Eff r (Writer i)