Apecs.Stores

Documentation

data Map c

A map based on Data.Intmap.Strict. O(log(n)) for most operations.

Instances

Store (Map c)

Associated Types

type Elem (Map c) :: *

Methods

initStore :: IO (Map c)

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

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

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

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

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

Cachable (Map s)

type Elem (Map c)

type Elem (Map c) = c

data Cache (n :: Nat) s

A cache around another store. Note that iterating over a cache is linear in cache size, so sparsely populated caches might actually decrease performance.

Instances

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

Associated Types

type Elem (Cache n s) :: *

Methods

initStore :: IO (Cache n s)

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

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

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

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

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

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

type Elem (Cache n s)

type Elem (Cache n s) = Elem s

data Unique c

A Unique contains zero or one component. Writing to it overwrites both the previous component and its owner. Its main purpose is to be a Map optimized for when only ever one component inhabits it.

Instances

Store (Unique c)

Associated Types

type Elem (Unique c) :: *

Methods

initStore :: IO (Unique c)

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

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

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

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

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

type Elem (Unique c)

type Elem (Unique c) = c

data Global c

A Global contains exactly one component. Initialized with mempty The store will return true for every existence check, but only ever gives (-1) as its inhabitant. The entity argument is ignored when setting/getting a global.

Instances

Monoid c => Store (Global c)

Associated Types

type Elem (Global c) :: *

Methods

initStore :: IO (Global c)

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

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

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

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

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

type Elem (Global c)

type Elem (Global c) = c

class Store s => Cachable s

An empty type class indicating that the store behaves like a regular map, and can therefore safely be cached.

Instances

Cachable (Map s)

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