Apecs.Stores.Extra

Containment module for stores that are experimental/too weird for Apecs.Stores.

Documentation

newtype Pushdown s c

Overrides a store to have history/pushdown semantics. Setting this store adds a new value on top of the stack. Destroying pops the stack. You can view the entire stack using the Stack c component.

Constructors

Pushdown (s (Stack c))

Instances

(Monad m, ExplMembers m (s (Stack c)), Elem (s (Stack c)) ~ Stack c) => ExplMembers m (Pushdown s c)

Defined in Apecs.Stores.Extra

Methods

explMembers :: Pushdown s c -> m (Vector Int)

(Monad m, ExplGet m (s (Stack c)), ExplSet m (s (Stack c)), ExplDestroy m (s (Stack c)), Elem (s (Stack c)) ~ Stack c) => ExplDestroy m (Pushdown s c)

Defined in Apecs.Stores.Extra

Methods

explDestroy :: Pushdown s c -> Int -> m ()

(Monad m, ExplGet m (s (Stack c)), ExplSet m (s (Stack c)), Elem (s (Stack c)) ~ Stack c) => ExplSet m (Pushdown s c)

Defined in Apecs.Stores.Extra

Methods

explSet :: Pushdown s c -> Int -> Elem (Pushdown s c) -> m ()

(Monad m, ExplGet m (s (Stack c)), Elem (s (Stack c)) ~ Stack c) => ExplGet m (Pushdown s c)

Defined in Apecs.Stores.Extra

Methods

explGet :: Pushdown s c -> Int -> m (Elem (Pushdown s c))

explExists :: Pushdown s c -> Int -> m Bool

(Functor m, ExplInit m (s (Stack c))) => ExplInit m (Pushdown s c)

Defined in Apecs.Stores.Extra

Methods

explInit :: m (Pushdown s c)

type Elem (Pushdown s c)

Defined in Apecs.Stores.Extra

type Elem (Pushdown s c) = c

newtype Stack c

Constructors

Stack

Fields

• getStack :: [c]

Instances

(Storage c ~ Pushdown s c, Has w m c) => Has w m (Stack c)

Defined in Apecs.Stores.Extra

Methods

getStore :: SystemT w m (Storage (Stack c))

(Storage c ~ Pushdown s c, Component c) => Component (Stack c)

Defined in Apecs.Stores.Extra

Associated Types

type Storage (Stack c) :: Type

type Storage (Stack c)

Defined in Apecs.Stores.Extra

type Storage (Stack c)

newtype ReadOnly s

Wrapper that makes a store read-only. Use setReadOnly and destroyReadOnly to override.

Constructors

ReadOnly s

Instances

ExplMembers m s => ExplMembers m (ReadOnly s)

Defined in Apecs.Stores.Extra

Methods

explMembers :: ReadOnly s -> m (Vector Int)

ExplGet m s => ExplGet m (ReadOnly s)

Defined in Apecs.Stores.Extra

Methods

explGet :: ReadOnly s -> Int -> m (Elem (ReadOnly s))

explExists :: ReadOnly s -> Int -> m Bool

(Functor m, ExplInit m s) => ExplInit m (ReadOnly s)

Defined in Apecs.Stores.Extra

Methods

explInit :: m (ReadOnly s)

type Elem (ReadOnly s)

Defined in Apecs.Stores.Extra

type Elem (ReadOnly s) = Elem s

setReadOnly :: forall w m s c. (Has w m c, Storage c ~ ReadOnly s, Elem s ~ c, ExplSet m s) => Entity -> c -> SystemT w m ()

destroyReadOnly :: forall w m s c. (Has w m c, Storage c ~ ReadOnly s, Elem s ~ c, ExplDestroy m s) => Entity -> Proxy c -> SystemT w m ()