Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Config = Config {}
- data OryKratosBackend m traits metadataAdmin metadataPublic = OryKratosBackend {
- getVersion :: m GetVersion200Response
- isAlive :: m IsAlive200Response
- isReady :: m IsAlive200Response
- adminCreateIdentity :: AdminCreateIdentityBody -> m (Identity traits metadataAdmin metadataPublic)
- adminCreateSelfServiceRecoveryLink :: AdminCreateSelfServiceRecoveryLinkBody -> m SelfServiceRecoveryLink
- adminDeleteIdentity :: Text -> m NoContent
- adminDeleteIdentitySessions :: Text -> m NoContent
- adminExtendSession :: Text -> m (Session traits metadataAdmin metadataPublic)
- adminGetIdentity :: Text -> Maybe [Text] -> m (Identity traits metadataAdmin metadataPublic)
- adminListIdentities :: Maybe Integer -> Maybe Integer -> m [Identity traits metadataAdmin metadataPublic]
- adminListIdentitySessions :: Text -> Maybe Integer -> Maybe Integer -> Maybe Bool -> m [Session traits metadataAdmin metadataPublic]
- adminUpdateIdentity :: Text -> AdminUpdateIdentityBody -> m (Identity traits metadataAdmin metadataPublic)
- createSelfServiceLogoutFlowUrlForBrowsers :: Maybe Text -> m SelfServiceLogoutUrl
- getJsonSchema :: Text -> m Value
- getSelfServiceError :: Maybe Text -> m SelfServiceError
- getSelfServiceLoginFlow :: Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
- getSelfServiceRecoveryFlow :: Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow
- getSelfServiceRegistrationFlow :: Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow
- getSelfServiceSettingsFlow :: Maybe Text -> Maybe Text -> Maybe Text -> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
- getSelfServiceVerificationFlow :: Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow
- getWebAuthnJavaScript :: m Text
- initializeSelfServiceLoginFlowForBrowsers :: Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
- initializeSelfServiceLoginFlowWithoutBrowser :: Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
- initializeSelfServiceRecoveryFlowForBrowsers :: Maybe Text -> m SelfServiceRecoveryFlow
- initializeSelfServiceRecoveryFlowWithoutBrowser :: m SelfServiceRecoveryFlow
- initializeSelfServiceRegistrationFlowForBrowsers :: Maybe Text -> m SelfServiceRegistrationFlow
- initializeSelfServiceRegistrationFlowWithoutBrowser :: m SelfServiceRegistrationFlow
- initializeSelfServiceSettingsFlowForBrowsers :: Maybe Text -> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
- initializeSelfServiceSettingsFlowWithoutBrowser :: Maybe Text -> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
- initializeSelfServiceVerificationFlowForBrowsers :: Maybe Text -> m SelfServiceVerificationFlow
- initializeSelfServiceVerificationFlowWithoutBrowser :: m SelfServiceVerificationFlow
- listIdentitySchemas :: Maybe Integer -> Maybe Integer -> m [IdentitySchema]
- listSessions :: Maybe Integer -> Maybe Integer -> Maybe Text -> Maybe Text -> m [Session traits metadataAdmin metadataPublic]
- revokeSession :: Text -> m NoContent
- revokeSessions :: Maybe Text -> Maybe Text -> m RevokedSessions
- submitSelfServiceLoginFlow :: Maybe Text -> SubmitSelfServiceLoginFlowBody -> Maybe Text -> Maybe Text -> m (SuccessfulSelfServiceLoginWithoutBrowser traits metadataAdmin metadataPublic)
- submitSelfServiceLogoutFlow :: Maybe Text -> Maybe Text -> m NoContent
- submitSelfServiceLogoutFlowWithoutBrowser :: SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent
- submitSelfServiceRecoveryFlow :: Maybe Text -> Maybe Text -> SubmitSelfServiceRecoveryFlowBody -> Maybe Text -> m SelfServiceRecoveryFlow
- submitSelfServiceRegistrationFlow :: Maybe Text -> SubmitSelfServiceRegistrationFlowBody -> Maybe Text -> m (SuccessfulSelfServiceRegistrationWithoutBrowser traits metadataAdmin metadataPublic)
- submitSelfServiceSettingsFlow :: Maybe Text -> SubmitSelfServiceSettingsFlowBody -> Maybe Text -> Maybe Text -> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
- submitSelfServiceVerificationFlow :: Maybe Text -> Maybe Text -> SubmitSelfServiceVerificationFlowBody -> Maybe Text -> m SelfServiceVerificationFlow
- toSession :: Maybe Text -> Maybe Text -> m (Session traits metadataAdmin metadataPublic)
- createOryKratosClient :: forall traits metadataAdmin metadataPublic. (FromJSON traits, FromJSON metadataAdmin, FromJSON metadataPublic) => OryKratosBackend OryKratosClient traits metadataAdmin metadataPublic
- runOryKratosServer :: (MonadIO m, MonadThrow m, ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) => Config -> OryKratosBackend (ExceptT ServerError IO) traits adminMetadata publicMetadata -> m ()
- runOryKratosMiddlewareServer :: (MonadIO m, MonadThrow m, ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) => Config -> Middleware -> OryKratosBackend (ExceptT ServerError IO) traits adminMetadata publicMetadata -> m ()
- runOryKratosClient :: Config -> OryKratosClient a -> ExceptT ClientError IO a
- runOryKratosClientWithManager :: Manager -> Config -> OryKratosClient a -> ExceptT ClientError IO a
- callOryKratos :: (MonadIO m, MonadThrow m) => ClientEnv -> OryKratosClient a -> m a
- data OryKratosClient a
- newtype OryKratosClientError = OryKratosClientError ClientError
- type OryKratosAPI traits metadataAdmin metadataPublic = ("version" :> Verb 'GET 200 '[JSON] GetVersion200Response) :<|> (("health" :> ("alive" :> Verb 'GET 200 '[JSON] IsAlive200Response)) :<|> (("health" :> ("ready" :> Verb 'GET 200 '[JSON] IsAlive200Response)) :<|> (("admin" :> ("identities" :> (ReqBody '[JSON] AdminCreateIdentityBody :> Verb 'POST 200 '[JSON] (Identity traits metadataAdmin metadataPublic)))) :<|> (("admin" :> ("recovery" :> ("link" :> (ReqBody '[JSON] AdminCreateSelfServiceRecoveryLinkBody :> Verb 'POST 200 '[JSON] SelfServiceRecoveryLink)))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> Verb 'DELETE 200 '[JSON] NoContent))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> ("sessions" :> Verb 'DELETE 200 '[JSON] NoContent)))) :<|> (("admin" :> ("sessions" :> (Capture "id" Text :> ("extend" :> Verb 'PATCH 200 '[JSON] (Session traits metadataAdmin metadataPublic))))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> (QueryParam "include_credential" (QueryList 'MultiParamArray Text) :> Verb 'GET 200 '[JSON] (Identity traits metadataAdmin metadataPublic))))) :<|> (("admin" :> ("identities" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> Verb 'GET 200 '[JSON] [Identity traits metadataAdmin metadataPublic])))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> ("sessions" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> (QueryParam "active" Bool :> Verb 'GET 200 '[JSON] [Session traits metadataAdmin metadataPublic]))))))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> (ReqBody '[JSON] AdminUpdateIdentityBody :> Verb 'PUT 200 '[JSON] (Identity traits metadataAdmin metadataPublic))))) :<|> (("self-service" :> ("logout" :> ("browser" :> (Header "cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceLogoutUrl)))) :<|> (("schemas" :> (Capture "id" Text :> Verb 'GET 200 '[JSON] Value)) :<|> (("self-service" :> ("errors" :> (QueryParam "id" Text :> Verb 'GET 200 '[JSON] SelfServiceError))) :<|> (("self-service" :> ("login" :> ("flows" :> (QueryParam "id" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceLoginFlow))))) :<|> (("self-service" :> ("recovery" :> ("flows" :> (QueryParam "id" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceRecoveryFlow))))) :<|> (("self-service" :> ("registration" :> ("flows" :> (QueryParam "id" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceRegistrationFlow))))) :<|> (("self-service" :> ("settings" :> ("flows" :> (QueryParam "id" Text :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))))))) :<|> (("self-service" :> ("verification" :> ("flows" :> (QueryParam "id" Text :> (Header "cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceVerificationFlow))))) :<|> ((".well-known" :> ("ory" :> ("webauthn.js" :> Verb 'GET 200 '[JSON] Text))) :<|> (("self-service" :> ("login" :> ("browser" :> (QueryParam "refresh" Bool :> (QueryParam "aal" Text :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] SelfServiceLoginFlow)))))) :<|> (("self-service" :> ("login" :> ("api" :> (QueryParam "refresh" Bool :> (QueryParam "aal" Text :> (Header "X-Session-Token" Text :> Verb 'GET 200 '[JSON] SelfServiceLoginFlow)))))) :<|> (("self-service" :> ("recovery" :> ("browser" :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] SelfServiceRecoveryFlow)))) :<|> (("self-service" :> ("recovery" :> ("api" :> Verb 'GET 200 '[JSON] SelfServiceRecoveryFlow))) :<|> (("self-service" :> ("registration" :> ("browser" :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] SelfServiceRegistrationFlow)))) :<|> (("self-service" :> ("registration" :> ("api" :> Verb 'GET 200 '[JSON] SelfServiceRegistrationFlow))) :<|> (("self-service" :> ("settings" :> ("browser" :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))))) :<|> (("self-service" :> ("settings" :> ("api" :> (Header "X-Session-Token" Text :> Verb 'GET 200 '[JSON] (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))))) :<|> (("self-service" :> ("verification" :> ("browser" :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] SelfServiceVerificationFlow)))) :<|> (("self-service" :> ("verification" :> ("api" :> Verb 'GET 200 '[JSON] SelfServiceVerificationFlow))) :<|> (("schemas" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> Verb 'GET 200 '[JSON] [IdentitySchema]))) :<|> (("sessions" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] [Session traits metadataAdmin metadataPublic]))))) :<|> (("sessions" :> (Capture "id" Text :> Verb 'DELETE 200 '[JSON] NoContent)) :<|> (("sessions" :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'DELETE 200 '[JSON] RevokedSessions))) :<|> (("self-service" :> ("login" :> (QueryParam "flow" Text :> (ReqBody '[JSON] SubmitSelfServiceLoginFlowBody :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] (SuccessfulSelfServiceLoginWithoutBrowser traits metadataAdmin metadataPublic))))))) :<|> (("self-service" :> ("logout" :> (QueryParam "token" Text :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] NoContent)))) :<|> (("self-service" :> ("logout" :> ("api" :> (ReqBody '[JSON] SubmitSelfServiceLogoutFlowWithoutBrowserBody :> Verb 'DELETE 200 '[JSON] NoContent)))) :<|> (("self-service" :> ("recovery" :> (QueryParam "flow" Text :> (QueryParam "token" Text :> (ReqBody '[JSON] SubmitSelfServiceRecoveryFlowBody :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] SelfServiceRecoveryFlow)))))) :<|> (("self-service" :> ("registration" :> (QueryParam "flow" Text :> (ReqBody '[JSON] SubmitSelfServiceRegistrationFlowBody :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] (SuccessfulSelfServiceRegistrationWithoutBrowser traits metadataAdmin metadataPublic)))))) :<|> (("self-service" :> ("settings" :> (QueryParam "flow" Text :> (ReqBody '[JSON] SubmitSelfServiceSettingsFlowBody :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))))))) :<|> (("self-service" :> ("verification" :> (QueryParam "flow" Text :> (QueryParam "token" Text :> (ReqBody '[JSON] SubmitSelfServiceVerificationFlowBody :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] SelfServiceVerificationFlow)))))) :<|> (("sessions" :> ("whoami" :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] (Session traits metadataAdmin metadataPublic))))) :<|> Raw))))))))))))))))))))))))))))))))))))))))))
- serverWaiApplicationOryKratos :: forall traits adminMetadata publicMetadata. (ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) => OryKratosBackend (ExceptT ServerError IO) traits adminMetadata publicMetadata -> Application
Client and Server
Server or client configuration, specifying the host and port to query or serve on.
Config | |
|
data OryKratosBackend m traits metadataAdmin metadataPublic Source #
Configuration, specifying the full url of the service.
Backend for OryKratos.
The backend can be used both for the client and the server. The client generated from the OryKratos OpenAPI spec
is a backend that executes actions by sending HTTP requests (see createOryKratosClient
). Alternatively, provided
a backend, the API can be served using runOryKratosMiddlewareServer
.
OryKratosBackend | |
|
createOryKratosClient :: forall traits metadataAdmin metadataPublic. (FromJSON traits, FromJSON metadataAdmin, FromJSON metadataPublic) => OryKratosBackend OryKratosClient traits metadataAdmin metadataPublic Source #
runOryKratosServer :: (MonadIO m, MonadThrow m, ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) => Config -> OryKratosBackend (ExceptT ServerError IO) traits adminMetadata publicMetadata -> m () Source #
Run the OryKratos server at the provided host and port.
runOryKratosMiddlewareServer :: (MonadIO m, MonadThrow m, ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) => Config -> Middleware -> OryKratosBackend (ExceptT ServerError IO) traits adminMetadata publicMetadata -> m () Source #
Run the OryKratos server at the provided host and port.
runOryKratosClient :: Config -> OryKratosClient a -> ExceptT ClientError IO a Source #
Run requests in the OryKratosClient monad.
runOryKratosClientWithManager :: Manager -> Config -> OryKratosClient a -> ExceptT ClientError IO a Source #
Run requests in the OryKratosClient monad using a custom manager.
callOryKratos :: (MonadIO m, MonadThrow m) => ClientEnv -> OryKratosClient a -> m a Source #
Like runClient
, but returns the response or throws
a OryKratosClientError
data OryKratosClient a Source #
Instances
Monad OryKratosClient Source # | |
Defined in OryKratos.API (>>=) :: OryKratosClient a -> (a -> OryKratosClient b) -> OryKratosClient b # (>>) :: OryKratosClient a -> OryKratosClient b -> OryKratosClient b # return :: a -> OryKratosClient a # | |
Functor OryKratosClient Source # | |
Defined in OryKratos.API fmap :: (a -> b) -> OryKratosClient a -> OryKratosClient b # (<$) :: a -> OryKratosClient b -> OryKratosClient a # | |
Applicative OryKratosClient Source # | |
Defined in OryKratos.API pure :: a -> OryKratosClient a # (<*>) :: OryKratosClient (a -> b) -> OryKratosClient a -> OryKratosClient b # liftA2 :: (a -> b -> c) -> OryKratosClient a -> OryKratosClient b -> OryKratosClient c # (*>) :: OryKratosClient a -> OryKratosClient b -> OryKratosClient b # (<*) :: OryKratosClient a -> OryKratosClient b -> OryKratosClient a # | |
MonadIO OryKratosClient Source # | |
Defined in OryKratos.API liftIO :: IO a -> OryKratosClient a # |
newtype OryKratosClientError Source #
Custom exception type for our Prelude.errors.
Instances
Show OryKratosClientError Source # | |
Defined in OryKratos.API showsPrec :: Int -> OryKratosClientError -> ShowS # show :: OryKratosClientError -> String # showList :: [OryKratosClientError] -> ShowS # | |
Exception OryKratosClientError Source # | |
Defined in OryKratos.API |
Servant
type OryKratosAPI traits metadataAdmin metadataPublic = ("version" :> Verb 'GET 200 '[JSON] GetVersion200Response) :<|> (("health" :> ("alive" :> Verb 'GET 200 '[JSON] IsAlive200Response)) :<|> (("health" :> ("ready" :> Verb 'GET 200 '[JSON] IsAlive200Response)) :<|> (("admin" :> ("identities" :> (ReqBody '[JSON] AdminCreateIdentityBody :> Verb 'POST 200 '[JSON] (Identity traits metadataAdmin metadataPublic)))) :<|> (("admin" :> ("recovery" :> ("link" :> (ReqBody '[JSON] AdminCreateSelfServiceRecoveryLinkBody :> Verb 'POST 200 '[JSON] SelfServiceRecoveryLink)))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> Verb 'DELETE 200 '[JSON] NoContent))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> ("sessions" :> Verb 'DELETE 200 '[JSON] NoContent)))) :<|> (("admin" :> ("sessions" :> (Capture "id" Text :> ("extend" :> Verb 'PATCH 200 '[JSON] (Session traits metadataAdmin metadataPublic))))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> (QueryParam "include_credential" (QueryList 'MultiParamArray Text) :> Verb 'GET 200 '[JSON] (Identity traits metadataAdmin metadataPublic))))) :<|> (("admin" :> ("identities" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> Verb 'GET 200 '[JSON] [Identity traits metadataAdmin metadataPublic])))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> ("sessions" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> (QueryParam "active" Bool :> Verb 'GET 200 '[JSON] [Session traits metadataAdmin metadataPublic]))))))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> (ReqBody '[JSON] AdminUpdateIdentityBody :> Verb 'PUT 200 '[JSON] (Identity traits metadataAdmin metadataPublic))))) :<|> (("self-service" :> ("logout" :> ("browser" :> (Header "cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceLogoutUrl)))) :<|> (("schemas" :> (Capture "id" Text :> Verb 'GET 200 '[JSON] Value)) :<|> (("self-service" :> ("errors" :> (QueryParam "id" Text :> Verb 'GET 200 '[JSON] SelfServiceError))) :<|> (("self-service" :> ("login" :> ("flows" :> (QueryParam "id" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceLoginFlow))))) :<|> (("self-service" :> ("recovery" :> ("flows" :> (QueryParam "id" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceRecoveryFlow))))) :<|> (("self-service" :> ("registration" :> ("flows" :> (QueryParam "id" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceRegistrationFlow))))) :<|> (("self-service" :> ("settings" :> ("flows" :> (QueryParam "id" Text :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))))))) :<|> (("self-service" :> ("verification" :> ("flows" :> (QueryParam "id" Text :> (Header "cookie" Text :> Verb 'GET 200 '[JSON] SelfServiceVerificationFlow))))) :<|> ((".well-known" :> ("ory" :> ("webauthn.js" :> Verb 'GET 200 '[JSON] Text))) :<|> (("self-service" :> ("login" :> ("browser" :> (QueryParam "refresh" Bool :> (QueryParam "aal" Text :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] SelfServiceLoginFlow)))))) :<|> (("self-service" :> ("login" :> ("api" :> (QueryParam "refresh" Bool :> (QueryParam "aal" Text :> (Header "X-Session-Token" Text :> Verb 'GET 200 '[JSON] SelfServiceLoginFlow)))))) :<|> (("self-service" :> ("recovery" :> ("browser" :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] SelfServiceRecoveryFlow)))) :<|> (("self-service" :> ("recovery" :> ("api" :> Verb 'GET 200 '[JSON] SelfServiceRecoveryFlow))) :<|> (("self-service" :> ("registration" :> ("browser" :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] SelfServiceRegistrationFlow)))) :<|> (("self-service" :> ("registration" :> ("api" :> Verb 'GET 200 '[JSON] SelfServiceRegistrationFlow))) :<|> (("self-service" :> ("settings" :> ("browser" :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))))) :<|> (("self-service" :> ("settings" :> ("api" :> (Header "X-Session-Token" Text :> Verb 'GET 200 '[JSON] (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))))) :<|> (("self-service" :> ("verification" :> ("browser" :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] SelfServiceVerificationFlow)))) :<|> (("self-service" :> ("verification" :> ("api" :> Verb 'GET 200 '[JSON] SelfServiceVerificationFlow))) :<|> (("schemas" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> Verb 'GET 200 '[JSON] [IdentitySchema]))) :<|> (("sessions" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] [Session traits metadataAdmin metadataPublic]))))) :<|> (("sessions" :> (Capture "id" Text :> Verb 'DELETE 200 '[JSON] NoContent)) :<|> (("sessions" :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'DELETE 200 '[JSON] RevokedSessions))) :<|> (("self-service" :> ("login" :> (QueryParam "flow" Text :> (ReqBody '[JSON] SubmitSelfServiceLoginFlowBody :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] (SuccessfulSelfServiceLoginWithoutBrowser traits metadataAdmin metadataPublic))))))) :<|> (("self-service" :> ("logout" :> (QueryParam "token" Text :> (QueryParam "return_to" Text :> Verb 'GET 200 '[JSON] NoContent)))) :<|> (("self-service" :> ("logout" :> ("api" :> (ReqBody '[JSON] SubmitSelfServiceLogoutFlowWithoutBrowserBody :> Verb 'DELETE 200 '[JSON] NoContent)))) :<|> (("self-service" :> ("recovery" :> (QueryParam "flow" Text :> (QueryParam "token" Text :> (ReqBody '[JSON] SubmitSelfServiceRecoveryFlowBody :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] SelfServiceRecoveryFlow)))))) :<|> (("self-service" :> ("registration" :> (QueryParam "flow" Text :> (ReqBody '[JSON] SubmitSelfServiceRegistrationFlowBody :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] (SuccessfulSelfServiceRegistrationWithoutBrowser traits metadataAdmin metadataPublic)))))) :<|> (("self-service" :> ("settings" :> (QueryParam "flow" Text :> (ReqBody '[JSON] SubmitSelfServiceSettingsFlowBody :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))))))) :<|> (("self-service" :> ("verification" :> (QueryParam "flow" Text :> (QueryParam "token" Text :> (ReqBody '[JSON] SubmitSelfServiceVerificationFlowBody :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] SelfServiceVerificationFlow)))))) :<|> (("sessions" :> ("whoami" :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'GET 200 '[JSON] (Session traits metadataAdmin metadataPublic))))) :<|> Raw)))))))))))))))))))))))))))))))))))))))))) Source #
Servant type-level API, generated from the OpenAPI spec for OryKratos.
Plain WAI Application
serverWaiApplicationOryKratos :: forall traits adminMetadata publicMetadata. (ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) => OryKratosBackend (ExceptT ServerError IO) traits adminMetadata publicMetadata -> Application Source #
Plain Network.Wai Application for the OryKratos server.
Can be used to implement e.g. tests that call the API without a full webserver.