Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Hoistable ((->) :: Type -> Type -> Type) Jack Source # | |
(Setoid a, Setoid (t a)) => Setoid (Jack t a) Source # | |
(Chain a, Chain (t a)) => Chain (Jack t a) Source # | |
Liftable ((->) :: Type -> Type -> Type) Jack Source # | |
Extendable ((->) :: Type -> Type -> Type) t => Extendable ((->) :: Type -> Type -> Type) (Jack t) Source # | |
(Monoidal (-->) (-->) (:*:) (:*:) t, Bindable ((->) :: Type -> Type -> Type) t) => Bindable ((->) :: Type -> Type -> Type) (Jack t) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jack t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Jack (<-|-) :: (a -> b) -> Jack t a -> Jack t b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u (v a)) -> Jack t (u (v b)) Source # | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jack t) Source # | |