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 <<=)

Minimal complete definition

(<<=)

Methods

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

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

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

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

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

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

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

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

Instances

Extendable ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Algebraic.Product

Methods

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

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

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

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

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

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

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

(<<========) :: ((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

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

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

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

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

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

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

(<<========) :: (Jack t a -> b) -> Jack t a -> Jack t 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

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

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

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

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

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

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

(<<========) :: (Tap t a -> b) -> Tap t a -> Tap 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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Methods

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Methods

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

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

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

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

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

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

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

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

Extendable ((->) :: Type -> Type -> Type) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Methods

(<<=) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<==) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<===) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<=====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<=======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<========) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream 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

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

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

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

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

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

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

(<<========) :: (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

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

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

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

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

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

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

(<<========) :: (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

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

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

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

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

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

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

(<<========) :: ((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

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

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

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

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

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

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

(<<========) :: ((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

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

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

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

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

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

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

(<<========) :: (((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.Some.Imprint

Methods

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

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

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

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

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

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

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

(<<========) :: (((->) 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.Some.Equipment

Methods

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

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

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

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

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

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

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

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