Web.Internal.ClipboardTypes

Definitions

data PresentationStyle : Type

Totality: total
Visibility: public export
Constructors:

Unspecified : PresentationStyle

Inline : PresentationStyle

Attachment : PresentationStyle

Hints:

Eq PresentationStyle

FromFFI PresentationStyle String

Ord PresentationStyle

Show PresentationStyle

ToFFI PresentationStyle String

read : String -> Maybe PresentationStyle

Totality: total
Visibility: public export

data Clipboard : Type

Totality: total
Visibility: export
Hints:

FromFFI Clipboard Clipboard

JSType Clipboard

SafeCast Clipboard

ToFFI Clipboard Clipboard

data ClipboardEvent : Type

Totality: total
Visibility: export
Hints:

FromFFI ClipboardEvent ClipboardEvent

JSType ClipboardEvent

SafeCast ClipboardEvent

ToFFI ClipboardEvent ClipboardEvent

data ClipboardItem : Type

Totality: total
Visibility: export
Hints:

FromFFI ClipboardItem ClipboardItem

JSType ClipboardItem

SafeCast ClipboardItem

ToFFI ClipboardItem ClipboardItem

data ClipboardEventInit : Type

Totality: total
Visibility: export
Hints:

FromFFI ClipboardEventInit ClipboardEventInit

JSType ClipboardEventInit

ToFFI ClipboardEventInit ClipboardEventInit

data ClipboardItemOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI ClipboardItemOptions ClipboardItemOptions

JSType ClipboardItemOptions

ToFFI ClipboardItemOptions ClipboardItemOptions

data ClipboardPermissionDescriptor : Type

Totality: total
Visibility: export
Hints:

FromFFI ClipboardPermissionDescriptor ClipboardPermissionDescriptor

JSType ClipboardPermissionDescriptor

ToFFI ClipboardPermissionDescriptor ClipboardPermissionDescriptor

data ClipboardItemDelayedCallback : Type

Totality: total
Visibility: export
Hints:

FromFFI ClipboardItemDelayedCallback ClipboardItemDelayedCallback

ToFFI ClipboardItemDelayedCallback ClipboardItemDelayedCallback