Modulelinear-base-0.8.1
Data.Profunctor.Linear
- 2 types
- 4 classes
- 1 value
- Packagelinear-base-0.8.1
- Exports7
- LicenceMIT
Constructors
Exchange (s %1 -> a) (b %1 -> t)
Instances1Profunctor
Profunctor (Exchange a b)Defined in linear-base-0.8.1 · Data.Profunctor.Linear
class
class (SymmetricMonoidal m u, Profunctor arr) => Monoidal (m :: Type -> Type -> Type) u (arr :: Type -> Type -> Type) whereInstances8Monoidal, …
Applicative f => Monoidal Tuple2 () (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.LinearFunctor f => Monoidal Either Void (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.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.LinearMonoidal Either Void (->)Defined in linear-base-0.8.1 · Data.Profunctor.LinearMonoidal Tuple2 () (->)Defined in linear-base-0.8.1 · Data.Profunctor.LinearMonoidal Either Void (FUN 'One)Defined in linear-base-0.8.1 · Data.Profunctor.LinearMonoidal Tuple2 () (FUN 'One)Defined in linear-base-0.8.1 · Data.Profunctor.Linear
Instances7Profunctor, …
Functor f => Profunctor (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.LinearFunctor f => Profunctor (CoKleisli 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.LinearProfunctor (->)Defined in linear-base-0.8.1 · Data.Profunctor.LinearProfunctor (Exchange a b)Defined in linear-base-0.8.1 · Data.Profunctor.LinearProfunctor (Market a b)Defined in linear-base-0.8.1 · Data.Profunctor.LinearProfunctor (FUN 'One)Defined in linear-base-0.8.1 · Data.Profunctor.Linear
class
class (SymmetricMonoidal m u, Profunctor arr) => Strong (m :: Type -> Type -> Type) u (arr :: Type -> Type -> Type) whereInstances10Strong, …
Applicative f => Strong Either Void (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.LinearFunctor f => Strong Tuple2 () (Kleisli f)Defined in linear-base-0.8.1 · Data.Profunctor.LinearApplicative 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.LinearStrong Either Void (CoKleisli (Const x))Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.LinearStrong Either Void (->)Defined in linear-base-0.8.1 · Data.Profunctor.LinearStrong Either Void (Market a b)Defined in linear-base-0.8.1 · Data.Profunctor.LinearStrong Tuple2 () (->)Defined in linear-base-0.8.1 · Data.Profunctor.LinearStrong Either Void (FUN 'One)Defined in linear-base-0.8.1 · Data.Profunctor.LinearStrong Tuple2 () (FUN 'One)Defined in linear-base-0.8.1 · Data.Profunctor.Linear
class
class (Strong Tuple2 () arr, Strong Either Void arr) => Wandering (arr :: Type -> Type -> Type) whereMethods
wander :: (forall (f :: Type -> Type). Applicative f => (a %1 -> f b) -> s %1 -> f t) -> arr a b -> arr s t