Pandora.Core.Interpreted

Documentation

class Interpreted m t where

Minimal complete definition

run, unite

Associated Types

type Primary t a :: *

Methods

run :: (m < t a) < Primary t a

unite :: (m < Primary t a) < t a

(<~~~~~~~~) :: (m < t a) < Primary t a infixl 1

(<~~~~~~~) :: (m < t a) < Primary t a infixl 2

(<~~~~~~) :: (m < t a) < Primary t a infixl 3

(<~~~~~) :: (m < t a) < Primary t a infixl 4

(<~~~~) :: (m < t a) < Primary t a infixl 5

(<~~~) :: (m < t a) < Primary t a infixl 6

(<~~) :: (m < t a) < Primary t a infixl 7

(<~) :: (m < t a) < Primary t a infixl 8

(=#-) :: (Semigroupoid m, Interpreted m u) => ((m < Primary t a) < Primary u b) -> (m < t a) < u b infixr 2

(-#=) :: (Semigroupoid m, Interpreted m u) => ((m < t a) < u b) -> (m < Primary t a) < Primary u b infixr 2

(<$=#-) :: (Semigroupoid m, Covariant m m j, Interpreted m u) => ((m < Primary t a) < Primary u b) -> m (j > t a) (j > u b)

(-#=$>) :: (Covariant m m j, Interpreted m u) => ((m < t a) < u b) -> m (j > Primary t a) (j > Primary u b)

Instances

Interpreted ((->) :: Type -> Type -> Type) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Associated Types

type Primary Predicate a

Methods

run :: ((->) < Predicate a) < Primary Predicate a

unite :: ((->) < Primary Predicate a) < Predicate a

(<~~~~~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~) :: ((->) < Predicate a) < Primary Predicate a

(<~) :: ((->) < Predicate a) < Primary Predicate a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary Predicate a) < Primary u b) -> ((->) < Predicate a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Predicate a) < u b) -> ((->) < Primary Predicate a) < Primary u b

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

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

Interpreted ((->) :: Type -> Type -> Type) Endo

Defined in Pandora.Paradigm.Primary.Functor.Endo

Associated Types

type Primary Endo a

Methods

run :: ((->) < Endo a) < Primary Endo a

unite :: ((->) < Primary Endo a) < Endo a

(<~~~~~~~~) :: ((->) < Endo a) < Primary Endo a

(<~~~~~~~) :: ((->) < Endo a) < Primary Endo a

(<~~~~~~) :: ((->) < Endo a) < Primary Endo a

(<~~~~~) :: ((->) < Endo a) < Primary Endo a

(<~~~~) :: ((->) < Endo a) < Primary Endo a

(<~~~) :: ((->) < Endo a) < Primary Endo a

(<~~) :: ((->) < Endo a) < Primary Endo a

(<~) :: ((->) < Endo a) < Primary Endo a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary Endo a) < Primary u b) -> ((->) < Endo a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Endo a) < u b) -> ((->) < Primary Endo a) < Primary u b

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

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

Interpreted ((->) :: Type -> Type -> Type) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Associated Types

type Primary Maybe a

Methods

run :: ((->) < Maybe a) < Primary Maybe a

unite :: ((->) < Primary Maybe a) < Maybe a

(<~~~~~~~~) :: ((->) < Maybe a) < Primary Maybe a

(<~~~~~~~) :: ((->) < Maybe a) < Primary Maybe a

(<~~~~~~) :: ((->) < Maybe a) < Primary Maybe a

(<~~~~~) :: ((->) < Maybe a) < Primary Maybe a

(<~~~~) :: ((->) < Maybe a) < Primary Maybe a

(<~~~) :: ((->) < Maybe a) < Primary Maybe a

(<~~) :: ((->) < Maybe a) < Primary Maybe a

(<~) :: ((->) < Maybe a) < Primary Maybe a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary Maybe a) < Primary u b) -> ((->) < Maybe a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Maybe a) < u b) -> ((->) < Primary Maybe a) < Primary u b

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

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

