Safe Haskell	None
Language	GHC2024

Proarrow.Promonad.Writer

Documentation

data Writer (w :: m) (a :: k) (b :: k) where Source Comments #

Constructors

Writer :: forall {k} {m} (b :: k) (a :: k) (w :: m). Ob b => (a ~> Act w b) -> Writer w a b

Instances

Instances details

(Ob w, MonoidalAction m k, SymMonoidal m) => Strong m (Writer w :: k -> k -> Type) Source Comments #

Instance details

Defined in Proarrow.Promonad.Writer

Methods

act :: forall (a :: m) (b :: m) (x :: k) (y :: k). (a ~> b) -> Writer w x y -> Writer w (Act a x) (Act b y) Source Comments #

(SymMonoidalAction m k, Ob a) => IsWriter m (Writer a :: k -> k -> Type) Source Comments #

Instance details

Defined in Proarrow.Category.Equipment.Stateful

Associated Types

type WithReader m (Writer a :: k -> k -> Type)
Instance details Defined in Proarrow.Category.Equipment.Stateful type WithReader m (Writer a :: k -> k -> Type) = Reader ('OP a) :: k -> k -> Type

(Monoid w, SelfAction k) => MonoidalProfunctor (Writer w :: k -> k -> Type) Source Comments #

Note: This is only premonoidal, not monoidal, unless the monoid is commutative.

Instance details

Defined in Proarrow.Promonad.Writer

Methods

par0 :: Writer w (Unit :: k) (Unit :: k) Source Comments #

par :: forall (x1 :: k) (x2 :: k) (y1 :: k) (y2 :: k). Writer w x1 x2 -> Writer w y1 y2 -> Writer w (x1 ** y1) (x2 ** y2) Source Comments #

(Ob w, MonoidalAction m k) => Profunctor (Writer w :: k -> k -> Type) Source Comments #

Instance details

Defined in Proarrow.Promonad.Writer

Methods

dimap :: forall (c :: k) (a :: k) (b :: k) (d :: k). (c ~> a) -> (b ~> d) -> Writer w a b -> Writer w c d Source Comments #

(\\) :: forall (a :: k) (b :: k) r. ((Ob a, Ob b) => r) -> Writer w a b -> r Source Comments #

(Ob w, SelfAction k, CompactClosed k) => Corepresentable (Writer w :: k -> k -> Type) Source Comments #

The cowriter comonad given the Promonad instance.

Instance details

Defined in Proarrow.Promonad.Writer

Methods

coindex :: forall (a :: k) (b :: k). Writer w a b -> ((Writer w :: k -> k -> Type) %% a) ~> b Source Comments #

cotabulate :: forall (a :: k) (b :: k). Ob a => (((Writer w :: k -> k -> Type) %% a) ~> b) -> Writer w a b Source Comments #

corepMap :: forall (a :: k) (b :: k). (a ~> b) -> ((Writer w :: k -> k -> Type) %% a) ~> ((Writer w :: k -> k -> Type) %% b) Source Comments #

(Ob w, MonoidalAction m k) => Representable (Writer w :: k -> k -> Type) Source Comments #

The writer monad given the Promonad instance.

Instance details

Defined in Proarrow.Promonad.Writer

Methods

index :: forall (a :: k) (b :: k). Writer w a b -> a ~> ((Writer w :: k -> k -> Type) % b) Source Comments #

tabulate :: forall (b :: k) (a :: k). Ob b => (a ~> ((Writer w :: k -> k -> Type) % b)) -> Writer w a b Source Comments #

repMap :: forall (a :: k) (b :: k). (a ~> b) -> ((Writer w :: k -> k -> Type) % a) ~> ((Writer w :: k -> k -> Type) % b) Source Comments #

(Ob r, MonoidalAction m k) => Proadjunction (Writer r :: k -> k -> Type) (Reader ('OP r) :: k -> k -> Type) Source Comments #

Instance details

Defined in Proarrow.Promonad.Reader

Methods

unit :: forall (a :: k). Ob a => ((Reader ('OP r) :: k -> k -> Type) :.: (Writer r :: k -> k -> Type)) a a Source Comments #

counit :: ((Writer r :: k -> k -> Type) :.: (Reader ('OP r) :: k -> k -> Type)) :~> ((~>) :: CAT k) Source Comments #

MonoidalAction m k => Functor (Writer :: m -> k -> k -> Type) Source Comments #

Instance details

Defined in Proarrow.Promonad.Writer

Methods

map :: forall (a :: m) (b :: m). (a ~> b) -> (Writer a :: k -> k -> Type) ~> (Writer b :: k -> k -> Type) Source Comments #

(Monoid w, SelfAction k) => Traversable (Writer w :: k -> k -> Type) Source Comments #

Instance details

Defined in Proarrow.Promonad.Writer

Methods

traverse :: forall (p :: k +-> k). (DistributiveProfunctor p, Strong k p, SelfAction k) => ((Writer w :: k -> k -> Type) :.: p) :~> (p :.: (Writer w :: k -> k -> Type)) Source Comments #

(Monoid w, MonoidalAction m k) => Promonad (Writer w :: k -> k -> Type) Source Comments #

Instance details

Defined in Proarrow.Promonad.Writer

Methods

id :: forall (a :: k). Ob a => Writer w a a Source Comments #

(.) :: forall (b :: k) (c :: k) (a :: k). Writer w b c -> Writer w a b -> Writer w a c Source Comments #

(Comonoid w, MonoidalAction m k) => Procomonad (Writer w :: k -> k -> Type) Source Comments #

Instance details

Defined in Proarrow.Promonad.Writer

Methods

extract :: (Writer w :: k -> k -> Type) :~> ((~>) :: CAT k) Source Comments #

duplicate :: (Writer w :: k -> k -> Type) :~> ((Writer w :: k -> k -> Type) :.: (Writer w :: k -> k -> Type)) Source Comments #

type WithReader m (Writer a :: k -> k -> Type) Source Comments #

Instance details

Defined in Proarrow.Category.Equipment.Stateful

type WithReader m (Writer a :: k -> k -> Type) = Reader ('OP a) :: k -> k -> Type

type (Writer w :: k -> k -> Type) %% (a :: k) Source Comments #

Instance details

Defined in Proarrow.Promonad.Writer

type (Writer w :: k -> k -> Type) %% (a :: k) = ExpSA w a

type (Writer w :: k -> k -> Type) % (a :: k) Source Comments #

Instance details

Defined in Proarrow.Promonad.Writer

type (Writer w :: k -> k -> Type) % (a :: k) = Act w a