Pandora.Paradigm.Controlflow.Joint.Interpreted

Documentation

class Interpreted t where

Associated Types

type Primary t a :: *

Methods

unwrap :: t a -> Primary t a

Instances

Interpreted Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Associated Types

type Primary Maybe a :: Type

Methods

unwrap :: Maybe a -> Primary Maybe a

Interpreted (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

Associated Types

type Primary (Environment e) a :: Type

Methods

unwrap :: Environment e a -> Primary (Environment e) a

Interpreted (Store p)

Defined in Pandora.Paradigm.Inventory.Store

Associated Types

type Primary (Store p) a :: Type

Methods

unwrap :: Store p a -> Primary (Store p) a

Interpreted (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Associated Types

type Primary (Accumulator e) a :: Type

Methods

unwrap :: Accumulator e a -> Primary (Accumulator e) a

Interpreted (State s)

Defined in Pandora.Paradigm.Inventory.State

Associated Types

type Primary (State s) a :: Type

Methods

unwrap :: State s a -> Primary (State s) a

Interpreted (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Associated Types

type Primary (Conclusion e) a :: Type

Methods

unwrap :: Conclusion e a -> Primary (Conclusion e) a

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

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

Associated Types

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

Methods

unwrap :: (t :> u) a -> Primary (t :> u) a

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

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

Associated Types

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

Methods

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

Interpreted (TU ct cu t u)

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

Associated Types

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

Methods

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

Interpreted (UT ct cu t u)

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

Associated Types

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

Methods

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

Interpreted (UTU ct cu t u)

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

Associated Types

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

Methods

unwrap :: UTU ct cu t u a -> Primary (UTU ct cu t u) a

Interpreted (TUV ct cu cv t u v)

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

Associated Types

type Primary (TUV ct cu cv t u v) a :: Type

Methods

unwrap :: TUV ct cu cv t u v a -> Primary (TUV ct cu cv t u v) a

Interpreted (TUVW ct cu cv cw t u v w)

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

Associated Types

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

Methods

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