Web.Raw.Animation

(source)

Definitions

currentTime : {auto 0 {conArg:3573} : JSType t} -> {auto 0 _ : Elem Animation (Types t)} -> t -> Attribute False Maybe Double: Totality: total
Visibility: export
effect : {auto 0 {conArg:3613} : JSType t} -> {auto 0 _ : Elem Animation (Types t)} -> t -> Attribute False Maybe AnimationEffect: Totality: total
Visibility: export
finished : {auto 0 {conArg:3651} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> JSIO (Promise Animation): Totality: total
Visibility: export
id : {auto 0 {conArg:3679} : JSType t} -> {auto 0 _ : Elem Animation (Types t)} -> t -> Attribute True id String: Totality: total
Visibility: export
oncancel : {auto 0 {conArg:3719} : JSType t} -> {auto 0 _ : Elem Animation (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
onfinish : {auto 0 {conArg:3757} : JSType t} -> {auto 0 _ : Elem Animation (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
pending : {auto 0 {conArg:3795} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> JSIO Bool: Totality: total
Visibility: export
playState : {auto 0 {conArg:3827} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> JSIO AnimationPlayState: Totality: total
Visibility: export
playbackRate : {auto 0 {conArg:3859} : JSType t} -> {auto 0 _ : Elem Animation (Types t)} -> t -> Attribute True id Double: Totality: total
Visibility: export
ready : {auto 0 {conArg:3897} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> JSIO (Promise Animation): Totality: total
Visibility: export
startTime : {auto 0 {conArg:3925} : JSType t} -> {auto 0 _ : Elem Animation (Types t)} -> t -> Attribute False Maybe Double: Totality: total
Visibility: export
timeline : {auto 0 {conArg:3963} : JSType t} -> {auto 0 _ : Elem Animation (Types t)} -> t -> Attribute False Maybe AnimationTimeline: Totality: total
Visibility: export
cancel : {auto 0 {conArg:4001} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> JSIO (): Totality: total
Visibility: export
finish : {auto 0 {conArg:4030} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> JSIO (): Totality: total
Visibility: export
pause : {auto 0 {conArg:4059} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> JSIO (): Totality: total
Visibility: export
play : {auto 0 {conArg:4088} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> JSIO (): Totality: total
Visibility: export
reverse : {auto 0 {conArg:4117} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> JSIO (): Totality: total
Visibility: export
updatePlaybackRate : {auto 0 {conArg:4146} : JSType t1} -> {auto 0 _ : Elem Animation (Types t1)} -> t1 -> Double -> JSIO (): Totality: total
Visibility: export
getComputedTiming : {auto 0 {conArg:4178} : JSType t1} -> {auto 0 _ : Elem AnimationEffect (Types t1)} -> t1 -> JSIO ComputedEffectTiming: Totality: total
Visibility: export
getTiming : {auto 0 {conArg:4206} : JSType t1} -> {auto 0 _ : Elem AnimationEffect (Types t1)} -> t1 -> JSIO EffectTiming: Totality: total
Visibility: export
updateTiming' : {auto 0 {conArg:4234} : JSType t1} -> {auto 0 {conArg:4237} : JSType t2} -> {auto 0 _ : Elem AnimationEffect (Types t1)} -> {auto 0 _ : Elem OptionalEffectTiming (Types t2)} -> t1 -> Optional t2 -> JSIO (): Totality: total
Visibility: export
updateTiming : {auto 0 {conArg:4287} : JSType t1} -> {auto 0 _ : Elem AnimationEffect (Types t1)} -> t1 -> JSIO (): Totality: total
Visibility: export
currentTime : AnimationPlaybackEvent -> JSIO (Maybe Double): Totality: total
Visibility: export
timelineTime : AnimationPlaybackEvent -> JSIO (Maybe Double): Totality: total
Visibility: export
currentTime : {auto 0 {conArg:4345} : JSType t1} -> {auto 0 _ : Elem AnimationTimeline (Types t1)} -> t1 -> JSIO (Maybe Double): Totality: total
Visibility: export
composite : KeyframeEffect -> Attribute True id CompositeOperation: Totality: total
Visibility: export
iterationComposite : KeyframeEffect -> Attribute True id IterationCompositeOperation: Totality: total
Visibility: export
target : KeyframeEffect -> Attribute False Maybe (HSum [Element, CSSPseudoElement]): Totality: total
Visibility: export
getKeyframes : KeyframeEffect -> JSIO (Array Object): Totality: total
Visibility: export
setKeyframes : {auto 0 {conArg:4506} : JSType t2} -> {auto 0 _ : Elem Object (Types t2)} -> KeyframeEffect -> Maybe t2 -> JSIO (): Totality: total
Visibility: export
animate' : {auto 0 {conArg:4537} : JSType t1} -> {auto 0 {conArg:4540} : JSType t2} -> {auto 0 _ : Elem Animatable (Types t1)} -> {auto 0 _ : Elem Object (Types t2)} -> t1 -> Maybe t2 -> Optional (HSum [Double, KeyframeAnimationOptions]) -> JSIO Animation: Totality: total
Visibility: export
animate : {auto 0 {conArg:4626} : JSType t1} -> {auto 0 {conArg:4629} : JSType t2} -> {auto 0 _ : Elem Animatable (Types t1)} -> {auto 0 _ : Elem Object (Types t2)} -> t1 -> Maybe t2 -> JSIO Animation: Totality: total
Visibility: export
getAnimations : {auto 0 {conArg:4679} : JSType t1} -> {auto 0 _ : Elem Animatable (Types t1)} -> t1 -> JSIO (Array Animation): Totality: total
Visibility: export
new' : Optional (Maybe Double) -> Optional (Maybe Double) -> JSIO AnimationPlaybackEventInit: Totality: total
Visibility: export
new : JSIO AnimationPlaybackEventInit: Totality: total
Visibility: export
currentTime : {auto 0 {conArg:4741} : JSType t} -> {auto 0 _ : Elem AnimationPlaybackEventInit (Types t)} -> t -> Attribute True Optional (Maybe Double): Totality: total
Visibility: export
timelineTime : {auto 0 {conArg:4790} : JSType t} -> {auto 0 _ : Elem AnimationPlaybackEventInit (Types t)} -> t -> Attribute True Optional (Maybe Double): Totality: total
Visibility: export
new' : Optional (Maybe Double) -> Optional Double -> Optional String -> Optional CompositeOperationOrAuto -> JSIO BaseComputedKeyframe: Totality: total
Visibility: export
new : JSIO BaseComputedKeyframe: Totality: total
Visibility: export
composite : {auto 0 {conArg:4887} : JSType t} -> {auto 0 _ : Elem BaseComputedKeyframe (Types t)} -> t -> Attribute False Optional CompositeOperationOrAuto: Totality: total
Visibility: export
computedOffset : {auto 0 {conArg:4926} : JSType t} -> {auto 0 _ : Elem BaseComputedKeyframe (Types t)} -> t -> Attribute False Optional Double: Totality: total
Visibility: export
easing : {auto 0 {conArg:4963} : JSType t} -> {auto 0 _ : Elem BaseComputedKeyframe (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
offset : {auto 0 {conArg:5005} : JSType t} -> {auto 0 _ : Elem BaseComputedKeyframe (Types t)} -> t -> Attribute True Optional (Maybe Double): Totality: total
Visibility: export
new' : Optional (Maybe Double) -> Optional String -> Optional CompositeOperationOrAuto -> JSIO BaseKeyframe: Totality: total
Visibility: export
new : JSIO BaseKeyframe: Totality: total
Visibility: export
composite : {auto 0 {conArg:5094} : JSType t} -> {auto 0 _ : Elem BaseKeyframe (Types t)} -> t -> Attribute False Optional CompositeOperationOrAuto: Totality: total
Visibility: export
easing : {auto 0 {conArg:5133} : JSType t} -> {auto 0 _ : Elem BaseKeyframe (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
offset : {auto 0 {conArg:5175} : JSType t} -> {auto 0 _ : Elem BaseKeyframe (Types t)} -> t -> Attribute True Optional (Maybe Double): Totality: total
Visibility: export
new' : Optional (Maybe (HSum [Double, Array (Nullable Double)])) -> Optional (HSum [String, Array String]) -> Optional (HSum [CompositeOperationOrAuto, Array String]) -> JSIO BasePropertyIndexedKeyframe: Totality: total
Visibility: export
new : JSIO BasePropertyIndexedKeyframe: Totality: total
Visibility: export
composite : {auto 0 {conArg:5351} : JSType t} -> {auto 0 _ : Elem BasePropertyIndexedKeyframe (Types t)} -> t -> Attribute False Optional (Union2 String (Array String)): Totality: total
Visibility: export
easing : {auto 0 {conArg:5396} : JSType t} -> {auto 0 _ : Elem BasePropertyIndexedKeyframe (Types t)} -> t -> Attribute False Optional (Union2 String (Array String)): Totality: total
Visibility: export
offset : {auto 0 {conArg:5441} : JSType t} -> {auto 0 _ : Elem BasePropertyIndexedKeyframe (Types t)} -> t -> Attribute False Optional (Maybe (Union2 Double (Array (Nullable Double)))): Totality: total
Visibility: export
new' : Optional Double -> Optional Double -> Optional (Maybe Double) -> Optional (Maybe Double) -> Optional (Maybe Double) -> JSIO ComputedEffectTiming: Totality: total
Visibility: export
new : JSIO ComputedEffectTiming: Totality: total
Visibility: export
activeDuration : {auto 0 {conArg:5560} : JSType t} -> {auto 0 _ : Elem ComputedEffectTiming (Types t)} -> t -> Attribute False Optional Double: Totality: total
Visibility: export
currentIteration : {auto 0 {conArg:5597} : JSType t} -> {auto 0 _ : Elem ComputedEffectTiming (Types t)} -> t -> Attribute False Optional (Maybe Double): Totality: total
Visibility: export
endTime : {auto 0 {conArg:5641} : JSType t} -> {auto 0 _ : Elem ComputedEffectTiming (Types t)} -> t -> Attribute False Optional Double: Totality: total
Visibility: export
localTime : {auto 0 {conArg:5678} : JSType t} -> {auto 0 _ : Elem ComputedEffectTiming (Types t)} -> t -> Attribute False Optional (Maybe Double): Totality: total
Visibility: export
progress : {auto 0 {conArg:5722} : JSType t} -> {auto 0 _ : Elem ComputedEffectTiming (Types t)} -> t -> Attribute False Optional (Maybe Double): Totality: total
Visibility: export
new' : Optional Double -> JSIO DocumentTimelineOptions: Totality: total
Visibility: export
new : JSIO DocumentTimelineOptions: Totality: total
Visibility: export
originTime : {auto 0 {conArg:5782} : JSType t} -> {auto 0 _ : Elem DocumentTimelineOptions (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
new' : Optional Double -> Optional Double -> Optional FillMode -> Optional Double -> Optional Double -> Optional (HSum [Double, String]) -> Optional PlaybackDirection -> Optional String -> JSIO EffectTiming: Totality: total
Visibility: export
new : JSIO EffectTiming: Totality: total
Visibility: export
delay : {auto 0 {conArg:5936} : JSType t} -> {auto 0 _ : Elem EffectTiming (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
direction : {auto 0 {conArg:5978} : JSType t} -> {auto 0 _ : Elem EffectTiming (Types t)} -> t -> Attribute False Optional PlaybackDirection: Totality: total
Visibility: export
duration : {auto 0 {conArg:6017} : JSType t} -> {auto 0 _ : Elem EffectTiming (Types t)} -> t -> Attribute False Optional (HSum [Double, String]): Totality: total
Visibility: export
easing : {auto 0 {conArg:6120} : JSType t} -> {auto 0 _ : Elem EffectTiming (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
endDelay : {auto 0 {conArg:6162} : JSType t} -> {auto 0 _ : Elem EffectTiming (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
fill : {auto 0 {conArg:6204} : JSType t} -> {auto 0 _ : Elem EffectTiming (Types t)} -> t -> Attribute False Optional FillMode: Totality: total
Visibility: export
iterationStart : {auto 0 {conArg:6243} : JSType t} -> {auto 0 _ : Elem EffectTiming (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
iterations : {auto 0 {conArg:6285} : JSType t} -> {auto 0 _ : Elem EffectTiming (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
new' : Optional String -> JSIO KeyframeAnimationOptions: Totality: total
Visibility: export
new : JSIO KeyframeAnimationOptions: Totality: total
Visibility: export
id : {auto 0 {conArg:6343} : JSType t} -> {auto 0 _ : Elem KeyframeAnimationOptions (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
new' : Optional IterationCompositeOperation -> Optional CompositeOperation -> JSIO KeyframeEffectOptions: Totality: total
Visibility: export
new : JSIO KeyframeEffectOptions: Totality: total
Visibility: export
composite : {auto 0 {conArg:6411} : JSType t} -> {auto 0 _ : Elem KeyframeEffectOptions (Types t)} -> t -> Attribute False Optional CompositeOperation: Totality: total
Visibility: export
iterationComposite : {auto 0 {conArg:6450} : JSType t} -> {auto 0 _ : Elem KeyframeEffectOptions (Types t)} -> t -> Attribute False Optional IterationCompositeOperation: Totality: total
Visibility: export
new' : Optional Double -> Optional Double -> Optional FillMode -> Optional Double -> Optional Double -> Optional (HSum [Double, String]) -> Optional PlaybackDirection -> Optional String -> JSIO OptionalEffectTiming: Totality: total
Visibility: export
new : JSIO OptionalEffectTiming: Totality: total
Visibility: export
delay : {auto 0 {conArg:6603} : JSType t} -> {auto 0 _ : Elem OptionalEffectTiming (Types t)} -> t -> Attribute False Optional Double: Totality: total
Visibility: export
direction : {auto 0 {conArg:6642} : JSType t} -> {auto 0 _ : Elem OptionalEffectTiming (Types t)} -> t -> Attribute False Optional PlaybackDirection: Totality: total
Visibility: export
duration : {auto 0 {conArg:6681} : JSType t} -> {auto 0 _ : Elem OptionalEffectTiming (Types t)} -> t -> Attribute False Optional (HSum [Double, String]): Totality: total
Visibility: export
easing : {auto 0 {conArg:6784} : JSType t} -> {auto 0 _ : Elem OptionalEffectTiming (Types t)} -> t -> Attribute False Optional String: Totality: total
Visibility: export
endDelay : {auto 0 {conArg:6823} : JSType t} -> {auto 0 _ : Elem OptionalEffectTiming (Types t)} -> t -> Attribute False Optional Double: Totality: total
Visibility: export
fill : {auto 0 {conArg:6862} : JSType t} -> {auto 0 _ : Elem OptionalEffectTiming (Types t)} -> t -> Attribute False Optional FillMode: Totality: total
Visibility: export
iterationStart : {auto 0 {conArg:6901} : JSType t} -> {auto 0 _ : Elem OptionalEffectTiming (Types t)} -> t -> Attribute False Optional Double: Totality: total
Visibility: export
iterations : {auto 0 {conArg:6940} : JSType t} -> {auto 0 _ : Elem OptionalEffectTiming (Types t)} -> t -> Attribute False Optional Double: Totality: total
Visibility: export