Copyright	(c) Matt Hunzinger 2025
License	BSD-style (see the LICENSE file in the distribution)
Maintainer	matt@hunzinger.me
Stability	provisional
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Aztecs.ECS.Access.Internal

Description

Synopsis

newtype Access (m :: Type -> Type) a = Access {
- unAccess :: StateT (World m) m a
}
runAccessWith :: Access m a -> World m -> m (a, World m)
evalAccess :: Monad m => Access m a -> World m -> m a
triggerEvent :: forall (m :: Type -> Type) e. (Monad m, Event e) => e -> Access m ()
triggerEntityEvent :: forall (m :: Type -> Type) e. (Monad m, Event e) => EntityID -> e -> Access m ()

Documentation

newtype Access (m :: Type -> Type) a Source #

Access into a World.

Constructors

Access
Fields unAccess :: StateT (World m) m a

Instances details

MonadFix m => MonadFix (Access m) Source #
Instance details Defined in Aztecs.ECS.Access.Internal Methods mfix :: (a -> Access m a) -> Access m a #
MonadIO m => MonadIO (Access m) Source #
Instance details Defined in Aztecs.ECS.Access.Internal Methods liftIO :: IO a -> Access m a #
Monad m => Applicative (Access m) Source #
Instance details Defined in Aztecs.ECS.Access.Internal Methods pure :: a -> Access m a # (<>) :: Access m (a -> b) -> Access m a -> Access m b # liftA2 :: (a -> b -> c) -> Access m a -> Access m b -> Access m c # (>) :: Access m a -> Access m b -> Access m b # (<*) :: Access m a -> Access m b -> Access m a #
Functor m => Functor (Access m) Source #
Instance details Defined in Aztecs.ECS.Access.Internal Methods fmap :: (a -> b) -> Access m a -> Access m b # (<$) :: a -> Access m b -> Access m a #
Monad m => Monad (Access m) Source #
Instance details Defined in Aztecs.ECS.Access.Internal Methods (>>=) :: Access m a -> (a -> Access m b) -> Access m b # (>>) :: Access m a -> Access m b -> Access m b # return :: a -> Access m a #

Run an Access with a given World, returning the result and updated world.

Run an Access with a given World, returning only the result.

triggerEvent :: forall (m :: Type -> Type) e. (Monad m, Event e) => e -> Access m () Source #

Trigger an event.

Trigger an event for a specific entity.