Interpreted Predicate Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Predicate |
Interpreted Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
(Extractable t, Pointable t, Applicative t) => Interpreted (Outline t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Outline |
Interpreted (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Interpreted (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
Interpreted (Store s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Store |
Interpreted (State s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Interpreted (Imprint e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
Interpreted (Equipment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment |
Interpreted (Environment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment |
Interpreted (Accumulator e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Interpreted (Flip v a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Flip |
Interpreted (Schematic Monad t u) => Interpreted (t :> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic |
Interpreted (Backwards t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Backwards |
Interpreted (Reverse t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Reverse |
Interpreted (Schematic Comonad t u) => Interpreted (t :< u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic |
Interpreted (Prefixed t k) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Prefixed |
Interpreted (Continuation r t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Continuation |
Interpreted (Kan ('Left :: Type -> Wye Type) t u b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Kan |
Interpreted (Kan ('Right :: Type -> Wye Type) t u b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Kan |
Interpreted (UT ct cu t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
Interpreted (TU ct cu t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
Interpreted (U_T ct cu t p u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.U_T |
Interpreted (UTU ct cu t u u') Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UTU |
Interpreted (T_U ct cu p t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U |
Interpreted (TUT ct ct' cu t t' u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
Interpreted (TUVW ct cu cv cw t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUVW |