Apecs.Core

Documentation

newtype Entity

An Entity is just an integer, used to index into a component store.

Constructors

Entity

Fields

• unEntity :: Int

Instances

Eq Entity

Defined in Apecs.Core

Methods

(==) :: Entity -> Entity -> Bool

(/=) :: Entity -> Entity -> Bool

Num Entity

Defined in Apecs.Core

Methods

(+) :: Entity -> Entity -> Entity

(-) :: Entity -> Entity -> Entity

(*) :: Entity -> Entity -> Entity

negate :: Entity -> Entity

abs :: Entity -> Entity

signum :: Entity -> Entity

fromInteger :: Integer -> Entity

Ord Entity

Defined in Apecs.Core

Methods

compare :: Entity -> Entity -> Ordering

(<) :: Entity -> Entity -> Bool

(<=) :: Entity -> Entity -> Bool

(>) :: Entity -> Entity -> Bool

(>=) :: Entity -> Entity -> Bool

max :: Entity -> Entity -> Entity

min :: Entity -> Entity -> Entity

Show Entity

Defined in Apecs.Core

Methods

showsPrec :: Int -> Entity -> ShowS

show :: Entity -> String

showList :: [Entity] -> ShowS

Component Entity

Defined in Apecs.Core

Associated Types

type Storage Entity :: *

Has w Entity

Defined in Apecs.Core

Methods

getStore :: System w (Storage Entity)

type Storage Entity

Defined in Apecs.Core

type Storage Entity = EntityStore

newtype System w a

A System is a newtype around `ReaderT w IO a`, where w is the game world variable.

Constructors

System

Fields

• unSystem :: ReaderT w IO a

Instances

Monad (System w)

Defined in Apecs.Core

Methods

(>>=) :: System w a -> (a -> System w b) -> System w b

(>>) :: System w a -> System w b -> System w b

return :: a -> System w a

fail :: String -> System w a

Functor (System w)

Defined in Apecs.Core

Methods

fmap :: (a -> b) -> System w a -> System w b

(<$) :: a -> System w b -> System w a

Applicative (System w)

Defined in Apecs.Core

Methods

pure :: a -> System w a

(<*>) :: System w (a -> b) -> System w a -> System w b

liftA2 :: (a -> b -> c) -> System w a -> System w b -> System w c

(*>) :: System w a -> System w b -> System w b

(<*) :: System w a -> System w b -> System w a

MonadIO (System w)

Defined in Apecs.Core

Methods

liftIO :: IO a -> System w a

class Elem (Storage c) ~ c => Component c

A component is defined by the type of its storage The storage in turn supplies runtime types for the component. For the component to be valid, its Storage must be an instance of Store.

Associated Types

type Storage c

Instances

Component Entity

Defined in Apecs.Core

Associated Types

type Storage Entity :: *

Component EntityCounter

Defined in Apecs.Util

Associated Types

type Storage EntityCounter :: *

Component c => Component (Maybe c)

Defined in Apecs.Core

Associated Types

type Storage (Maybe c) :: *

Component c => Component (Identity c)

Defined in Apecs.Core

Associated Types

type Storage (Identity c) :: *

Component c => Component (Filter c)

Defined in Apecs.Core

Associated Types

type Storage (Filter c) :: *

Component c => Component (Not c)

Defined in Apecs.Core

Associated Types

type Storage (Not c) :: *

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

Defined in Apecs.Core

Associated Types

type Storage (t_0, t_1) :: *

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

Defined in Apecs.Core

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)

Defined in Apecs.Core

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)

Defined in Apecs.Core

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)

Defined in Apecs.Core

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)

Defined in Apecs.Core

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)

Defined in Apecs.Core

Associated Types

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

class Component c => Has w c where

A world Has a component if it can produce its Storage

Minimal complete definition

getStore

Methods

getStore :: System w (Storage c)

Instances

Has w Entity

Defined in Apecs.Core

Methods

getStore :: System w (Storage Entity)

Has w c => Has w (Identity c)

Defined in Apecs.Core

Methods

getStore :: System w (Storage (Identity c))

Has w c => Has w (Filter c)

Defined in Apecs.Core

Methods

getStore :: System w (Storage (Filter c))

Has w c => Has w (Maybe c)

Defined in Apecs.Core

Methods

getStore :: System w (Storage (Maybe c))

Has w c => Has w (Not c)

Defined in Apecs.Core

Methods

getStore :: System w (Storage (Not c))

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

Defined in Apecs.Core

Methods

getStore :: System w (Storage (t_0, t_1))

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

Defined in Apecs.Core

Methods

getStore :: System w (Storage (t_0, t_1, t_2))

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

Defined in Apecs.Core

Methods

getStore :: System w (Storage (t_0, t_1, t_2, t_3))

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

type family Elem s

The type of components stored by a Store

Instances

type Elem EntityStore

Defined in Apecs.Core

type Elem EntityStore = Entity

type Elem (Identity s)

Defined in Apecs.Core

type Elem (Identity s) = Identity (Elem s)