Interpreted ((->) :: Type -> Type -> Type) (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Associated Types

type Primary (Conclusion e) a

Methods

run :: ((->) < Conclusion e a) < Primary (Conclusion e) a

unite :: ((->) < Primary (Conclusion e) a) < Conclusion e a

(<~~~~~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

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

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

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

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

Interpreted ((->) :: Type -> Type -> Type) (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Associated Types

type Primary (Comprehension t) a

Methods

run :: ((->) < Comprehension t a) < Primary (Comprehension t) a

unite :: ((->) < Primary (Comprehension t) a) < Comprehension t a

(<~~~~~~~~) :: ((->) < Comprehension t a) < Primary (Comprehension t) a

(<~~~~~~~) :: ((->) < Comprehension t a) < Primary (Comprehension t) a

(<~~~~~~) :: ((->) < Comprehension t a) < Primary (Comprehension t) a

(<~~~~~) :: ((->) < Comprehension t a) < Primary (Comprehension t) a

(<~~~~) :: ((->) < Comprehension t a) < Primary (Comprehension t) a

(<~~~) :: ((->) < Comprehension t a) < Primary (Comprehension t) a

(<~~) :: ((->) < Comprehension t a) < Primary (Comprehension t) a

(<~) :: ((->) < Comprehension t a) < Primary (Comprehension t) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Comprehension t) a) < Primary u b) -> ((->) < Comprehension t a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Comprehension t a) < u b) -> ((->) < Primary (Comprehension t) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Comprehension t) a) < Primary u b) -> (j > Comprehension t a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Comprehension t a) < u b) -> (j > Primary (Comprehension t) a) -> (j > Primary u b)

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

Defined in Pandora.Paradigm.Inventory.Some.Store

Associated Types

type Primary (Store s) a

Methods

run :: ((->) < Store s a) < Primary (Store s) a

unite :: ((->) < Primary (Store s) a) < Store s a

(<~~~~~~~~) :: ((->) < Store s a) < Primary (Store s) a

(<~~~~~~~) :: ((->) < Store s a) < Primary (Store s) a

(<~~~~~~) :: ((->) < Store s a) < Primary (Store s) a

(<~~~~~) :: ((->) < Store s a) < Primary (Store s) a

(<~~~~) :: ((->) < Store s a) < Primary (Store s) a

(<~~~) :: ((->) < Store s a) < Primary (Store s) a

(<~~) :: ((->) < Store s a) < Primary (Store s) a

(<~) :: ((->) < Store s a) < Primary (Store s) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Store s) a) < Primary u b) -> ((->) < Store s a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Store s a) < u b) -> ((->) < Primary (Store s) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Store s) a) < Primary u b) -> (j > Store s a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Store s a) < u b) -> (j > Primary (Store s) a) -> (j > Primary u b)

Interpreted ((->) :: Type -> Type -> Type) (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

Associated Types

type Primary (State s) a

Methods

run :: ((->) < State s a) < Primary (State s) a

unite :: ((->) < Primary (State s) a) < State s a

(<~~~~~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~) :: ((->) < State s a) < Primary (State s) a

(<~~) :: ((->) < State s a) < Primary (State s) a

(<~) :: ((->) < State s a) < Primary (State s) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (State s) a) < Primary u b) -> ((->) < State s a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < State s a) < u b) -> ((->) < Primary (State s) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (State s) a) < Primary u b) -> (j > State s a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < State s a) < u b) -> (j > Primary (State s) a) -> (j > Primary u b)

Interpreted ((->) :: Type -> Type -> Type) (Provision e)

Defined in Pandora.Paradigm.Inventory.Some.Provision

Associated Types

type Primary (Provision e) a

Methods

run :: ((->) < Provision e a) < Primary (Provision e) a

unite :: ((->) < Primary (Provision e) a) < Provision e a

(<~~~~~~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~~~~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~~~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~) :: ((->) < Provision e a) < Primary (Provision e) a

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

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

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

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

Interpreted ((->) :: Type -> Type -> Type) (Imprint e)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Associated Types

type Primary (Imprint e) a

Methods

run :: ((->) < Imprint e a) < Primary (Imprint e) a

unite :: ((->) < Primary (Imprint e) a) < Imprint e a

(<~~~~~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~) :: ((->) < Imprint e a) < Primary (Imprint e) a

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Associated Types

type Primary (Equipment e) a

Methods

run :: ((->) < Equipment e a) < Primary (Equipment e) a

unite :: ((->) < Primary (Equipment e) a) < Equipment e a

(<~~~~~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~~) :: ((->) < Equipment e a) < Primary (Equipment e) a

(<~) :: ((->) < Equipment e a) < Primary (Equipment e) a

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

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

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

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

Interpreted ((->) :: Type -> Type -> Type) (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

Associated Types

type Primary (Accumulator e) a

Methods

run :: ((->) < Accumulator e a) < Primary (Accumulator e) a

unite :: ((->) < Primary (Accumulator e) a) < Accumulator e a

(<~~~~~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

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

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

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

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Accumulator e a) < u b) -> (j > Primary (Accumulator e) a) -> (j > Primary u 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)

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)

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

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

Associated Types

type Primary (t :> u) a

Methods

run :: ((->) < (t :> u) a) < Primary (t :> u) a

unite :: ((->) < Primary (t :> u) a) < (t :> u) a

(<~~~~~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (t :> u) a) < Primary u0 b) -> ((->) < (t :> u) a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < (t :> u) a) < u0 b) -> ((->) < Primary (t :> u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (t :> u) a) < Primary u0 b) -> (j > (t :> u) a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < (t :> u) a) < u0 b) -> (j > Primary (t :> u) a) -> (j > Primary u0 b)

Interpreted ((->) :: Type -> Type -> Type) (Backwards t)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Associated Types

type Primary (Backwards t) a

Methods

run :: ((->) < Backwards t a) < Primary (Backwards t) a

unite :: ((->) < Primary (Backwards t) a) < Backwards t a

(<~~~~~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a

(<~~~~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a

(<~~~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a

(<~~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a

(<~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a

(<~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a

(<~~) :: ((->) < Backwards t a) < Primary (Backwards t) a

(<~) :: ((->) < Backwards t a) < Primary (Backwards t) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Backwards t) a) < Primary u b) -> ((->) < Backwards t a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Backwards t a) < u b) -> ((->) < Primary (Backwards t) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Backwards t) a) < Primary u b) -> (j > Backwards t a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Backwards t a) < u b) -> (j > Primary (Backwards t) a) -> (j > Primary u b)

Interpreted ((->) :: Type -> Type -> Type) (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Associated Types

type Primary (Reverse t) a

Methods

run :: ((->) < Reverse t a) < Primary (Reverse t) a

unite :: ((->) < Primary (Reverse t) a) < Reverse t a

(<~~~~~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Reverse t) a) < Primary u b) -> ((->) < Reverse t a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Reverse t a) < u b) -> ((->) < Primary (Reverse t) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Reverse t) a) < Primary u b) -> (j > Reverse t a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Reverse t a) < u b) -> (j > Primary (Reverse t) a) -> (j > Primary u b)

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

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

Associated Types

type Primary (t :< u) a

Methods

run :: ((->) < (t :< u) a) < Primary (t :< u) a

unite :: ((->) < Primary (t :< u) a) < (t :< u) a

(<~~~~~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (t :< u) a) < Primary u0 b) -> ((->) < (t :< u) a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < (t :< u) a) < u0 b) -> ((->) < Primary (t :< u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (t :< u) a) < Primary u0 b) -> (j > (t :< u) a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < (t :< u) a) < u0 b) -> (j > Primary (t :< u) a) -> (j > Primary u0 b)

Interpreted ((->) :: Type -> Type -> Type) (Turnover t)

Defined in Pandora.Paradigm.Structure.Modification.Turnover

Associated Types

type Primary (Turnover t) a

Methods

run :: ((->) < Turnover t a) < Primary (Turnover t) a

unite :: ((->) < Primary (Turnover t) a) < Turnover t a

(<~~~~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(<~) :: ((->) < Turnover t a) < Primary (Turnover t) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Turnover t) a) < Primary u b) -> ((->) < Turnover t a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Turnover t a) < u b) -> ((->) < Primary (Turnover t) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Turnover t) a) < Primary u b) -> (j > Turnover t a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Turnover t a) < u b) -> (j > Primary (Turnover t) a) -> (j > Primary u b)

Interpreted ((->) :: Type -> Type -> Type) (Continuation r t)

Defined in Pandora.Paradigm.Primary.Transformer.Continuation

Associated Types

type Primary (Continuation r t) a

Methods

run :: ((->) < Continuation r t a) < Primary (Continuation r t) a

unite :: ((->) < Primary (Continuation r t) a) < Continuation r t a

(<~~~~~~~~) :: ((->) < Continuation r t a) < Primary (Continuation r t) a

(<~~~~~~~) :: ((->) < Continuation r t a) < Primary (Continuation r t) a

(<~~~~~~) :: ((->) < Continuation r t a) < Primary (Continuation r t) a

(<~~~~~) :: ((->) < Continuation r t a) < Primary (Continuation r t) a

(<~~~~) :: ((->) < Continuation r t a) < Primary (Continuation r t) a

(<~~~) :: ((->) < Continuation r t a) < Primary (Continuation r t) a

(<~~) :: ((->) < Continuation r t a) < Primary (Continuation r t) a

(<~) :: ((->) < Continuation r t a) < Primary (Continuation r t) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Continuation r t) a) < Primary u b) -> ((->) < Continuation r t a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Continuation r t a) < u b) -> ((->) < Primary (Continuation r t) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Continuation r t) a) < Primary u b) -> (j > Continuation r t a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Continuation r t a) < u b) -> (j > Primary (Continuation r t) a) -> (j > Primary u b)

Interpreted ((->) :: Type -> Type -> Type) (P_Q_T p q t a)

Defined in Pandora.Paradigm.Schemes.P_Q_T

Associated Types

type Primary (P_Q_T p q t a) a

Methods

run :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

unite :: ((->) < Primary (P_Q_T p q t a) a0) < P_Q_T p q t a a0

(<~~~~~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (P_Q_T p q t a) a0) < Primary u b) -> ((->) < P_Q_T p q t a a0) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < P_Q_T p q t a a0) < u b) -> ((->) < Primary (P_Q_T p q t a) a0) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (P_Q_T p q t a) a0) < Primary u b) -> (j > P_Q_T p q t a a0) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < P_Q_T p q t a a0) < u b) -> (j > Primary (P_Q_T p q t a) a0) -> (j > Primary u b)

Interpreted ((->) :: Type -> Type -> Type) (Kan ('Left :: Type -> Horizontal Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Associated Types

type Primary (Kan 'Left t u b) a

Methods

run :: ((->) < Kan 'Left t u b a) < Primary (Kan 'Left t u b) a

unite :: ((->) < Primary (Kan 'Left t u b) a) < Kan 'Left t u b a

(<~~~~~~~~) :: ((->) < Kan 'Left t u b a) < Primary (Kan 'Left t u b) a

(<~~~~~~~) :: ((->) < Kan 'Left t u b a) < Primary (Kan 'Left t u b) a

(<~~~~~~) :: ((->) < Kan 'Left t u b a) < Primary (Kan 'Left t u b) a

(<~~~~~) :: ((->) < Kan 'Left t u b a) < Primary (Kan 'Left t u b) a

(<~~~~) :: ((->) < Kan 'Left t u b a) < Primary (Kan 'Left t u b) a

(<~~~) :: ((->) < Kan 'Left t u b a) < Primary (Kan 'Left t u b) a

(<~~) :: ((->) < Kan 'Left t u b a) < Primary (Kan 'Left t u b) a

(<~) :: ((->) < Kan 'Left t u b a) < Primary (Kan 'Left t u b) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (Kan 'Left t u b) a) < Primary u0 b0) -> ((->) < Kan 'Left t u b a) < u0 b0

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Kan 'Left t u b a) < u0 b0) -> ((->) < Primary (Kan 'Left t u b) a) < Primary u0 b0

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (Kan 'Left t u b) a) < Primary u0 b0) -> (j > Kan 'Left t u b a) -> (j > u0 b0)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Kan 'Left t u b a) < u0 b0) -> (j > Primary (Kan 'Left t u b) a) -> (j > Primary u0 b0)

Interpreted ((->) :: Type -> Type -> Type) (Kan ('Right :: Type -> Horizontal Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Associated Types

type Primary (Kan 'Right t u b) a

Methods

run :: ((->) < Kan 'Right t u b a) < Primary (Kan 'Right t u b) a

unite :: ((->) < Primary (Kan 'Right t u b) a) < Kan 'Right t u b a

(<~~~~~~~~) :: ((->) < Kan 'Right t u b a) < Primary (Kan 'Right t u b) a

(<~~~~~~~) :: ((->) < Kan 'Right t u b a) < Primary (Kan 'Right t u b) a

(<~~~~~~) :: ((->) < Kan 'Right t u b a) < Primary (Kan 'Right t u b) a

(<~~~~~) :: ((->) < Kan 'Right t u b a) < Primary (Kan 'Right t u b) a

(<~~~~) :: ((->) < Kan 'Right t u b a) < Primary (Kan 'Right t u b) a

(<~~~) :: ((->) < Kan 'Right t u b a) < Primary (Kan 'Right t u b) a

(<~~) :: ((->) < Kan 'Right t u b a) < Primary (Kan 'Right t u b) a

(<~) :: ((->) < Kan 'Right t u b a) < Primary (Kan 'Right t u b) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (Kan 'Right t u b) a) < Primary u0 b0) -> ((->) < Kan 'Right t u b a) < u0 b0

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Kan 'Right t u b a) < u0 b0) -> ((->) < Primary (Kan 'Right t u b) a) < Primary u0 b0

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (Kan 'Right t u b) a) < Primary u0 b0) -> (j > Kan 'Right t u b a) -> (j > u0 b0)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Kan 'Right t u b a) < u0 b0) -> (j > Primary (Kan 'Right t u b) a) -> (j > Primary u0 b0)

Interpreted ((->) :: Type -> Type -> Type) (P_T p t a)

Defined in Pandora.Paradigm.Schemes.P_T

Associated Types

type Primary (P_T p t a) a

Methods

run :: ((->) < P_T p t a a0) < Primary (P_T p t a) a0

unite :: ((->) < Primary (P_T p t a) a0) < P_T p t a a0

(<~~~~~~~~) :: ((->) < P_T p t a a0) < Primary (P_T p t a) a0

(<~~~~~~~) :: ((->) < P_T p t a a0) < Primary (P_T p t a) a0

(<~~~~~~) :: ((->) < P_T p t a a0) < Primary (P_T p t a) a0

(<~~~~~) :: ((->) < P_T p t a a0) < Primary (P_T p t a) a0

(<~~~~) :: ((->) < P_T p t a a0) < Primary (P_T p t a) a0

(<~~~) :: ((->) < P_T p t a a0) < Primary (P_T p t a) a0

(<~~) :: ((->) < P_T p t a a0) < Primary (P_T p t a) a0

(<~) :: ((->) < P_T p t a a0) < Primary (P_T p t a) a0

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (P_T p t a) a0) < Primary u b) -> ((->) < P_T p t a a0) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < P_T p t a a0) < u b) -> ((->) < Primary (P_T p t a) a0) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (P_T p t a) a0) < Primary u b) -> (j > P_T p t a a0) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < P_T p t a a0) < u b) -> (j > Primary (P_T p t a) a0) -> (j > Primary u b)

Interpreted ((->) :: Type -> Type -> Type) (PQ_ p q a)

Defined in Pandora.Paradigm.Schemes.PQ_

Associated Types

type Primary (PQ_ p q a) a

Methods

run :: ((->) < PQ_ p q a a0) < Primary (PQ_ p q a) a0

unite :: ((->) < Primary (PQ_ p q a) a0) < PQ_ p q a a0

(<~~~~~~~~) :: ((->) < PQ_ p q a a0) < Primary (PQ_ p q a) a0

(<~~~~~~~) :: ((->) < PQ_ p q a a0) < Primary (PQ_ p q a) a0

(<~~~~~~) :: ((->) < PQ_ p q a a0) < Primary (PQ_ p q a) a0

(<~~~~~) :: ((->) < PQ_ p q a a0) < Primary (PQ_ p q a) a0

(<~~~~) :: ((->) < PQ_ p q a a0) < Primary (PQ_ p q a) a0

(<~~~) :: ((->) < PQ_ p q a a0) < Primary (PQ_ p q a) a0

(<~~) :: ((->) < PQ_ p q a a0) < Primary (PQ_ p q a) a0

(<~) :: ((->) < PQ_ p q a a0) < Primary (PQ_ p q a) a0

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (PQ_ p q a) a0) < Primary u b) -> ((->) < PQ_ p q a a0) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < PQ_ p q a a0) < u b) -> ((->) < Primary (PQ_ p q a) a0) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (PQ_ p q a) a0) < Primary u b) -> (j > PQ_ p q a a0) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < PQ_ p q a a0) < u b) -> (j > Primary (PQ_ p q a) a0) -> (j > Primary u b)

Interpreted ((->) :: Type -> Type -> Type) (PTU p t u a)

Defined in Pandora.Paradigm.Schemes.PTU

Associated Types

type Primary (PTU p t u a) a

Methods

run :: ((->) < PTU p t u a a0) < Primary (PTU p t u a) a0

unite :: ((->) < Primary (PTU p t u a) a0) < PTU p t u a a0

(<~~~~~~~~) :: ((->) < PTU p t u a a0) < Primary (PTU p t u a) a0

(<~~~~~~~) :: ((->) < PTU p t u a a0) < Primary (PTU p t u a) a0

(<~~~~~~) :: ((->) < PTU p t u a a0) < Primary (PTU p t u a) a0

(<~~~~~) :: ((->) < PTU p t u a a0) < Primary (PTU p t u a) a0

(<~~~~) :: ((->) < PTU p t u a a0) < Primary (PTU p t u a) a0

(<~~~) :: ((->) < PTU p t u a a0) < Primary (PTU p t u a) a0

(<~~) :: ((->) < PTU p t u a a0) < Primary (PTU p t u a) a0

(<~) :: ((->) < PTU p t u a a0) < Primary (PTU p t u a) a0

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (PTU p t u a) a0) < Primary u0 b) -> ((->) < PTU p t u a a0) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < PTU p t u a a0) < u0 b) -> ((->) < Primary (PTU p t u a) a0) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (PTU p t u a) a0) < Primary u0 b) -> (j > PTU p t u a a0) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < PTU p t u a a0) < u0 b) -> (j > Primary (PTU p t u a) a0) -> (j > Primary u0 b)

Interpreted ((->) :: Type -> Type -> Type) (UT ct cu t u)

Defined in Pandora.Paradigm.Schemes.UT

Associated Types

type Primary (UT ct cu t u) a

Methods

run :: ((->) < UT ct cu t u a) < Primary (UT ct cu t u) a

unite :: ((->) < Primary (UT ct cu t u) a) < UT ct cu t u a

(<~~~~~~~~) :: ((->) < UT ct cu t u a) < Primary (UT ct cu t u) a

(<~~~~~~~) :: ((->) < UT ct cu t u a) < Primary (UT ct cu t u) a

(<~~~~~~) :: ((->) < UT ct cu t u a) < Primary (UT ct cu t u) a

(<~~~~~) :: ((->) < UT ct cu t u a) < Primary (UT ct cu t u) a

(<~~~~) :: ((->) < UT ct cu t u a) < Primary (UT ct cu t u) a

(<~~~) :: ((->) < UT ct cu t u a) < Primary (UT ct cu t u) a

(<~~) :: ((->) < UT ct cu t u a) < Primary (UT ct cu t u) a

(<~) :: ((->) < UT ct cu t u a) < Primary (UT ct cu t u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (UT ct cu t u) a) < Primary u0 b) -> ((->) < UT ct cu t u a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < UT ct cu t u a) < u0 b) -> ((->) < Primary (UT ct cu t u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (UT ct cu t u) a) < Primary u0 b) -> (j > UT ct cu t u a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < UT ct cu t u a) < u0 b) -> (j > Primary (UT ct cu t u) a) -> (j > Primary u0 b)

Interpreted ((->) :: Type -> Type -> Type) (TU ct cu t u)

Defined in Pandora.Paradigm.Schemes.TU

Associated Types

type Primary (TU ct cu t u) a

Methods

run :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

unite :: ((->) < Primary (TU ct cu t u) a) < TU ct cu t u a

(<~~~~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(<~) :: ((->) < TU ct cu t u a) < Primary (TU ct cu t u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (TU ct cu t u) a) < Primary u0 b) -> ((->) < TU ct cu t u a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < TU ct cu t u a) < u0 b) -> ((->) < Primary (TU ct cu t u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (TU ct cu t u) a) < Primary u0 b) -> (j > TU ct cu t u a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < TU ct cu t u a) < u0 b) -> (j > Primary (TU ct cu t u) a) -> (j > Primary u0 b)

Interpreted ((->) :: Type -> Type -> Type) (TT ct ct' t t')

