Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Config = Config {}
- data OryKratosBackend m traits = OryKratosBackend {
- getVersion :: m GetVersion200Response
- isAlive :: m IsAlive200Response
- isReady :: m IsAlive200Response
- adminCreateIdentity :: AdminCreateIdentityBody -> m (Identity traits)
- adminCreateSelfServiceRecoveryLink :: AdminCreateSelfServiceRecoveryLinkBody -> m SelfServiceRecoveryLink
- adminDeleteIdentity :: Text -> m NoContent
- adminDeleteIdentitySessions :: Text -> m NoContent
- adminExtendSession :: Text -> m (Session traits)
- adminGetIdentity :: Text -> Maybe [Text] -> m (Identity traits)
- adminListIdentities :: Maybe Integer -> Maybe Integer -> m [Identity traits]
- adminListIdentitySessions :: Text -> Maybe Integer -> Maybe Integer -> Maybe Bool -> m [Session traits]
- adminUpdateIdentity :: Text -> AdminUpdateIdentityBody -> m (Identity traits)
- 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)
- 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)
- initializeSelfServiceSettingsFlowWithoutBrowser :: Maybe Text -> m (SelfServiceSettingsFlow traits)
- 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]
- revokeSession :: Text -> m NoContent
- revokeSessions :: Maybe Text -> Maybe Text -> m RevokedSessions
- submitSelfServiceLoginFlow :: Maybe Text -> SubmitSelfServiceLoginFlowBody -> Maybe Text -> Maybe Text -> m (SuccessfulSelfServiceLoginWithoutBrowser traits)
- 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)
- submitSelfServiceSettingsFlow :: Maybe Text -> SubmitSelfServiceSettingsFlowBody -> Maybe Text -> Maybe Text -> m (SelfServiceSettingsFlow traits)
- submitSelfServiceVerificationFlow :: Maybe Text -> Maybe Text -> SubmitSelfServiceVerificationFlowBody -> Maybe Text -> m SelfServiceVerificationFlow
- toSession :: Maybe Text -> Maybe Text -> m (Session traits)
- createOryKratosClient :: forall traits. FromJSON traits => OryKratosBackend OryKratosClient traits
- runOryKratosServer :: (MonadIO m, MonadThrow m, ToJSON traits) => Config -> OryKratosBackend (ExceptT ServerError IO) traits -> m ()
- runOryKratosMiddlewareServer :: (MonadIO m, MonadThrow m, ToJSON traits) => Config -> Middleware -> OryKratosBackend (ExceptT ServerError IO) traits -> 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 = ("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)))) :<|> (("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))))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> (QueryParam "include_credential" (QueryList 'MultiParamArray Text) :> Verb 'GET 200 '[JSON] (Identity traits))))) :<|> (("admin" :> ("identities" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> Verb 'GET 200 '[JSON] [Identity traits])))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> ("sessions" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> (QueryParam "active" Bool :> Verb 'GET 200 '[JSON] [Session traits]))))))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> (ReqBody '[JSON] AdminUpdateIdentityBody :> Verb 'PUT 200 '[JSON] (Identity traits))))) :<|> (("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))))))) :<|> (("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))))) :<|> (("self-service" :> ("settings" :> ("api" :> (Header "X-Session-Token" Text :> Verb 'GET 200 '[JSON] (SelfServiceSettingsFlow traits))))) :<|> (("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]))))) :<|> (("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))))))) :<|> (("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)))))) :<|> (("self-service" :> ("settings" :> (QueryParam "flow" Text :> (ReqBody '[JSON] SubmitSelfServiceSettingsFlowBody :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] (SelfServiceSettingsFlow traits))))))) :<|> (("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))))) :<|> Raw))))))))))))))))))))))))))))))))))))))))))
- serverWaiApplicationOryKratos :: forall traits. ToJSON traits => OryKratosBackend (ExceptT ServerError IO) traits -> Application
Client and Server
Server or client configuration, specifying the host and port to query or serve on.
Config | |
|
data OryKratosBackend m traits 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. FromJSON traits => OryKratosBackend OryKratosClient traits Source #
runOryKratosServer :: (MonadIO m, MonadThrow m, ToJSON traits) => Config -> OryKratosBackend (ExceptT ServerError IO) traits -> m () Source #
Run the OryKratos server at the provided host and port.
runOryKratosMiddlewareServer :: (MonadIO m, MonadThrow m, ToJSON traits) => Config -> Middleware -> OryKratosBackend (ExceptT ServerError IO) traits -> 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 = ("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)))) :<|> (("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))))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> (QueryParam "include_credential" (QueryList 'MultiParamArray Text) :> Verb 'GET 200 '[JSON] (Identity traits))))) :<|> (("admin" :> ("identities" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> Verb 'GET 200 '[JSON] [Identity traits])))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> ("sessions" :> (QueryParam "per_page" Integer :> (QueryParam "page" Integer :> (QueryParam "active" Bool :> Verb 'GET 200 '[JSON] [Session traits]))))))) :<|> (("admin" :> ("identities" :> (Capture "id" Text :> (ReqBody '[JSON] AdminUpdateIdentityBody :> Verb 'PUT 200 '[JSON] (Identity traits))))) :<|> (("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))))))) :<|> (("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))))) :<|> (("self-service" :> ("settings" :> ("api" :> (Header "X-Session-Token" Text :> Verb 'GET 200 '[JSON] (SelfServiceSettingsFlow traits))))) :<|> (("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]))))) :<|> (("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))))))) :<|> (("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)))))) :<|> (("self-service" :> ("settings" :> (QueryParam "flow" Text :> (ReqBody '[JSON] SubmitSelfServiceSettingsFlowBody :> (Header "X-Session-Token" Text :> (Header "Cookie" Text :> Verb 'POST 200 '[JSON] (SelfServiceSettingsFlow traits))))))) :<|> (("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))))) :<|> Raw)))))))))))))))))))))))))))))))))))))))))) Source #
Servant type-level API, generated from the OpenAPI spec for OryKratos.
Plain WAI Application
serverWaiApplicationOryKratos :: forall traits. ToJSON traits => OryKratosBackend (ExceptT ServerError IO) traits -> 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.