Pandora.Pattern.Morphism.Flip

Documentation

newtype Flip (v :: * -> * -> *) a e

Constructors

Flip (v e a)

Instances

Monoidal (-->) (<--) (:*:) (:*:) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

unit :: Proxy (:*:) -> (Unit (:*:) <-- a) --> Predicate a

Monoidal (<--) (-->) (:*:) (:*:) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Exactly a

Monoid r => Monoidal (-->) (<--) (:*:) (:*:) (Convergence r)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

unit :: Proxy (:*:) -> (Unit (:*:) <-- a) --> Convergence r a

Monoidal (<--) (-->) (:*:) (:*:) ((:*:) s)

Defined in Pandora.Paradigm.Algebraic

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (s :*: a)

Semimonoidal (<--) (:*:) (:*:) t => Monoidal (<--) (-->) (:*:) (:*:) (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Tap t a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Monoidal (<--) (-->) (:*:) (:*:) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Construction t a

Monoidal (<--) (-->) (:*:) (:*:) (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Store s a

Monoidal (-->) (-->) (:*:) (:*:) (Flip Conclusion a)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a0) --> Flip Conclusion a a0

Monoidal (<--) (-->) (:*:) (:*:) (Flip (:*:) a)

Defined in Pandora.Paradigm.Algebraic

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a0) <-- Flip (:*:) a a0

Monoidal (<--) (-->) (:*:) (:*:) (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Tagged tag a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (:*:) (:*:) t) => Monoidal (<--) (-->) (:*:) (:*:) (Backwards t)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Backwards t a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (:*:) (:*:) t) => Monoidal (<--) (-->) (:*:) (:*:) (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Reverse t a

Semimonoidal (<--) (:*:) (:*:) t => Monoidal (<--) (-->) (:*:) (:*:) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Interface.Zipper

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (Exactly <:*:> t) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) t', Monoidal (<--) (-->) (:*:) (:*:) u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t t') => Monoidal (<--) (-->) (:*:) (:*:) ((t <:<.>:> t') >>>>>>>> u)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- ((t <:<.>:> t') >>>>>>>> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Monoidal (<--) (-->) (:*:) (:*:) t, Monoidal (<--) (-->) (:*:) (:*:) u) => Monoidal (<--) (-->) (:*:) (:*:) (t <.:> u)

