(Bifunctor (Dual (NT ((->) :: Type -> Type -> Type) :: (k -> Type) -> (k -> Type) -> Type)) (NT ((->) :: Type -> Type -> Type) :: (k -> Type) -> (k -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k -> Type) -> (k -> Type) -> Type) f, ShowH f) => ShowH (Cxt h f :: (k -> Type) -> (k -> Type) -> k -> Type) Source # | |
Instance detailsDefined in Data.Comp.Term |
EqH f => EqH (Cxt h f :: (k -> Type) -> (k -> Type) -> k -> Type) Source # | |
Instance detailsDefined in Data.Comp.Term |
(EqH f, PEq a) => PEq (Cxt h f (Name :: k -> Type) a :: k -> Type) Source # | |
Instance detailsDefined in Data.Comp.Term |
Bifunctor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) f => Bifunctor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (Cxt h f :: (k1 -> Type) -> (k1 -> Type) -> k1 -> Type) Source # | |
Instance detailsDefined in Data.Comp.Term Methods bimap :: NT (->) aᵣ bᵣ -> NT (->) aₛ bₛ -> NT (->) (Cxt h f aᵣ aₛ) (Cxt h f bᵣ bₛ) # |
Bifunctor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) f => Functor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) :: ((k1 -> Type) -> k1 -> Type) -> ((k1 -> Type) -> k1 -> Type) -> Type) (Cxt h f :: (k1 -> Type) -> (k1 -> Type) -> k1 -> Type) Source # | |
Instance detailsDefined in Data.Comp.Term |
Functor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (f a) => Functor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (Cxt h f a :: (k1 -> Type) -> k1 -> Type) Source # | |
Instance detailsDefined in Data.Comp.Term |