Safe Haskell	None
Language	GHC2024

Mischief.ECS.Components

Contents

Component
Meta
Erasure
Archetypes
Bundles
Tables
Storage
Utils

Synopsis

class (Typeable c, IsExclusive (RelExclusivity c)) => Component c where
- type RelExclusivity c :: Exclusivity
- required :: Set DefaultComponentType
- hooks :: Hooks c
data ComponentId = ComponentId (# Word#, Maybe Entity #)
data Exclusivity
- = Inclusive
- | Exclusive
newtype ComponentArchetypes = ComponentArchetypes {
- inner :: Set ArchetypeId
}
data ComponentPairs = ComponentPairs {
- any :: Set ArchetypeId
- pairs :: Map Entity (Set ArchetypeId)
}
newtype DefaultValue = DefaultValue ErasedComponent
data Requires = Requires
data RequiredBy = RequiredBy
data ComponentType where
- ComponentType :: forall c. Component c => Proxy c -> ComponentType
data ErasedComponent where
- ErasedComponent :: forall c. Component c => c -> ErasedComponent
tryGetComponent :: Component c => ErasedComponent -> Maybe c
data DefaultComponentType where
- DefaultComponentType :: forall c. (Component c, Default c) => Proxy c -> DefaultComponentType
newtype ArchetypeId = ArchetypeId {
- id :: Int
}
newtype BundleData e = BundleData {
- elements :: Set (BundleElement e)
}
data BundleElement e = BundleElement {
- rep :: ComponentRep
- component :: e
}
data ComponentTicks = ComponentTicks {
- changed :: Tick
- added :: Tick
}
data ComponentData = ComponentData {
- value :: ErasedComponent
- ticks :: ComponentTicks
}
newtype Components = Components {
- components :: HashMap TypeRep Word
}
emptyComponents :: IO Components
getComponentId :: TypeRep -> Components -> IO (Maybe ComponentId)
newtype Pair = Pair (ComponentType, Entity)
data Rel c = Rel {
- comp :: c
- target :: Entity
}
data ComponentRep
- = ComponentRep ComponentType
- | PairRep (ComponentType, Entity)
newtype Tick = Tick (Int, Int)
data ErasedComponentEq where
- ErasedComponentEq :: forall c. (Component c, Eq c) => c -> ErasedComponentEq
class IsExclusive (e :: Exclusivity) where
- isExclusive :: Bool
isPair :: ComponentId -> Bool
setCompIdTarget :: Maybe Entity -> ComponentId -> ComponentId

Component

class (Typeable c, IsExclusive (RelExclusivity c)) => Component c where Source #

The Component typeclass.

Minimal complete definition

Nothing

Associated Types

type RelExclusivity c :: Exclusivity Source #

type RelExclusivity c = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

List of components required by this one. All required components must be Default

Example

data A = A
instance Component A where
  required = require @(B, C)

data B = B Int deriving (Component, Generic, Default)

data C = C String deriving (Component)
instance Default C where
  def = C "Default String"

hooks :: Hooks c Source #

Instances

Instances details

Component ScheduleLabel Source #

Instance details

Defined in Mischief.ECS.App.Schedules

Associated Types

type RelExclusivity ScheduleLabel
Instance details Defined in Mischief.ECS.App.Schedules type RelExclusivity ScheduleLabel = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ScheduleLabel Source #

Component Schedules Source #

Instance details

Defined in Mischief.ECS.App.Schedules

Associated Types

type RelExclusivity Schedules
Instance details Defined in Mischief.ECS.App.Schedules type RelExclusivity Schedules = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks Schedules Source #

Component StartupSchedule Source #

Instance details

Defined in Mischief.ECS.App.Schedules

Associated Types

type RelExclusivity StartupSchedule
Instance details Defined in Mischief.ECS.App.Schedules type RelExclusivity StartupSchedule = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks StartupSchedule Source #

Component UpdateSchedule Source #

Instance details

Defined in Mischief.ECS.App.Schedules

Associated Types

type RelExclusivity UpdateSchedule
Instance details Defined in Mischief.ECS.App.Schedules type RelExclusivity UpdateSchedule = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks UpdateSchedule Source #

Component LastSystemTick Source #

Instance details

Defined in Mischief.ECS.App.SystemDef

Associated Types

type RelExclusivity LastSystemTick
Instance details Defined in Mischief.ECS.App.SystemDef type RelExclusivity LastSystemTick = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks LastSystemTick Source #

Component SystemTick Source #

Instance details

Defined in Mischief.ECS.App.SystemDef

Associated Types

type RelExclusivity SystemTick
Instance details Defined in Mischief.ECS.App.SystemDef type RelExclusivity SystemTick = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks SystemTick Source #

Component ScheduledIn Source #

Instance details

Defined in Mischief.ECS.App.Systems

Associated Types

type RelExclusivity ScheduledIn
Instance details Defined in Mischief.ECS.App.Systems type RelExclusivity ScheduledIn = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ScheduledIn Source #

Component SystemFunction Source #

Instance details

Defined in Mischief.ECS.App.Systems

Associated Types

type RelExclusivity SystemFunction
Instance details Defined in Mischief.ECS.App.Systems type RelExclusivity SystemFunction = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks SystemFunction Source #

Component Systems Source #

Instance details

Defined in Mischief.ECS.App.Systems

Associated Types

type RelExclusivity Systems
Instance details Defined in Mischief.ECS.App.Systems type RelExclusivity Systems = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks Systems Source #

Component ComponentArchetypes Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity ComponentArchetypes
Instance details Defined in Mischief.ECS.Components type RelExclusivity ComponentArchetypes = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ComponentArchetypes Source #

Component ComponentPairs Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity ComponentPairs
Instance details Defined in Mischief.ECS.Components type RelExclusivity ComponentPairs = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ComponentPairs Source #

Component ComponentType Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity ComponentType
Instance details Defined in Mischief.ECS.Components type RelExclusivity ComponentType = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ComponentType Source #

Component DefaultValue Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity DefaultValue
Instance details Defined in Mischief.ECS.Components type RelExclusivity DefaultValue = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks DefaultValue Source #

Component RequiredBy Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity RequiredBy
Instance details Defined in Mischief.ECS.Components type RelExclusivity RequiredBy = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks RequiredBy Source #

Component Requires Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity Requires
Instance details Defined in Mischief.ECS.Components type RelExclusivity Requires = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks Requires Source #

Component Name Source #

Instance details

Defined in Mischief.ECS.Components.Common

Associated Types

type RelExclusivity Name
Instance details Defined in Mischief.ECS.Components.Common type RelExclusivity Name = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks Name Source #

Component ObserverOrder Source #

Instance details

Defined in Mischief.ECS.Observer

Associated Types

type RelExclusivity ObserverOrder
Instance details Defined in Mischief.ECS.Observer type RelExclusivity ObserverOrder = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ObserverOrder Source #

Component IsExclusiveRelationship Source #

Instance details

Defined in Mischief.ECS.Relationships

Associated Types

type RelExclusivity IsExclusiveRelationship
Instance details Defined in Mischief.ECS.Relationships type RelExclusivity IsExclusiveRelationship = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks IsExclusiveRelationship Source #

Component ChildOf Source #

Instance details

Defined in Mischief.ECS.Relationships.ChildOf

Associated Types

type RelExclusivity ChildOf
Instance details Defined in Mischief.ECS.Relationships.ChildOf type RelExclusivity ChildOf = 'Exclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ChildOf Source #

Component Before Source #

Instance details

Defined in Mischief.ECS.Relationships.Order

Associated Types

type RelExclusivity Before
Instance details Defined in Mischief.ECS.Relationships.Order type RelExclusivity Before = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks Before Source #

Component Visited Source #

Instance details

Defined in Mischief.ECS.Relationships.Order

Associated Types

type RelExclusivity Visited
Instance details Defined in Mischief.ECS.Relationships.Order type RelExclusivity Visited = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks Visited Source #

Component Time Source #

Instance details

Defined in Mischief.ECS.Time

Associated Types

type RelExclusivity Time
Instance details Defined in Mischief.ECS.Time type RelExclusivity Time = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks Time Source #

Typeable e => Component (Observer e) Source #

Instance details

Defined in Mischief.ECS.Observer

Associated Types

type RelExclusivity (Observer e)
Instance details Defined in Mischief.ECS.Observer type RelExclusivity (Observer e) = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks (Observer e) Source #

(Typeable e, Typeable k) => Component (EventProxy e) Source #

Instance details

Defined in Mischief.ECS.Observer

Associated Types

type RelExclusivity (EventProxy e)
Instance details Defined in Mischief.ECS.Observer type RelExclusivity (EventProxy e) = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks (EventProxy e) Source #

(Typeable a, Typeable b, Typeable k1, Typeable k2) => Component (TestG a b) Source #

Instance details

Defined in Mischief.ECS.World.Query.TH.QD

Associated Types

type RelExclusivity (TestG a b)
Instance details Defined in Mischief.ECS.World.Query.TH.QD type RelExclusivity (TestG a b) = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks (TestG a b) Source #

data ComponentId Source #

Unique id for components and component pairs.

Constructors

ComponentId (# Word#, Maybe Entity #)

Instances

Instances details

Eq ComponentId Source #
Instance details Defined in Mischief.ECS.Components Methods (==) :: ComponentId -> ComponentId -> Bool # (/=) :: ComponentId -> ComponentId -> Bool #
Ord ComponentId Source #
Instance details Defined in Mischief.ECS.Components Methods compare :: ComponentId -> ComponentId -> Ordering # (<) :: ComponentId -> ComponentId -> Bool # (<=) :: ComponentId -> ComponentId -> Bool # (>) :: ComponentId -> ComponentId -> Bool # (>=) :: ComponentId -> ComponentId -> Bool # max :: ComponentId -> ComponentId -> ComponentId # min :: ComponentId -> ComponentId -> ComponentId #

data Exclusivity Source #

Constructors

Inclusive
Exclusive

Meta

newtype ComponentArchetypes Source #

Meta component with a set of all archetypes that a components is part of.

Constructors

ComponentArchetypes
Fields inner :: Set ArchetypeId

Instances

Instances details

Default ComponentArchetypes Source #

Instance details

Defined in Mischief.ECS.Components

Methods

def :: ComponentArchetypes #

Show ComponentArchetypes Source #

Instance details

Defined in Mischief.ECS.Components

Methods

showsPrec :: Int -> ComponentArchetypes -> ShowS #

show :: ComponentArchetypes -> String #

showList :: [ComponentArchetypes] -> ShowS #

Component ComponentArchetypes Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity ComponentArchetypes
Instance details Defined in Mischief.ECS.Components type RelExclusivity ComponentArchetypes = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ComponentArchetypes Source #

type RelExclusivity ComponentArchetypes Source #

Instance details

Defined in Mischief.ECS.Components

type RelExclusivity ComponentArchetypes = 'Inclusive

data ComponentPairs Source #

Meta component with a set of all archetypes containing pairs made with this component.

Constructors

ComponentPairs
Fields any :: Set ArchetypeId Archetypes that contain any pair formed with this component. pairs :: Map Entity (Set ArchetypeId) Specific archetypes between this component and a particular entity.

Instances

Instances details

Default ComponentPairs Source #

Instance details

Defined in Mischief.ECS.Components

Methods

def :: ComponentPairs #

Generic ComponentPairs Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type Rep ComponentPairs

Instance details

Defined in Mischief.ECS.Components

type Rep ComponentPairs = D1 ('MetaData "ComponentPairs" "Mischief.ECS.Components" "mischief-ecs-0.0.0.0-inplace" 'False) (C1 ('MetaCons "ComponentPairs" 'PrefixI 'True) (S1 ('MetaSel ('Just "any") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ArchetypeId)) :*: S1 ('MetaSel ('Just "pairs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Entity (Set ArchetypeId)))))

Methods

from :: ComponentPairs -> Rep ComponentPairs x #

to :: Rep ComponentPairs x -> ComponentPairs #

Show ComponentPairs Source #

Instance details

Defined in Mischief.ECS.Components

Methods

showsPrec :: Int -> ComponentPairs -> ShowS #

show :: ComponentPairs -> String #

showList :: [ComponentPairs] -> ShowS #

Component ComponentPairs Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity ComponentPairs
Instance details Defined in Mischief.ECS.Components type RelExclusivity ComponentPairs = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ComponentPairs Source #

type Rep ComponentPairs Source #

Instance details

Defined in Mischief.ECS.Components

type Rep ComponentPairs = D1 ('MetaData "ComponentPairs" "Mischief.ECS.Components" "mischief-ecs-0.0.0.0-inplace" 'False) (C1 ('MetaCons "ComponentPairs" 'PrefixI 'True) (S1 ('MetaSel ('Just "any") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ArchetypeId)) :*: S1 ('MetaSel ('Just "pairs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Entity (Set ArchetypeId)))))

type RelExclusivity ComponentPairs Source #

Instance details

Defined in Mischief.ECS.Components

type RelExclusivity ComponentPairs = 'Inclusive

newtype DefaultValue Source #

Meta component with the erased default value of this component. Added to components required by other components.

Constructors

DefaultValue ErasedComponent

Instances

Instances details

Component DefaultValue Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity DefaultValue
Instance details Defined in Mischief.ECS.Components type RelExclusivity DefaultValue = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks DefaultValue Source #

type RelExclusivity DefaultValue Source #

Instance details

Defined in Mischief.ECS.Components

type RelExclusivity DefaultValue = 'Inclusive

data Requires Source #

Meta relationship.

Constructors

Requires

Instances

Instances details

Component Requires Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity Requires
Instance details Defined in Mischief.ECS.Components type RelExclusivity Requires = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks Requires Source #

type RelExclusivity Requires Source #

Instance details

Defined in Mischief.ECS.Components

type RelExclusivity Requires = 'Inclusive

data RequiredBy Source #

Meta relationship.

Constructors

RequiredBy

Instances

Instances details

Component RequiredBy Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity RequiredBy
Instance details Defined in Mischief.ECS.Components type RelExclusivity RequiredBy = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks RequiredBy Source #

type RelExclusivity RequiredBy Source #

Instance details

Defined in Mischief.ECS.Components

type RelExclusivity RequiredBy = 'Inclusive

data ComponentType where Source #

Constructors

ComponentType :: forall c. Component c => Proxy c -> ComponentType

Instances

Instances details

Show ComponentType Source #

Instance details

Defined in Mischief.ECS.Components

Methods

showsPrec :: Int -> ComponentType -> ShowS #

show :: ComponentType -> String #

showList :: [ComponentType] -> ShowS #

Eq ComponentType Source #

Instance details

Defined in Mischief.ECS.Components

Methods

(==) :: ComponentType -> ComponentType -> Bool #

(/=) :: ComponentType -> ComponentType -> Bool #

Ord ComponentType Source #

Instance details

Defined in Mischief.ECS.Components

Methods

compare :: ComponentType -> ComponentType -> Ordering #

(<) :: ComponentType -> ComponentType -> Bool #

(<=) :: ComponentType -> ComponentType -> Bool #

(>) :: ComponentType -> ComponentType -> Bool #

(>=) :: ComponentType -> ComponentType -> Bool #

max :: ComponentType -> ComponentType -> ComponentType #

min :: ComponentType -> ComponentType -> ComponentType #

Component ComponentType Source #

Instance details

Defined in Mischief.ECS.Components

Associated Types

type RelExclusivity ComponentType
Instance details Defined in Mischief.ECS.Components type RelExclusivity ComponentType = 'Inclusive

Methods

required :: Set DefaultComponentType Source #

hooks :: Hooks ComponentType Source #

GetRep ComponentType Source #

Instance details

Defined in Mischief.ECS.Components

Methods

getRep :: ComponentType -> TypeRep Source #

type RelExclusivity ComponentType Source #

Instance details

Defined in Mischief.ECS.Components

type RelExclusivity ComponentType = 'Inclusive

Erasure

data ErasedComponent where Source #

Type for component erasure.

Constructors

ErasedComponent :: forall c. Component c => c -> ErasedComponent

Instances

Instances details

GetRep ErasedComponent Source #
Instance details Defined in Mischief.ECS.Components Methods getRep :: ErasedComponent -> TypeRep Source #
EraseIntoStorage () (BundleData ErasedComponent) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: () -> BundleData ErasedComponent Source #
Component c => EraseIntoStorage c (BundleData ErasedComponent) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: c -> BundleData ErasedComponent Source #
EraseIntoStorage (BundleData ErasedComponent) (BundleData ErasedComponent) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: BundleData ErasedComponent -> BundleData ErasedComponent Source #
Component c => EraseIntoStorage (Rel c) (BundleData ErasedComponent) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: Rel c -> BundleData ErasedComponent Source #

tryGetComponent :: Component c => ErasedComponent -> Maybe c Source #

Try to get the inner data of a ErasedComponent.

data DefaultComponentType where Source #

Constructors

DefaultComponentType :: forall c. (Component c, Default c) => Proxy c -> DefaultComponentType

Instances

Instances details

Show DefaultComponentType Source #
Instance details Defined in Mischief.ECS.Components Methods showsPrec :: Int -> DefaultComponentType -> ShowS # show :: DefaultComponentType -> String # showList :: [DefaultComponentType] -> ShowS #
Eq DefaultComponentType Source #
Instance details Defined in Mischief.ECS.Components Methods (==) :: DefaultComponentType -> DefaultComponentType -> Bool # (/=) :: DefaultComponentType -> DefaultComponentType -> Bool #
Ord DefaultComponentType Source #
Instance details Defined in Mischief.ECS.Components Methods compare :: DefaultComponentType -> DefaultComponentType -> Ordering # (<) :: DefaultComponentType -> DefaultComponentType -> Bool # (<=) :: DefaultComponentType -> DefaultComponentType -> Bool # (>) :: DefaultComponentType -> DefaultComponentType -> Bool # (>=) :: DefaultComponentType -> DefaultComponentType -> Bool # max :: DefaultComponentType -> DefaultComponentType -> DefaultComponentType # min :: DefaultComponentType -> DefaultComponentType -> DefaultComponentType #
GetRep DefaultComponentType Source #
Instance details Defined in Mischief.ECS.Components Methods getRep :: DefaultComponentType -> TypeRep Source #

Archetypes

newtype ArchetypeId Source #

Unique id corresponding to an archetype.

Constructors

ArchetypeId
Fields id :: Int

Instances

Instances details

Show ArchetypeId Source #
Instance details Defined in Mischief.ECS.Components Methods showsPrec :: Int -> ArchetypeId -> ShowS # show :: ArchetypeId -> String # showList :: [ArchetypeId] -> ShowS #
Eq ArchetypeId Source #
Instance details Defined in Mischief.ECS.Components Methods (==) :: ArchetypeId -> ArchetypeId -> Bool # (/=) :: ArchetypeId -> ArchetypeId -> Bool #
Ord ArchetypeId Source #
Instance details Defined in Mischief.ECS.Components Methods compare :: ArchetypeId -> ArchetypeId -> Ordering # (<) :: ArchetypeId -> ArchetypeId -> Bool # (<=) :: ArchetypeId -> ArchetypeId -> Bool # (>) :: ArchetypeId -> ArchetypeId -> Bool # (>=) :: ArchetypeId -> ArchetypeId -> Bool # max :: ArchetypeId -> ArchetypeId -> ArchetypeId # min :: ArchetypeId -> ArchetypeId -> ArchetypeId #

Bundles

newtype BundleData e Source #

Data extracted from a Bundle.

Constructors

BundleData
Fields elements :: Set (BundleElement e)

Instances

Instances details

EraseIntoStorage () (BundleData ErasedComponent) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: () -> BundleData ErasedComponent Source #
Component c => EraseIntoStorage c (BundleData ErasedComponent) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: c -> BundleData ErasedComponent Source #
(Component c, Eq c) => EraseIntoStorage c (BundleData ErasedComponentEq) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: c -> BundleData ErasedComponentEq Source #
Semigroup (BundleData e) Source #
Instance details Defined in Mischief.ECS.Components Methods (<>) :: BundleData e -> BundleData e -> BundleData e # sconcat :: NonEmpty (BundleData e) -> BundleData e # stimes :: Integral b => b -> BundleData e -> BundleData e #
Show (BundleData e) Source #
Instance details Defined in Mischief.ECS.Components Methods showsPrec :: Int -> BundleData e -> ShowS # show :: BundleData e -> String # showList :: [BundleData e] -> ShowS #
EraseIntoStorage (BundleData ErasedComponent) (BundleData ErasedComponent) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: BundleData ErasedComponent -> BundleData ErasedComponent Source #
Component c => EraseIntoStorage (Rel c) (BundleData ErasedComponent) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: Rel c -> BundleData ErasedComponent Source #
(Component c, Eq c) => EraseIntoStorage (Rel c) (BundleData ErasedComponentEq) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: Rel c -> BundleData ErasedComponentEq Source #

data BundleElement e Source #

Element of a 'BundleData e'.

Constructors

BundleElement
Fields rep :: ComponentRep component :: e

Instances

Instances details

Show (BundleElement a) Source #
Instance details Defined in Mischief.ECS.Components Methods showsPrec :: Int -> BundleElement a -> ShowS # show :: BundleElement a -> String # showList :: [BundleElement a] -> ShowS #
Eq (BundleElement a) Source #
Instance details Defined in Mischief.ECS.Components Methods (==) :: BundleElement a -> BundleElement a -> Bool # (/=) :: BundleElement a -> BundleElement a -> Bool #
Ord (BundleElement a) Source #
Instance details Defined in Mischief.ECS.Components Methods compare :: BundleElement a -> BundleElement a -> Ordering # (<) :: BundleElement a -> BundleElement a -> Bool # (<=) :: BundleElement a -> BundleElement a -> Bool # (>) :: BundleElement a -> BundleElement a -> Bool # (>=) :: BundleElement a -> BundleElement a -> Bool # max :: BundleElement a -> BundleElement a -> BundleElement a # min :: BundleElement a -> BundleElement a -> BundleElement a #

Tables

data ComponentTicks Source #

Change ticks for a specific component.

Constructors

ComponentTicks
Fields changed :: Tick added :: Tick

Instances

Instances details

Show ComponentTicks Source #
Instance details Defined in Mischief.ECS.Components Methods showsPrec :: Int -> ComponentTicks -> ShowS # show :: ComponentTicks -> String # showList :: [ComponentTicks] -> ShowS #

data ComponentData Source #

Data for a component that's stored in a table.

Constructors

ComponentData
Fields value :: ErasedComponent ticks :: ComponentTicks

Storage

newtype Components Source #

Contains data and methods for assigning ComponentIds to new components (via their TypeRep).

Constructors

Components
Fields components :: HashMap TypeRep Word Maps `TypeRep`s to Ints, to be used as the first half of a `ComponentId`.

emptyComponents :: IO Components Source #

Construct an empty Components.

getComponentId :: TypeRep -> Components -> IO (Maybe ComponentId) Source #

Get the id of a component through IO.

Utils

newtype Pair Source #

Constructors

Pair (ComponentType, Entity)

data Rel c Source #

Type used for querying and inserting relationships.

Constructors

Rel
Fields comp :: c target :: Entity

Instances

Instances details

Component c => Updateable' 'False (Result (Rel c)) Source #
Instance details Defined in Mischief.ECS.World.Insert Methods updateInner' :: Result (Rel c) -> System (Maybe (Result (Rel c))) Source #
Component c => GetResultComponentId' 'False (Result (Rel c)) Source #
Instance details Defined in Mischief.ECS.World.Query Methods getResultComponentId' :: MonadSystem w m => Result (Rel c) -> m (Maybe ComponentId) Source #
DeepValue' 'False (Result (Rel c)) c Source #
Instance details Defined in Mischief.ECS.Tables Methods deepValue' :: Result (Rel c) -> c Source #
Component c => Settable' 'False (Result (Rel c)) c Source #
Instance details Defined in Mischief.ECS.World.Insert Methods setInner' :: Result (Rel c) -> c -> System () Source # setIfNeqInner' :: Result (Rel c) -> c -> System () Source #
Component c => RelQuery 'Exclusive (MR c Any) (Maybe (Result (Rel c))) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe (Maybe (Result (Rel c)))) Source # relRunQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (Result (Rel c)))] Source # relQueryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Exclusive (R c Any) (Result (Rel c)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c Any -> World -> Entity -> IO (Maybe (Result (Rel c))) Source # relRunQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Result (Rel c))] Source # relQueryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Inclusive (MR c Any) (Maybe [Result (Rel c)]) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe (Maybe [Result (Rel c)])) Source # relRunQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe [Result (Rel c)])] Source # relQueryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Inclusive (R c Any) [Result (Rel c)] Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c Any -> World -> Entity -> IO (Maybe [Result (Rel c)]) Source # relRunQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, [Result (Rel c)])] Source # relQueryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
Show c => Show (Rel c) Source #
Instance details Defined in Mischief.ECS.Components Methods showsPrec :: Int -> Rel c -> ShowS # show :: Rel c -> String # showList :: [Rel c] -> ShowS #
Component c => EraseIntoStorage (Rel c) (BundleData ErasedComponent) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: Rel c -> BundleData ErasedComponent Source #
(Component c, Eq c) => EraseIntoStorage (Rel c) (BundleData ErasedComponentEq) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: Rel c -> BundleData ErasedComponentEq Source #
Component c => Queryable (MR c Entity) (Maybe (Result (Rel c))) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: MR c Entity -> World -> Entity -> IO (Maybe (Maybe (Result (Rel c)))) Source # runQueryInternal :: MR c Entity -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (Result (Rel c)))] Source # queryTypes :: MR c Entity -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (R c Entity) (Result (Rel c)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R c Entity -> World -> Entity -> IO (Maybe (Result (Rel c))) Source # runQueryInternal :: R c Entity -> [ArchetypeId] -> World -> IO [(Entity, Bool, Result (Rel c))] Source # queryTypes :: R c Entity -> Set (TypeRep, TypeQuery) Source #

data ComponentRep Source #

Constructors

ComponentRep ComponentType
PairRep (ComponentType, Entity)

Instances

Instances details

Show ComponentRep Source #
Instance details Defined in Mischief.ECS.Components Methods showsPrec :: Int -> ComponentRep -> ShowS # show :: ComponentRep -> String # showList :: [ComponentRep] -> ShowS #
Eq ComponentRep Source #
Instance details Defined in Mischief.ECS.Components Methods (==) :: ComponentRep -> ComponentRep -> Bool # (/=) :: ComponentRep -> ComponentRep -> Bool #
Ord ComponentRep Source #
Instance details Defined in Mischief.ECS.Components Methods compare :: ComponentRep -> ComponentRep -> Ordering # (<) :: ComponentRep -> ComponentRep -> Bool # (<=) :: ComponentRep -> ComponentRep -> Bool # (>) :: ComponentRep -> ComponentRep -> Bool # (>=) :: ComponentRep -> ComponentRep -> Bool # max :: ComponentRep -> ComponentRep -> ComponentRep # min :: ComponentRep -> ComponentRep -> ComponentRep #

newtype Tick Source #

Constructors

Tick (Int, Int)

Instances

Instances details

Default Tick Source #
Instance details Defined in Mischief.ECS.Components Methods def :: Tick #
Show Tick Source #
Instance details Defined in Mischief.ECS.Components Methods showsPrec :: Int -> Tick -> ShowS # show :: Tick -> String # showList :: [Tick] -> ShowS #
Eq Tick Source #
Instance details Defined in Mischief.ECS.Components Methods (==) :: Tick -> Tick -> Bool # (/=) :: Tick -> Tick -> Bool #
Ord Tick Source #
Instance details Defined in Mischief.ECS.Components Methods compare :: Tick -> Tick -> Ordering # (<) :: Tick -> Tick -> Bool # (<=) :: Tick -> Tick -> Bool # (>) :: Tick -> Tick -> Bool # (>=) :: Tick -> Tick -> Bool # max :: Tick -> Tick -> Tick # min :: Tick -> Tick -> Tick #

data ErasedComponentEq where Source #

Constructors

ErasedComponentEq :: forall c. (Component c, Eq c) => c -> ErasedComponentEq

Instances

Instances details

(Component c, Eq c) => EraseIntoStorage c (BundleData ErasedComponentEq) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: c -> BundleData ErasedComponentEq Source #
(Component c, Eq c) => EraseIntoStorage (Rel c) (BundleData ErasedComponentEq) Source #
Instance details Defined in Mischief.ECS.Components Methods erase :: Rel c -> BundleData ErasedComponentEq Source #

class IsExclusive (e :: Exclusivity) where Source #

Methods

isExclusive :: Bool Source #

Instances

Instances details

IsExclusive 'Exclusive Source #
Instance details Defined in Mischief.ECS.Components Methods isExclusive :: Bool Source #
IsExclusive 'Inclusive Source #
Instance details Defined in Mischief.ECS.Components Methods isExclusive :: Bool Source #

isPair :: ComponentId -> Bool Source #

setCompIdTarget :: Maybe Entity -> ComponentId -> ComponentId Source #