Apecs.Types

Documentation

newtype Entity c

An Entity is really just an Int. The type variable is used to keep track of reads and writes, but can be freely cast.

Constructors

Entity

Fields

• unEntity :: Int

Instances

Eq (Entity c)

Methods

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

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

Ord (Entity c)

Methods

compare :: Entity c -> Entity c -> Ordering

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

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

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

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

max :: Entity c -> Entity c -> Entity c

min :: Entity c -> Entity c -> Entity c

Show (Entity c)

Methods

showsPrec :: Int -> Entity c -> ShowS

show :: Entity c -> String

showList :: [Entity c] -> ShowS

Cast (Entity a) (Entity b)

Methods

cast :: Entity a -> Entity b

newtype Slice c

A slice is a list of entities, represented by a Data.Unbox.Vector of Ints.

Constructors

Slice

Fields

• unSlice :: Vector Int

Instances

Show (Slice c)

Methods

showsPrec :: Int -> Slice c -> ShowS

show :: Slice c -> String

showList :: [Slice c] -> ShowS

Monoid (Slice c)

Methods

mempty :: Slice c

mappend :: Slice c -> Slice c -> Slice c

mconcat :: [Slice c] -> Slice c

Cast (Slice a) (Slice b)

Methods

cast :: Slice a -> Slice b

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

