Data.Profunctor.Kleisli.Linear

Synopsis

newtypenewtype CoKleisli (w :: Type -> Type) a b

Instances2Strong, Profunctor

Strong Either Void (CoKleisli (Const x))Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear
Functor f => Profunctor (CoKleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear

newtypenewtype Kleisli (m :: Type -> Type) a b

Instances6Strong, Monoidal, Profunctor, Wandering

Applicative f => Strong Either Void (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear
Functor f => Strong Tuple2 () (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear
Applicative f => Monoidal Tuple2 () (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear
Functor f => Monoidal Either Void (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear
Functor f => Profunctor (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear
Applicative f => Wandering (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear