Apecs.Components

Documentation

data Not a

Pseudocomponent indicating the absence of a. Mainly used as e.g. cmap $ (a, Not b) -> c to iterate over entities with an a but no b. Can also be used to delete components, like cmap $ a -> (Not :: Not a) to delete every a component.

Constructors

Not

Instances

Has w m c => Has w m (Not c)

Defined in Apecs.Components

Methods

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

Component c => Component (Not c)

Defined in Apecs.Components

Associated Types

type Storage (Not c)

type Storage (Not c)

Defined in Apecs.Components

type Storage (Not c) = NotStore (Storage c)

newtype NotStore s

Pseudostore used to produce values of type Not a, inverts explExists, and destroys instead of explSet.

Constructors

NotStore s

Instances

ExplGet m s => ExplGet m (NotStore s)

Defined in Apecs.Components

Methods

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

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

ExplDestroy m s => ExplSet m (NotStore s)

Defined in Apecs.Components

Methods

explSet :: NotStore s -> Int -> Elem (NotStore s) -> m ()

type Elem (NotStore s)

Defined in Apecs.Components

type Elem (NotStore s) = Not (Elem s)

newtype MaybeStore s

Pseudostore used to produce values of type Maybe a. Will always return True for explExists. Writing can both set and delete a component using Just and Nothing respectively.

Constructors

MaybeStore s

Instances

ExplGet m s => ExplGet m (MaybeStore s)

Defined in Apecs.Components

Methods

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

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

(ExplDestroy m s, ExplSet m s) => ExplSet m (MaybeStore s)

Defined in Apecs.Components

Methods

explSet :: MaybeStore s -> Int -> Elem (MaybeStore s) -> m ()

type Elem (MaybeStore s)

Defined in Apecs.Components

type Elem (MaybeStore s) = Maybe (Elem s)

data EitherStore sa sb

Used for Either, a logical disjunction between two components. As expected, Either is used to model error values. Getting an Either a b will first attempt to get a b and return it as Right b, or if it does not exist, get an a as Left a. Can also be used to set one of two things.

Constructors

EitherStore sa sb

Instances

(ExplDestroy m sa, ExplDestroy m sb) => ExplDestroy m (EitherStore sa sb)

Defined in Apecs.Components

Methods

explDestroy :: EitherStore sa sb -> Int -> m ()

(ExplGet m sa, ExplGet m sb) => ExplGet m (EitherStore sa sb)

Defined in Apecs.Components

Methods

explGet :: EitherStore sa sb -> Int -> m (Elem (EitherStore sa sb))

explExists :: EitherStore sa sb -> Int -> m Bool

(ExplSet m sa, ExplSet m sb) => ExplSet m (EitherStore sa sb)

Defined in Apecs.Components

Methods

explSet :: EitherStore sa sb -> Int -> Elem (EitherStore sa sb) -> m ()

type Elem (EitherStore sa sb)

Defined in Apecs.Components

type Elem (EitherStore sa sb) = Either (Elem sa) (Elem sb)

data Filter c

Pseudocomponent that functions normally for explExists and explMembers, but always return Filter for explGet. Can be used in cmap as cmap $ (Filter :: Filter a) -> b. Since the above can be written more consicely as cmap $ (_ :: a) -> b, it is rarely directly. More interestingly, we can define reusable filters like movables = Filter :: Filter (Position, Velocity). Note that 'Filter c' is equivalent to 'Not (Not c)'.

Constructors

Filter

Instances

Has w m c => Has w m (Filter c)

Defined in Apecs.Components

Methods

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

Component c => Component (Filter c)

Defined in Apecs.Components

Associated Types

type Storage (Filter c)

Show (Filter c)

Defined in Apecs.Components

Methods

showsPrec :: Int -> Filter c -> ShowS

show :: Filter c -> String

showList :: [Filter c] -> ShowS

Eq (Filter c)

Defined in Apecs.Components

Methods

(==) :: Filter c -> Filter c -> Bool

(/=) :: Filter c -> Filter c -> Bool

type Storage (Filter c)

Defined in Apecs.Components

type Storage (Filter c) = FilterStore (Storage c)

newtype FilterStore s

Constructors

FilterStore s

Instances

ExplGet m s => ExplGet m (FilterStore s)

Defined in Apecs.Components

Methods

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

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

ExplMembers m s => ExplMembers m (FilterStore s)

Defined in Apecs.Components

Methods

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

type Elem (FilterStore s)

Defined in Apecs.Components

type Elem (FilterStore s) = Filter (Elem s)

data EntityStore

