Apecs.TH

The typical way to create a world record, associated Has instances, and initialization function.

makeWorld "MyWorld" [''Component1, ''Component2, ...]

turns into

data MyWorld = MyWorld Component1 Component2 ... EntityCounter
instance MyWorld `Has` Component1 where ...
instance MyWorld `Has` Component2 where ...
...
instance MyWorld `Has` EntityCounter where ...

initMyWorld :: IO MyWorld
initMyWorld = MyWorld <$> initStore <*> initStore <*> ... <*> initStore

Same as makeWorld, but does not include an EntityCounter You don't typically want to use this, but it's exposed in case you know what you're doing.

Calls makeWorld and makeMapComponents, i.e. makes a world and also defines Component instances with a Map store.

Creates Component instances with Map stores

Resolve storage type and check for an instance like ExplThis m (Map Position)

Can be used to pre-filter component lists for makeInstanceFold.