type Elem (FilterStore s)

Defined in Apecs.Core

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

type Elem (MaybeStore s)

Defined in Apecs.Core

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

type Elem (NotStore s)

Defined in Apecs.Core

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

type Elem (Global c)

Defined in Apecs.Stores

type Elem (Global c) = c

type Elem (Unique c)

Defined in Apecs.Stores

type Elem (Unique c) = c

type Elem (Map c)

Defined in Apecs.Stores

type Elem (Map c) = c

type Elem (t_0, t_1)

Defined in Apecs.Core

type Elem (t_0, t_1) = (Elem t_0, Elem t_1)

type Elem (Cache n s)

Defined in Apecs.Stores

type Elem (Cache n s) = Elem s

type Elem (t_0, t_1, t_2)

Defined in Apecs.Core

type Elem (t_0, t_1, t_2) = (Elem t_0, Elem t_1, Elem t_2)

type Elem (t_0, t_1, t_2, t_3)

Defined in Apecs.Core

type Elem (t_0, t_1, t_2, t_3) = (Elem t_0, Elem t_1, Elem t_2, Elem t_3)

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

Defined in Apecs.Core

type Elem (t_0, t_1, t_2, t_3, t_4) = (Elem t_0, Elem t_1, Elem t_2, Elem t_3, Elem t_4)

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

Defined in Apecs.Core

type Elem (t_0, t_1, t_2, t_3, t_4, t_5) = (Elem t_0, Elem t_1, Elem t_2, Elem t_3, Elem t_4, Elem t_5)

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

Defined in Apecs.Core

type Elem (t_0, t_1, t_2, t_3, t_4, t_5, t_6) = (Elem t_0, Elem t_1, Elem t_2, Elem t_3, Elem t_4, Elem t_5, Elem t_6)

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

Defined in Apecs.Core

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

class ExplInit s where

Holds components indexed by entities

Minimal complete definition

explInit

Methods

explInit :: IO s

Initialize the store with its initialization arguments.

Instances

Monoid c => ExplInit (Global c)

Defined in Apecs.Stores

Methods

explInit :: IO (Global c)

ExplInit (Unique c)

Defined in Apecs.Stores

Methods

explInit :: IO (Unique c)

ExplInit (Map c)

Defined in Apecs.Stores

Methods

explInit :: IO (Map c)

(ExplInit s, KnownNat n, Cachable s) => ExplInit (Cache n s)

Defined in Apecs.Stores

Methods

explInit :: IO (Cache n s)

class ExplGet s where

Stores that support get and exists in the IO monad If existsIO

Minimal complete definition

explGet, explExists

Methods

explGet :: s -> Int -> IO (Elem s)

Reads a component from the store. What happens if the component does not exist is left undefined.

explExists :: s -> Int -> IO Bool

Returns whether there is a component for the given index

Instances

ExplGet EntityStore

Defined in Apecs.Core

Methods

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

explExists :: EntityStore -> Int -> IO Bool

ExplGet s => ExplGet (Identity s)

Defined in Apecs.Core

Methods

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

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

ExplGet s => ExplGet (FilterStore s)

Defined in Apecs.Core

Methods

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

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

ExplGet s => ExplGet (MaybeStore s)

Defined in Apecs.Core

Methods

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

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

ExplGet s => ExplGet (NotStore s)

Defined in Apecs.Core

Methods

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

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

ExplGet (Global c)

Defined in Apecs.Stores

Methods

explGet :: Global c -> Int -> IO (Elem (Global c))

explExists :: Global c -> Int -> IO Bool

ExplGet (Unique c)

Defined in Apecs.Stores

Methods

explGet :: Unique c -> Int -> IO (Elem (Unique c))

explExists :: Unique c -> Int -> IO Bool

ExplGet (Map c)

Defined in Apecs.Stores

Methods

explGet :: Map c -> Int -> IO (Elem (Map c))

explExists :: Map c -> Int -> IO Bool

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

Defined in Apecs.Core

Methods

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

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

ExplGet s => ExplGet (Cache n s)

Defined in Apecs.Stores

Methods

explGet :: Cache n s -> Int -> IO (Elem (Cache n s))

explExists :: Cache n s -> Int -> IO Bool

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

Defined in Apecs.Core

Methods

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

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

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

Defined in Apecs.Core

Methods

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

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

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

Defined in Apecs.Core

Methods

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

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

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

Defined in Apecs.Core

Methods

