DigitalCredentialCreationOptions.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.DigitalCredentialCreationOptions
       (js_newDigitalCredentialCreationOptions, js_setRequests, js_getRequests, newDigitalCredentialCreationOptions, setRequests, getRequests, DigitalCredentialCreationOptions(..), gTypeDigitalCredentialCreationOptions)
       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_newDigitalCredentialCreationOptions :: JSVal -> IO DigitalCredentialCreationOptions
-- | <https://w3c-fedid.github.io/digital-credentials/#dom-digitalcredentialcreationoptions DigitalCredentialCreationOptions specification>
newDigitalCredentialCreationOptions :: (MonadDOM m) => [DigitalCredentialCreateRequest] -> m DigitalCredentialCreationOptions
newDigitalCredentialCreationOptions requests = liftDOM (((toJSVal requests) >>= \a1' -> js_newDigitalCredentialCreationOptions a1'))

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

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