Idris2Doc : Web.Internal.MediastreamTypes

Web.Internal.MediastreamTypes

(source)

Definitions

data MediaStreamTrackState : Type
Totality: total
Visibility: public export
Constructors:
Live : MediaStreamTrackState
Ended : MediaStreamTrackState

Hints:
Eq MediaStreamTrackState
FromFFI MediaStreamTrackState String
Ord MediaStreamTrackState
Show MediaStreamTrackState
ToFFI MediaStreamTrackState String
read : String -> Maybe MediaStreamTrackState
Totality: total
Visibility: public export
data VideoFacingModeEnum : Type
Totality: total
Visibility: public export
Constructors:
User : VideoFacingModeEnum
Environment : VideoFacingModeEnum
Left : VideoFacingModeEnum
Right : VideoFacingModeEnum

Hints:
Eq VideoFacingModeEnum
FromFFI VideoFacingModeEnum String
Ord VideoFacingModeEnum
Show VideoFacingModeEnum
ToFFI VideoFacingModeEnum String
read : String -> Maybe VideoFacingModeEnum
Totality: total
Visibility: public export
data VideoResizeModeEnum : Type
Totality: total
Visibility: public export
Constructors:
None : VideoResizeModeEnum
CropAndScale : VideoResizeModeEnum

Hints:
Eq VideoResizeModeEnum
FromFFI VideoResizeModeEnum String
Ord VideoResizeModeEnum
Show VideoResizeModeEnum
ToFFI VideoResizeModeEnum String
read : String -> Maybe VideoResizeModeEnum
Totality: total
Visibility: public export
data MediaDeviceKind : Type
Totality: total
Visibility: public export
Constructors:
Audioinput : MediaDeviceKind
Audiooutput : MediaDeviceKind
Videoinput : MediaDeviceKind

