Moduleapecs-0.10.1Haskell2010

Apecs.TH

12 values

Packageapecs-0.10.1
Exports12
LanguageHaskell2010
LicenceBSD-3-Clause
SourceTH.hs

valuemakeWorld :: String -> [Name] -> Q [Dec]

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

valuemakeWorldNoEC :: String -> [Name] -> Q [Dec]

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.

valuemakeWorldAndComponents :: String -> [Name] -> Q [Dec]

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

valuemakeWorldDestructible :: String -> [Name] -> Q [Dec]

valuemakeWorldEnumerable :: String -> [Name] -> Q [Dec]

valuemakeMapComponents :: [Name] -> Q [Dec]

Creates Component instances with Map stores

valuemakeMapComponentsFor :: Name -> [Name] -> Q [Dec]

valuehasStoreInstance

:: [String]
Skip those stores
-> Name
Class name (ExplThis)
-> Type
m var like ConT ''IO
-> Name
component type name
-> Q Bool

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

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

valuemakeInstanceFold :: ([Type] -> Type) -> String -> [Name] -> Q Dec

valuemkFoldT :: Name -> Name -> [Type] -> Type

valuemkTupleT :: [Type] -> Type

valuemkEitherT :: [Type] -> Type