Interpreted Predicate Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Predicate Methods run :: Predicate a -> Primary Predicate a Source # unite :: Primary Predicate a -> Predicate a Source # (||=) :: Interpreted u => (Primary Predicate a -> Primary u b) -> Predicate a -> u b Source # (=||) :: Interpreted u => (Predicate a -> u b) -> Primary Predicate a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary Predicate a -> Primary u b) -> (j := Predicate a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary Predicate a -> Primary u b) -> ((j :. k) := Predicate a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary Predicate a -> Primary u b) -> ((j :. (k :. l)) := Predicate a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary Predicate a -> Primary u b) -> ((j :. (k :. (l :. m))) := Predicate a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Predicate a -> u b) -> (j := Primary Predicate a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Predicate a -> u b) -> ((j :. k) := Primary Predicate a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Predicate a -> u b) -> ((j :. (k :. l)) := Primary Predicate a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Predicate a -> u b) -> ((j :. (k :. (l :. m))) := Primary Predicate a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted Endo Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Endo Methods run :: Endo a -> Primary Endo a Source # unite :: Primary Endo a -> Endo a Source # (||=) :: Interpreted u => (Primary Endo a -> Primary u b) -> Endo a -> u b Source # (=||) :: Interpreted u => (Endo a -> u b) -> Primary Endo a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary Endo a -> Primary u b) -> (j := Endo a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary Endo a -> Primary u b) -> ((j :. k) := Endo a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary Endo a -> Primary u b) -> ((j :. (k :. l)) := Endo a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary Endo a -> Primary u b) -> ((j :. (k :. (l :. m))) := Endo a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Endo a -> u b) -> (j := Primary Endo a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Endo a -> u b) -> ((j :. k) := Primary Endo a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Endo a -> u b) -> ((j :. (k :. l)) := Primary Endo a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Endo a -> u b) -> ((j :. (k :. (l :. m))) := Primary Endo a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe Methods run :: Maybe a -> Primary Maybe a Source # unite :: Primary Maybe a -> Maybe a Source # (||=) :: Interpreted u => (Primary Maybe a -> Primary u b) -> Maybe a -> u b Source # (=||) :: Interpreted u => (Maybe a -> u b) -> Primary Maybe a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary Maybe a -> Primary u b) -> (j := Maybe a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary Maybe a -> Primary u b) -> ((j :. k) := Maybe a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary Maybe a -> Primary u b) -> ((j :. (k :. l)) := Maybe a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary Maybe a -> Primary u b) -> ((j :. (k :. (l :. m))) := Maybe a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Maybe a -> u b) -> (j := Primary Maybe a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Maybe a -> u b) -> ((j :. k) := Primary Maybe a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Maybe a -> u b) -> ((j :. (k :. l)) := Primary Maybe a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Maybe a -> u b) -> ((j :. (k :. (l :. m))) := Primary Maybe a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
(Extractable t ((->) :: Type -> Type -> Type), Pointable t ((->) :: Type -> Type -> Type), Applicative t) => Interpreted (Outline t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Outline Methods run :: Outline t a -> Primary (Outline t) a Source # unite :: Primary (Outline t) a -> Outline t a Source # (||=) :: Interpreted u => (Primary (Outline t) a -> Primary u b) -> Outline t a -> u b Source # (=||) :: Interpreted u => (Outline t a -> u b) -> Primary (Outline t) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Outline t) a -> Primary u b) -> (j := Outline t a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Outline t) a -> Primary u b) -> ((j :. k) := Outline t a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Outline t) a -> Primary u b) -> ((j :. (k :. l)) := Outline t a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Outline t) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Outline t a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Outline t a -> u b) -> (j := Primary (Outline t) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Outline t a -> u b) -> ((j :. k) := Primary (Outline t) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Outline t a -> u b) -> ((j :. (k :. l)) := Primary (Outline t) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Outline t a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Outline t) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion Methods run :: Conclusion e a -> Primary (Conclusion e) a Source # unite :: Primary (Conclusion e) a -> Conclusion e a Source # (||=) :: Interpreted u => (Primary (Conclusion e) a -> Primary u b) -> Conclusion e a -> u b Source # (=||) :: Interpreted u => (Conclusion e a -> u b) -> Primary (Conclusion e) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Conclusion e) a -> Primary u b) -> (j := Conclusion e a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Conclusion e) a -> Primary u b) -> ((j :. k) := Conclusion e a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Conclusion e) a -> Primary u b) -> ((j :. (k :. l)) := Conclusion e a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Conclusion e) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Conclusion e a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Conclusion e a -> u b) -> (j := Primary (Conclusion e) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Conclusion e a -> u b) -> ((j :. k) := Primary (Conclusion e) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Conclusion e a -> u b) -> ((j :. (k :. l)) := Primary (Conclusion e) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Conclusion e a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Conclusion e) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension Methods run :: Comprehension t a -> Primary (Comprehension t) a Source # unite :: Primary (Comprehension t) a -> Comprehension t a Source # (||=) :: Interpreted u => (Primary (Comprehension t) a -> Primary u b) -> Comprehension t a -> u b Source # (=||) :: Interpreted u => (Comprehension t a -> u b) -> Primary (Comprehension t) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Comprehension t) a -> Primary u b) -> (j := Comprehension t a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Comprehension t) a -> Primary u b) -> ((j :. k) := Comprehension t a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Comprehension t) a -> Primary u b) -> ((j :. (k :. l)) := Comprehension t a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Comprehension t) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Comprehension t a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Comprehension t a -> u b) -> (j := Primary (Comprehension t) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Comprehension t a -> u b) -> ((j :. k) := Primary (Comprehension t) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Comprehension t a -> u b) -> ((j :. (k :. l)) := Primary (Comprehension t) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Comprehension t a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Comprehension t) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Store s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Store Methods run :: Store s a -> Primary (Store s) a Source # unite :: Primary (Store s) a -> Store s a Source # (||=) :: Interpreted u => (Primary (Store s) a -> Primary u b) -> Store s a -> u b Source # (=||) :: Interpreted u => (Store s a -> u b) -> Primary (Store s) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Store s) a -> Primary u b) -> (j := Store s a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Store s) a -> Primary u b) -> ((j :. k) := Store s a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Store s) a -> Primary u b) -> ((j :. (k :. l)) := Store s a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Store s) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Store s a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Store s a -> u b) -> (j := Primary (Store s) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Store s a -> u b) -> ((j :. k) := Primary (Store s) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Store s a -> u b) -> ((j :. (k :. l)) := Primary (Store s) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Store s a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Store s) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (State s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State Methods run :: State s a -> Primary (State s) a Source # unite :: Primary (State s) a -> State s a Source # (||=) :: Interpreted u => (Primary (State s) a -> Primary u b) -> State s a -> u b Source # (=||) :: Interpreted u => (State s a -> u b) -> Primary (State s) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (State s) a -> Primary u b) -> (j := State s a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (State s) a -> Primary u b) -> ((j :. k) := State s a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (State s) a -> Primary u b) -> ((j :. (k :. l)) := State s a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (State s) a -> Primary u b) -> ((j :. (k :. (l :. m))) := State s a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (State s a -> u b) -> (j := Primary (State s) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (State s a -> u b) -> ((j :. k) := Primary (State s) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (State s a -> u b) -> ((j :. (k :. l)) := Primary (State s) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (State s a -> u b) -> ((j :. (k :. (l :. m))) := Primary (State s) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Imprint e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint Methods run :: Imprint e a -> Primary (Imprint e) a Source # unite :: Primary (Imprint e) a -> Imprint e a Source # (||=) :: Interpreted u => (Primary (Imprint e) a -> Primary u b) -> Imprint e a -> u b Source # (=||) :: Interpreted u => (Imprint e a -> u b) -> Primary (Imprint e) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Imprint e) a -> Primary u b) -> (j := Imprint e a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Imprint e) a -> Primary u b) -> ((j :. k) := Imprint e a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Imprint e) a -> Primary u b) -> ((j :. (k :. l)) := Imprint e a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Imprint e) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Imprint e a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Imprint e a -> u b) -> (j := Primary (Imprint e) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Imprint e a -> u b) -> ((j :. k) := Primary (Imprint e) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Imprint e a -> u b) -> ((j :. (k :. l)) := Primary (Imprint e) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Imprint e a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Imprint e) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Equipment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment Methods run :: Equipment e a -> Primary (Equipment e) a Source # unite :: Primary (Equipment e) a -> Equipment e a Source # (||=) :: Interpreted u => (Primary (Equipment e) a -> Primary u b) -> Equipment e a -> u b Source # (=||) :: Interpreted u => (Equipment e a -> u b) -> Primary (Equipment e) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Equipment e) a -> Primary u b) -> (j := Equipment e a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Equipment e) a -> Primary u b) -> ((j :. k) := Equipment e a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Equipment e) a -> Primary u b) -> ((j :. (k :. l)) := Equipment e a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Equipment e) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Equipment e a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Equipment e a -> u b) -> (j := Primary (Equipment e) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Equipment e a -> u b) -> ((j :. k) := Primary (Equipment e) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Equipment e a -> u b) -> ((j :. (k :. l)) := Primary (Equipment e) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Equipment e a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Equipment e) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Environment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment Methods run :: Environment e a -> Primary (Environment e) a Source # unite :: Primary (Environment e) a -> Environment e a Source # (||=) :: Interpreted u => (Primary (Environment e) a -> Primary u b) -> Environment e a -> u b Source # (=||) :: Interpreted u => (Environment e a -> u b) -> Primary (Environment e) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Environment e) a -> Primary u b) -> (j := Environment e a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Environment e) a -> Primary u b) -> ((j :. k) := Environment e a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Environment e) a -> Primary u b) -> ((j :. (k :. l)) := Environment e a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Environment e) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Environment e a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Environment e a -> u b) -> (j := Primary (Environment e) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Environment e a -> u b) -> ((j :. k) := Primary (Environment e) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Environment e a -> u b) -> ((j :. (k :. l)) := Primary (Environment e) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Environment e a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Environment e) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Accumulator e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator Methods run :: Accumulator e a -> Primary (Accumulator e) a Source # unite :: Primary (Accumulator e) a -> Accumulator e a Source # (||=) :: Interpreted u => (Primary (Accumulator e) a -> Primary u b) -> Accumulator e a -> u b Source # (=||) :: Interpreted u => (Accumulator e a -> u b) -> Primary (Accumulator e) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> (j := Accumulator e a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> ((j :. k) := Accumulator e a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> ((j :. (k :. l)) := Accumulator e a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Accumulator e a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Accumulator e a -> u b) -> (j := Primary (Accumulator e) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Accumulator e a -> u b) -> ((j :. k) := Primary (Accumulator e) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Accumulator e a -> u b) -> ((j :. (k :. l)) := Primary (Accumulator e) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Accumulator e a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Accumulator e) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Flip v a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer Methods run :: Flip v a a0 -> Primary (Flip v a) a0 Source # unite :: Primary (Flip v a) a0 -> Flip v a a0 Source # (||=) :: Interpreted u => (Primary (Flip v a) a0 -> Primary u b) -> Flip v a a0 -> u b Source # (=||) :: Interpreted u => (Flip v a a0 -> u b) -> Primary (Flip v a) a0 -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Flip v a) a0 -> Primary u b) -> (j := Flip v a a0) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Flip v a) a0 -> Primary u b) -> ((j :. k) := Flip v a a0) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Flip v a) a0 -> Primary u b) -> ((j :. (k :. l)) := Flip v a a0) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Flip v a) a0 -> Primary u b) -> ((j :. (k :. (l :. m))) := Flip v a a0) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Flip v a a0 -> u b) -> (j := Primary (Flip v a) a0) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Flip v a a0 -> u b) -> ((j :. k) := Primary (Flip v a) a0) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Flip v a a0 -> u b) -> ((j :. (k :. l)) := Primary (Flip v a) a0) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Flip v a a0 -> u b) -> ((j :. (k :. (l :. m))) := Primary (Flip v a) a0) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Schematic Monad t u) => Interpreted (t :> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic Methods run :: (t :> u) a -> Primary (t :> u) a Source # unite :: Primary (t :> u) a -> (t :> u) a Source # (||=) :: Interpreted u0 => (Primary (t :> u) a -> Primary u0 b) -> (t :> u) a -> u0 b Source # (=||) :: Interpreted u0 => ((t :> u) a -> u0 b) -> Primary (t :> u) a -> Primary u0 b Source # (<$||=) :: (Covariant j, Interpreted u0) => (Primary (t :> u) a -> Primary u0 b) -> (j := (t :> u) a) -> j := u0 b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (t :> u) a -> Primary u0 b) -> ((j :. k) := (t :> u) a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (t :> u) a -> Primary u0 b) -> ((j :. (k :. l)) := (t :> u) a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (t :> u) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := (t :> u) a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (Covariant j, Interpreted u0) => ((t :> u) a -> u0 b) -> (j := Primary (t :> u) a) -> j := Primary u0 b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => ((t :> u) a -> u0 b) -> ((j :. k) := Primary (t :> u) a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => ((t :> u) a -> u0 b) -> ((j :. (k :. l)) := Primary (t :> u) a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => ((t :> u) a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (t :> u) a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
Interpreted (Backwards t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Backwards Methods run :: Backwards t a -> Primary (Backwards t) a Source # unite :: Primary (Backwards t) a -> Backwards t a Source # (||=) :: Interpreted u => (Primary (Backwards t) a -> Primary u b) -> Backwards t a -> u b Source # (=||) :: Interpreted u => (Backwards t a -> u b) -> Primary (Backwards t) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Backwards t) a -> Primary u b) -> (j := Backwards t a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Backwards t) a -> Primary u b) -> ((j :. k) := Backwards t a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Backwards t) a -> Primary u b) -> ((j :. (k :. l)) := Backwards t a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Backwards t) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Backwards t a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Backwards t a -> u b) -> (j := Primary (Backwards t) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Backwards t a -> u b) -> ((j :. k) := Primary (Backwards t) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Backwards t a -> u b) -> ((j :. (k :. l)) := Primary (Backwards t) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Backwards t a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Backwards t) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Reverse t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Reverse Methods run :: Reverse t a -> Primary (Reverse t) a Source # unite :: Primary (Reverse t) a -> Reverse t a Source # (||=) :: Interpreted u => (Primary (Reverse t) a -> Primary u b) -> Reverse t a -> u b Source # (=||) :: Interpreted u => (Reverse t a -> u b) -> Primary (Reverse t) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Reverse t) a -> Primary u b) -> (j := Reverse t a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Reverse t) a -> Primary u b) -> ((j :. k) := Reverse t a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Reverse t) a -> Primary u b) -> ((j :. (k :. l)) := Reverse t a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Reverse t) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Reverse t a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Reverse t a -> u b) -> (j := Primary (Reverse t) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Reverse t a -> u b) -> ((j :. k) := Primary (Reverse t) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Reverse t a -> u b) -> ((j :. (k :. l)) := Primary (Reverse t) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Reverse t a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Reverse t) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Schematic Comonad t u) => Interpreted (t :< u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic Methods run :: (t :< u) a -> Primary (t :< u) a Source # unite :: Primary (t :< u) a -> (t :< u) a Source # (||=) :: Interpreted u0 => (Primary (t :< u) a -> Primary u0 b) -> (t :< u) a -> u0 b Source # (=||) :: Interpreted u0 => ((t :< u) a -> u0 b) -> Primary (t :< u) a -> Primary u0 b Source # (<$||=) :: (Covariant j, Interpreted u0) => (Primary (t :< u) a -> Primary u0 b) -> (j := (t :< u) a) -> j := u0 b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (t :< u) a -> Primary u0 b) -> ((j :. k) := (t :< u) a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (t :< u) a -> Primary u0 b) -> ((j :. (k :. l)) := (t :< u) a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (t :< u) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := (t :< u) a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (Covariant j, Interpreted u0) => ((t :< u) a -> u0 b) -> (j := Primary (t :< u) a) -> j := Primary u0 b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => ((t :< u) a -> u0 b) -> ((j :. k) := Primary (t :< u) a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => ((t :< u) a -> u0 b) -> ((j :. (k :. l)) := Primary (t :< u) a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => ((t :< u) a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (t :< u) a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
Interpreted (Prefixed t k) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Prefixed Methods run :: Prefixed t k a -> Primary (Prefixed t k) a Source # unite :: Primary (Prefixed t k) a -> Prefixed t k a Source # (||=) :: Interpreted u => (Primary (Prefixed t k) a -> Primary u b) -> Prefixed t k a -> u b Source # (=||) :: Interpreted u => (Prefixed t k a -> u b) -> Primary (Prefixed t k) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Prefixed t k) a -> Primary u b) -> (j := Prefixed t k a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k0, Interpreted u) => (Primary (Prefixed t k) a -> Primary u b) -> ((j :. k0) := Prefixed t k a) -> (j :. k0) := u b Source # (<$$$||=) :: (Covariant j, Covariant k0, Covariant l, Interpreted u) => (Primary (Prefixed t k) a -> Primary u b) -> ((j :. (k0 :. l)) := Prefixed t k a) -> (j :. (k0 :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k0, Covariant l, Covariant m, Interpreted u) => (Primary (Prefixed t k) a -> Primary u b) -> ((j :. (k0 :. (l :. m))) := Prefixed t k a) -> (j :. (k0 :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Prefixed t k a -> u b) -> (j := Primary (Prefixed t k) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k0, Interpreted u) => (Prefixed t k a -> u b) -> ((j :. k0) := Primary (Prefixed t k) a) -> (j :. k0) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k0, Covariant l, Interpreted u) => (Prefixed t k a -> u b) -> ((j :. (k0 :. l)) := Primary (Prefixed t k) a) -> (j :. (k0 :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k0, Covariant l, Covariant m, Interpreted u) => (Prefixed t k a -> u b) -> ((j :. (k0 :. (l :. m))) := Primary (Prefixed t k) a) -> (j :. (k0 :. (l :. m))) := Primary u b Source # |
Interpreted (Continuation r t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Continuation Methods run :: Continuation r t a -> Primary (Continuation r t) a Source # unite :: Primary (Continuation r t) a -> Continuation r t a Source # (||=) :: Interpreted u => (Primary (Continuation r t) a -> Primary u b) -> Continuation r t a -> u b Source # (=||) :: Interpreted u => (Continuation r t a -> u b) -> Primary (Continuation r t) a -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (Continuation r t) a -> Primary u b) -> (j := Continuation r t a) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Continuation r t) a -> Primary u b) -> ((j :. k) := Continuation r t a) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Continuation r t) a -> Primary u b) -> ((j :. (k :. l)) := Continuation r t a) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Continuation r t) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Continuation r t a) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (Continuation r t a -> u b) -> (j := Primary (Continuation r t) a) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Continuation r t a -> u b) -> ((j :. k) := Primary (Continuation r t) a) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Continuation r t a -> u b) -> ((j :. (k :. l)) := Primary (Continuation r t) a) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Continuation r t a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Continuation r t) a) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (P_Q_T p q t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.P_Q_T Methods run :: P_Q_T p q t a a0 -> Primary (P_Q_T p q t a) a0 Source # unite :: Primary (P_Q_T p q t a) a0 -> P_Q_T p q t a a0 Source # (||=) :: Interpreted u => (Primary (P_Q_T p q t a) a0 -> Primary u b) -> P_Q_T p q t a a0 -> u b Source # (=||) :: Interpreted u => (P_Q_T p q t a a0 -> u b) -> Primary (P_Q_T p q t a) a0 -> Primary u b Source # (<$||=) :: (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 Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (P_Q_T p q t a) a0 -> Primary u b) -> ((j :. k) := P_Q_T p q t a a0) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (P_Q_T p q t a) a0 -> Primary u b) -> ((j :. (k :. l)) := P_Q_T p q t a a0) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (P_Q_T p q t a) a0 -> Primary u b) -> ((j :. (k :. (l :. m))) := P_Q_T p q t a a0) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (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 Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (P_Q_T p q t a a0 -> u b) -> ((j :. k) := Primary (P_Q_T p q t a) a0) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (P_Q_T p q t a a0 -> u b) -> ((j :. (k :. l)) := Primary (P_Q_T p q t a) a0) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (P_Q_T p q t a a0 -> u b) -> ((j :. (k :. (l :. m))) := Primary (P_Q_T p q t a) a0) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (Kan ('Left :: Type -> Wye Type) t u b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Kan Methods run :: Kan 'Left t u b a -> Primary (Kan 'Left t u b) a Source # unite :: Primary (Kan 'Left t u b) a -> Kan 'Left t u b a Source # (||=) :: Interpreted u0 => (Primary (Kan 'Left t u b) a -> Primary u0 b0) -> Kan 'Left t u b a -> u0 b0 Source # (=||) :: Interpreted u0 => (Kan 'Left t u b a -> u0 b0) -> Primary (Kan 'Left t u b) a -> Primary u0 b0 Source # (<$||=) :: (Covariant j, Interpreted u0) => (Primary (Kan 'Left t u b) a -> Primary u0 b0) -> (j := Kan 'Left t u b a) -> j := u0 b0 Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (Kan 'Left t u b) a -> Primary u0 b0) -> ((j :. k) := Kan 'Left t u b a) -> (j :. k) := u0 b0 Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (Kan 'Left t u b) a -> Primary u0 b0) -> ((j :. (k :. l)) := Kan 'Left t u b a) -> (j :. (k :. l)) := u0 b0 Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (Kan 'Left t u b) a -> Primary u0 b0) -> ((j :. (k :. (l :. m))) := Kan 'Left t u b a) -> (j :. (k :. (l :. m))) := u0 b0 Source # (=||$>) :: (Covariant j, Interpreted u0) => (Kan 'Left t u b a -> u0 b0) -> (j := Primary (Kan 'Left t u b) a) -> j := Primary u0 b0 Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (Kan 'Left t u b a -> u0 b0) -> ((j :. k) := Primary (Kan 'Left t u b) a) -> (j :. k) := Primary u0 b0 Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Kan 'Left t u b a -> u0 b0) -> ((j :. (k :. l)) := Primary (Kan 'Left t u b) a) -> (j :. (k :. l)) := Primary u0 b0 Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Kan 'Left t u b a -> u0 b0) -> ((j :. (k :. (l :. m))) := Primary (Kan 'Left t u b) a) -> (j :. (k :. (l :. m))) := Primary u0 b0 Source # |
Interpreted (Kan ('Right :: Type -> Wye Type) t u b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Kan Methods run :: Kan 'Right t u b a -> Primary (Kan 'Right t u b) a Source # unite :: Primary (Kan 'Right t u b) a -> Kan 'Right t u b a Source # (||=) :: Interpreted u0 => (Primary (Kan 'Right t u b) a -> Primary u0 b0) -> Kan 'Right t u b a -> u0 b0 Source # (=||) :: Interpreted u0 => (Kan 'Right t u b a -> u0 b0) -> Primary (Kan 'Right t u b) a -> Primary u0 b0 Source # (<$||=) :: (Covariant j, Interpreted u0) => (Primary (Kan 'Right t u b) a -> Primary u0 b0) -> (j := Kan 'Right t u b a) -> j := u0 b0 Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (Kan 'Right t u b) a -> Primary u0 b0) -> ((j :. k) := Kan 'Right t u b a) -> (j :. k) := u0 b0 Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (Kan 'Right t u b) a -> Primary u0 b0) -> ((j :. (k :. l)) := Kan 'Right t u b a) -> (j :. (k :. l)) := u0 b0 Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (Kan 'Right t u b) a -> Primary u0 b0) -> ((j :. (k :. (l :. m))) := Kan 'Right t u b a) -> (j :. (k :. (l :. m))) := u0 b0 Source # (=||$>) :: (Covariant j, Interpreted u0) => (Kan 'Right t u b a -> u0 b0) -> (j := Primary (Kan 'Right t u b) a) -> j := Primary u0 b0 Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (Kan 'Right t u b a -> u0 b0) -> ((j :. k) := Primary (Kan 'Right t u b) a) -> (j :. k) := Primary u0 b0 Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Kan 'Right t u b a -> u0 b0) -> ((j :. (k :. l)) := Primary (Kan 'Right t u b) a) -> (j :. (k :. l)) := Primary u0 b0 Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Kan 'Right t u b a -> u0 b0) -> ((j :. (k :. (l :. m))) := Primary (Kan 'Right t u b) a) -> (j :. (k :. (l :. m))) := Primary u0 b0 Source # |
Interpreted (P_T p t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.P_T Methods run :: P_T p t a a0 -> Primary (P_T p t a) a0 Source # unite :: Primary (P_T p t a) a0 -> P_T p t a a0 Source # (||=) :: Interpreted u => (Primary (P_T p t a) a0 -> Primary u b) -> P_T p t a a0 -> u b Source # (=||) :: Interpreted u => (P_T p t a a0 -> u b) -> Primary (P_T p t a) a0 -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (P_T p t a) a0 -> Primary u b) -> (j := P_T p t a a0) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (P_T p t a) a0 -> Primary u b) -> ((j :. k) := P_T p t a a0) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (P_T p t a) a0 -> Primary u b) -> ((j :. (k :. l)) := P_T p t a a0) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (P_T p t a) a0 -> Primary u b) -> ((j :. (k :. (l :. m))) := P_T p t a a0) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (P_T p t a a0 -> u b) -> (j := Primary (P_T p t a) a0) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (P_T p t a a0 -> u b) -> ((j :. k) := Primary (P_T p t a) a0) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (P_T p t a a0 -> u b) -> ((j :. (k :. l)) := Primary (P_T p t a) a0) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (P_T p t a a0 -> u b) -> ((j :. (k :. (l :. m))) := Primary (P_T p t a) a0) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (PQ_ p q a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.PQ_ Methods run :: PQ_ p q a a0 -> Primary (PQ_ p q a) a0 Source # unite :: Primary (PQ_ p q a) a0 -> PQ_ p q a a0 Source # (||=) :: Interpreted u => (Primary (PQ_ p q a) a0 -> Primary u b) -> PQ_ p q a a0 -> u b Source # (=||) :: Interpreted u => (PQ_ p q a a0 -> u b) -> Primary (PQ_ p q a) a0 -> Primary u b Source # (<$||=) :: (Covariant j, Interpreted u) => (Primary (PQ_ p q a) a0 -> Primary u b) -> (j := PQ_ p q a a0) -> j := u b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (PQ_ p q a) a0 -> Primary u b) -> ((j :. k) := PQ_ p q a a0) -> (j :. k) := u b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (PQ_ p q a) a0 -> Primary u b) -> ((j :. (k :. l)) := PQ_ p q a a0) -> (j :. (k :. l)) := u b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (PQ_ p q a) a0 -> Primary u b) -> ((j :. (k :. (l :. m))) := PQ_ p q a a0) -> (j :. (k :. (l :. m))) := u b Source # (=||$>) :: (Covariant j, Interpreted u) => (PQ_ p q a a0 -> u b) -> (j := Primary (PQ_ p q a) a0) -> j := Primary u b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (PQ_ p q a a0 -> u b) -> ((j :. k) := Primary (PQ_ p q a) a0) -> (j :. k) := Primary u b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (PQ_ p q a a0 -> u b) -> ((j :. (k :. l)) := Primary (PQ_ p q a) a0) -> (j :. (k :. l)) := Primary u b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (PQ_ p q a a0 -> u b) -> ((j :. (k :. (l :. m))) := Primary (PQ_ p q a) a0) -> (j :. (k :. (l :. m))) := Primary u b Source # |
Interpreted (PTU p t u a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.PTU Methods run :: PTU p t u a a0 -> Primary (PTU p t u a) a0 Source # unite :: Primary (PTU p t u a) a0 -> PTU p t u a a0 Source # (||=) :: Interpreted u0 => (Primary (PTU p t u a) a0 -> Primary u0 b) -> PTU p t u a a0 -> u0 b Source # (=||) :: Interpreted u0 => (PTU p t u a a0 -> u0 b) -> Primary (PTU p t u a) a0 -> Primary u0 b Source # (<$||=) :: (Covariant j, Interpreted u0) => (Primary (PTU p t u a) a0 -> Primary u0 b) -> (j := PTU p t u a a0) -> j := u0 b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (PTU p t u a) a0 -> Primary u0 b) -> ((j :. k) := PTU p t u a a0) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (PTU p t u a) a0 -> Primary u0 b) -> ((j :. (k :. l)) := PTU p t u a a0) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (PTU p t u a) a0 -> Primary u0 b) -> ((j :. (k :. (l :. m))) := PTU p t u a a0) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (Covariant j, Interpreted u0) => (PTU p t u a a0 -> u0 b) -> (j := Primary (PTU p t u a) a0) -> j := Primary u0 b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (PTU p t u a a0 -> u0 b) -> ((j :. k) := Primary (PTU p t u a) a0) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (PTU p t u a a0 -> u0 b) -> ((j :. (k :. l)) := Primary (PTU p t u a) a0) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (PTU p t u a a0 -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (PTU p t u a) a0) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
Interpreted (UT ct cu t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT Methods run :: UT ct cu t u a -> Primary (UT ct cu t u) a Source # unite :: Primary (UT ct cu t u) a -> UT ct cu t u a Source # (||=) :: Interpreted u0 => (Primary (UT ct cu t u) a -> Primary u0 b) -> UT ct cu t u a -> u0 b Source # (=||) :: Interpreted u0 => (UT ct cu t u a -> u0 b) -> Primary (UT ct cu t u) a -> Primary u0 b Source # (<$||=) :: (Covariant j, Interpreted u0) => (Primary (UT ct cu t u) a -> Primary u0 b) -> (j := UT ct cu t u a) -> j := u0 b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (UT ct cu t u) a -> Primary u0 b) -> ((j :. k) := UT ct cu t u a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (UT ct cu t u) a -> Primary u0 b) -> ((j :. (k :. l)) := UT ct cu t u a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (UT ct cu t u) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := UT ct cu t u a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (Covariant j, Interpreted u0) => (UT ct cu t u a -> u0 b) -> (j := Primary (UT ct cu t u) a) -> j := Primary u0 b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (UT ct cu t u a -> u0 b) -> ((j :. k) := Primary (UT ct cu t u) a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (UT ct cu t u a -> u0 b) -> ((j :. (k :. l)) := Primary (UT ct cu t u) a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (UT ct cu t u a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (UT ct cu t u) a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
Interpreted (TU ct cu t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU Methods run :: TU ct cu t u a -> Primary (TU ct cu t u) a Source # unite :: Primary (TU ct cu t u) a -> TU ct cu t u a Source # (||=) :: Interpreted u0 => (Primary (TU ct cu t u) a -> Primary u0 b) -> TU ct cu t u a -> u0 b Source # (=||) :: Interpreted u0 => (TU ct cu t u a -> u0 b) -> Primary (TU ct cu t u) a -> Primary u0 b Source # (<$||=) :: (Covariant j, Interpreted u0) => (Primary (TU ct cu t u) a -> Primary u0 b) -> (j := TU ct cu t u a) -> j := u0 b Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (TU ct cu t u) a -> Primary u0 b) -> ((j :. k) := TU ct cu t u a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (TU ct cu t u) a -> Primary u0 b) -> ((j :. (k :. l)) := TU ct cu t u a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (TU ct cu t u) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := TU ct cu t u a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (Covariant j, Interpreted u0) => (TU ct cu t u a -> u0 b) -> (j := Primary (TU ct cu t u) a) -> j := Primary u0 b Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (TU ct cu t u a -> u0 b) -> ((j :. k) := Primary (TU ct cu t u) a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (TU ct cu t u a -> u0 b) -> ((j :. (k :. l)) := Primary (TU ct cu t u) a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (TU ct cu t u a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (TU ct cu t u) a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
Interpreted (U_T ct cu t p u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.U_T Methods run :: U_T ct cu t p u a -> Primary (U_T ct cu t p u) a Source # unite :: Primary (U_T ct cu t p u) a -> U_T ct cu t p u a Source # (||=) :: Interpreted u0 => (Primary (U_T ct cu t p u) a -> Primary u0 b) -> U_T ct cu t p u a -> u0 b Source # (=||) :: Interpreted u0 => (U_T ct cu t p u a -> u0 b) -> Primary (U_T ct cu t p u) a -> Primary u0 b Source # (<$||=) :: (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 Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (U_T ct cu t p u) a -> Primary u0 b) -> ((j :. k) := U_T ct cu t p u a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (U_T ct cu t p u) a -> Primary u0 b) -> ((j :. (k :. l)) := U_T ct cu t p u a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (U_T ct cu t p u) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := U_T ct cu t p u a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (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 Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (U_T ct cu t p u a -> u0 b) -> ((j :. k) := Primary (U_T ct cu t p u) a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (U_T ct cu t p u a -> u0 b) -> ((j :. (k :. l)) := Primary (U_T ct cu t p u) a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (U_T ct cu t p u a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (U_T ct cu t p u) a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
Interpreted (UTU ct cu t u u') Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UTU Methods run :: UTU ct cu t u u' a -> Primary (UTU ct cu t u u') a Source # unite :: Primary (UTU ct cu t u u') a -> UTU ct cu t u u' a Source # (||=) :: Interpreted u0 => (Primary (UTU ct cu t u u') a -> Primary u0 b) -> UTU ct cu t u u' a -> u0 b Source # (=||) :: Interpreted u0 => (UTU ct cu t u u' a -> u0 b) -> Primary (UTU ct cu t u u') a -> Primary u0 b Source # (<$||=) :: (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 Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (UTU ct cu t u u') a -> Primary u0 b) -> ((j :. k) := UTU ct cu t u u' a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (UTU ct cu t u u') a -> Primary u0 b) -> ((j :. (k :. l)) := UTU ct cu t u u' a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (UTU ct cu t u u') a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := UTU ct cu t u u' a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (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 Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (UTU ct cu t u u' a -> u0 b) -> ((j :. k) := Primary (UTU ct cu t u u') a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (UTU ct cu t u u' a -> u0 b) -> ((j :. (k :. l)) := Primary (UTU ct cu t u u') a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (UTU ct cu t u u' a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (UTU ct cu t u u') a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
Interpreted (T_U ct cu p t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U Methods run :: T_U ct cu p t u a -> Primary (T_U ct cu p t u) a Source # unite :: Primary (T_U ct cu p t u) a -> T_U ct cu p t u a Source # (||=) :: Interpreted u0 => (Primary (T_U ct cu p t u) a -> Primary u0 b) -> T_U ct cu p t u a -> u0 b Source # (=||) :: Interpreted u0 => (T_U ct cu p t u a -> u0 b) -> Primary (T_U ct cu p t u) a -> Primary u0 b Source # (<$||=) :: (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 Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (T_U ct cu p t u) a -> Primary u0 b) -> ((j :. k) := T_U ct cu p t u a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (T_U ct cu p t u) a -> Primary u0 b) -> ((j :. (k :. l)) := T_U ct cu p t u a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (T_U ct cu p t u) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := T_U ct cu p t u a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (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 Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (T_U ct cu p t u a -> u0 b) -> ((j :. k) := Primary (T_U ct cu p t u) a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (T_U ct cu p t u a -> u0 b) -> ((j :. (k :. l)) := Primary (T_U ct cu p t u) a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (T_U ct cu p t u a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (T_U ct cu p t u) a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
Interpreted (TUT ct ct' cu t t' u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT Methods run :: TUT ct ct' cu t t' u a -> Primary (TUT ct ct' cu t t' u) a Source # unite :: Primary (TUT ct ct' cu t t' u) a -> TUT ct ct' cu t t' u a Source # (||=) :: Interpreted u0 => (Primary (TUT ct ct' cu t t' u) a -> Primary u0 b) -> TUT ct ct' cu t t' u a -> u0 b Source # (=||) :: Interpreted u0 => (TUT ct ct' cu t t' u a -> u0 b) -> Primary (TUT ct ct' cu t t' u) a -> Primary u0 b Source # (<$||=) :: (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 Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (TUT ct ct' cu t t' u) a -> Primary u0 b) -> ((j :. k) := TUT ct ct' cu t t' u a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (TUT ct ct' cu t t' u) a -> Primary u0 b) -> ((j :. (k :. l)) := TUT ct ct' cu t t' u a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (TUT ct ct' cu t t' u) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := TUT ct ct' cu t t' u a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (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 Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (TUT ct ct' cu t t' u a -> u0 b) -> ((j :. k) := Primary (TUT ct ct' cu t t' u) a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (TUT ct ct' cu t t' u a -> u0 b) -> ((j :. (k :. l)) := Primary (TUT ct ct' cu t t' u) a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (TUT ct ct' cu t t' u a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (TUT ct ct' cu t t' u) a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |
Interpreted (TUVW ct cu cv cw t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUVW Methods run :: TUVW ct cu cv cw t u v w a -> Primary (TUVW ct cu cv cw t u v w) a Source # unite :: Primary (TUVW ct cu cv cw t u v w) a -> TUVW ct cu cv cw t u v w a Source # (||=) :: 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 Source # (=||) :: 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 Source # (<$||=) :: (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 Source # (<$$||=) :: (Covariant j, Covariant k, Interpreted u0) => (Primary (TUVW ct cu cv cw t u v w) a -> Primary u0 b) -> ((j :. k) := TUVW ct cu cv cw t u v w a) -> (j :. k) := u0 b Source # (<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (TUVW ct cu cv cw t u v w) a -> Primary u0 b) -> ((j :. (k :. l)) := TUVW ct cu cv cw t u v w a) -> (j :. (k :. l)) := u0 b Source # (<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (TUVW ct cu cv cw t u v w) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := TUVW ct cu cv cw t u v w a) -> (j :. (k :. (l :. m))) := u0 b Source # (=||$>) :: (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 Source # (=||$$>) :: (Covariant j, Covariant k, Interpreted u0) => (TUVW ct cu cv cw t u v w a -> u0 b) -> ((j :. k) := Primary (TUVW ct cu cv cw t u v w) a) -> (j :. k) := Primary u0 b Source # (=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (TUVW ct cu cv cw t u v w a -> u0 b) -> ((j :. (k :. l)) := Primary (TUVW ct cu cv cw t u v w) a) -> (j :. (k :. l)) := Primary u0 b Source # (=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (TUVW ct cu cv cw t u v w a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (TUVW ct cu cv cw t u v w) a) -> (j :. (k :. (l :. m))) := Primary u0 b Source # |