Hints:
Eq MediaDeviceKind
FromFFI MediaDeviceKind String
Ord MediaDeviceKind
Show MediaDeviceKind
ToFFI MediaDeviceKind String
read : String -> Maybe MediaDeviceKind
Totality: total
Visibility: public export
data ConstrainablePattern : Type
Totality: total
Visibility: export
Hints:
FromFFI ConstrainablePattern ConstrainablePattern
JSType ConstrainablePattern
SafeCast ConstrainablePattern
ToFFI ConstrainablePattern ConstrainablePattern
data InputDeviceInfo : Type
Totality: total
Visibility: export
Hints:
FromFFI InputDeviceInfo InputDeviceInfo
JSType InputDeviceInfo
SafeCast InputDeviceInfo
ToFFI InputDeviceInfo InputDeviceInfo
data MediaDeviceInfo : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaDeviceInfo MediaDeviceInfo
JSType MediaDeviceInfo
SafeCast MediaDeviceInfo
ToFFI MediaDeviceInfo MediaDeviceInfo
data MediaDevices : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaDevices MediaDevices
JSType MediaDevices
SafeCast MediaDevices
ToFFI MediaDevices MediaDevices
data MediaStream : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaStream MediaStream
JSType MediaStream
SafeCast MediaStream
ToFFI MediaStream MediaStream
data MediaStreamTrack : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaStreamTrack MediaStreamTrack
JSType MediaStreamTrack
SafeCast MediaStreamTrack
ToFFI MediaStreamTrack MediaStreamTrack
data MediaStreamTrackEvent : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaStreamTrackEvent MediaStreamTrackEvent
JSType MediaStreamTrackEvent
SafeCast MediaStreamTrackEvent
ToFFI MediaStreamTrackEvent MediaStreamTrackEvent
data OverconstrainedError : Type
Totality: total
Visibility: export
Hints:
FromFFI OverconstrainedError OverconstrainedError
JSType OverconstrainedError
SafeCast OverconstrainedError
ToFFI OverconstrainedError OverconstrainedError
data Capabilities : Type
Totality: total
Visibility: export
Hints:
FromFFI Capabilities Capabilities
JSType Capabilities
ToFFI Capabilities Capabilities
data ConstrainBooleanParameters : Type
Totality: total
Visibility: export
Hints:
FromFFI ConstrainBooleanParameters ConstrainBooleanParameters
JSType ConstrainBooleanParameters
ToFFI ConstrainBooleanParameters ConstrainBooleanParameters
data ConstrainDOMStringParameters : Type
Totality: total
Visibility: export
Hints:
FromFFI ConstrainDOMStringParameters ConstrainDOMStringParameters
JSType ConstrainDOMStringParameters
ToFFI ConstrainDOMStringParameters ConstrainDOMStringParameters
data ConstrainDoubleRange : Type
Totality: total
Visibility: export
Hints:
FromFFI ConstrainDoubleRange ConstrainDoubleRange
JSType ConstrainDoubleRange
ToFFI ConstrainDoubleRange ConstrainDoubleRange
data ConstrainULongRange : Type
Totality: total
Visibility: export
Hints:
FromFFI ConstrainULongRange ConstrainULongRange
JSType ConstrainULongRange
ToFFI ConstrainULongRange ConstrainULongRange
data ConstraintSet : Type
Totality: total
Visibility: export
Hints:
FromFFI ConstraintSet ConstraintSet
JSType ConstraintSet
ToFFI ConstraintSet ConstraintSet
data Constraints : Type
Totality: total
Visibility: export
Hints:
FromFFI Constraints Constraints
JSType Constraints
ToFFI Constraints Constraints
data DoubleRange : Type
Totality: total
Visibility: export
Hints:
FromFFI DoubleRange DoubleRange
JSType DoubleRange
ToFFI DoubleRange DoubleRange
data MediaStreamConstraints : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaStreamConstraints MediaStreamConstraints
JSType MediaStreamConstraints
ToFFI MediaStreamConstraints MediaStreamConstraints
data MediaStreamTrackEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaStreamTrackEventInit MediaStreamTrackEventInit
JSType MediaStreamTrackEventInit
ToFFI MediaStreamTrackEventInit MediaStreamTrackEventInit
data MediaTrackCapabilities : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaTrackCapabilities MediaTrackCapabilities
JSType MediaTrackCapabilities
ToFFI MediaTrackCapabilities MediaTrackCapabilities
data MediaTrackConstraintSet : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaTrackConstraintSet MediaTrackConstraintSet
JSType MediaTrackConstraintSet
ToFFI MediaTrackConstraintSet MediaTrackConstraintSet
data MediaTrackConstraints : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaTrackConstraints MediaTrackConstraints
JSType MediaTrackConstraints
ToFFI MediaTrackConstraints MediaTrackConstraints
data MediaTrackSettings : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaTrackSettings MediaTrackSettings
JSType MediaTrackSettings
ToFFI MediaTrackSettings MediaTrackSettings
data MediaTrackSupportedConstraints : Type
Totality: total
Visibility: export
Hints:
FromFFI MediaTrackSupportedConstraints MediaTrackSupportedConstraints
JSType MediaTrackSupportedConstraints
ToFFI MediaTrackSupportedConstraints MediaTrackSupportedConstraints
data Settings : Type
Totality: total
Visibility: export
Hints:
FromFFI Settings Settings
JSType Settings
ToFFI Settings Settings
data ULongRange : Type
Totality: total
Visibility: export
Hints:
FromFFI ULongRange ULongRange
JSType ULongRange
ToFFI ULongRange ULongRange
data NavigatorUserMediaErrorCallback : Type
Totality: total
Visibility: export
Hints:
FromFFI NavigatorUserMediaErrorCallback NavigatorUserMediaErrorCallback
ToFFI NavigatorUserMediaErrorCallback NavigatorUserMediaErrorCallback
data NavigatorUserMediaSuccessCallback : Type
Totality: total
Visibility: export
Hints:
FromFFI NavigatorUserMediaSuccessCallback NavigatorUserMediaSuccessCallback
ToFFI NavigatorUserMediaSuccessCallback NavigatorUserMediaSuccessCallback