packages feed

jsaddle-dom-0.10.0.0: src/JSDOM/Generated/DigitalCredentialCreationOptions.hs

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from digital-credentials (webref). Do not edit.
module JSDOM.Generated.DigitalCredentialCreationOptions
       (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 Control.Lens.Operators ((^.))
import Language.Javascript.JSaddle (JSM, JSVal, JSString, toJSVal, valToBool, valToNumber, js, jss, jsf, jsg, new, function, asyncFunction, jsUndefined, jsNull)
import JSDOM.Types
import qualified JSDOM.Types as Types
import JSDOM.EventTargetClosures (EventName, unsafeEventName, unsafeEventNameAsync)
import JSDOM.Generated.Enums

-- | <https://w3c-fedid.github.io/digital-credentials/#dom-digitalcredentialcreationoptions DigitalCredentialCreationOptions specification>
newDigitalCredentialCreationOptions :: (MonadDOM m) => [DigitalCredentialCreateRequest] -> m DigitalCredentialCreationOptions
newDigitalCredentialCreationOptions requests = liftDOM ((((new (jsg "Object") () >>= \o -> (o ^. jss "requests" (toJSVal requests)) P.>> P.return o)) >>= fromJSValUnchecked))

-- | <https://w3c-fedid.github.io/digital-credentials/#dom-digitalcredentialcreationoptions-requests DigitalCredentialCreationOptions.requests specification>
setRequests :: (MonadDOM m) => DigitalCredentialCreationOptions -> [DigitalCredentialCreateRequest] -> m ()
setRequests self val = liftDOM (void (self ^. jss "requests" (toJSVal val)))

-- | <https://w3c-fedid.github.io/digital-credentials/#dom-digitalcredentialcreationoptions-requests DigitalCredentialCreationOptions.requests specification>
getRequests :: (MonadDOM m) => DigitalCredentialCreationOptions -> m [DigitalCredentialCreateRequest]
getRequests self = liftDOM (((self ^. js "requests") >>= fromJSValUnchecked))