pandora-0.2.7: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Controlflow.Joint.Interpreted

Documentation

class Interpreted t where Source #

Associated Types

type Primary t a :: * Source #

Methods

run :: t a -> Primary t a Source #

Instances
Interpreted Maybe Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Associated Types

type Primary Maybe a :: Type Source #

Methods

run :: Maybe a -> Primary Maybe a Source #

Interpreted (Conclusion e) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Associated Types

type Primary (Conclusion e) a :: Type Source #

Methods

run :: Conclusion e a -> Primary (Conclusion e) a Source #

Interpreted (Imprint e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Imprint

Associated Types

type Primary (Imprint e) a :: Type Source #

Methods

run :: Imprint e a -> Primary (Imprint e) a Source #

Interpreted (Accumulator e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Accumulator

Associated Types

type Primary (Accumulator e) a :: Type Source #

Methods

run :: Accumulator e a -> Primary (Accumulator e) a Source #

Interpreted (Store p) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Associated Types

type Primary (Store p) a :: Type Source #

Methods

run :: Store p a -> Primary (Store p) a Source #

Interpreted (State s) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.State

Associated Types

type Primary (State s) a :: Type Source #

Methods

run :: State s a -> Primary (State s) a Source #

Interpreted (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

Associated Types

type Primary (Equipment e) a :: Type Source #

Methods

run :: Equipment e a -> Primary (Equipment e) a Source #

Interpreted (Environment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Environment

Associated Types

type Primary (Environment e) a :: Type Source #

Methods

run :: Environment e a -> Primary (Environment e) a Source #

Interpreted (Schematic Monad t u) => Interpreted (t :> u) Source # 
Instance details

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

Associated Types

type Primary (t :> u) a :: Type Source #

Methods

run :: (t :> u) a -> Primary (t :> u) a Source #

Interpreted (Schematic Comonad t u) => Interpreted (t :< u) Source # 
Instance details

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

Associated Types

type Primary (t :< u) a :: Type Source #

Methods

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

Interpreted (Backwards t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Associated Types

type Primary (Backwards t) a :: Type Source #

Methods

run :: Backwards t a -> Primary (Backwards t) a Source #

Interpreted (Reverse t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Associated Types

type Primary (Reverse t) a :: Type Source #

Methods

run :: Reverse t a -> Primary (Reverse t) a Source #

Interpreted (Kan (Left :: Type -> Wye Type) t u b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Associated Types

type Primary (Kan Left t u b) a :: Type Source #

Methods

run :: Kan Left t u b a -> Primary (Kan Left t u b) a Source #

Interpreted (Kan (Right :: Type -> Wye Type) t u b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Associated Types

type Primary (Kan Right t u b) a :: Type Source #

Methods

run :: Kan Right t u b a -> Primary (Kan Right t u b) a Source #

Interpreted (UT ct cu t u) Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.UT

Associated Types

type Primary (UT ct cu t u) a :: Type Source #

Methods

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

Interpreted (TU ct cu t u) Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU

Associated Types

type Primary (TU ct cu t u) a :: Type Source #

Methods

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

Interpreted (UTU ct cu t u u') Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.UTU

Associated Types

type Primary (UTU ct cu t u u') a :: Type Source #

Methods

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

Interpreted (TUT ct ct' cu t t' u) Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUT

Associated Types

type Primary (TUT ct ct' cu t t' u) a :: Type Source #

Methods

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

Interpreted (TUVW ct cu cv cw t u v w) Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUVW

Associated Types

type Primary (TUVW ct cu cv cw t u v w) a :: Type Source #

Methods

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