CategoricalFunctor ZipList Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Handler Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Complex Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Predicate Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Identity Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor First Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Last Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Down Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor First Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Last Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Max Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Min Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Dual Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Endo Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Product Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Sum Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor NonEmpty Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor STM Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Par1 Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor ArgDescr Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor ArgOrder Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor OptDescr Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor ReadP Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor ReadPrec Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor IO Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Maybe Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor Solo Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor List Source # | |
Instance detailsDefined in Kindly.Functor |
Monad m => CategoricalFunctor (WrappedMonad m :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
Arrow a => CategoricalFunctor (ArrowMonad a :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (ST s :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (Either a :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (Proxy :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (Arg a :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (Array i :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (U1 :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (V1 :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (ST s :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (These a :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor ((,) a :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
Arrow a => CategoricalFunctor (WrappedArrow a b :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
FunctorOf (->) (->) m => CategoricalFunctor (Kleisli m a :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (Const m :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
FunctorOf (->) (->) f => CategoricalFunctor (Ap f :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
FunctorOf (->) (->) f => CategoricalFunctor (Alt f :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
FunctorOf (->) (->) f => CategoricalFunctor (Rec1 f :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (URec (Ptr ()) :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (URec Char :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (URec Double :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (URec Float :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (URec Int :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (URec Word :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor ((,,) a b :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (Product f g :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (Sum f g :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (f :*: g :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (f :+: g :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor (K1 i c :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor ((,,,) a b c :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor Methods map :: forall (a0 :: from) (b0 :: from). Dom ((,,,) a b c) a0 b0 -> Cod ((,,,) a b c) (a, b, c, a0) (a, b, c, b0) Source # |
CategoricalFunctor ((->) r :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor Methods map :: forall (a :: from) (b :: from). Dom ((->) r) a b -> Cod ((->) r) (r -> a) (r -> b) Source # |
(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (Compose f g :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
(FunctorOf (->) (->) f, FunctorOf (->) (->) g) => CategoricalFunctor (f :.: g :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
FunctorOf (->) (->) f => CategoricalFunctor (M1 i c f :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor |
CategoricalFunctor ((,,,,) a b c d :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor Methods map :: forall (a0 :: from) (b0 :: from). Dom ((,,,,) a b c d) a0 b0 -> Cod ((,,,,) a b c d) (a, b, c, d, a0) (a, b, c, d, b0) Source # |
CategoricalFunctor ((,,,,,) a b c d e :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor Associated Types type Dom ((,,,,,) a b c d e) :: from -> from -> Type Source # type Cod ((,,,,,) a b c d e) :: to -> to -> Type Source # Methods map :: forall (a0 :: from) (b0 :: from). Dom ((,,,,,) a b c d e) a0 b0 -> Cod ((,,,,,) a b c d e) (a, b, c, d, e, a0) (a, b, c, d, e, b0) Source # |
CategoricalFunctor ((,,,,,,) a b c d e f :: Type -> Type) Source # | |
Instance detailsDefined in Kindly.Functor Associated Types type Dom ((,,,,,,) a b c d e f) :: from -> from -> Type Source # type Cod ((,,,,,,) a b c d e f) :: to -> to -> Type Source # Methods map :: forall (a0 :: from) (b0 :: from). Dom ((,,,,,,) a b c d e f) a0 b0 -> Cod ((,,,,,,) a b c d e f) (a, b, c, d, e, f, a0) (a, b, c, d, e, f, b0) Source # |
CategoricalFunctor (,,) Source # | |
Instance detailsDefined in Kindly.Trifunctor |
CategoricalFunctor Either Source # | |
Instance detailsDefined in Kindly.Bifunctor |
CategoricalFunctor Arg Source # | |
Instance detailsDefined in Kindly.Bifunctor |
CategoricalFunctor These Source # | |
Instance detailsDefined in Kindly.Bifunctor |
CategoricalFunctor (,) Source # | |
Instance detailsDefined in Kindly.Bifunctor |
CategoricalFunctor ((,,,) x :: Type -> Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Trifunctor Methods map :: forall (a :: from) (b :: from). Dom ((,,,) x) a b -> Cod ((,,,) x) ((,,,) x a) ((,,,) x b) Source # |
CategoricalFunctor (Const :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Bifunctor |
CategoricalFunctor ((,,) a :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Bifunctor |
CategoricalFunctor ((,,,,) x x' :: Type -> Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Trifunctor Methods map :: forall (a :: from) (b :: from). Dom ((,,,,) x x') a b -> Cod ((,,,,) x x') ((,,,,) x x' a) ((,,,,) x x' b) Source # |
CategoricalFunctor (K1 i :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Bifunctor |
CategoricalFunctor ((,,,) a b :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Bifunctor Methods map :: forall (a0 :: from) (b0 :: from). Dom ((,,,) a b) a0 b0 -> Cod ((,,,) a b) ((,,,) a b a0) ((,,,) a b b0) Source # |
CategoricalFunctor (->) Source # | |
Instance detailsDefined in Kindly.Bifunctor Methods map :: forall (a :: from) (b :: from). Dom (->) a b -> Cod (->) ((->) a) ((->) b) Source # |
CategoricalFunctor ((,,,,,) x x' x'' :: Type -> Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Trifunctor Associated Types type Dom ((,,,,,) x x' x'') :: from -> from -> Type Source # type Cod ((,,,,,) x x' x'') :: to -> to -> Type Source # Methods map :: forall (a :: from) (b :: from). Dom ((,,,,,) x x' x'') a b -> Cod ((,,,,,) x x' x'') ((,,,,,) x x' x'' a) ((,,,,,) x x' x'' b) Source # |
CategoricalFunctor ((,,,,) a b c :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Bifunctor Methods map :: forall (a0 :: from) (b0 :: from). Dom ((,,,,) a b c) a0 b0 -> Cod ((,,,,) a b c) ((,,,,) a b c a0) ((,,,,) a b c b0) Source # |
CategoricalFunctor ((,,,,,,) x x' x'' x''' :: Type -> Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Trifunctor Associated Types type Dom ((,,,,,,) x x' x'' x''') :: from -> from -> Type Source # type Cod ((,,,,,,) x x' x'' x''') :: to -> to -> Type Source # Methods map :: forall (a :: from) (b :: from). Dom ((,,,,,,) x x' x'' x''') a b -> Cod ((,,,,,,) x x' x'' x''') ((,,,,,,) x x' x'' x''' a) ((,,,,,,) x x' x'' x''' b) Source # |
CategoricalFunctor ((,,,,,) a b c d :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Bifunctor Associated Types type Dom ((,,,,,) a b c d) :: from -> from -> Type Source # type Cod ((,,,,,) a b c d) :: to -> to -> Type Source # Methods map :: forall (a0 :: from) (b0 :: from). Dom ((,,,,,) a b c d) a0 b0 -> Cod ((,,,,,) a b c d) ((,,,,,) a b c d a0) ((,,,,,) a b c d b0) Source # |
CategoricalFunctor ((,,,,,,) a b c d e :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Kindly.Bifunctor Associated Types type Dom ((,,,,,,) a b c d e) :: from -> from -> Type Source # type Cod ((,,,,,,) a b c d e) :: to -> to -> Type Source # Methods map :: forall (a0 :: from) (b0 :: from). Dom ((,,,,,,) a b c d e) a0 b0 -> Cod ((,,,,,,) a b c d e) ((,,,,,,) a b c d e a0) ((,,,,,,) a b c d e b0) Source # |