Pandora.Paradigm.Controlflow.Effect.Interpreted

Documentation

type family Schematic (c :: (* -> *) -> k) (t :: * -> *) = (r :: (* -> *) -> * -> *) | r -> t

Instances

type Schematic Monad Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

type Schematic Monad Maybe = (<.:>) Maybe

type Schematic Monad (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

type Schematic Monad (Conclusion e) = (<.:>) (Conclusion e)

type Schematic Monad (State s)

Defined in Pandora.Paradigm.Inventory.State

type Schematic Monad (State s) = ((->) s :: Type -> Type) <:<.>:> (:*:) s

type Schematic Monad (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

type Schematic Monad (Environment e) = (<:.>) ((->) e :: Type -> Type)

type Schematic Monad (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

type Schematic Monad (Accumulator e) = (<.:>) ((:*:) e)

type Schematic Comonad (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

type Schematic Comonad (Imprint e) = (<.:>) ((->) e :: Type -> Type)

type Schematic Comonad (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

type Schematic Comonad (Equipment e) = (<:.>) ((:*:) e)

type Schematic Comonad (Store p)

Defined in Pandora.Paradigm.Inventory.Store

type Schematic Comonad (Store p) = (:*:) p <:<.>:> ((->) p :: Type -> Type)

class Interpreted t where

Associated Types

type Primary t a :: *

Methods

run :: t a -> Primary t a

Instances

Interpreted Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Associated Types

type Primary Maybe a

Methods

run :: Maybe a -> Primary Maybe a

(Pointable t, Applicative t) => Interpreted (Outline t)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Associated Types

type Primary (Outline t) a

Methods

run :: Outline t a -> Primary (Outline t) a

Interpreted (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Associated Types

type Primary (Conclusion e) a

Methods

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

Interpreted (State s)

Defined in Pandora.Paradigm.Inventory.State

Associated Types

type Primary (State s) a

Methods

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

Interpreted (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Associated Types

type Primary (Imprint e) a

Methods

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

Interpreted (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Associated Types

type Primary (Equipment e) a

Methods

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

Interpreted (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

Associated Types

type Primary (Environment e) a

Methods

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

Interpreted (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Associated Types

type Primary (Accumulator e) a

Methods

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

Interpreted (Comprehension t)

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

Associated Types

type Primary (Comprehension t) a

Methods

run :: Comprehension t a -> Primary (Comprehension t) a

Interpreted (Store p)

Defined in Pandora.Paradigm.Inventory.Store

Associated Types

type Primary (Store p) a

Methods

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

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

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

Associated Types

type Primary (t :> u) a

Methods

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

Interpreted (Backwards t)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Associated Types

type Primary (Backwards t) a

Methods

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

Interpreted (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Associated Types

type Primary (Reverse t) a

Methods

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

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

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

Associated Types

type Primary (t :< u) a

Methods

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

Interpreted (Kan ('Left :: Type -> Wye Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Associated Types

type Primary (Kan 'Left t u b) a

Methods

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

Interpreted (Kan ('Right :: Type -> Wye Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Associated Types

type Primary (Kan 'Right t u b) a

Methods

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

Interpreted (UT ct cu t u)

Defined in Pandora.Paradigm.Schemes.UT

Associated Types

type Primary (UT ct cu t u) a

Methods

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

Interpreted (TU ct cu t u)

Defined in Pandora.Paradigm.Schemes.TU

Associated Types

type Primary (TU ct cu t u) a

Methods

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

Interpreted (UTU ct cu t u u')

Defined in Pandora.Paradigm.Schemes.UTU

Associated Types

type Primary (UTU ct cu t u u') a

Methods

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

Interpreted (TUT ct ct' cu t t' u)

Defined in Pandora.Paradigm.Schemes.TUT

Associated Types

type Primary (TUT ct ct' cu t t' u) a

Methods

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

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

Defined in Pandora.Paradigm.Schemes.TUVW

Associated Types

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

Methods

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