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

Methods

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

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

Num Entity

Methods

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

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

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

negate :: Entity -> Entity

abs :: Entity -> Entity

signum :: Entity -> Entity

fromInteger :: Integer -> Entity

Ord Entity

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

Methods

showsPrec :: Int -> Entity -> ShowS

show :: Entity -> String

showList :: [Entity] -> ShowS

Component Entity

Associated Types

type Storage Entity :: *

Has w Entity

Methods

getStore :: System w (Storage Entity)

type Storage Entity

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)

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)

Methods

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

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

Applicative (System w)

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)

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

Associated Types

type Storage Entity :: *

Component EntityCounter

Associated Types

type Storage EntityCounter :: *

Component c => Component (Maybe c)

Associated Types

type Storage (Maybe c) :: *

Component c => Component (Identity c)

Associated Types

type Storage (Identity c) :: *

Component c => Component (Filter c)

Associated Types

type Storage (Filter c) :: *

Component c => Component (Not c)

Associated Types

type Storage (Not c) :: *

(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) :: *

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

Methods

getStore :: System w (Storage Entity)

Has w c => Has w (Identity c)

Methods

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

Has w c => Has w (Filter c)

Methods

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

Has w c => Has w (Maybe c)

Methods

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

Has w c => Has w (Not c)

Methods

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

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

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)

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)

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)

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)

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)

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)

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

type Elem EntityStore = Entity

type Elem (Identity s)

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

type Elem (FilterStore s)

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

type Elem (MaybeStore s)

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

type Elem (NotStore s)

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

type Elem (Global c)

type Elem (Global c) = c

type Elem (Unique c)

type Elem (Unique c) = c

type Elem (Map c)

type Elem (Map c) = c

type Elem (t_0, t_1)

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

type Elem (Cache n s)

type Elem (Cache n s) = Elem s

type Elem (t_0, t_1, t_2)

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)

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)

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)

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)

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)

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)

Methods

explInit :: IO (Global c)

ExplInit (Unique c)

Methods

explInit :: IO (Unique c)

ExplInit (Map c)

Methods

explInit :: IO (Map c)

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

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

Methods

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

explExists :: EntityStore -> Int -> IO Bool

ExplGet s => ExplGet (Identity s)

Methods

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

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

ExplGet s => ExplGet (FilterStore s)

Methods

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

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

ExplGet s => ExplGet (MaybeStore s)

Methods

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

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

ExplGet s => ExplGet (NotStore s)

Methods

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

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

ExplGet (Global c)

Methods

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

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

ExplGet (Unique c)

Methods

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

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

ExplGet (Map c)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Methods

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

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

Methods

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

ExplDestroy s => ExplSet (NotStore s)

Methods

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

ExplSet (Global c)

Methods

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

ExplSet (Unique c)

Methods

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

ExplSet (Map c)

Methods

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

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

Methods

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

ExplSet s => ExplSet (Cache n s)

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)

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)

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)

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)

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)

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)

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)

Methods

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

ExplDestroy (Unique c)

Methods

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

ExplDestroy (Map c)

Methods

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

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

Methods

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

ExplDestroy s => ExplDestroy (Cache n s)

Methods

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

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

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)

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)

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)

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)

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)

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)

Methods

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

ExplMembers (Unique c)

Methods

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

ExplMembers (Map c)

Methods

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

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

Methods

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

ExplMembers s => ExplMembers (Cache n s)

Methods

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

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

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)

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)

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)

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)

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)

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)

Methods

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

Component c => Component (Not c)

Associated Types

type Storage (Not c) :: *

type Storage (Not c)

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)

Methods

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

ExplGet s => ExplGet (NotStore s)

Methods

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

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

type Elem (NotStore s)

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)

Methods

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

ExplGet s => ExplGet (MaybeStore s)

Methods

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

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

type Elem (MaybeStore s)

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

data Filter c

Constructors

Filter

Instances

Has w c => Has w (Filter c)

Methods

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

Eq (Filter c)

Methods

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

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

Show (Filter c)

Methods

showsPrec :: Int -> Filter c -> ShowS

show :: Filter c -> String

showList :: [Filter c] -> ShowS

Component c => Component (Filter c)

Associated Types

type Storage (Filter c) :: *

type Storage (Filter c)

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

newtype FilterStore s

Constructors

FilterStore s

Instances

ExplGet s => ExplGet (FilterStore s)

Methods

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

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

type Elem (FilterStore s)

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

data EntityStore

Pseudostore used to produce components of type Entity

Constructors

EntityStore

Instances

ExplGet EntityStore

Methods

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

explExists :: EntityStore -> Int -> IO Bool

type Elem EntityStore

type Elem EntityStore = Entity