Safe Haskell	Safe-Inferred
Language	Haskell2010

Aztecs.ECS.Schedule.Dynamic

Documentation

type DynamicSchedule m = DynamicScheduleT (AccessT m) Source #

newtype DynamicScheduleT m i o Source #

Constructors

DynamicSchedule
Fields runScheduleDyn :: i -> m (o, DynamicScheduleT m i o)

Instances

Instances details

Monad m => Category (DynamicScheduleT m :: Type -> Type -> Type) Source #
Instance details Defined in Aztecs.ECS.Schedule.Dynamic Methods id :: forall (a :: k). DynamicScheduleT m a a # (.) :: forall (b :: k) (c :: k) (a :: k). DynamicScheduleT m b c -> DynamicScheduleT m a b -> DynamicScheduleT m a c #
Monad m => Arrow (DynamicScheduleT m) Source #
Instance details Defined in Aztecs.ECS.Schedule.Dynamic Methods arr :: (b -> c) -> DynamicScheduleT m b c # first :: DynamicScheduleT m b c -> DynamicScheduleT m (b, d) (c, d) # second :: DynamicScheduleT m b c -> DynamicScheduleT m (d, b) (d, c) # (***) :: DynamicScheduleT m b c -> DynamicScheduleT m b' c' -> DynamicScheduleT m (b, b') (c, c') # (&&&) :: DynamicScheduleT m b c -> DynamicScheduleT m b c' -> DynamicScheduleT m b (c, c') #
Monad m => ArrowChoice (DynamicScheduleT m) Source #
Instance details Defined in Aztecs.ECS.Schedule.Dynamic Methods left :: DynamicScheduleT m b c -> DynamicScheduleT m (Either b d) (Either c d) # right :: DynamicScheduleT m b c -> DynamicScheduleT m (Either d b) (Either d c) # (+++) :: DynamicScheduleT m b c -> DynamicScheduleT m b' c' -> DynamicScheduleT m (Either b b') (Either c c') # (\|\|\|) :: DynamicScheduleT m b d -> DynamicScheduleT m c d -> DynamicScheduleT m (Either b c) d #
MonadFix m => ArrowLoop (DynamicScheduleT m) Source #
Instance details Defined in Aztecs.ECS.Schedule.Dynamic Methods loop :: DynamicScheduleT m (b, d) (c, d) -> DynamicScheduleT m b c #
Functor m => Functor (DynamicScheduleT m i) Source #
Instance details Defined in Aztecs.ECS.Schedule.Dynamic Methods fmap :: (a -> b) -> DynamicScheduleT m i a -> DynamicScheduleT m i b # (<$) :: a -> DynamicScheduleT m i b -> DynamicScheduleT m i a #

fromDynReaderSchedule :: Monad m => DynamicReaderScheduleT m i o -> DynamicScheduleT m i o Source #