Pandora.Pattern.Morphism.Straight

Documentation

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

Constructors

Straight (v a e)

Instances

Monoidal (-->) (-->) (:*:) (:+:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

unit :: Proxy (:*:) -> (Unit (:+:) --> a) --> Maybe a

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

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

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

Monoidal (-->) (-->) (:*:) (:*:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Maybe a

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

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

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

unit :: Proxy (:*:) -> (Unit (:+:) --> a) --> Comprehension t a

Monoidal (-->) (-->) (:*:) (:*:) ((:+:) e)

Defined in Pandora.Paradigm.Algebraic

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (e :+: a)

Semigroup e => Monoidal (-->) (-->) (:*:) (:*:) (Validation e)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Validation e a

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

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Instruction t a

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

Monoidal (-->) (-->) (:*:) (:*:) (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Conclusion e a

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

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

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

Monoidal (-->) (-->) (:*:) (:*:) (Provision e)

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Provision e 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

(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

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

Monoidal (-->) (-->) (:*:) (:*:) (Schematic Monad t u) => Monoidal (-->) (-->) (:*:) (:*:) (t :> u)

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

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (t :> u) 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

Monoidal (-->) (-->) (:*:) (:*:) (Schematic Comonad t u) => Monoidal (-->) (-->) (:*:) (:*:) (t :< u)

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

Methods

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

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

(Monoidal (-->) (-->) (:*:) (:+:) t, Monoidal (-->) (-->) (:*:) (:+:) u) => Monoidal (-->) (-->) (:*:) (:+:) (t <:*:> u)

Defined in Pandora.Paradigm.Algebraic

Methods

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

Monoidal (-->) (-->) (:*:) (:*:) ((->) e :: Type -> Type)

Defined in Pandora.Paradigm.Algebraic

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (e -> 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 (-->) (:*:) (:+:) u, Monoidal (-->) (-->) (:*:) (:+:) t) => 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, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Semimonoidal (-->) (:*:) (:+:) t, Monoidal (-->) (-->) (:*:) (:+:) t) => Monoidal (-->) (-->) (:*:) (:+:) (t <::> t')

Defined in Pandora.Paradigm.Schemes.TT

Methods

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

(Bindable ((->) :: Type -> Type -> Type) u, 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) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) 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, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) u, 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, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Semimonoidal (-->) (:*:) (:*:) t', Monoidal (-->) (-->) (:*:) (:*:) t, Monoidal (-->) (-->) (:*:) (:*:) t') => Monoidal (-->) (-->) (:*:) (:*:) (t <::> t')

Defined in Pandora.Paradigm.Schemes.TT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (t <::> 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

Covariant m m t => Covariant m (Straight m) t

Defined in Pandora.Pattern.Morphism.Straight

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Semigroupoid m => Semigroupoid (Straight m)

Defined in Pandora.Pattern.Morphism.Straight

Methods

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

Category m => Category (Straight m)

Defined in Pandora.Pattern.Morphism.Straight

Methods

identity :: Straight m a a

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Covariant m m t => Covariant (Straight m) m t

Defined in Pandora.Pattern.Morphism.Straight

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Semimonoidal (-->) (:*:) (:+:) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

mult :: forall (a :: k) (b :: k). (Predicate a :*: Predicate b) --> Predicate (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 (-->) (:*:) (:*:) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

mult :: forall (a :: k) (b :: k). (Predicate a :*: Predicate b) --> Predicate (a :*: 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)

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

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

mult :: forall (a :: k) (b :: k). (Comprehension t a :*: Comprehension t b) --> Comprehension t (right 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))

Semigroup e => Semimonoidal (-->) (:*:) (:+:) (Validation e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

Semigroup e => Semimonoidal (-->) (:*:) (:+:) (Conclusion e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

mult :: forall (a :: k) (b :: k). (Conclusion e a :*: Conclusion e b) --> Conclusion e (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))

Semigroup e => Semimonoidal (-->) (:*:) (:*:) (Validation e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

Semigroup r => Semimonoidal (-->) (:*:) (:*:) (Convergence r :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

mult :: forall (a :: k) (b :: k). (Convergence r a :*: Convergence r b) --> Convergence r (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)

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

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

mult :: forall (a :: k) (b :: k). (Instruction t a :*: Instruction t b) --> Instruction 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 (-->) (:*:) (:*:) (Conclusion e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

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

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

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

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

Semigroup e => Semimonoidal (-->) (:*:) (:*:) (Accumulator e :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

Methods

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

Semimonoidal (-->) (:*:) (:+:) (Schematic Monad t u) => Semimonoidal (-->) (:*:) (:+:) (t :> u :: Type -> Type)

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

Methods

mult :: forall (a :: k) (b :: k). ((t :> u) a :*: (t :> u) b) --> (t :> u) (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 (-->) (:*:) (:*:) (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 (-->) (:*:) (:*:) (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 (-->) (:*:) (:*:) (Schematic Monad t u) => Semimonoidal (-->) (:*:) (:*:) (t :> u :: Type -> Type)

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

Methods

mult :: forall (a :: k) (b :: k). ((t :> u) a :*: (t :> u) b) --> (t :> u) (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 (-->) (:*:) (:*:) (Schematic Comonad t u) => Semimonoidal (-->) (:*:) (:*:) (t :< u :: Type -> Type)

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

Methods

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

Semimonoidal (-->) (:*:) (:*:) (Lens Exactly source :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

mult :: forall (a :: k) (b :: k). (Lens Exactly source a :*: Lens Exactly source b) --> Lens Exactly source (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 (-->) (:*:) (:*:) ((->) 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)

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

Defined in Pandora.Paradigm.Schemes.TUT

Methods

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

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) u, Semimonoidal (-->) (:*:) (:+:) t) => 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, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, 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, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) 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)

(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Bindable ((->) :: Type -> Type -> Type) u) => 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)

Covariant m m t => Covariant (Straight m) (Straight m) t

Defined in Pandora.Pattern.Morphism.Straight

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Interpreted ((->) :: Type -> Type -> Type) (Straight v e)

Defined in Pandora.Core.Interpreted

Associated Types

type Primary (Straight v e) a

Methods

run :: ((->) < Straight v e a) < Primary (Straight v e) a

unite :: ((->) < Primary (Straight v e) a) < Straight v e a

(<~~~~~~~~) :: ((->) < Straight v e a) < Primary (Straight v e) a

(<~~~~~~~) :: ((->) < Straight v e a) < Primary (Straight v e) a

(<~~~~~~) :: ((->) < Straight v e a) < Primary (Straight v e) a

(<~~~~~) :: ((->) < Straight v e a) < Primary (Straight v e) a

(<~~~~) :: ((->) < Straight v e a) < Primary (Straight v e) a

(<~~~) :: ((->) < Straight v e a) < Primary (Straight v e) a

(<~~) :: ((->) < Straight v e a) < Primary (Straight v e) a

(<~) :: ((->) < Straight v e a) < Primary (Straight v e) a

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

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

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

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

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

Defined in Pandora.Paradigm.Algebraic.Exponential

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Primary (Straight v e) a

Defined in Pandora.Core.Interpreted

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