Defined in Pandora.Paradigm.Schemes.UT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (t <.:> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (:*:) (:*:) t, Monoidal (<--) (-->) (:*:) (:*:) u) => Monoidal (<--) (-->) (:*:) (:*:) (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (t <:.> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (:*:) (:*:) t, Monoidal (<--) (-->) (:*:) (:*:) t') => Monoidal (<--) (-->) (:*:) (:*:) (t <::> t')

Defined in Pandora.Paradigm.Schemes.TT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (t <::> t') a

(Category m, Covariant m m t) => Contravariant m (Flip m) t

Defined in Pandora.Pattern.Morphism.Flip

Methods

(>-|-) :: m a b -> Flip m (t b) (t a)

(>-|--) :: m a b -> Flip m (t b) (t a)

(>-|---) :: m a b -> Flip m (t b) (t a)

(>-|----) :: m a b -> Flip m (t b) (t a)

(>-|-----) :: m a b -> Flip m (t b) (t a)

(>-|------) :: m a b -> Flip m (t b) (t a)

(>-|-------) :: m a b -> Flip m (t b) (t a)

(>-|--------) :: m a b -> Flip m (t b) (t a)

(>-|-|-) :: (Contravariant m (Betwixt m (Flip m)) u, Contravariant (Betwixt m (Flip m)) (Flip m) t) => m a b -> Flip m (t (u a)) (t (u b))

Semigroupoid m => Semigroupoid (Flip m)

Defined in Pandora.Pattern.Morphism.Flip

Methods

(.) :: Flip m b c -> Flip m a b -> Flip m a c

Category m => Category (Flip m)

Defined in Pandora.Pattern.Morphism.Flip

Methods

identity :: Flip m a a

(<--------) :: Flip m (Flip m a b) (Flip m a b)

(<-------) :: Flip m (Flip m a b) (Flip m a b)

(<------) :: Flip m (Flip m a b) (Flip m a b)

(<-----) :: Flip m (Flip m a b) (Flip m a b)

(<----) :: Flip m (Flip m a b) (Flip m a b)

(<---) :: Flip m (Flip m a b) (Flip m a b)

(<--) :: Flip m (Flip m a b) (Flip m a b)

(-------->) :: Flip m (Flip m a b) (Flip m a b)

(------->) :: Flip m (Flip m a b) (Flip m a b)

(------>) :: Flip m (Flip m a b) (Flip m a b)

(----->) :: Flip m (Flip m a b) (Flip m a b)

(---->) :: Flip m (Flip m a b) (Flip m a b)

(--->) :: Flip m (Flip m a b) (Flip m a b)

(-->) :: Flip m (Flip m a b) (Flip m a b)

(Category m, Covariant m m t) => Contravariant (Flip m) m t

Defined in Pandora.Pattern.Morphism.Flip

Methods

(>-|-) :: Flip m a b -> m (t b) (t a)

(>-|--) :: Flip m a b -> m (t b) (t a)

(>-|---) :: Flip m a b -> m (t b) (t a)

(>-|----) :: Flip m a b -> m (t b) (t a)

(>-|-----) :: Flip m a b -> m (t b) (t a)

(>-|------) :: Flip m a b -> m (t b) (t a)

(>-|-------) :: Flip m a b -> m (t b) (t a)

(>-|--------) :: Flip m a b -> m (t b) (t a)

(>-|-|-) :: (Contravariant (Flip m) (Betwixt (Flip m) m) u, Contravariant (Betwixt (Flip m) m) m t) => Flip m a b -> m (t (u a)) (t (u b))

Semimonoidal (<--) (:*:) (:*:) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

mult :: forall (a :: k) (b :: k). (Exactly a :*: Exactly b) <-- Exactly (a :*: b)

Semimonoidal (<--) (:*:) (:*:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

mult :: forall (a :: k) (b :: k). (Maybe a :*: Maybe b) <-- Maybe (a :*: b)

Semimonoidal (<--) (:*:) (:*:) ((:*:) s :: Type -> Type)

Defined in Pandora.Paradigm.Algebraic

Methods

mult :: forall (a :: k) (b :: k). ((s :*: a) :*: (s :*: b)) <-- (s :*: (a :*: b))

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

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

mult :: forall (a :: k) (b :: k). (Tap t a :*: Tap t b) <-- Tap t (a :*: b)

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

mult :: forall (a :: k) (b :: k). (Construction t a :*: Construction t b) <-- Construction t (a :*: b)

Semimonoidal (<--) (:*:) (:*:) (Store s :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

mult :: forall (a :: k) (b :: k). (Store s a :*: Store s b) <-- Store s (a :*: b)

Semimonoidal (-->) (:*:) (:*:) (Flip Conclusion a :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

mult :: forall (a0 :: k) (b :: k). (Flip Conclusion a a0 :*: Flip Conclusion a b) --> Flip Conclusion a (a0 :*: b)

Semimonoidal (<--) (:*:) (:*:) (Flip (:*:) a :: Type -> Type)

Defined in Pandora.Paradigm.Algebraic

Methods

mult :: forall (a0 :: k) (b :: k). (Flip (:*:) a a0 :*: Flip (:*:) a b) <-- Flip (:*:) a (a0 :*: b)

Semimonoidal (<--) (:*:) (:*:) (Tagged tag :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

mult :: forall (a :: k) (b :: k). (Tagged tag a :*: Tagged tag b) <-- Tagged tag (a :*: b)

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

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

mult :: forall (a :: k) (b :: k). (Backwards t a :*: Backwards t b) <-- Backwards t (a :*: b)

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

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

mult :: forall (a :: k) (b :: k). (Reverse t a :*: Reverse t b) <-- Reverse t (a :*: b)

Semimonoidal (<--) (:*:) (:*:) ((->) e :: Type -> Type)

Defined in Pandora.Paradigm.Algebraic

Methods

mult :: forall (a :: k) (b :: k). ((e -> a) :*: (e -> b)) <-- (e -> (a :*: b))

(Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <:*:> u :: Type -> Type)

Defined in Pandora.Paradigm.Algebraic

Methods

mult :: forall (a :: k) (b :: k). ((t <:*:> u) a :*: (t <:*:> u) b) <-- (t <:*:> u) (a :*: b)

Semimonoidal (<--) (:*:) (:*:) t => Semimonoidal (<--) (:*:) (:*:) (Exactly <:*:> t :: Type -> Type)

Defined in Pandora.Paradigm.Structure.Interface.Zipper

Methods

mult :: forall (a :: k) (b :: k). ((Exactly <:*:> t) a :*: (Exactly <:*:> t) b) <-- (Exactly <:*:> t) (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (:*:) (:*:) u, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Semimonoidal (<--) (:*:) (:*:) t') => Semimonoidal (<--) (:*:) (:*:) ((t <:<.>:> t') >>>>>>>> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

mult :: forall (a :: k) (b :: k). (((t <:<.>:> t') >>>>>>>> u) a :*: ((t <:<.>:> t') >>>>>>>> u) b) <-- ((t <:<.>:> t') >>>>>>>> u) (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <.:> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.UT

Methods

mult :: forall (a :: k) (b :: k). ((t <.:> u) a :*: (t <.:> u) b) <-- (t <.:> u) (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <:.> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

mult :: forall (a :: k) (b :: k). ((t <:.> u) a :*: (t <:.> u) b) <-- (t <:.> u) (a :*: b)

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

Defined in Pandora.Paradigm.Schemes.TT

Methods

mult :: forall (a :: k) (b :: k). ((t <::> t') a :*: (t <::> t') b) <-- (t <::> t') (a :*: b)

(Category m, Covariant m m t) => Covariant (Flip m) (Flip m) t

Defined in Pandora.Pattern.Morphism.Flip

Methods

(<-|-) :: Flip m a b -> Flip m (t a) (t b)

(<-|--) :: Flip m a b -> Flip m (t a) (t b)

(<-|---) :: Flip m a b -> Flip m (t a) (t b)

(<-|----) :: Flip m a b -> Flip m (t a) (t b)

(<-|-----) :: Flip m a b -> Flip m (t a) (t b)

(<-|------) :: Flip m a b -> Flip m (t a) (t b)

(<-|-------) :: Flip m a b -> Flip m (t a) (t b)

(<-|--------) :: Flip m a b -> Flip m (t a) (t b)

(<-|-|-) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|--) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|---) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|----) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|-----) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|------) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|-------) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|-|-) :: (Covariant (Flip m) (Betwixt (Flip m) (Betwixt (Flip m) (Flip m))) v, Covariant (Betwixt (Flip m) (Betwixt (Flip m) (Flip m))) (Betwixt (Betwixt (Flip m) (Flip m)) (Flip m)) u, Covariant (Betwixt (Betwixt (Flip m) (Flip m)) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u (v a))) (t (u (v b)))

Morphable ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into (Flip Conclusion e)) Maybe :: Type -> Type

Methods

morphing :: (Tagged ('Into (Flip Conclusion e)) <::> Maybe) ~> Morphing ('Into (Flip Conclusion e)) Maybe

Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into ('Here Maybe)) (Flip Wedge a2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Here Maybe)) <::> Flip Wedge a2) ~> Morphing ('Into ('Here Maybe)) (Flip Wedge a2)

Morphable ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into ('That Maybe)) (Flip These a2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('That Maybe)) <::> Flip These a2) ~> Morphing ('Into ('That Maybe)) (Flip These a2)

Invariant (Flip Store r)

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

(<!<) :: (a -> b) -> (b -> a) -> Flip Store r a -> Flip Store r b

invmap :: (a -> b) -> (b -> a) -> Flip Store r a -> Flip Store r b

Invariant (Flip (Lens available) tgt)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

(<!<) :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b

invmap :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b

Invariant (Flip State r)

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

(<!<) :: (a -> b) -> (b -> a) -> Flip State r a -> Flip State r b

invmap :: (a -> b) -> (b -> a) -> Flip State r a -> Flip State r b

Substructure ('Left_ :: a1 -> Wye a1) (Flip (:*:) a2)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substance 'Left_ (Flip (:*:) a2) :: Type -> Type

Methods

substructure :: (Tagged 'Left_ <:.> Flip (:*:) a2) @>>> Substance 'Left_ (Flip (:*:) a2)

sub :: Flip (:*:) a2 @>>> Substance 'Left_ (Flip (:*:) a2)

Interpreted ((->) :: Type -> Type -> Type) (Flip v a)

Defined in Pandora.Core.Interpreted

Associated Types

type Primary (Flip v a) a

Methods

run :: ((->) < Flip v a a0) < Primary (Flip v a) a0

unite :: ((->) < Primary (Flip v a) a0) < Flip v a a0

(<~~~~~~~~) :: ((->) < Flip v a a0) < Primary (Flip v a) a0

(<~~~~~~~) :: ((->) < Flip v a a0) < Primary (Flip v a) a0

(<~~~~~~) :: ((->) < Flip v a a0) < Primary (Flip v a) a0

(<~~~~~) :: ((->) < Flip v a a0) < Primary (Flip v a) a0

(<~~~~) :: ((->) < Flip v a a0) < Primary (Flip v a) a0

(<~~~) :: ((->) < Flip v a a0) < Primary (Flip v a) a0

(<~~) :: ((->) < Flip v a a0) < Primary (Flip v a) a0

(<~) :: ((->) < Flip v a a0) < Primary (Flip v a) a0

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Flip v a) a0) < Primary u b) -> ((->) < Flip v a a0) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Flip v a a0) < u b) -> ((->) < Primary (Flip v a) a0) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Flip v a) a0) < Primary u b) -> (j > Flip v a a0) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Flip v a a0) < u b) -> (j > Primary (Flip v a) a0) -> (j > Primary u b)

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((<--) a)

