Module

Game.Aff.Run

Package
purescript-game
Repository
artemisSystem/purescript-game

#AFFGAME Source

type AFFGAME extra = FProxy (AffGame extra)

#_affGame Source

_affGame :: SProxy "affGame"

#liftAffGame Source

liftAffGame :: forall r a extra. AffGame extra a -> Run (affGame :: AFFGAME extra | r) a

#liftAffGameAt Source

liftAffGameAt :: forall s r a extra t. IsSymbol s => Cons s (AFFGAME extra) t r => SProxy s -> AffGame extra a -> Run r a

#runAffGame Source

runAffGame :: forall r extra. Reducer extra Req -> (Run (aff :: AFF, affGame :: AFFGAME extra | r)) ~> (Run (aff :: AFF | r))

#runAffGameAt Source

runAffGameAt :: forall r2 r1 r0 extra affGame aff. IsSymbol aff => IsSymbol affGame => Cons aff AFF r0 r1 => Cons affGame (AFFGAME extra) r1 r2 => SProxy aff -> SProxy affGame -> Reducer extra Req -> (Run r2) ~> (Run r1)

#runBaseAffGame Source

runBaseAffGame :: forall extra. (Run (affGame :: AFFGAME extra)) ~> (AffGame extra)

Runs a base AffGame effect

#runBaseAffGameAt Source

runBaseAffGameAt :: forall r s extra. IsSymbol s => Cons s (AFFGAME extra) () r => SProxy s -> (Run r) ~> (AffGame extra)

Runs a base AffGame effect at the provided label

#runBaseAffGame' Source

runBaseAffGame' :: forall extra. (Run (aff :: AFF, affGame :: AFFGAME extra, effect :: EFFECT)) ~> (AffGame extra)

Runs base AffGame, Aff and Effect together as one effect

#runBaseAffGameAt' Source

runBaseAffGameAt' :: forall r3 r2 r1 extra affGame aff effect. IsSymbol effect => IsSymbol aff => IsSymbol affGame => Cons effect EFFECT () r1 => Cons aff AFF r1 r2 => Cons affGame (AFFGAME extra) r2 r3 => SProxy effect -> SProxy aff -> SProxy affGame -> (Run r3) ~> (AffGame extra)

Runs base AffGame, Aff and Effect together as one effect at the provided labels