Defined in Pandora.Paradigm.Schemes.TT

Associated Types

type Primary (TT ct ct' t t') a

Methods

run :: ((->) < TT ct ct' t t' a) < Primary (TT ct ct' t t') a

unite :: ((->) < Primary (TT ct ct' t t') a) < TT ct ct' t t' a

(<~~~~~~~~) :: ((->) < TT ct ct' t t' a) < Primary (TT ct ct' t t') a

(<~~~~~~~) :: ((->) < TT ct ct' t t' a) < Primary (TT ct ct' t t') a

(<~~~~~~) :: ((->) < TT ct ct' t t' a) < Primary (TT ct ct' t t') a

(<~~~~~) :: ((->) < TT ct ct' t t' a) < Primary (TT ct ct' t t') a

(<~~~~) :: ((->) < TT ct ct' t t' a) < Primary (TT ct ct' t t') a

(<~~~) :: ((->) < TT ct ct' t t' a) < Primary (TT ct ct' t t') a

(<~~) :: ((->) < TT ct ct' t t' a) < Primary (TT ct ct' t t') a

(<~) :: ((->) < TT ct ct' t t' a) < Primary (TT ct ct' t t') a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (TT ct ct' t t') a) < Primary u b) -> ((->) < TT ct ct' t t' a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < TT ct ct' t t' a) < u b) -> ((->) < Primary (TT ct ct' t t') a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (TT ct ct' t t') a) < Primary u b) -> (j > TT ct ct' t t' a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < TT ct ct' t t' a) < u b) -> (j > Primary (TT ct ct' t t') a) -> (j > Primary u b)

Interpreted ((->) :: Type -> Type -> Type) (U_T ct cu t p u)

Defined in Pandora.Paradigm.Schemes.U_T

Associated Types

type Primary (U_T ct cu t p u) a

Methods

run :: ((->) < U_T ct cu t p u a) < Primary (U_T ct cu t p u) a

unite :: ((->) < Primary (U_T ct cu t p u) a) < U_T ct cu t p u a

(<~~~~~~~~) :: ((->) < U_T ct cu t p u a) < Primary (U_T ct cu t p u) a

(<~~~~~~~) :: ((->) < U_T ct cu t p u a) < Primary (U_T ct cu t p u) a

(<~~~~~~) :: ((->) < U_T ct cu t p u a) < Primary (U_T ct cu t p u) a

(<~~~~~) :: ((->) < U_T ct cu t p u a) < Primary (U_T ct cu t p u) a

(<~~~~) :: ((->) < U_T ct cu t p u a) < Primary (U_T ct cu t p u) a

(<~~~) :: ((->) < U_T ct cu t p u a) < Primary (U_T ct cu t p u) a

(<~~) :: ((->) < U_T ct cu t p u a) < Primary (U_T ct cu t p u) a

(<~) :: ((->) < U_T ct cu t p u a) < Primary (U_T ct cu t p u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (U_T ct cu t p u) a) < Primary u0 b) -> ((->) < U_T ct cu t p u a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < U_T ct cu t p u a) < u0 b) -> ((->) < Primary (U_T ct cu t p u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (U_T ct cu t p u) a) < Primary u0 b) -> (j > U_T ct cu t p u a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < U_T ct cu t p u a) < u0 b) -> (j > Primary (U_T ct cu t p u) a) -> (j > Primary u0 b)

