Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class Covariant_ t source source => Extendable t source where
- (<<=) :: source (t a) b -> source (t a) (t b)
Documentation
class Covariant_ t source source => Extendable t source where Source #
When providing a new instance, you should ensure it satisfies: * Duplication interchange: (f -<$$>-) . (identity <<=) ≡ (identity <<=) . (f -<$>-) * Extension interchange: (f <<=) ≡ (f -<$>-) . (identity <<=)
Instances
Extendable Identity ((->) :: Type -> Type -> Type) Source # | |
Extendable (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Extendable ((:*:) s) ((->) :: Type -> Type -> Type) Source # | |
Extendable t ((->) :: Type -> Type -> Type) => Extendable (Jack t) ((->) :: Type -> Type -> Type) Source # | |
Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Extendable (Construction t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Construction (<<=) :: (Construction t a -> b) -> Construction t a -> Construction t b Source # | |
Extendable (Store s) ((->) :: Type -> Type -> Type) Source # | |
(Extendable t ((->) :: Type -> Type -> Type), Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Extendable (Tap t) ((->) :: Type -> Type -> Type) Source # | |
Extendable (Tap ((Stream <:.:> Stream) := (:*:))) ((->) :: Type -> Type -> Type) Source # | |
Extendable (Tap ((List <:.:> List) := (:*:))) ((->) :: Type -> Type -> Type) Source # | |
Semigroup e => Extendable (Imprint e) ((->) :: Type -> Type -> Type) Source # | |
Extendable (Equipment e) ((->) :: Type -> Type -> Type) Source # | |
Extendable (Tagged tag) ((->) :: Type -> Type -> Type) Source # | |
Extendable (Schematic Monad t u) ((->) :: Type -> Type -> Type) => Extendable (t :> u) ((->) :: Type -> Type -> Type) Source # | |
(Extendable t ((->) :: Type -> Type -> Type), Extendable u ((->) :: Type -> Type -> Type)) => Extendable (Day t u) ((->) :: Type -> Type -> Type) Source # | |
Extendable (Schematic Comonad t u) ((->) :: Type -> Type -> Type) => Extendable (t :< u) ((->) :: Type -> Type -> Type) Source # | |
(Covariant t', Covariant t, Adjoint t' t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Extendable u ((->) :: Type -> Type -> Type)) => Extendable ((t' <:<.>:> t) := u) ((->) :: Type -> Type -> Type) Source # | |
(Semigroup e, Extendable u ((->) :: Type -> Type -> Type)) => Extendable (((->) e :: Type -> Type) <.:> u) ((->) :: Type -> Type -> Type) Source # | |
Extendable u ((->) :: Type -> Type -> Type) => Extendable ((:*:) e <:.> u) ((->) :: Type -> Type -> Type) Source # | |