Defined in Pandora.Paradigm.Algebraic.Exponential

Methods

(>-|-) :: (a0 -> b) -> (a <-- b) -> (a <-- a0)

(>-|--) :: (a0 -> b) -> (a <-- b) -> (a <-- a0)

(>-|---) :: (a0 -> b) -> (a <-- b) -> (a <-- a0)

(>-|----) :: (a0 -> b) -> (a <-- b) -> (a <-- a0)

(>-|-----) :: (a0 -> b) -> (a <-- b) -> (a <-- a0)

(>-|------) :: (a0 -> b) -> (a <-- b) -> (a <-- a0)

(>-|-------) :: (a0 -> b) -> (a <-- b) -> (a <-- a0)

(>-|--------) :: (a0 -> b) -> (a <-- b) -> (a <-- a0)

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) ((<--) a)) => (a0 -> b) -> (a <-- u a0) -> (a <-- u b)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Constant :: Type -> Type -> Type) b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<-|-) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|--) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|---) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|----) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|-----) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|-------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|--------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u (v a)) -> Flip Constant b (u (v b0))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:+:) a)

Defined in Pandora.Paradigm.Algebraic.Sum

Methods

(<-|-) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|--) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|---) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|----) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|-----) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|------) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|-------) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|--------) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u (v a0)) -> Flip (:+:) a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:*:) a)

