DigitalCredentialRequestOptions.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from digital-credentials (webref). Do not edit.
module GHCJS.DOM.JSFFI.Generated.DigitalCredentialRequestOptions
       (js_newDigitalCredentialRequestOptions, js_setRequests, js_getRequests, newDigitalCredentialRequestOptions, setRequests, getRequests, DigitalCredentialRequestOptions(..), gTypeDigitalCredentialRequestOptions)
       where
import Prelude ((.), (==), (>>=), (<$>), (++), Bool(..), Maybe(..), IO, Int, Word, Double, Float)
import qualified Prelude as P
import Control.Monad (void)
import GHCJS.Types (JSVal, JSString)
import GHCJS.Foreign (jsUndefined, jsNull)
import GHCJS.DOM.Types
import qualified GHCJS.DOM.Types as Types
import GHCJS.DOM.EventTargetClosures (EventName, unsafeEventName, unsafeEventNameAsync)
import GHCJS.DOM.JSFFI.Generated.Enums

foreign import javascript safe "(($1) => { return ({\"requests\": $1}); })"
        js_newDigitalCredentialRequestOptions :: JSVal -> IO DigitalCredentialRequestOptions
-- | <https://w3c-fedid.github.io/digital-credentials/#dom-digitalcredentialrequestoptions DigitalCredentialRequestOptions specification>
newDigitalCredentialRequestOptions :: (MonadDOM m) => [DigitalCredentialGetRequest] -> m DigitalCredentialRequestOptions
newDigitalCredentialRequestOptions requests = liftDOM (((toJSVal requests) >>= \a1' -> js_newDigitalCredentialRequestOptions a1'))

foreign import javascript safe "(($1, $2) => { $1[\"requests\"] = $2; })"
        js_setRequests :: DigitalCredentialRequestOptions -> JSVal -> IO ()
-- | <https://w3c-fedid.github.io/digital-credentials/#dom-digitalcredentialrequestoptions-requests DigitalCredentialRequestOptions.requests specification>
setRequests :: (MonadDOM m) => DigitalCredentialRequestOptions -> [DigitalCredentialGetRequest] -> m ()
setRequests self val = liftDOM (void (((toJSVal val) >>= \a2' -> js_setRequests (self) a2')))

foreign import javascript unsafe "(($1) => { return $1[\"requests\"]; })"
        js_getRequests :: DigitalCredentialRequestOptions -> IO JSVal
-- | <https://w3c-fedid.github.io/digital-credentials/#dom-digitalcredentialrequestoptions-requests DigitalCredentialRequestOptions.requests specification>
getRequests :: (MonadDOM m) => DigitalCredentialRequestOptions -> m [DigitalCredentialGetRequest]
getRequests self = liftDOM (((js_getRequests (self)) >>= fromJSValUnchecked))