Web.Internal.CssomviewTypes

Definitions

data ScrollBehavior : Type

Totality: total
Visibility: public export
Constructors:

Auto : ScrollBehavior

Instant : ScrollBehavior

Smooth : ScrollBehavior

Hints:

Eq ScrollBehavior

FromFFI ScrollBehavior String

Ord ScrollBehavior

Show ScrollBehavior

ToFFI ScrollBehavior String

read : String -> Maybe ScrollBehavior

Totality: total
Visibility: public export

data ScrollLogicalPosition : Type

Totality: total
Visibility: public export
Constructors:

Start : ScrollLogicalPosition

Center : ScrollLogicalPosition

End : ScrollLogicalPosition

Nearest : ScrollLogicalPosition

Hints:

Eq ScrollLogicalPosition

FromFFI ScrollLogicalPosition String

Ord ScrollLogicalPosition

Show ScrollLogicalPosition

ToFFI ScrollLogicalPosition String

read : String -> Maybe ScrollLogicalPosition

Totality: total
Visibility: public export

data CSSBoxType : Type

Totality: total
Visibility: public export
Constructors:

Margin : CSSBoxType

Border : CSSBoxType

Padding : CSSBoxType

Content : CSSBoxType

Hints:

Eq CSSBoxType

FromFFI CSSBoxType String

Ord CSSBoxType

Show CSSBoxType

ToFFI CSSBoxType String

read : String -> Maybe CSSBoxType

Totality: total
Visibility: public export

data CaretPosition : Type

Totality: total
Visibility: export
Hints:

FromFFI CaretPosition CaretPosition

JSType CaretPosition

SafeCast CaretPosition

ToFFI CaretPosition CaretPosition

data MediaQueryList : Type

Totality: total
Visibility: export
Hints:

FromFFI MediaQueryList MediaQueryList

JSType MediaQueryList

SafeCast MediaQueryList

ToFFI MediaQueryList MediaQueryList

data MediaQueryListEvent : Type

Totality: total
Visibility: export
Hints:

FromFFI MediaQueryListEvent MediaQueryListEvent

JSType MediaQueryListEvent

SafeCast MediaQueryListEvent

ToFFI MediaQueryListEvent MediaQueryListEvent

data Screen : Type

Totality: total
Visibility: export
Hints:

FromFFI Screen Screen

JSType Screen

SafeCast Screen

ToFFI Screen Screen

data VisualViewport : Type

Totality: total
Visibility: export
Hints:

FromFFI VisualViewport VisualViewport

JSType VisualViewport

SafeCast VisualViewport

ToFFI VisualViewport VisualViewport

data BoxQuadOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI BoxQuadOptions BoxQuadOptions

JSType BoxQuadOptions

ToFFI BoxQuadOptions BoxQuadOptions

data CheckVisibilityOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI CheckVisibilityOptions CheckVisibilityOptions

JSType CheckVisibilityOptions

ToFFI CheckVisibilityOptions CheckVisibilityOptions

data ConvertCoordinateOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI ConvertCoordinateOptions ConvertCoordinateOptions

JSType ConvertCoordinateOptions

ToFFI ConvertCoordinateOptions ConvertCoordinateOptions

data MediaQueryListEventInit : Type

Totality: total
Visibility: export
Hints:

FromFFI MediaQueryListEventInit MediaQueryListEventInit

JSType MediaQueryListEventInit

ToFFI MediaQueryListEventInit MediaQueryListEventInit

data ScrollIntoViewOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI ScrollIntoViewOptions ScrollIntoViewOptions

JSType ScrollIntoViewOptions

ToFFI ScrollIntoViewOptions ScrollIntoViewOptions

data ScrollOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI ScrollOptions ScrollOptions

JSType ScrollOptions

ToFFI ScrollOptions ScrollOptions

data ScrollToOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI ScrollToOptions ScrollToOptions

JSType ScrollToOptions

ToFFI ScrollToOptions ScrollToOptions

data GeometryUtils : Type

Totality: total
Visibility: export
Hints:

FromFFI GeometryUtils GeometryUtils

ToFFI GeometryUtils GeometryUtils