Defined in Pandora.Paradigm.Algebraic.Product

Methods

(<-|-) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|--) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|---) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|----) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|-----) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|------) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|-------) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|--------) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u (v a0)) -> Flip (:*:) a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Validation a)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(<-|-) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|--) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|---) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|----) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|-----) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|------) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|-------) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|--------) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u (v a0)) -> Flip Validation a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Tagged :: Type -> Type -> Type) a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<-|-) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|--) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|---) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|----) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|-----) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|------) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|-------) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|--------) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u (v a0)) -> Flip Tagged a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Conclusion a)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

(<-|-) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|--) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|---) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|----) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|-----) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|------) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|-------) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|--------) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u (v a0)) -> Flip Conclusion a (u (v b))

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Provision a)

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

(>-|-) :: (a0 -> b) -> Flip Provision a b -> Flip Provision a a0

(>-|--) :: (a0 -> b) -> Flip Provision a b -> Flip Provision a a0

(>-|---) :: (a0 -> b) -> Flip Provision a b -> Flip Provision a a0

(>-|----) :: (a0 -> b) -> Flip Provision a b -> Flip Provision a a0

(>-|-----) :: (a0 -> b) -> Flip Provision a b -> Flip Provision a a0

(>-|------) :: (a0 -> b) -> Flip Provision a b -> Flip Provision a a0

(>-|-------) :: (a0 -> b) -> Flip Provision a b -> Flip Provision a a0

(>-|--------) :: (a0 -> b) -> Flip Provision a b -> Flip Provision a a0

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Flip Provision a)) => (a0 -> b) -> Flip Provision a (u a0) -> Flip Provision a (u b)

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Imprint a)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Methods

(>-|-) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|--) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|---) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|----) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|-----) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|------) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|-------) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|--------) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Flip Imprint a)) => (a0 -> b) -> Flip Imprint a (u a0) -> Flip Imprint a (u b)

Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:*:) s) ((->) s :: Type -> Type)

Defined in Pandora.Paradigm.Primary

Methods

(-|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(|-) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|--------) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|-------) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|------) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|-----) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|----) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|---) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|--) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(--------|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(-------|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(------|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(-----|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(----|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(---|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(--|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe

Defined in Pandora.Paradigm.Structure

type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe = ((->) e :: Type -> Type) <:.> Flip Conclusion e

type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) = Maybe

type Morphing ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) = Maybe

type Primary (Flip v a) e

Defined in Pandora.Core.Interpreted

type Primary (Flip v a) e = v e a

type Substance ('Left_ :: a1 -> Wye a1) (Flip (:*:) a2)

Defined in Pandora.Paradigm.Structure

type Substance ('Left_ :: a1 -> Wye a1) (Flip (:*:) a2) = Exactly