explGet :: (t_0, t_1, t_2, t_3, t_4, t_5) -> Int -> IO (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 -> IO Bool

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

Defined in Apecs.Core

Methods

explGet :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6) -> Int -> IO (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 -> IO Bool

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

Defined in Apecs.Core

Methods

explGet :: (t_0, t_1, t_2, t_3, t_4, t_5, t_6, t_7) -> Int -> IO (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 -> IO Bool

class ExplSet s where

Minimal complete definition

explSet

Methods

explSet :: s -> Int -> Elem s -> IO ()

Writes a component

Instances

ExplSet s => ExplSet (Identity s)

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

ExplDestroy s => ExplSet (NotStore s)

Defined in Apecs.Core

Methods

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

ExplSet (Global c)

Defined in Apecs.Stores

Methods

explSet :: Global c -> Int -> Elem (Global c) -> IO ()

ExplSet (Unique c)

Defined in Apecs.Stores

Methods

explSet :: Unique c -> Int -> Elem (Unique c) -> IO ()

ExplSet (Map c)

Defined in Apecs.Stores

Methods

explSet :: Map c -> Int -> Elem (Map c) -> IO ()

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

Defined in Apecs.Core

Methods

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

ExplSet s => ExplSet (Cache n s)

Defined in Apecs.Stores

Methods

explSet :: Cache n s -> Int -> Elem (Cache n s) -> IO ()

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

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) -> IO ()

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

Defined in Apecs.Core

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) -> IO ()

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

Defined in Apecs.Core

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) -> IO ()

class ExplDestroy s where

Minimal complete definition

explDestroy

Methods

explDestroy :: s -> Int -> IO ()

Destroys the component for a given index.

Instances

ExplDestroy s => ExplDestroy (Identity s)

Defined in Apecs.Core

Methods

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

ExplDestroy (Unique c)

Defined in Apecs.Stores

Methods

explDestroy :: Unique c -> Int -> IO ()

ExplDestroy (Map c)

Defined in Apecs.Stores

Methods

explDestroy :: Map c -> Int -> IO ()

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

Defined in Apecs.Core

Methods

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

ExplDestroy s => ExplDestroy (Cache n s)

Defined in Apecs.Stores

Methods

explDestroy :: Cache n s -> Int -> IO ()

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

class ExplMembers s where

Minimal complete definition

explMembers

Methods

explMembers :: s -> IO (Vector Int)

Returns an unboxed vector of member indices

Instances

ExplMembers s => ExplMembers (Identity s)

Defined in Apecs.Core

Methods

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

ExplMembers (Unique c)

Defined in Apecs.Stores

Methods

explMembers :: Unique c -> IO (Vector Int)

ExplMembers (Map c)

Defined in Apecs.Stores

Methods

explMembers :: Map c -> IO (Vector Int)

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

Defined in Apecs.Core

Methods

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

ExplMembers s => ExplMembers (Cache n s)

Defined in Apecs.Stores

Methods

explMembers :: Cache n s -> IO (Vector Int)

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

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

Defined in Apecs.Core

Methods

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

type Get w c = (Has w c, ExplGet (Storage c))

type Set w c = (Has w c, ExplSet (Storage c))

type Members w c = (Has w c, ExplMembers (Storage c))

type Destroy w c = (Has w c, ExplDestroy (Storage c))

data Not a

Psuedocomponent indicating the absence of a.

Constructors

Not

Instances

Has w c => Has w (Not c)

Defined in Apecs.Core

Methods

getStore :: System w (Storage (Not c))

Component c => Component (Not c)

Defined in Apecs.Core

Associated Types

type Storage (Not c) :: *

type Storage (Not c)

Defined in Apecs.Core

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

newtype NotStore s

Pseudostore used to produce values of type Not a

Constructors

NotStore s

Instances

ExplDestroy s => ExplSet (NotStore s)

Defined in Apecs.Core

Methods

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

ExplGet s => ExplGet (NotStore s)

Defined in Apecs.Core

Methods

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

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

type Elem (NotStore s)

Defined in Apecs.Core

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

newtype MaybeStore s

Pseudostore used to produce values of type Maybe a

Constructors

MaybeStore s

Instances

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

Defined in Apecs.Core

Methods

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

ExplGet s => ExplGet (MaybeStore s)

Defined in Apecs.Core

Methods

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

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

type Elem (MaybeStore s)

Defined in Apecs.Core

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

data Filter c

Constructors

Filter

Instances

Has w c => Has w (Filter c)

Defined in Apecs.Core

Methods

getStore :: System w (Storage (Filter c))

Eq (Filter c)

Defined in Apecs.Core

Methods

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

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

Show (Filter c)

Defined in Apecs.Core

Methods

showsPrec :: Int -> Filter c -> ShowS

show :: Filter c -> String

showList :: [Filter c] -> ShowS

Component c => Component (Filter c)

Defined in Apecs.Core

Associated Types

type Storage (Filter c) :: *

type Storage (Filter c)

Defined in Apecs.Core

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

newtype FilterStore s

Constructors

FilterStore s

Instances

ExplGet s => ExplGet (FilterStore s)

Defined in Apecs.Core

Methods

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

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

type Elem (FilterStore s)

Defined in Apecs.Core

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

data EntityStore

Pseudostore used to produce components of type Entity

Constructors

EntityStore

Instances

ExplGet EntityStore

Defined in Apecs.Core

Methods

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

explExists :: EntityStore -> Int -> IO Bool

type Elem EntityStore

Defined in Apecs.Core

type Elem EntityStore = Entity