Idris2Doc : Web.Raw.Clipboard

Web.Raw.Clipboard

(source)

Definitions

read : Clipboard -> JSIO (Promise (Array ClipboardItem))
Totality: total
Visibility: export
readText : Clipboard -> JSIO (Promise String)
Totality: total
Visibility: export
write : Clipboard -> Array ClipboardItem -> JSIO (Promise Undefined)
Totality: total
Visibility: export
writeText : Clipboard -> String -> JSIO (Promise Undefined)
Totality: total
Visibility: export
new' : {auto 0 {conArg:3603} : JSType t2} -> {auto 0 _ : Elem ClipboardEventInit (Types t2)} -> String -> Optional t2 -> JSIO ClipboardEvent
Totality: total
Visibility: export
new : String -> JSIO ClipboardEvent
Totality: total
Visibility: export
clipboardData : ClipboardEvent -> JSIO (Maybe DataTransfer)
Totality: total
Visibility: export
new' : {auto 0 {conArg:3654} : JSType t2} -> {auto 0 _ : Elem ClipboardItemOptions (Types t2)} -> Record String (Promise (Union2 String Blob)) -> Optional t2 -> JSIO ClipboardItem
Totality: total
Visibility: export
new : Record String (Promise (Union2 String Blob)) -> JSIO ClipboardItem
Totality: total
Visibility: export
createDelayed' : {auto 0 {conArg:3693} : JSType t2} -> {auto 0 _ : Elem ClipboardItemOptions (Types t2)} -> Record String ClipboardItemDelayedCallback -> Optional t2 -> JSIO ClipboardItem
Totality: total
Visibility: export
createDelayed : Record String ClipboardItemDelayedCallback -> JSIO ClipboardItem
Totality: total
Visibility: export
delayed : ClipboardItem -> JSIO Bool
Totality: total
Visibility: export
lastModified : ClipboardItem -> JSIO JSInt64
Totality: total
Visibility: export
presentationStyle : ClipboardItem -> JSIO PresentationStyle
Totality: total
Visibility: export
types : ClipboardItem -> JSIO (Array String)
Totality: total
Visibility: export
getType : ClipboardItem -> String -> JSIO (Promise Blob)
Totality: total
Visibility: export
new' : Optional (Maybe DataTransfer) -> JSIO ClipboardEventInit
Totality: total
Visibility: export
new : JSIO ClipboardEventInit
Totality: total
Visibility: export
clipboardData : {auto 0 {conArg:3792} : JSType t} -> {auto 0 _ : Elem ClipboardEventInit (Types t)} -> t -> Attribute True Optional (Maybe DataTransfer)
Totality: total
Visibility: export
new' : Optional PresentationStyle -> JSIO ClipboardItemOptions
Totality: total
Visibility: export
new : JSIO ClipboardItemOptions
Totality: total
Visibility: export
presentationStyle : {auto 0 {conArg:3855} : JSType t} -> {auto 0 _ : Elem ClipboardItemOptions (Types t)} -> t -> Attribute False Optional PresentationStyle
Totality: total
Visibility: export
new' : Optional Bool -> JSIO ClipboardPermissionDescriptor
Totality: total
Visibility: export
new : JSIO ClipboardPermissionDescriptor
Totality: total
Visibility: export
allowWithoutGesture : {auto 0 {conArg:3909} : JSType t} -> {auto 0 _ : Elem ClipboardPermissionDescriptor (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
toClipboardItemDelayedCallback : (() -> IO (Promise (Union2 String Blob))) -> JSIO ClipboardItemDelayedCallback
Totality: total
Visibility: export