aztecs-0.13.0: src/Aztecs/ECS/System.hs

{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}

module Aztecs.ECS.System where

import Aztecs.ECS.Access.Internal
import Aztecs.ECS.HSet
import Aztecs.ECS.Queryable.Internal
import Aztecs.ECS.World

class System m sys where
  type SystemInputs m sys
  runSystem :: sys -> SystemInputs m sys -> m ()

runSystemWithWorld ::
  ( System m sys,
    Access cs m (SystemInputs m sys),
    Subset (AccessToComponents (AccessType (SystemInputs m sys))) cs,
    ValidAccessInput (AccessType (SystemInputs m sys))
  ) =>
  sys ->
  World m cs ->
  m ()
runSystemWithWorld sys world = runSystem sys (access world)