aztecs-0.14.0: A modular game engine and Entity-Component-System (ECS) for Haskell.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Aztecs.ECS.Access

Documentation

class Functor m => Access (m :: Type -> Type) a where Source #

Minimal complete definition

Nothing

Associated Types

type AccessType a :: [Type] Source #

Methods

access :: m a Source #

default access :: (Generic a, GenericAccess m (Rep a), ValidAccessInput (GenericAccessType (Rep a)), AccessType a ~ GenericAccessType (Rep a)) => m a Source #

Instances

Instances details
Applicative m => Access m () Source # 
Instance details

Defined in Aztecs.ECS.Access.Internal

Associated Types

type AccessType () 
Instance details

Defined in Aztecs.ECS.Access.Internal

type AccessType () = '[] :: [Type]

Methods

access :: m () Source #

(Applicative m, ECS m) => Access m (HSet ('[] :: [Type])) Source # 
Instance details

Defined in Aztecs.ECS.Scheduler.Internal

Associated Types

type AccessType (HSet ('[] :: [Type])) 
Instance details

Defined in Aztecs.ECS.Scheduler.Internal

type AccessType (HSet ('[] :: [Type])) = '[] :: [Type]

Methods

access :: m (HSet ('[] :: [Type])) Source #

(ECS m, Applicative m, Queryable m a) => Access m (Query a) Source # 
Instance details

Defined in Aztecs.ECS.Access.Internal

Associated Types

type AccessType (Query a) 
Instance details

Defined in Aztecs.ECS.Access.Internal

type AccessType (Query a) = QueryableAccess a

Methods

access :: m (Query a) Source #

(Applicative m, Access m a, Access m b, ValidAccessInput (AccessType a), ValidAccessInput (AccessType b), ValidAccessInput (AccessType a ++ AccessType b)) => Access m (a, b) Source # 
Instance details

Defined in Aztecs.ECS.Access.Internal

Associated Types

type AccessType (a, b) 
Instance details

Defined in Aztecs.ECS.Access.Internal

type AccessType (a, b) = AccessType a ++ AccessType b

Methods

access :: m (a, b) Source #

(Applicative m, Access m a, Access m b, Access m c, ValidAccessInput (AccessType a), ValidAccessInput (AccessType b), ValidAccessInput (AccessType c), ValidAccessInput (AccessType b ++ AccessType c), ValidAccessInput (AccessType a ++ (AccessType b ++ AccessType c))) => Access m (a, b, c) Source # 
Instance details

Defined in Aztecs.ECS.Access.Internal

Associated Types

type AccessType (a, b, c) 
Instance details

Defined in Aztecs.ECS.Access.Internal

type AccessType (a, b, c) = AccessType a ++ (AccessType b ++ AccessType c)

Methods

access :: m (a, b, c) Source #

(Applicative m, Access m a, Access m b, Access m c, Access m d, ValidAccessInput (AccessType a), ValidAccessInput (AccessType b), ValidAccessInput (AccessType c), ValidAccessInput (AccessType d), ValidAccessInput (AccessType a ++ AccessType b), ValidAccessInput (AccessType c ++ AccessType d), ValidAccessInput ((AccessType a ++ AccessType b) ++ (AccessType c ++ AccessType d))) => Access m (a, b, c, d) Source # 
Instance details

Defined in Aztecs.ECS.Access.Internal

Associated Types

type AccessType (a, b, c, d) 
Instance details

Defined in Aztecs.ECS.Access.Internal

type AccessType (a, b, c, d) = (AccessType a ++ AccessType b) ++ (AccessType c ++ AccessType d)

Methods

access :: m (a, b, c, d) Source #

(Applicative m, Access m a, Access m b, Access m c, Access m d, Access m e, ValidAccessInput (AccessType a), ValidAccessInput (AccessType b), ValidAccessInput (AccessType c), ValidAccessInput (AccessType d), ValidAccessInput (AccessType e), ValidAccessInput (AccessType a ++ AccessType b), ValidAccessInput (AccessType c ++ (AccessType d ++ AccessType e)), ValidAccessInput (AccessType d ++ AccessType e), ValidAccessInput ((AccessType a ++ AccessType b) ++ (AccessType c ++ (AccessType d ++ AccessType e)))) => Access m (a, b, c, d, e) Source # 
Instance details

Defined in Aztecs.ECS.Access.Internal

Associated Types

type AccessType (a, b, c, d, e) 
Instance details

Defined in Aztecs.ECS.Access.Internal

type AccessType (a, b, c, d, e) = (AccessType a ++ AccessType b) ++ (AccessType c ++ (AccessType d ++ AccessType e))

Methods

access :: m (a, b, c, d, e) Source #

(Applicative m, Access m a, Access m b, Access m c, Access m d, Access m e, Access m f, ValidAccessInput (AccessType a), ValidAccessInput (AccessType b), ValidAccessInput (AccessType c), ValidAccessInput (AccessType d), ValidAccessInput (AccessType e), ValidAccessInput (AccessType f), ValidAccessInput (AccessType e ++ AccessType f), ValidAccessInput (AccessType d ++ (AccessType e ++ AccessType f)), ValidAccessInput (AccessType a ++ (AccessType b ++ AccessType c)), ValidAccessInput (AccessType b ++ AccessType c), ValidAccessInput ((AccessType a ++ (AccessType b ++ AccessType c)) ++ (AccessType d ++ (AccessType e ++ AccessType f)))) => Access m (a, b, c, d, e, f) Source # 
Instance details

Defined in Aztecs.ECS.Access.Internal

Associated Types

type AccessType (a, b, c, d, e, f) 
Instance details

Defined in Aztecs.ECS.Access.Internal

type AccessType (a, b, c, d, e, f) = (AccessType a ++ (AccessType b ++ AccessType c)) ++ (AccessType d ++ (AccessType e ++ AccessType f))

Methods

access :: m (a, b, c, d, e, f) Source #

(Applicative m, Access m a, Access m b, Access m c, Access m d, Access m e, Access m f, Access m g, ValidAccessInput (AccessType a), ValidAccessInput (AccessType b), ValidAccessInput (AccessType c), ValidAccessInput (AccessType d), ValidAccessInput (AccessType e), ValidAccessInput (AccessType f), ValidAccessInput (AccessType g), ValidAccessInput (AccessType b ++ AccessType c), ValidAccessInput (AccessType d ++ AccessType e), ValidAccessInput (AccessType f ++ AccessType g), ValidAccessInput (AccessType a ++ (AccessType b ++ AccessType c)), ValidAccessInput ((AccessType d ++ AccessType e) ++ (AccessType f ++ AccessType g)), ValidAccessInput ((AccessType a ++ (AccessType b ++ AccessType c)) ++ ((AccessType d ++ AccessType e) ++ (AccessType f ++ AccessType g)))) => Access m (a, b, c, d, e, f, g) Source # 
Instance details

Defined in Aztecs.ECS.Access.Internal

Associated Types

type AccessType (a, b, c, d, e, f, g) 
Instance details

Defined in Aztecs.ECS.Access.Internal

type AccessType (a, b, c, d, e, f, g) = (AccessType a ++ (AccessType b ++ AccessType c)) ++ ((AccessType d ++ AccessType e) ++ (AccessType f ++ AccessType g))

Methods

access :: m (a, b, c, d, e, f, g) Source #

(Applicative m, Access m a, Access m b, Access m c, Access m d, Access m e, Access m f, Access m g, Access m h, ValidAccessInput (AccessType a), ValidAccessInput (AccessType b), ValidAccessInput (AccessType c), ValidAccessInput (AccessType d), ValidAccessInput (AccessType e), ValidAccessInput (AccessType f), ValidAccessInput (AccessType g), ValidAccessInput (AccessType h), ValidAccessInput (AccessType a ++ AccessType b), ValidAccessInput (AccessType c ++ AccessType d), ValidAccessInput (AccessType e ++ AccessType f), ValidAccessInput (AccessType g ++ AccessType h), ValidAccessInput ((AccessType a ++ AccessType b) ++ (AccessType c ++ AccessType d)), ValidAccessInput ((AccessType e ++ AccessType f) ++ (AccessType g ++ AccessType h)), ValidAccessInput (((AccessType a ++ AccessType b) ++ (AccessType c ++ AccessType d)) ++ ((AccessType e ++ AccessType f) ++ (AccessType g ++ AccessType h)))) => Access m (a, b, c, d, e, f, g, h) Source # 
Instance details

Defined in Aztecs.ECS.Access.Internal

Associated Types

type AccessType (a, b, c, d, e, f, g, h) 
Instance details

Defined in Aztecs.ECS.Access.Internal

type AccessType (a, b, c, d, e, f, g, h) = ((AccessType a ++ AccessType b) ++ (AccessType c ++ AccessType d)) ++ ((AccessType e ++ AccessType f) ++ (AccessType g ++ AccessType h))

Methods

access :: m (a, b, c, d, e, f, g, h) Source #