Pseudostore used to produce components of type Entity. Always returns True for explExists, and echoes back the entity argument for explGet. Used in e.g. cmap $ (a, ety :: Entity) -> b to access the current entity.

Constructors

EntityStore

Instances

Monad m => ExplGet m EntityStore

Defined in Apecs.Components

Methods

explGet :: EntityStore -> Int -> m (Elem EntityStore)

explExists :: EntityStore -> Int -> m Bool

type Elem EntityStore

Defined in Apecs.Components

type Elem EntityStore = Entity

Orphan instances

Component Entity

Associated Types

type Storage Entity

Component ()

Associated Types

type Storage ()

Monad m => ExplDestroy m ()

Methods

explDestroy :: () -> Int -> m ()

Monad m => ExplGet m ()

Methods

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

explExists :: () -> Int -> m Bool

Monad m => ExplSet m ()

Methods

explSet :: () -> Int -> Elem () -> m ()

Monad m => Has w m Entity

Methods

getStore :: SystemT w m (Storage Entity)

Monad m => Has w m ()

Methods

getStore :: SystemT w m (Storage ())

Has w m c => Has w m (Identity c)

Methods

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

Has w m c => Has w m (Maybe c)

Methods

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

(Has w m ca, Has w m cb) => Has w m (Either ca cb)

Methods

getStore :: SystemT w m (Storage (Either ca cb))

(Has w m t_0, Has w m t_1) => Has w m (t_0, t_1)

Methods

getStore :: SystemT w m (Storage (t_0, t_1))

(Has w m t_0, Has w m t_1, Has w m t_2) => Has w m (t_0, t_1, t_2)

Methods

getStore :: SystemT w m (Storage (t_0, t_1, t_2))

(Has w m t_0, Has w m t_1, Has w m t_2, Has w m t_3) => Has w m (t_0, t_1, t_2, t_3)

Methods

getStore :: SystemT w m (Storage (t_0, t_1, t_2, t_3))

(Has w m t_0, Has w m t_1, Has w m t_2, Has w m t_3, Has w m t_4) => Has w m (t_0, t_1, t_2, t_3, t_4)

Methods

getStore :: SystemT w m (Storage (t_0, t_1, t_2, t_3, t_4))

(Has w m t_0, Has w m t_1, Has w m t_2, Has w m t_3, Has w m t_4, Has w m t_5) => Has w m (t_0, t_1, t_2, t_3, t_4, t_5)

Methods

getStore :: SystemT w m (Storage (t_0, t_1, t_2, t_3, t_4, t_5))

(Has w m t_0, Has w m t_1, Has w m t_2, Has w m t_3, Has w m t_4, Has w m t_5, Has w m t_6) => Has w m (t_0, t_1, t_2, t_3, t_4, t_5, t_6)

Methods

getStore :: SystemT w m (Storage (t_0, t_1, t_2, t_3, t_4, t_5, t_6))

(Has w m t_0, Has w m t_1, Has w m t_2, Has w m t_3, Has w m t_4, Has w m t_5, Has w m t_6, Has w m t_7) => Has w m (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7)

Methods

getStore :: SystemT w m (Storage (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7))

ExplDestroy m s => ExplDestroy m (Identity s)

Methods

explDestroy :: Identity s -> Int -> m ()

ExplGet m s => ExplGet m (Identity s)

Methods

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

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

ExplMembers m s => ExplMembers m (Identity s)

Methods

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

ExplSet m s => ExplSet m (Identity s)

Methods

explSet :: Identity s -> Int -> Elem (Identity s) -> m ()

(ExplDestroy m t_0, ExplDestroy m t_1) => ExplDestroy m (t_0, t_1)

Methods

explDestroy :: (t_0, t_1) -> Int -> m ()

(ExplGet m t_0, ExplGet m t_1) => ExplGet m (t_0, t_1)

Methods

explGet :: (t_0, t_1) -> Int -> m (Elem (t_0, t_1))

explExists :: (t_0, t_1) -> Int -> m Bool

(ExplMembers m t_0, ExplGet m t_1) => ExplMembers m (t_0, t_1)

Methods

explMembers :: (t_0, t_1) -> m (Vector Int)

(ExplSet m t_0, ExplSet m t_1) => ExplSet m (t_0, t_1)

Methods

explSet :: (t_0, t_1) -> Int -> Elem (t_0, t_1) -> m ()

(ExplDestroy m t_0, ExplDestroy m t_1, ExplDestroy m t_2) => ExplDestroy m (t_0, t_1, t_2)

Methods

explDestroy :: (t_0, t_1, t_2) -> Int -> m ()

(ExplGet m t_0, ExplGet m t_1, ExplGet m t_2) => ExplGet m (t_0, t_1, t_2)

Methods

explGet :: (t_0, t_1, t_2) -> Int -> m (Elem (t_0, t_1, t_2))

explExists :: (t_0, t_1, t_2) -> Int -> m Bool

(ExplMembers m t_0, ExplGet m t_1, ExplGet m t_2) => ExplMembers m (t_0, t_1, t_2)

Methods

explMembers :: (t_0, t_1, t_2) -> m (Vector Int)

(ExplSet m t_0, ExplSet m t_1, ExplSet m t_2) => ExplSet m (t_0, t_1, t_2)

Methods

explSet :: (t_0, t_1, t_2) -> Int -> Elem (t_0, t_1, t_2) -> m ()

(ExplDestroy m t_0, ExplDestroy m t_1, ExplDestroy m t_2, ExplDestroy m t_3) => ExplDestroy m (t_0, t_1, t_2, t_3)

Methods

explDestroy :: (t_0, t_1, t_2, t_3) -> Int -> m ()

(ExplGet m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3) => ExplGet m (t_0, t_1, t_2, t_3)

Methods

explGet :: (t_0, t_1, t_2, t_3) -> Int -> m (Elem (t_0, t_1, t_2, t_3))

explExists :: (t_0, t_1, t_2, t_3) -> Int -> m Bool

(ExplMembers m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3) => ExplMembers m (t_0, t_1, t_2, t_3)

Methods

explMembers :: (t_0, t_1, t_2, t_3) -> m (Vector Int)

(ExplSet m t_0, ExplSet m t_1, ExplSet m t_2, ExplSet m t_3) => ExplSet m (t_0, t_1, t_2, t_3)

Methods

explSet :: (t_0, t_1, t_2, t_3) -> Int -> Elem (t_0, t_1, t_2, t_3) -> m ()

(ExplDestroy m t_0, ExplDestroy m t_1, ExplDestroy m t_2, ExplDestroy m t_3, ExplDestroy m t_4) => ExplDestroy m (t_0, t_1, t_2, t_3, t_4)

Methods

explDestroy :: (t_0, t_1, t_2, t_3, t_4) -> Int -> m ()

(ExplGet m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3, ExplGet m t_4) => ExplGet m (t_0, t_1, t_2, t_3, t_4)

Methods

explGet :: (t_0, t_1, t_2, t_3, t_4) -> Int -> m (Elem (t_0, t_1, t_2, t_3, t_4))

explExists :: (t_0, t_1, t_2, t_3, t_4) -> Int -> m Bool

(ExplMembers m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3, ExplGet m t_4) => ExplMembers m (t_0, t_1, t_2, t_3, t_4)

Methods

explMembers :: (t_0, t_1, t_2, t_3, t_4) -> m (Vector Int)

(ExplSet m t_0, ExplSet m t_1, ExplSet m t_2, ExplSet m t_3, ExplSet m t_4) => ExplSet m (t_0, t_1, t_2, t_3, t_4)

Methods

explSet :: (t_0, t_1, t_2, t_3, t_4) -> Int -> Elem (t_0, t_1, t_2, t_3, t_4) -> m ()

(ExplDestroy m t_0, ExplDestroy m t_1, ExplDestroy m t_2, ExplDestroy m t_3, ExplDestroy m t_4, ExplDestroy m t_5) => ExplDestroy m (t_0, t_1, t_2, t_3, t_4, t_5)

Methods

explDestroy :: (t_0, t_1, t_2, t_3, t_4, t_5) -> Int -> m ()

(ExplGet m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3, ExplGet m t_4, ExplGet m t_5) => ExplGet m (t_0, t_1, t_2, t_3, t_4, t_5)

Methods

explGet :: (t_0, t_1, t_2, t_3, t_4, t_5) -> Int -> m (Elem (t_0, t_1, t_2, t_3, t_4, t_5))

explExists :: (t_0, t_1, t_2, t_3, t_4, t_5) -> Int -> m Bool

(ExplMembers m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3, ExplGet m t_4, ExplGet m t_5) => ExplMembers m (t_0, t_1, t_2, t_3, t_4, t_5)

Methods

explMembers :: (t_0, t_1, t_2, t_3, t_4, t_5) -> m (Vector Int)

(ExplSet m t_0, ExplSet m t_1, ExplSet m t_2, ExplSet m t_3, ExplSet m t_4, ExplSet m t_5) => ExplSet m (t_0, t_1, t_2, t_3, t_4, t_5)