(*>) :: 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 (Stores (Storage c) ~ c, Store (Storage 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 in instance of Store.

Associated Types

type Storage c

Instances

Component EntityCounter

Associated Types

type Storage EntityCounter :: *

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

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

newtype Safe c

Represents a safe access to c. A safe access is either a read that might fail, or a write that might delete.

Constructors

Safe

Fields

• getSafe :: SafeRW (Storage c)

class Store s where

Holds components indexed by entities

Minimal complete definition

explGet, explSet, explDestroy, explExists, explMembers, explGetUnsafe, explSetMaybe, initStore

Associated Types

type Stores s

The type of components stored by this Store

type SafeRW s

Return type for safe reads writes to the store

Methods

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

Retrieves a component from the store

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

Writes a component

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

Destroys the component for the given index.

explExists :: s -> Int -> IO Bool

Returns whether there is a component for the given index

explMembers :: s -> IO (Vector Int)

Returns an unboxed vector of member indices

explGetUnsafe :: s -> Int -> IO (Stores s)

Unsafe index to the store. What happens if the component does not exist is left undefined.

explSetMaybe :: s -> Int -> SafeRW s -> IO ()

Either writes or deletes a component

initStore :: IO s

explReset :: s -> IO ()

Removes all components. Equivalent to calling explDestroy on each member

explImapM_ :: MonadIO m => s -> (Int -> m a) -> m ()

Monadically iterates over member indices

explImapM :: MonadIO m => s -> (Int -> m a) -> m [a]

Monadically iterates over member indices

explModify :: s -> Int -> (Stores s -> Stores s) -> IO ()

Modifies an element in the store. Equivalent to reading a value, and then writing the result of the function application.

explCmap :: s -> (Stores s -> Stores s) -> IO ()

Maps over all elements of this store. Equivalent to getting a list of all entities with this component, and then explModifying each of them.

explCmapM_ :: MonadIO m => s -> (Stores s -> m a) -> m ()

explCimapM_ :: MonadIO m => s -> ((Int, Stores s) -> m a) -> m ()

explCmapM :: MonadIO m => s -> (Stores s -> m a) -> m [a]

explCimapM :: MonadIO m => s -> ((Int, Stores s) -> m a) -> m [a]

Instances

Monoid c => Store (Global c)

Associated Types

type Stores (Global c) :: *

type SafeRW (Global c) :: *

Methods

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

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

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

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

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

explGetUnsafe :: Global c -> Int -> IO (Stores (Global c))

explSetMaybe :: Global c -> Int -> SafeRW (Global c) -> IO ()

initStore :: IO (Global c)

explReset :: Global c -> IO ()

explImapM_ :: MonadIO m => Global c -> (Int -> m a) -> m ()

explImapM :: MonadIO m => Global c -> (Int -> m a) -> m [a]

explModify :: Global c -> Int -> (Stores (Global c) -> Stores (Global c)) -> IO ()

explCmap :: Global c -> (Stores (Global c) -> Stores (Global c)) -> IO ()

explCmapM_ :: MonadIO m => Global c -> (Stores (Global c) -> m a) -> m ()

explCimapM_ :: MonadIO m => Global c -> ((Int, Stores (Global c)) -> m a) -> m ()

explCmapM :: MonadIO m => Global c -> (Stores (Global c) -> m a) -> m [a]

explCimapM :: MonadIO m => Global c -> ((Int, Stores (Global c)) -> m a) -> m [a]

Store (Unique c)

Associated Types

type Stores (Unique c) :: *

type SafeRW (Unique c) :: *

Methods

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

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

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

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

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

explGetUnsafe :: Unique c -> Int -> IO (Stores (Unique c))

explSetMaybe :: Unique c -> Int -> SafeRW (Unique c) -> IO ()

initStore :: IO (Unique c)

explReset :: Unique c -> IO ()

explImapM_ :: MonadIO m => Unique c -> (Int -> m a) -> m ()

explImapM :: MonadIO m => Unique c -> (Int -> m a) -> m [a]

explModify :: Unique c -> Int -> (Stores (Unique c) -> Stores (Unique c)) -> IO ()

explCmap :: Unique c -> (Stores (Unique c) -> Stores (Unique c)) -> IO ()

explCmapM_ :: MonadIO m => Unique c -> (Stores (Unique c) -> m a) -> m ()

explCimapM_ :: MonadIO m => Unique c -> ((Int, Stores (Unique c)) -> m a) -> m ()

explCmapM :: MonadIO m => Unique c -> (Stores (Unique c) -> m a) -> m [a]

explCimapM :: MonadIO m => Unique c -> ((Int, Stores (Unique c)) -> m a) -> m [a]

Flag c => Store (Set c)

Associated Types

type Stores (Set c) :: *

type SafeRW (Set c) :: *

Methods

explGet :: Set c -> Int -> IO (SafeRW (Set c))

explSet :: Set c -> Int -> Stores (Set c) -> IO ()

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

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

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

explGetUnsafe :: Set c -> Int -> IO (Stores (Set c))

explSetMaybe :: Set c -> Int -> SafeRW (Set c) -> IO ()

initStore :: IO (Set c)

explReset :: Set c -> IO ()

explImapM_ :: MonadIO m => Set c -> (Int -> m a) -> m ()

explImapM :: MonadIO m => Set c -> (Int -> m a) -> m [a]

explModify :: Set c -> Int -> (Stores (Set c) -> Stores (Set c)) -> IO ()

explCmap :: Set c -> (Stores (Set c) -> Stores (Set c)) -> IO ()

explCmapM_ :: MonadIO m => Set c -> (Stores (Set c) -> m a) -> m ()

explCimapM_ :: MonadIO m => Set c -> ((Int, Stores (Set c)) -> m a) -> m ()

explCmapM :: MonadIO m => Set c -> (Stores (Set c) -> m a) -> m [a]

explCimapM :: MonadIO m => Set c -> ((Int, Stores (Set c)) -> m a) -> m [a]

Store (Map c)

Associated Types

type Stores (Map c) :: *

type SafeRW (Map c) :: *

Methods

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

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

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

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

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

explGetUnsafe :: Map c -> Int -> IO (Stores (Map c))

explSetMaybe :: Map c -> Int -> SafeRW (Map c) -> IO ()

initStore :: IO (Map c)

explReset :: Map c -> IO ()

explImapM_ :: MonadIO m => Map c -> (Int -> m a) -> m ()

explImapM :: MonadIO m => Map c -> (Int -> m a) -> m [a]

explModify :: Map c -> Int -> (Stores (Map c) -> Stores (Map c)) -> IO ()

explCmap :: Map c -> (Stores (Map c) -> Stores (Map c)) -> IO ()

explCmapM_ :: MonadIO m => Map c -> (Stores (Map c) -> m a) -> m ()

explCimapM_ :: MonadIO m => Map c -> ((Int, Stores (Map c)) -> m a) -> m ()

explCmapM :: MonadIO m => Map c -> (Stores (Map c) -> m a) -> m [a]

explCimapM :: MonadIO m => Map c -> ((Int, Stores (Map c)) -> m a) -> m [a]

(Store t_0, Store t_1) => Store (t_0, t_1)

Associated Types

type Stores (t_0, t_1) :: *

type SafeRW (t_0, t_1) :: *

Methods

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

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

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

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

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

explGetUnsafe :: (t_0, t_1) -> Int -> IO (Stores (t_0, t_1))

explSetMaybe :: (t_0, t_1) -> Int -> SafeRW (t_0, t_1) -> IO ()

initStore :: IO (t_0, t_1)

explReset :: (t_0, t_1) -> IO ()

explImapM_ :: MonadIO m => (t_0, t_1) -> (Int -> m a) -> m ()

explImapM :: MonadIO m => (t_0, t_1) -> (Int -> m a) -> m [a]

explModify :: (t_0, t_1) -> Int -> (Stores (t_0, t_1) -> Stores (t_0, t_1)) -> IO ()

explCmap :: (t_0, t_1) -> (Stores (t_0, t_1) -> Stores (t_0, t_1)) -> IO ()

explCmapM_ :: MonadIO m => (t_0, t_1) -> (Stores (t_0, t_1) -> m a) -> m ()

explCimapM_ :: MonadIO m => (t_0, t_1) -> ((Int, Stores (t_0, t_1)) -> m a) -> m ()

explCmapM :: MonadIO m => (t_0, t_1) -> (Stores (t_0, t_1) -> m a) -> m [a]

explCimapM :: MonadIO m => (t_0, t_1) -> ((Int, Stores (t_0, t_1)) -> m a) -> m [a]

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

Associated Types

type Stores (Cache n s) :: *

type SafeRW (Cache n s) :: *

Methods

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

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

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

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

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

explGetUnsafe :: Cache n s -> Int -> IO (Stores (Cache n s))

explSetMaybe :: Cache n s -> Int -> SafeRW (Cache n s) -> IO ()

initStore :: IO (Cache n s)

explReset :: Cache n s -> IO ()

explImapM_ :: MonadIO m => Cache n s -> (Int -> m a) -> m ()

explImapM :: MonadIO m => Cache n s -> (Int -> m a) -> m [a]

explModify :: Cache n s -> Int -> (Stores (Cache n s) -> Stores (Cache n s)) -> IO ()

explCmap :: Cache n s -> (Stores (Cache n s) -> Stores (Cache n s)) -> IO ()

explCmapM_ :: MonadIO m => Cache n s -> (Stores (Cache n s) -> m a) -> m ()

explCimapM_ :: MonadIO m => Cache n s -> ((Int, Stores (Cache n s)) -> m a) -> m ()

explCmapM :: MonadIO m => Cache n s -> (Stores (Cache n s) -> m a) -> m [a]

explCimapM :: MonadIO m => Cache n s -> ((Int, Stores (Cache n s)) -> m a) -> m [a]

(Log l (Stores s), Cachable s) => Store (Logger l s)

Associated Types

type Stores (Logger l s) :: *

type SafeRW (Logger l s) :: *

Methods

explGet :: Logger l s -> Int -> IO (SafeRW (Logger l s))

explSet :: Logger l s -> Int -> Stores (Logger l s) -> IO ()

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

explExists :: Logger l s -> Int -> IO Bool

explMembers :: Logger l s -> IO (Vector Int)

explGetUnsafe :: Logger l s -> Int -> IO (Stores (Logger l s))

explSetMaybe :: Logger l s -> Int -> SafeRW (Logger l s) -> IO ()

initStore :: IO (Logger l s)

explReset :: Logger l s -> IO ()

explImapM_ :: MonadIO m => Logger l s -> (Int -> m a) -> m ()

explImapM :: MonadIO m => Logger l s -> (Int -> m a) -> m [a]

explModify :: Logger l s -> Int -> (Stores (Logger l s) -> Stores (Logger l s)) -> IO ()

explCmap :: Logger l s -> (Stores (Logger l s) -> Stores (Logger l s)) -> IO ()

explCmapM_ :: MonadIO m => Logger l s -> (Stores (Logger l s) -> m a) -> m ()

explCimapM_ :: MonadIO m => Logger l s -> ((Int, Stores (Logger l s)) -> m a) -> m ()

explCmapM :: MonadIO m => Logger l s -> (Stores (Logger l s) -> m a) -> m [a]

explCimapM :: MonadIO m => Logger l s -> ((Int, Stores (Logger l s)) -> m a) -> m [a]

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

Associated Types

type Stores (t_0, t_1, t_2) :: *

type SafeRW (t_0, t_1, t_2) :: *

Methods

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

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

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

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

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

explGetUnsafe :: (t_0, t_1, t_2) -> Int -> IO (Stores (t_0, t_1, t_2))

explSetMaybe :: (t_0, t_1, t_2) -> Int -> SafeRW (t_0, t_1, t_2) -> IO ()

initStore :: IO (t_0, t_1, t_2)

explReset :: (t_0, t_1, t_2) -> IO ()

explImapM_ :: MonadIO m => (t_0, t_1, t_2) -> (Int -> m a) -> m ()

explImapM :: MonadIO m => (t_0, t_1, t_2) -> (Int -> m a) -> m [a]

explModify :: (t_0, t_1, t_2) -> Int -> (Stores (t_0, t_1, t_2) -> Stores (t_0, t_1, t_2)) -> IO ()

explCmap :: (t_0, t_1, t_2) -> (Stores (t_0, t_1, t_2) -> Stores (t_0, t_1, t_2)) -> IO ()

explCmapM_ :: MonadIO m => (t_0, t_1, t_2) -> (Stores (t_0, t_1, t_2) -> m a) -> m ()

explCimapM_ :: MonadIO m => (t_0, t_1, t_2) -> ((Int, Stores (t_0, t_1, t_2)) -> m a) -> m ()

explCmapM :: MonadIO m => (t_0, t_1, t_2) -> (Stores (t_0, t_1, t_2) -> m a) -> m [a]

explCimapM :: MonadIO m => (t_0, t_1, t_2) -> ((Int, Stores (t_0, t_1, t_2)) -> m a) -> m [a]

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

Associated Types

type Stores (t_0, t_1, t_2, t_3) :: *

type SafeRW (t_0, t_1, t_2, t_3) :: *

Methods

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

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

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

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

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

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

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

initStore :: IO (t_0, t_1, t_2, t_3)

explReset :: (t_0, t_1, t_2, t_3) -> IO ()

explImapM_ :: MonadIO m => (t_0, t_1, t_2, t_3) -> (Int -> m a) -> m ()

explImapM :: MonadIO m => (t_0, t_1, t_2, t_3) -> (Int -> m a) -> m [a]

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

explCmap :: (t_0, t_1, t_2, t_3) -> (Stores (t_0, t_1, t_2, t_3) -> Stores (t_0, t_1, t_2, t_3)) -> IO ()

explCmapM_ :: MonadIO m => (t_0, t_1, t_2, t_3) -> (Stores (t_0, t_1, t_2, t_3) -> m a) -> m ()

explCimapM_ :: MonadIO m => (t_0, t_1, t_2, t_3) -> ((Int, Stores (t_0, t_1, t_2, t_3)) -> m a) -> m ()

explCmapM :: MonadIO m => (t_0, t_1, t_2, t_3) -> (Stores (t_0, t_1, t_2, t_3) -> m a) -> m [a]

explCimapM :: MonadIO m => (t_0, t_1, t_2, t_3) -> ((Int, Stores (t_0, t_1, t_2, t_3)) -> m a) -> m [a]

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

Associated Types

type Stores (t_0, t_1, t_2, t_3, t_4) :: *

type SafeRW (t_0, t_1, t_2, t_3, t_4) :: *

Methods

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

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

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

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

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

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

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

initStore :: IO (t_0, t_1, t_2, t_3, t_4)

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

explImapM_ :: MonadIO m => (t_0, t_1, t_2, t_3, t_4) -> (Int -> m a) -> m ()

explImapM :: MonadIO m => (t_0, t_1, t_2, t_3, t_4) -> (Int -> m a) -> m [a]

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

explCmap :: (t_0, t_1, t_2, t_3, t_4) -> (Stores (t_0, t_1, t_2, t_3, t_4) -> Stores (t_0, t_1, t_2, t_3, t_4)) -> IO ()

explCmapM_ :: MonadIO m => (t_0, t_1, t_2, t_3, t_4) -> (Stores (t_0, t_1, t_2, t_3, t_4) -> m a) -> m ()

explCimapM_ :: MonadIO m => (t_0, t_1, t_2, t_3, t_4) -> ((Int, Stores (t_0, t_1, t_2, t_3, t_4)) -> m a) -> m ()

explCmapM :: MonadIO m => (t_0, t_1, t_2, t_3, t_4) -> (Stores (t_0, t_1, t_2, t_3, t_4) -> m a) -> m [a]

explCimapM :: MonadIO m => (t_0, t_1, t_2, t_3, t_4) -> ((Int, Stores (t_0, t_1, t_2, t_3, t_4)) -> m a) -> m [a]

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

Associated Types

type Stores (t_0, t_1, t_2, t_3, t_4, t_5) :: *

type SafeRW (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 (SafeRW (t_0, t_1, t_2, t_3, t_4, t_5))

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

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

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

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

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

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

initStore :: IO (t_0, t_1, t_2, t_3, t_4, t_5)

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

explImapM_ :: MonadIO m => (t_0, t_1, t_2, t_3, t_4, t_5) -> (Int -> m a) -> m ()

explImapM :: MonadIO m => (t_0, t_1, t_2, t_3, t_4, t_5) -> (Int -> m a) -> m [a]

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

explCmap :: (t_0, t_1, t_2, t_3, t_4, t_5) -> (Stores (t_0, t_1, t_2, t_3, t_4, t_5) -> Stores (t_0, t_1, t_2, t_3, t_4, t_5)) -> IO ()

explCmapM_ :: MonadIO m => (t_0, t_1, t_2, t_3, t_4, t_5) -> (Stores (t_0, t_1, t_2, t_3, t_4, t_5) -> m a) -> m ()

explCimapM_ :: MonadIO m => (t_0, t_1, t_2, t_3, t_4, t_5) -> ((Int, Stores (t_0, t_1, t_2, t_3, t_4, t_5)) -> m a) -> m ()

explCmapM :: MonadIO m => (t_0, t_1, t_2, t_3, t_4, t_5) -> (Stores (t_0, t_1, t_2, t_3, t_4, t_5) -> m a) -> m [a]

explCimapM :: MonadIO m => (t_0, t_1, t_2, t_3, t_4, t_5) -> ((Int, Stores (t_0, t_1, t_2, t_3, t_4, t_5)) -> m a) -> m [a]

class (SafeRW s ~ Stores s, Store s) => GlobalStore s

Class of storages for global values

Instances

Monoid c => GlobalStore (Global c)

(GlobalStore a, GlobalStore b) => GlobalStore (a, b)

(GlobalStore a, GlobalStore b, GlobalStore c) => GlobalStore (a, b, c)

class Cast a b where

Casts for entities and slices

Minimal complete definition

cast

Methods

cast :: a -> b

Instances

Cast (Slice a) (Slice b)

Methods

cast :: Slice a -> Slice b

Cast (Entity a) (Entity b)

Methods

cast :: Entity a -> Entity b