Graphics.CanvasAction.Run

type CANVAS = FProxy CanvasActionM

Type alias for using CanvasActionM as an effect

_canvas :: SProxy "canvas"

Symbol proxy for "canvas"

liftCanvasAction :: forall a r. CanvasActionM a -> Run (canvas :: CANVAS | r) a

Lift a CanvasActionM into Run via the canvas label

liftCanvasActionAt :: forall r2 r1 s. IsSymbol s => Cons s CANVAS r1 r2 => SProxy s -> CanvasActionM ~> (Run r2)

Lift a CanvasActionM into Run via the provided label

runCanvas :: forall r. Context2D -> (Run (canvas :: CANVAS, effect :: EFFECT | r)) ~> (Run (effect :: EFFECT | r))

runCanvasAt :: forall r2 r1 r0 canvas effect. IsSymbol effect => IsSymbol canvas => Cons effect EFFECT r0 r1 => Cons canvas CANVAS r1 r2 => SProxy effect -> SProxy canvas -> Context2D -> (Run r2) ~> (Run r1)

runBaseCanvas :: (Run (canvas :: CANVAS)) ~> CanvasActionM

Runs a base CanvasActionM effect

runBaseCanvasAt :: forall r s. IsSymbol s => Cons s CANVAS () r => SProxy s -> (Run r) ~> CanvasActionM

Runs a base CanvasActionM effect at the provided label

runBaseCanvas' :: (Run (canvas :: CANVAS, effect :: EFFECT)) ~> CanvasActionM

Runs base CanvasActionM and Effect together as one effect

runBaseCanvasAt' :: forall r2 r1 canvas effect. IsSymbol effect => IsSymbol canvas => Cons effect EFFECT () r1 => Cons canvas CANVAS r1 r2 => SProxy effect -> SProxy canvas -> (Run r2) ~> CanvasActionM

Runs base CanvasActionM and Effect together as one effect at the provided labels