packages feed

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

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from webauthn-4 (webref). Do not edit.
module JSDOM.Generated.UnknownCredentialOptions
       (newUnknownCredentialOptions, setRpId, getRpId, setCredentialId, getCredentialId, UnknownCredentialOptions(..), gTypeUnknownCredentialOptions)
       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.github.io/webauthn/#dictdef-unknowncredentialoptions UnknownCredentialOptions specification>
newUnknownCredentialOptions :: (MonadDOM m, ToJSString rpId, ToJSString credentialId) => rpId -> credentialId -> m UnknownCredentialOptions
newUnknownCredentialOptions rpId credentialId = liftDOM ((((new (jsg "Object") () >>= \o -> (o ^. jss "rpId" (toJSVal rpId)) P.>> (o ^. jss "credentialId" (toJSVal credentialId)) P.>> P.return o)) >>= fromJSValUnchecked))

-- | <https://w3c.github.io/webauthn/#dom-unknowncredentialoptions-rpid UnknownCredentialOptions.rpId specification>
setRpId :: (MonadDOM m, ToJSString val) => UnknownCredentialOptions -> val -> m ()
setRpId self val = liftDOM (void (self ^. jss "rpId" (toJSVal val)))

-- | <https://w3c.github.io/webauthn/#dom-unknowncredentialoptions-rpid UnknownCredentialOptions.rpId specification>
getRpId :: (MonadDOM m, FromJSString result) => UnknownCredentialOptions -> m result
getRpId self = liftDOM (((self ^. js "rpId") >>= fromJSValUnchecked))

-- | <https://w3c.github.io/webauthn/#dom-unknowncredentialoptions-credentialid UnknownCredentialOptions.credentialId specification>
setCredentialId :: (MonadDOM m, ToJSString val) => UnknownCredentialOptions -> val -> m ()
setCredentialId self val = liftDOM (void (self ^. jss "credentialId" (toJSVal val)))

-- | <https://w3c.github.io/webauthn/#dom-unknowncredentialoptions-credentialid UnknownCredentialOptions.credentialId specification>
getCredentialId :: (MonadDOM m, FromJSString result) => UnknownCredentialOptions -> m result
getCredentialId self = liftDOM (((self ^. js "credentialId") >>= fromJSValUnchecked))