CurrentUserDetailsOptions.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.CurrentUserDetailsOptions
       (newCurrentUserDetailsOptions, setRpId, getRpId, setUserId, getUserId, setName, getName, setDisplayName, getDisplayName, CurrentUserDetailsOptions(..), gTypeCurrentUserDetailsOptions)
       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-currentuserdetailsoptions CurrentUserDetailsOptions specification>
newCurrentUserDetailsOptions :: (MonadDOM m, ToJSString rpId, ToJSString userId, ToJSString name, ToJSString displayName) => rpId -> userId -> name -> displayName -> m CurrentUserDetailsOptions
newCurrentUserDetailsOptions rpId userId name displayName = liftDOM ((((new (jsg "Object") () >>= \o -> (o ^. jss "rpId" (toJSVal rpId)) P.>> (o ^. jss "userId" (toJSVal userId)) P.>> (o ^. jss "name" (toJSVal name)) P.>> (o ^. jss "displayName" (toJSVal displayName)) P.>> P.return o)) >>= fromJSValUnchecked))

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

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

-- | <https://w3c.github.io/webauthn/#dom-currentuserdetailsoptions-userid CurrentUserDetailsOptions.userId specification>
setUserId :: (MonadDOM m, ToJSString val) => CurrentUserDetailsOptions -> val -> m ()
setUserId self val = liftDOM (void (self ^. jss "userId" (toJSVal val)))

-- | <https://w3c.github.io/webauthn/#dom-currentuserdetailsoptions-userid CurrentUserDetailsOptions.userId specification>
getUserId :: (MonadDOM m, FromJSString result) => CurrentUserDetailsOptions -> m result
getUserId self = liftDOM (((self ^. js "userId") >>= fromJSValUnchecked))

-- | <https://w3c.github.io/webauthn/#dom-currentuserdetailsoptions-name CurrentUserDetailsOptions.name specification>
setName :: (MonadDOM m, ToJSString val) => CurrentUserDetailsOptions -> val -> m ()
setName self val = liftDOM (void (self ^. jss "name" (toJSVal val)))

-- | <https://w3c.github.io/webauthn/#dom-currentuserdetailsoptions-name CurrentUserDetailsOptions.name specification>
getName :: (MonadDOM m, FromJSString result) => CurrentUserDetailsOptions -> m result
getName self = liftDOM (((self ^. js "name") >>= fromJSValUnchecked))

-- | <https://w3c.github.io/webauthn/#dom-currentuserdetailsoptions-displayname CurrentUserDetailsOptions.displayName specification>
setDisplayName :: (MonadDOM m, ToJSString val) => CurrentUserDetailsOptions -> val -> m ()
setDisplayName self val = liftDOM (void (self ^. jss "displayName" (toJSVal val)))

-- | <https://w3c.github.io/webauthn/#dom-currentuserdetailsoptions-displayname CurrentUserDetailsOptions.displayName specification>
getDisplayName :: (MonadDOM m, FromJSString result) => CurrentUserDetailsOptions -> m result
getDisplayName self = liftDOM (((self ^. js "displayName") >>= fromJSValUnchecked))