Methods

explSet :: (t_0, t_1, t_2, t_3, t_4, t_5) -> Int -> Elem (t_0, t_1, t_2, t_3, t_4, t_5) -> m ()

(ExplDestroy m t_0, ExplDestroy m t_1, ExplDestroy m t_2, ExplDestroy m t_3, ExplDestroy m t_4, ExplDestroy m t_5, ExplDestroy m t_6) => ExplDestroy m (t_0, t_1, t_2, t_3, t_4, t_5, t_6)

Methods

explDestroy :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6) -> Int -> m ()

(ExplGet m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3, ExplGet m t_4, ExplGet m t_5, ExplGet m t_6) => ExplGet m (t_0, t_1, t_2, t_3, t_4, t_5, t_6)

Methods

explGet :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6) -> Int -> m (Elem (t_0, t_1, t_2, t_3, t_4, t_5, t_6))

explExists :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6) -> Int -> m Bool

(ExplMembers m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3, ExplGet m t_4, ExplGet m t_5, ExplGet m t_6) => ExplMembers m (t_0, t_1, t_2, t_3, t_4, t_5, t_6)

Methods

explMembers :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6) -> m (Vector Int)

(ExplSet m t_0, ExplSet m t_1, ExplSet m t_2, ExplSet m t_3, ExplSet m t_4, ExplSet m t_5, ExplSet m t_6) => ExplSet m (t_0, t_1, t_2, t_3, t_4, t_5, t_6)

Methods

explSet :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6) -> Int -> Elem (t_0, t_1, t_2, t_3, t_4, t_5, t_6) -> m ()

(ExplDestroy m t_0, ExplDestroy m t_1, ExplDestroy m t_2, ExplDestroy m t_3, ExplDestroy m t_4, ExplDestroy m t_5, ExplDestroy m t_6, ExplDestroy m t_7) => ExplDestroy m (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7)

Methods

explDestroy :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7) -> Int -> m ()

(ExplGet m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3, ExplGet m t_4, ExplGet m t_5, ExplGet m t_6, ExplGet m t_7) => ExplGet m (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7)

Methods

explGet :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7) -> Int -> m (Elem (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7))

explExists :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7) -> Int -> m Bool

(ExplMembers m t_0, ExplGet m t_1, ExplGet m t_2, ExplGet m t_3, ExplGet m t_4, ExplGet m t_5, ExplGet m t_6, ExplGet m t_7) => ExplMembers m (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7)

Methods

explMembers :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7) -> m (Vector Int)

(ExplSet m t_0, ExplSet m t_1, ExplSet m t_2, ExplSet m t_3, ExplSet m t_4, ExplSet m t_5, ExplSet m t_6, ExplSet m t_7) => ExplSet m (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7)

Methods

explSet :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7) -> Int -> Elem (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7) -> m ()

Component c => Component (Identity c)

Identity component. Identity c is equivalent to c, so mostly useless.

Associated Types

type Storage (Identity c)

Component c => Component (Maybe c)

Associated Types

type Storage (Maybe c)

(Component ca, Component cb) => Component (Either ca cb)

Associated Types

type Storage (Either ca cb)

(Component t_0, Component t_1) => Component (t_0, t_1)

Associated Types

type Storage (t_0, t_1)

(Component t_0, Component t_1, Component t_2) => Component (t_0, t_1, t_2)

Associated Types

type Storage (t_0, t_1, t_2)

(Component t_0, Component t_1, Component t_2, Component t_3) => Component (t_0, t_1, t_2, t_3)

Associated Types

type Storage (t_0, t_1, t_2, t_3)

(Component t_0, Component t_1, Component t_2, Component t_3, Component t_4) => Component (t_0, t_1, t_2, t_3, t_4)

Associated Types

type Storage (t_0, t_1, t_2, t_3, t_4)

(Component t_0, Component t_1, Component t_2, Component t_3, Component t_4, Component t_5) => Component (t_0, t_1, t_2, t_3, t_4, t_5)

Associated Types

type Storage (t_0, t_1, t_2, t_3, t_4, t_5)

(Component t_0, Component t_1, Component t_2, Component t_3, Component t_4, Component t_5, Component t_6) => Component (t_0, t_1, t_2, t_3, t_4, t_5, t_6)

Associated Types

type Storage (t_0, t_1, t_2, t_3, t_4, t_5, t_6)

(Component t_0, Component t_1, Component t_2, Component t_3, Component t_4, Component t_5, Component t_6, Component t_7) => Component (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7)

Associated Types

type Storage (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7)