Data.Aztecs

Documentation

data Access m a

Instances

MonadIO m => MonadIO (Access m)

Defined in Data.Aztecs.Access

Methods

liftIO :: IO a -> Access m a

Monad m => Applicative (Access m)

Defined in Data.Aztecs.Access

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)

Defined in Data.Aztecs.Access

Methods

fmap :: (a -> b) -> Access m a -> Access m b

(<$) :: a -> Access m b -> Access m a

Monad m => Monad (Access m)

Defined in Data.Aztecs.Access

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

runAccess :: Access m a -> World -> m (a, World)

class (Typeable a, Storage (StorageT a) a) => Component a

Associated Types

type StorageT a :: Type -> Type

type StorageT a = IntMap

data EntityID

Instances

Show EntityID

Defined in Data.Aztecs.Core

Methods

showsPrec :: Int -> EntityID -> ShowS

show :: EntityID -> String

showList :: [EntityID] -> ShowS

Eq EntityID

Defined in Data.Aztecs.Core

Methods

(==) :: EntityID -> EntityID -> Bool

(/=) :: EntityID -> EntityID -> Bool

Ord EntityID

Defined in Data.Aztecs.Core

Methods

compare :: EntityID -> EntityID -> Ordering

(<) :: EntityID -> EntityID -> Bool

(<=) :: EntityID -> EntityID -> Bool

(>) :: EntityID -> EntityID -> Bool

(>=) :: EntityID -> EntityID -> Bool

max :: EntityID -> EntityID -> EntityID

min :: EntityID -> EntityID -> EntityID

data Entity (ts :: [Type])

Instances

FromEntity (Entity ts)

Defined in Data.Aztecs.Entity

Methods

fromEntity :: Entity (EntityT (Entity ts)) -> Entity ts

ToEntity (Entity ts)

Defined in Data.Aztecs.Entity

Methods

toEntity :: Entity ts -> Entity (EntityT (Entity ts))

(Show a, Show' (Entity as)) => Show (Entity (a ': as))

Defined in Data.Aztecs.Entity

Methods

showsPrec :: Int -> Entity (a ': as) -> ShowS

show :: Entity (a ': as) -> String

showList :: [Entity (a ': as)] -> ShowS

Show (Entity ('[] :: [Type]))

Defined in Data.Aztecs.Entity

Methods

showsPrec :: Int -> Entity '[] -> ShowS

show :: Entity '[] -> String

showList :: [Entity '[]] -> ShowS

data a :& b

Constructors

a :& b

Instances

(FromEntity a, FromEntity b, EntityT (a :& b) ~ (a ': EntityT b)) => FromEntity (a :& b)

Defined in Data.Aztecs.Entity

Methods

fromEntity :: Entity (EntityT (a :& b)) -> a :& b

(ToEntity a, ToEntity b, EntityT (a :& b) ~ (a ': EntityT b)) => ToEntity (a :& b)

Defined in Data.Aztecs.Entity

Methods

toEntity :: (a :& b) -> Entity (EntityT (a :& b))