Pandora.Pattern.Functor.Extendable

Documentation

class Covariant source source t => Extendable source t where

When providing a new instance, you should ensure it satisfies:
* Duplication interchange: (f -<$$>-) . (identity <<=) ≡ (identity <<=) . (f <$>)
* Extension interchange: (f <<=) ≡ (f <$>) . (identity <<=)

Methods

(<<=) :: source (t a) b -> source (t a) (t b) infixr 1

Instances

Extendable ((->) :: Type -> Type -> Type) Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

(<<=) :: (Identity a -> b) -> Identity a -> Identity b

Extendable ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

(<<=) :: (Proxy a -> b) -> Proxy a -> Proxy b

Extendable ((->) :: Type -> Type -> Type) ((:*:) s)

Defined in Pandora.Paradigm.Primary.Algebraic.Product

Methods

(<<=) :: ((s :*: a) -> b) -> (s :*: a) -> (s :*: b)

Extendable ((->) :: Type -> Type -> Type) t => Extendable ((->) :: Type -> Type -> Type) (Jack t)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(<<=) :: (Jack t a -> b) -> Jack t a -> Jack t b

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Extendable ((->) :: Type -> Type -> Type) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

(<<=) :: (Construction t a -> b) -> Construction t a -> Construction t b

Extendable ((->) :: Type -> Type -> Type) (Store s)

Defined in Pandora.Paradigm.Inventory.Store

Methods

(<<=) :: (Store s a -> b) -> Store s a -> Store s b

(Semimonoidal (<--) (:*:) (:*:) t, Extendable ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Extendable ((->) :: Type -> Type -> Type) (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(<<=) :: (Tap t a -> b) -> Tap t a -> Tap t b

Extendable ((->) :: Type -> Type -> Type) (Tap ((Stream <:.:> Stream) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.Stream

Methods

(<<=) :: (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> Tap ((Stream <:.:> Stream) := (:*:)) a -> Tap ((Stream <:.:> Stream) := (:*:)) b

Extendable ((->) :: Type -> Type -> Type) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(<<=) :: (Tap ((List <:.:> List) := (:*:)) a -> b) -> Tap ((List <:.:> List) := (:*:)) a -> Tap ((List <:.:> List) := (:*:)) b

Semigroup e => Extendable ((->) :: Type -> Type -> Type) (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

(<<=) :: (Imprint e a -> b) -> Imprint e a -> Imprint e b

Extendable ((->) :: Type -> Type -> Type) (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

(<<=) :: (Equipment e a -> b) -> Equipment e a -> Equipment e b

(Extendable ((->) :: Type -> Type -> Type) t, Extendable ((->) :: Type -> Type -> Type) u) => Extendable ((->) :: Type -> Type -> Type) (Day t u)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

(<<=) :: (Day t u a -> b) -> Day t u a -> Day t u b

Extendable ((->) :: Type -> Type -> Type) (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<<=) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b

Extendable ((->) :: Type -> Type -> Type) (Schematic Monad t u) => Extendable ((->) :: Type -> Type -> Type) (t :> u)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Methods

(<<=) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

Extendable ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Extendable ((->) :: Type -> Type -> Type) (t :< u)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic

Methods

(<<=) :: ((t :< u) a -> b) -> (t :< u) a -> (t :< u) b

(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Extendable ((->) :: Type -> Type -> Type) u) => Extendable ((->) :: Type -> Type -> Type) ((t' <:<.>:> t) := u)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

(<<=) :: (((t' <:<.>:> t) := u) a -> b) -> ((t' <:<.>:> t) := u) a -> ((t' <:<.>:> t) := u) b

(Semigroup e, Extendable ((->) :: Type -> Type -> Type) u) => Extendable ((->) :: Type -> Type -> Type) (((->) e :: Type -> Type) <.:> u)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

(<<=) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

Extendable ((->) :: Type -> Type -> Type) u => Extendable ((->) :: Type -> Type -> Type) ((:*:) e <:.> u)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

(<<=) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b