Web.Internal.AnimationTypes

Definitions

data AnimationPlayState : Type

Totality: total
Visibility: public export
Constructors:

Idle : AnimationPlayState

Running : AnimationPlayState

Paused : AnimationPlayState

Finished : AnimationPlayState

Hints:

Eq AnimationPlayState

FromFFI AnimationPlayState String

Ord AnimationPlayState

Show AnimationPlayState

ToFFI AnimationPlayState String

read : String -> Maybe AnimationPlayState

Totality: total
Visibility: public export

data FillMode : Type

Totality: total
Visibility: public export
Constructors:

None : FillMode

Forwards : FillMode

Backwards : FillMode

Both : FillMode

Auto : FillMode

Hints:

Eq FillMode

FromFFI FillMode String

Ord FillMode

Show FillMode

ToFFI FillMode String

read : String -> Maybe FillMode

Totality: total
Visibility: public export

data PlaybackDirection : Type

Totality: total
Visibility: public export
Constructors:

Normal : PlaybackDirection

Reverse : PlaybackDirection

Alternate : PlaybackDirection

AlternateReverse : PlaybackDirection

Hints:

Eq PlaybackDirection

FromFFI PlaybackDirection String

Ord PlaybackDirection

Show PlaybackDirection

ToFFI PlaybackDirection String

read : String -> Maybe PlaybackDirection

Totality: total
Visibility: public export

data IterationCompositeOperation : Type

Totality: total
Visibility: public export
Constructors:

Replace : IterationCompositeOperation

Accumulate : IterationCompositeOperation

Hints:

Eq IterationCompositeOperation

FromFFI IterationCompositeOperation String

Ord IterationCompositeOperation

Show IterationCompositeOperation

ToFFI IterationCompositeOperation String

read : String -> Maybe IterationCompositeOperation

Totality: total
Visibility: public export

data CompositeOperation : Type

Totality: total
Visibility: public export
Constructors:

Replace : CompositeOperation

Add : CompositeOperation

Accumulate : CompositeOperation

Hints:

Eq CompositeOperation

FromFFI CompositeOperation String

Ord CompositeOperation

Show CompositeOperation

ToFFI CompositeOperation String

read : String -> Maybe CompositeOperation

Totality: total
Visibility: public export

data CompositeOperationOrAuto : Type

Totality: total
Visibility: public export
Constructors:

Replace : CompositeOperationOrAuto

Add : CompositeOperationOrAuto

Accumulate : CompositeOperationOrAuto

Auto : CompositeOperationOrAuto

Hints:

Eq CompositeOperationOrAuto

FromFFI CompositeOperationOrAuto String

Ord CompositeOperationOrAuto

Show CompositeOperationOrAuto

ToFFI CompositeOperationOrAuto String

read : String -> Maybe CompositeOperationOrAuto

Totality: total
Visibility: public export

data Animation : Type

Totality: total
Visibility: export
Hints:

FromFFI Animation Animation

JSType Animation

SafeCast Animation

ToFFI Animation Animation

data AnimationEffect : Type

Totality: total
Visibility: export
Hints:

FromFFI AnimationEffect AnimationEffect

JSType AnimationEffect

SafeCast AnimationEffect

ToFFI AnimationEffect AnimationEffect

data AnimationPlaybackEvent : Type

Totality: total
Visibility: export
Hints:

FromFFI AnimationPlaybackEvent AnimationPlaybackEvent

JSType AnimationPlaybackEvent

SafeCast AnimationPlaybackEvent

ToFFI AnimationPlaybackEvent AnimationPlaybackEvent

data AnimationTimeline : Type

Totality: total
Visibility: export
Hints:

FromFFI AnimationTimeline AnimationTimeline

JSType AnimationTimeline

SafeCast AnimationTimeline

ToFFI AnimationTimeline AnimationTimeline

data DocumentTimeline : Type

Totality: total
Visibility: export
Hints:

FromFFI DocumentTimeline DocumentTimeline

JSType DocumentTimeline

SafeCast DocumentTimeline

ToFFI DocumentTimeline DocumentTimeline

data KeyframeEffect : Type

Totality: total
Visibility: export
Hints:

FromFFI KeyframeEffect KeyframeEffect

JSType KeyframeEffect

SafeCast KeyframeEffect

ToFFI KeyframeEffect KeyframeEffect

data AnimationPlaybackEventInit : Type

Totality: total
Visibility: export
Hints:

FromFFI AnimationPlaybackEventInit AnimationPlaybackEventInit

JSType AnimationPlaybackEventInit

ToFFI AnimationPlaybackEventInit AnimationPlaybackEventInit

data BaseComputedKeyframe : Type

Totality: total
Visibility: export
Hints:

FromFFI BaseComputedKeyframe BaseComputedKeyframe

JSType BaseComputedKeyframe

ToFFI BaseComputedKeyframe BaseComputedKeyframe

data BaseKeyframe : Type

Totality: total
Visibility: export
Hints:

FromFFI BaseKeyframe BaseKeyframe

JSType BaseKeyframe

ToFFI BaseKeyframe BaseKeyframe

data BasePropertyIndexedKeyframe : Type

Totality: total
Visibility: export
Hints:

FromFFI BasePropertyIndexedKeyframe BasePropertyIndexedKeyframe

JSType BasePropertyIndexedKeyframe

ToFFI BasePropertyIndexedKeyframe BasePropertyIndexedKeyframe

data ComputedEffectTiming : Type

Totality: total
Visibility: export
Hints:

FromFFI ComputedEffectTiming ComputedEffectTiming

JSType ComputedEffectTiming

ToFFI ComputedEffectTiming ComputedEffectTiming

data DocumentTimelineOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI DocumentTimelineOptions DocumentTimelineOptions

JSType DocumentTimelineOptions

ToFFI DocumentTimelineOptions DocumentTimelineOptions

data EffectTiming : Type

Totality: total
Visibility: export
Hints:

FromFFI EffectTiming EffectTiming

JSType EffectTiming

ToFFI EffectTiming EffectTiming

data KeyframeAnimationOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI KeyframeAnimationOptions KeyframeAnimationOptions

JSType KeyframeAnimationOptions

ToFFI KeyframeAnimationOptions KeyframeAnimationOptions

data KeyframeEffectOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI KeyframeEffectOptions KeyframeEffectOptions

JSType KeyframeEffectOptions

ToFFI KeyframeEffectOptions KeyframeEffectOptions

data OptionalEffectTiming : Type

Totality: total
Visibility: export
Hints:

FromFFI OptionalEffectTiming OptionalEffectTiming

JSType OptionalEffectTiming

ToFFI OptionalEffectTiming OptionalEffectTiming

data Animatable : Type

Totality: total
Visibility: export
Hints:

FromFFI Animatable Animatable

ToFFI Animatable Animatable