Interpreted ((->) :: Type -> Type -> Type) (UTU ct cu t u u')

Defined in Pandora.Paradigm.Schemes.UTU

Associated Types

type Primary (UTU ct cu t u u') a

Methods

run :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

unite :: ((->) < Primary (UTU ct cu t u u') a) < UTU ct cu t u u' a

(<~~~~~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (UTU ct cu t u u') a) < Primary u0 b) -> ((->) < UTU ct cu t u u' a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < UTU ct cu t u u' a) < u0 b) -> ((->) < Primary (UTU ct cu t u u') a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (UTU ct cu t u u') a) < Primary u0 b) -> (j > UTU ct cu t u u' a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < UTU ct cu t u u' a) < u0 b) -> (j > Primary (UTU ct cu t u u') a) -> (j > Primary u0 b)

Interpreted ((->) :: Type -> Type -> Type) (T_U ct cu p t u)

Defined in Pandora.Paradigm.Schemes.T_U

Associated Types

type Primary (T_U ct cu p t u) a

Methods

run :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a

unite :: ((->) < Primary (T_U ct cu p t u) a) < T_U ct cu p t u a

(<~~~~~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a

(<~~~~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a

(<~~~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a

(<~~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a

(<~~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a

(<~~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a

(<~~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a

(<~) :: ((->) < T_U ct cu p t u a) < Primary (T_U ct cu p t u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (T_U ct cu p t u) a) < Primary u0 b) -> ((->) < T_U ct cu p t u a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < T_U ct cu p t u a) < u0 b) -> ((->) < Primary (T_U ct cu p t u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (T_U ct cu p t u) a) < Primary u0 b) -> (j > T_U ct cu p t u a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < T_U ct cu p t u a) < u0 b) -> (j > Primary (T_U ct cu p t u) a) -> (j > Primary u0 b)

Interpreted ((->) :: Type -> Type -> Type) (TUT ct ct' cu t t' u)

Defined in Pandora.Paradigm.Schemes.TUT

Associated Types

type Primary (TUT ct ct' cu t t' u) a

Methods

run :: ((->) < TUT ct ct' cu t t' u a) < Primary (TUT ct ct' cu t t' u) a

unite :: ((->) < Primary (TUT ct ct' cu t t' u) a) < TUT ct ct' cu t t' u a

(<~~~~~~~~) :: ((->) < TUT ct ct' cu t t' u a) < Primary (TUT ct ct' cu t t' u) a

(<~~~~~~~) :: ((->) < TUT ct ct' cu t t' u a) < Primary (TUT ct ct' cu t t' u) a

(<~~~~~~) :: ((->) < TUT ct ct' cu t t' u a) < Primary (TUT ct ct' cu t t' u) a

(<~~~~~) :: ((->) < TUT ct ct' cu t t' u a) < Primary (TUT ct ct' cu t t' u) a

(<~~~~) :: ((->) < TUT ct ct' cu t t' u a) < Primary (TUT ct ct' cu t t' u) a

(<~~~) :: ((->) < TUT ct ct' cu t t' u a) < Primary (TUT ct ct' cu t t' u) a

(<~~) :: ((->) < TUT ct ct' cu t t' u a) < Primary (TUT ct ct' cu t t' u) a

(<~) :: ((->) < TUT ct ct' cu t t' u a) < Primary (TUT ct ct' cu t t' u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (TUT ct ct' cu t t' u) a) < Primary u0 b) -> ((->) < TUT ct ct' cu t t' u a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < TUT ct ct' cu t t' u a) < u0 b) -> ((->) < Primary (TUT ct ct' cu t t' u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (TUT ct ct' cu t t' u) a) < Primary u0 b) -> (j > TUT ct ct' cu t t' u a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < TUT ct ct' cu t t' u a) < u0 b) -> (j > Primary (TUT ct ct' cu t t' u) a) -> (j > Primary u0 b)

Interpreted ((->) :: Type -> Type -> Type) (TUVW ct cu cv cw t u v w)

Defined in Pandora.Paradigm.Schemes.TUVW

Associated Types

type Primary (TUVW ct cu cv cw t u v w) a

Methods

run :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a

unite :: ((->) < Primary (TUVW ct cu cv cw t u v w) a) < TUVW ct cu cv cw t u v w a

(<~~~~~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a

(<~~~~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a

(<~~~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a

(<~~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a

(<~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a

(<~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a

(<~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a

(<~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (TUVW ct cu cv cw t u v w) a) < Primary u0 b) -> ((->) < TUVW ct cu cv cw t u v w a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < TUVW ct cu cv cw t u v w a) < u0 b) -> ((->) < Primary (TUVW ct cu cv cw t u v w) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (TUVW ct cu cv cw t u v w) a) < Primary u0 b) -> (j > TUVW ct cu cv cw t u v w a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < TUVW ct cu cv cw t u v w a) < u0 b) -> (j > Primary (TUVW ct cu cv cw t u v w) a) -> (j > Primary u0 b)

(-=:) :: (Liftable m t, Interpreted m > t u, Interpreted m > t v, Covariant m m u) => ((m < t u a) < t v b) -> (m < u a) < Primary (t v) b