Any (x :: k) Source # | |

## Instance detailsDefined in CategoriesInstances |

Monad m => Bifunctor (Algebra m :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) Source # | |

## Instance detailsDefined in CategoriesInstances |

Bifunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Either Source # | |

## Instance detailsDefined in CategoriesInstances |

Bifunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) Source # | |

## Instance detailsDefined in CategoriesInstances |

Monad m => Bifunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) (Kleisli m :: Type -> Type -> Type) (Any :: Type -> Constraint) (Kleisli m :: Type -> Type -> Type) (,) Source # | |

## Instance detailsDefined in CategoriesInstances |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Algebra []) ((->) :: Type -> Type -> Type) (,) () (,) (,) (Aggregating a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Either Void Either Either (Replacing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Either Void Either Either (Setting a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () (,) (,) (Replacing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () (,) (,) (Setting a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Monad m => Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Algebra m :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () (,) (,) (Classifying m a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Monad m => Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Algebra m :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () (,) (,) (Viewing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Either Void Either Either (Previewing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () (,) (,) (Previewing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () (,) (,) (Viewing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Monad m => Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) (Kleisli m :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () (,) (,) (Updating m a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Monad m => MonoidalAction (Algebra m :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) Source # | |

## Instance detailsDefined in CategoriesInstances Methods unitor :: Any x => ((), x) -> x Source # unitorinv :: Any x => x -> ((), x) Source # multiplicator :: (Any x, Algebra m p, Algebra m q) => (p, (q, x)) -> ((p, q), x) Source # multiplicatorinv :: (Any x, Algebra m p, Algebra m q) => ((p, q), x) -> (p, (q, x)) Source # |

Monad m => MonoidalAction (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () (Any :: Type -> Constraint) (Kleisli m :: Type -> Type -> Type) (,) Source # | |

## Instance detailsDefined in CategoriesInstances Methods unitor :: Any x => Kleisli m ((), x) x Source # unitorinv :: Any x => Kleisli m x ((), x) Source # multiplicator :: (Any x, Any p, Any q) => Kleisli m (p, (q, x)) ((p, q), x) Source # multiplicatorinv :: (Any x, Any p, Any q) => Kleisli m ((p, q), x) (p, (q, x)) Source # |

Profunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Replacing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Profunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Aggregating a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Profunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Setting a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Monad m => Profunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Updating m a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Monad m => Profunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Classifying m a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Profunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Previewing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Profunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Viewing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Monad m => Profunctor (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) (Kleisli m :: Type -> Type -> Type) (Updating m a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Category (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in CategoriesInstances |

Monad m => Category (Any :: Type -> Constraint) (Kleisli m :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in CategoriesInstances |

MonoidalCategory (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Either Void Source # | |

## Instance detailsDefined in CategoriesInstances |

MonoidalCategory (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (,) () Source # | |

## Instance detailsDefined in CategoriesInstances Methods alpha :: (Any x, Any y, Any z) => (x, (y, z)) -> ((x, y), z) Source # alphainv :: (Any x, Any y, Any z) => ((x, y), z) -> (x, (y, z)) Source # lambda :: Any x => (x, ()) -> x Source # lambdainv :: Any x => x -> (x, ()) Source # rho :: Any x => ((), x) -> x Source # rhoinv :: Any x => x -> ((), x) Source # |

MonoidalAction Functor (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) Identity (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) Source # | |

## Instance detailsDefined in CategoriesInstances |

MonoidalAction Applicative (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) Identity (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) Source # | |

## Instance detailsDefined in CategoriesInstances |

MonoidalAction Traversable (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) Identity (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) Source # | |

## Instance detailsDefined in CategoriesInstances |

Bifunctor Functor (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) Source # | |

## Instance detailsDefined in CategoriesInstances |

Bifunctor Applicative (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) Source # | |

## Instance detailsDefined in CategoriesInstances |

Bifunctor Traversable (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) Source # | |

## Instance detailsDefined in CategoriesInstances |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Functor (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) Identity (App :: (Type -> Type) -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) (Replacing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Applicative (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) Identity (App :: (Type -> Type) -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) (Replacing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Applicative (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) Identity (App :: (Type -> Type) -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) (Aggregating a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |

Tambara (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) (Any :: Type -> Constraint) ((->) :: Type -> Type -> Type) Traversable (Nat :: (Type -> Type) -> (Type -> Type) -> Type) (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) Identity (App :: (Type -> Type) -> Type -> Type) (App :: (Type -> Type) -> Type -> Type) (Replacing a b :: Type -> Type -> Type) Source # | |

## Instance detailsDefined in Combinators |