Constructors
CoKleislirunCoKleisli :: w a %1 -> b
Modulelinear-base-0.8.1
Data.Profunctor.Kleisli.Linear
- 2 types
- Packagelinear-base-0.8.1
- Exports2
- LicenceMIT
Constructors
KleislirunKleisli :: a %1 -> m b
Instances6Strong, Monoidal, Profunctor, Wandering
Applicative f => Strong Either Void (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.LinearFunctor f => Strong Tuple2 () (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.LinearApplicative f => Monoidal Tuple2 () (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.LinearFunctor f => Monoidal Either Void (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.LinearFunctor f => Profunctor (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.LinearApplicative f => Wandering (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear