pandora-0.2.7: A box of patterns and paradigms
Pandora.Paradigm.Controlflow.Joint.Interpreted
class Interpreted t where Source #
Associated Types
type Primary t a :: * Source #
Methods
run :: t a -> Primary t a Source #
Defined in Pandora.Paradigm.Primary.Functor.Maybe
type Primary Maybe a :: Type Source #
run :: Maybe a -> Primary Maybe a Source #
Defined in Pandora.Paradigm.Primary.Functor.Conclusion
type Primary (Conclusion e) a :: Type Source #
run :: Conclusion e a -> Primary (Conclusion e) a Source #
Defined in Pandora.Paradigm.Inventory.Imprint
type Primary (Imprint e) a :: Type Source #
run :: Imprint e a -> Primary (Imprint e) a Source #
Defined in Pandora.Paradigm.Inventory.Accumulator
type Primary (Accumulator e) a :: Type Source #
run :: Accumulator e a -> Primary (Accumulator e) a Source #
Defined in Pandora.Paradigm.Inventory.Store
type Primary (Store p) a :: Type Source #
run :: Store p a -> Primary (Store p) a Source #
Defined in Pandora.Paradigm.Inventory.State
type Primary (State s) a :: Type Source #
run :: State s a -> Primary (State s) a Source #
Defined in Pandora.Paradigm.Inventory.Equipment
type Primary (Equipment e) a :: Type Source #
run :: Equipment e a -> Primary (Equipment e) a Source #
Defined in Pandora.Paradigm.Inventory.Environment
type Primary (Environment e) a :: Type Source #
run :: Environment e a -> Primary (Environment e) a Source #
Defined in Pandora.Paradigm.Controlflow.Joint.Transformer.Monadic
type Primary (t :> u) a :: Type Source #
run :: (t :> u) a -> Primary (t :> u) a Source #
Defined in Pandora.Paradigm.Controlflow.Joint.Transformer.Comonadic
type Primary (t :< u) a :: Type Source #
run :: (t :< u) a -> Primary (t :< u) a Source #
Defined in Pandora.Paradigm.Primary.Transformer.Backwards
type Primary (Backwards t) a :: Type Source #
run :: Backwards t a -> Primary (Backwards t) a Source #
Defined in Pandora.Paradigm.Primary.Transformer.Reverse
type Primary (Reverse t) a :: Type Source #
run :: Reverse t a -> Primary (Reverse t) a Source #
Defined in Pandora.Paradigm.Primary.Transformer.Kan
type Primary (Kan Left t u b) a :: Type Source #
run :: Kan Left t u b a -> Primary (Kan Left t u b) a Source #
type Primary (Kan Right t u b) a :: Type Source #
run :: Kan Right t u b a -> Primary (Kan Right t u b) a Source #
Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.UT
type Primary (UT ct cu t u) a :: Type Source #
run :: UT ct cu t u a -> Primary (UT ct cu t u) a Source #
Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU
type Primary (TU ct cu t u) a :: Type Source #
run :: TU ct cu t u a -> Primary (TU ct cu t u) a Source #
Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.UTU
type Primary (UTU ct cu t u u') a :: Type Source #
run :: UTU ct cu t u u' a -> Primary (UTU ct cu t u u') a Source #
Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUT
type Primary (TUT ct ct' cu t t' u) a :: Type Source #
run :: TUT ct ct' cu t t' u a -> Primary (TUT ct ct' cu t t' u) a Source #
Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUVW
type Primary (TUVW ct cu cv cw t u v w) a :: Type Source #
run :: TUVW ct cu cv cw t u v w a -> Primary (TUVW ct cu cv cw t u v w) a Source #