{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE ViewPatterns #-}
{-# OPTIONS_GHC -fno-warn-unused-binds -fno-warn-unused-imports -freduction-depth=328 #-}
module OryKratos.API
(
Config (..),
OryKratosBackend (..),
createOryKratosClient,
runOryKratosServer,
runOryKratosMiddlewareServer,
runOryKratosClient,
runOryKratosClientWithManager,
callOryKratos,
OryKratosClient,
OryKratosClientError (..),
OryKratosAPI,
serverWaiApplicationOryKratos,
)
where
import Control.Monad.Catch (Exception, MonadThrow, throwM)
import Control.Monad.Except (ExceptT, runExceptT)
import Control.Monad.IO.Class
import Control.Monad.Trans.Reader (ReaderT (..))
import Data.Aeson (FromJSON, ToJSON, Value)
import Data.Coerce (coerce)
import Data.Data (Data)
import Data.Function ((&))
import qualified Data.Map as Map
import Data.Monoid ((<>))
import Data.Proxy (Proxy (..))
import Data.Set (Set)
import Data.Text (Text)
import qualified Data.Text as T
import Data.Time
import Data.UUID (UUID)
import GHC.Exts (IsString (..))
import GHC.Generics (Generic)
import Network.HTTP.Client (Manager, newManager)
import Network.HTTP.Client.TLS (tlsManagerSettings)
import Network.HTTP.Types.Method (methodOptions)
import Network.Wai (Middleware)
import qualified Network.Wai.Handler.Warp as Warp
import OryKratos.Types
import Servant (ServerError, serve)
import Servant.API
import Servant.API.Verbs (StdMethod (..), Verb)
import Servant.Client
( ClientEnv,
ClientError,
Scheme (Http),
client,
mkClientEnv,
parseBaseUrl,
)
import Servant.Client.Core (baseUrlHost, baseUrlPort)
import Servant.Client.Internal.HttpClient (ClientM (..))
import Servant.Server (Application, Handler (..))
import Servant.Server.StaticFiles (serveDirectoryFileServer)
import Web.FormUrlEncoded
import Web.HttpApiData
newtype QueryList (p :: CollectionFormat) a = QueryList
{ QueryList p a -> [a]
fromQueryList :: [a]
}
deriving stock (Functor (QueryList p)
Foldable (QueryList p)
Functor (QueryList p)
-> Foldable (QueryList p)
-> (forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> QueryList p a -> f (QueryList p b))
-> (forall (f :: * -> *) a.
Applicative f =>
QueryList p (f a) -> f (QueryList p a))
-> (forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> QueryList p a -> m (QueryList p b))
-> (forall (m :: * -> *) a.
Monad m =>
QueryList p (m a) -> m (QueryList p a))
-> Traversable (QueryList p)
(a -> f b) -> QueryList p a -> f (QueryList p b)
forall (p :: CollectionFormat). Functor (QueryList p)
forall (p :: CollectionFormat). Foldable (QueryList p)
forall (p :: CollectionFormat) (m :: * -> *) a.
Monad m =>
QueryList p (m a) -> m (QueryList p a)
forall (p :: CollectionFormat) (f :: * -> *) a.
Applicative f =>
QueryList p (f a) -> f (QueryList p a)
forall (p :: CollectionFormat) (m :: * -> *) a b.
Monad m =>
(a -> m b) -> QueryList p a -> m (QueryList p b)
forall (p :: CollectionFormat) (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> QueryList p a -> f (QueryList p b)
forall (t :: * -> *).
Functor t
-> Foldable t
-> (forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> t a -> f (t b))
-> (forall (f :: * -> *) a. Applicative f => t (f a) -> f (t a))
-> (forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> t a -> m (t b))
-> (forall (m :: * -> *) a. Monad m => t (m a) -> m (t a))
-> Traversable t
forall (m :: * -> *) a.
Monad m =>
QueryList p (m a) -> m (QueryList p a)
forall (f :: * -> *) a.
Applicative f =>
QueryList p (f a) -> f (QueryList p a)
forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> QueryList p a -> m (QueryList p b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> QueryList p a -> f (QueryList p b)
sequence :: QueryList p (m a) -> m (QueryList p a)
$csequence :: forall (p :: CollectionFormat) (m :: * -> *) a.
Monad m =>
QueryList p (m a) -> m (QueryList p a)
mapM :: (a -> m b) -> QueryList p a -> m (QueryList p b)
$cmapM :: forall (p :: CollectionFormat) (m :: * -> *) a b.
Monad m =>
(a -> m b) -> QueryList p a -> m (QueryList p b)
sequenceA :: QueryList p (f a) -> f (QueryList p a)
$csequenceA :: forall (p :: CollectionFormat) (f :: * -> *) a.
Applicative f =>
QueryList p (f a) -> f (QueryList p a)
traverse :: (a -> f b) -> QueryList p a -> f (QueryList p b)
$ctraverse :: forall (p :: CollectionFormat) (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> QueryList p a -> f (QueryList p b)
$cp2Traversable :: forall (p :: CollectionFormat). Foldable (QueryList p)
$cp1Traversable :: forall (p :: CollectionFormat). Functor (QueryList p)
Traversable)
deriving newtype (a -> QueryList p b -> QueryList p a
(a -> b) -> QueryList p a -> QueryList p b
(forall a b. (a -> b) -> QueryList p a -> QueryList p b)
-> (forall a b. a -> QueryList p b -> QueryList p a)
-> Functor (QueryList p)
forall a b. a -> QueryList p b -> QueryList p a
forall a b. (a -> b) -> QueryList p a -> QueryList p b
forall (p :: CollectionFormat) a b.
a -> QueryList p b -> QueryList p a
forall (p :: CollectionFormat) a b.
(a -> b) -> QueryList p a -> QueryList p b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
<$ :: a -> QueryList p b -> QueryList p a
$c<$ :: forall (p :: CollectionFormat) a b.
a -> QueryList p b -> QueryList p a
fmap :: (a -> b) -> QueryList p a -> QueryList p b
$cfmap :: forall (p :: CollectionFormat) a b.
(a -> b) -> QueryList p a -> QueryList p b
Functor, Functor (QueryList p)
a -> QueryList p a
Functor (QueryList p)
-> (forall a. a -> QueryList p a)
-> (forall a b.
QueryList p (a -> b) -> QueryList p a -> QueryList p b)
-> (forall a b c.
(a -> b -> c) -> QueryList p a -> QueryList p b -> QueryList p c)
-> (forall a b. QueryList p a -> QueryList p b -> QueryList p b)
-> (forall a b. QueryList p a -> QueryList p b -> QueryList p a)
-> Applicative (QueryList p)
QueryList p a -> QueryList p b -> QueryList p b
QueryList p a -> QueryList p b -> QueryList p a
QueryList p (a -> b) -> QueryList p a -> QueryList p b
(a -> b -> c) -> QueryList p a -> QueryList p b -> QueryList p c
forall a. a -> QueryList p a
forall a b. QueryList p a -> QueryList p b -> QueryList p a
forall a b. QueryList p a -> QueryList p b -> QueryList p b
forall a b. QueryList p (a -> b) -> QueryList p a -> QueryList p b
forall a b c.
(a -> b -> c) -> QueryList p a -> QueryList p b -> QueryList p c
forall (p :: CollectionFormat). Functor (QueryList p)
forall (p :: CollectionFormat) a. a -> QueryList p a
forall (p :: CollectionFormat) a b.
QueryList p a -> QueryList p b -> QueryList p a
forall (p :: CollectionFormat) a b.
QueryList p a -> QueryList p b -> QueryList p b
forall (p :: CollectionFormat) a b.
QueryList p (a -> b) -> QueryList p a -> QueryList p b
forall (p :: CollectionFormat) a b c.
(a -> b -> c) -> QueryList p a -> QueryList p b -> QueryList p c
forall (f :: * -> *).
Functor f
-> (forall a. a -> f a)
-> (forall a b. f (a -> b) -> f a -> f b)
-> (forall a b c. (a -> b -> c) -> f a -> f b -> f c)
-> (forall a b. f a -> f b -> f b)
-> (forall a b. f a -> f b -> f a)
-> Applicative f
<* :: QueryList p a -> QueryList p b -> QueryList p a
$c<* :: forall (p :: CollectionFormat) a b.
QueryList p a -> QueryList p b -> QueryList p a
*> :: QueryList p a -> QueryList p b -> QueryList p b
$c*> :: forall (p :: CollectionFormat) a b.
QueryList p a -> QueryList p b -> QueryList p b
liftA2 :: (a -> b -> c) -> QueryList p a -> QueryList p b -> QueryList p c
$cliftA2 :: forall (p :: CollectionFormat) a b c.
(a -> b -> c) -> QueryList p a -> QueryList p b -> QueryList p c
<*> :: QueryList p (a -> b) -> QueryList p a -> QueryList p b
$c<*> :: forall (p :: CollectionFormat) a b.
QueryList p (a -> b) -> QueryList p a -> QueryList p b
pure :: a -> QueryList p a
$cpure :: forall (p :: CollectionFormat) a. a -> QueryList p a
$cp1Applicative :: forall (p :: CollectionFormat). Functor (QueryList p)
Applicative, Applicative (QueryList p)
a -> QueryList p a
Applicative (QueryList p)
-> (forall a b.
QueryList p a -> (a -> QueryList p b) -> QueryList p b)
-> (forall a b. QueryList p a -> QueryList p b -> QueryList p b)
-> (forall a. a -> QueryList p a)
-> Monad (QueryList p)
QueryList p a -> (a -> QueryList p b) -> QueryList p b
QueryList p a -> QueryList p b -> QueryList p b
forall a. a -> QueryList p a
forall a b. QueryList p a -> QueryList p b -> QueryList p b
forall a b. QueryList p a -> (a -> QueryList p b) -> QueryList p b
forall (p :: CollectionFormat). Applicative (QueryList p)
forall (p :: CollectionFormat) a. a -> QueryList p a
forall (p :: CollectionFormat) a b.
QueryList p a -> QueryList p b -> QueryList p b
forall (p :: CollectionFormat) a b.
QueryList p a -> (a -> QueryList p b) -> QueryList p b
forall (m :: * -> *).
Applicative m
-> (forall a b. m a -> (a -> m b) -> m b)
-> (forall a b. m a -> m b -> m b)
-> (forall a. a -> m a)
-> Monad m
return :: a -> QueryList p a
$creturn :: forall (p :: CollectionFormat) a. a -> QueryList p a
>> :: QueryList p a -> QueryList p b -> QueryList p b
$c>> :: forall (p :: CollectionFormat) a b.
QueryList p a -> QueryList p b -> QueryList p b
>>= :: QueryList p a -> (a -> QueryList p b) -> QueryList p b
$c>>= :: forall (p :: CollectionFormat) a b.
QueryList p a -> (a -> QueryList p b) -> QueryList p b
$cp1Monad :: forall (p :: CollectionFormat). Applicative (QueryList p)
Monad, a -> QueryList p a -> Bool
QueryList p m -> m
QueryList p a -> [a]
QueryList p a -> Bool
QueryList p a -> Int
QueryList p a -> a
QueryList p a -> a
QueryList p a -> a
QueryList p a -> a
(a -> m) -> QueryList p a -> m
(a -> m) -> QueryList p a -> m
(a -> b -> b) -> b -> QueryList p a -> b
(a -> b -> b) -> b -> QueryList p a -> b
(b -> a -> b) -> b -> QueryList p a -> b
(b -> a -> b) -> b -> QueryList p a -> b
(a -> a -> a) -> QueryList p a -> a
(a -> a -> a) -> QueryList p a -> a
(forall m. Monoid m => QueryList p m -> m)
-> (forall m a. Monoid m => (a -> m) -> QueryList p a -> m)
-> (forall m a. Monoid m => (a -> m) -> QueryList p a -> m)
-> (forall a b. (a -> b -> b) -> b -> QueryList p a -> b)
-> (forall a b. (a -> b -> b) -> b -> QueryList p a -> b)
-> (forall b a. (b -> a -> b) -> b -> QueryList p a -> b)
-> (forall b a. (b -> a -> b) -> b -> QueryList p a -> b)
-> (forall a. (a -> a -> a) -> QueryList p a -> a)
-> (forall a. (a -> a -> a) -> QueryList p a -> a)
-> (forall a. QueryList p a -> [a])
-> (forall a. QueryList p a -> Bool)
-> (forall a. QueryList p a -> Int)
-> (forall a. Eq a => a -> QueryList p a -> Bool)
-> (forall a. Ord a => QueryList p a -> a)
-> (forall a. Ord a => QueryList p a -> a)
-> (forall a. Num a => QueryList p a -> a)
-> (forall a. Num a => QueryList p a -> a)
-> Foldable (QueryList p)
forall a. Eq a => a -> QueryList p a -> Bool
forall a. Num a => QueryList p a -> a
forall a. Ord a => QueryList p a -> a
forall m. Monoid m => QueryList p m -> m
forall a. QueryList p a -> Bool
forall a. QueryList p a -> Int
forall a. QueryList p a -> [a]
forall a. (a -> a -> a) -> QueryList p a -> a
forall m a. Monoid m => (a -> m) -> QueryList p a -> m
forall b a. (b -> a -> b) -> b -> QueryList p a -> b
forall a b. (a -> b -> b) -> b -> QueryList p a -> b
forall (p :: CollectionFormat) a.
Eq a =>
a -> QueryList p a -> Bool
forall (p :: CollectionFormat) a. Num a => QueryList p a -> a
forall (p :: CollectionFormat) a. Ord a => QueryList p a -> a
forall (p :: CollectionFormat) m. Monoid m => QueryList p m -> m
forall (p :: CollectionFormat) a. QueryList p a -> Bool
forall (p :: CollectionFormat) a. QueryList p a -> Int
forall (p :: CollectionFormat) a. QueryList p a -> [a]
forall (p :: CollectionFormat) a.
(a -> a -> a) -> QueryList p a -> a
forall (p :: CollectionFormat) m a.
Monoid m =>
(a -> m) -> QueryList p a -> m
forall (p :: CollectionFormat) b a.
(b -> a -> b) -> b -> QueryList p a -> b
forall (p :: CollectionFormat) a b.
(a -> b -> b) -> b -> QueryList p a -> b
forall (t :: * -> *).
(forall m. Monoid m => t m -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. t a -> [a])
-> (forall a. t a -> Bool)
-> (forall a. t a -> Int)
-> (forall a. Eq a => a -> t a -> Bool)
-> (forall a. Ord a => t a -> a)
-> (forall a. Ord a => t a -> a)
-> (forall a. Num a => t a -> a)
-> (forall a. Num a => t a -> a)
-> Foldable t
product :: QueryList p a -> a
$cproduct :: forall (p :: CollectionFormat) a. Num a => QueryList p a -> a
sum :: QueryList p a -> a
$csum :: forall (p :: CollectionFormat) a. Num a => QueryList p a -> a
minimum :: QueryList p a -> a
$cminimum :: forall (p :: CollectionFormat) a. Ord a => QueryList p a -> a
maximum :: QueryList p a -> a
$cmaximum :: forall (p :: CollectionFormat) a. Ord a => QueryList p a -> a
elem :: a -> QueryList p a -> Bool
$celem :: forall (p :: CollectionFormat) a.
Eq a =>
a -> QueryList p a -> Bool
length :: QueryList p a -> Int
$clength :: forall (p :: CollectionFormat) a. QueryList p a -> Int
null :: QueryList p a -> Bool
$cnull :: forall (p :: CollectionFormat) a. QueryList p a -> Bool
toList :: QueryList p a -> [a]
$ctoList :: forall (p :: CollectionFormat) a. QueryList p a -> [a]
foldl1 :: (a -> a -> a) -> QueryList p a -> a
$cfoldl1 :: forall (p :: CollectionFormat) a.
(a -> a -> a) -> QueryList p a -> a
foldr1 :: (a -> a -> a) -> QueryList p a -> a
$cfoldr1 :: forall (p :: CollectionFormat) a.
(a -> a -> a) -> QueryList p a -> a
foldl' :: (b -> a -> b) -> b -> QueryList p a -> b
$cfoldl' :: forall (p :: CollectionFormat) b a.
(b -> a -> b) -> b -> QueryList p a -> b
foldl :: (b -> a -> b) -> b -> QueryList p a -> b
$cfoldl :: forall (p :: CollectionFormat) b a.
(b -> a -> b) -> b -> QueryList p a -> b
foldr' :: (a -> b -> b) -> b -> QueryList p a -> b
$cfoldr' :: forall (p :: CollectionFormat) a b.
(a -> b -> b) -> b -> QueryList p a -> b
foldr :: (a -> b -> b) -> b -> QueryList p a -> b
$cfoldr :: forall (p :: CollectionFormat) a b.
(a -> b -> b) -> b -> QueryList p a -> b
foldMap' :: (a -> m) -> QueryList p a -> m
$cfoldMap' :: forall (p :: CollectionFormat) m a.
Monoid m =>
(a -> m) -> QueryList p a -> m
foldMap :: (a -> m) -> QueryList p a -> m
$cfoldMap :: forall (p :: CollectionFormat) m a.
Monoid m =>
(a -> m) -> QueryList p a -> m
fold :: QueryList p m -> m
$cfold :: forall (p :: CollectionFormat) m. Monoid m => QueryList p m -> m
Foldable)
data CollectionFormat
=
CommaSeparated
|
SpaceSeparated
|
TabSeparated
|
PipeSeparated
|
MultiParamArray
instance FromHttpApiData a => FromHttpApiData (QueryList 'CommaSeparated a) where
parseQueryParam :: Text -> Either Text (QueryList 'CommaSeparated a)
parseQueryParam = Char -> Text -> Either Text (QueryList 'CommaSeparated a)
forall a (p :: CollectionFormat).
FromHttpApiData a =>
Char -> Text -> Either Text (QueryList p a)
parseSeparatedQueryList Char
','
instance FromHttpApiData a => FromHttpApiData (QueryList 'TabSeparated a) where
parseQueryParam :: Text -> Either Text (QueryList 'TabSeparated a)
parseQueryParam = Char -> Text -> Either Text (QueryList 'TabSeparated a)
forall a (p :: CollectionFormat).
FromHttpApiData a =>
Char -> Text -> Either Text (QueryList p a)
parseSeparatedQueryList Char
'\t'
instance FromHttpApiData a => FromHttpApiData (QueryList 'SpaceSeparated a) where
parseQueryParam :: Text -> Either Text (QueryList 'SpaceSeparated a)
parseQueryParam = Char -> Text -> Either Text (QueryList 'SpaceSeparated a)
forall a (p :: CollectionFormat).
FromHttpApiData a =>
Char -> Text -> Either Text (QueryList p a)
parseSeparatedQueryList Char
' '
instance FromHttpApiData a => FromHttpApiData (QueryList 'PipeSeparated a) where
parseQueryParam :: Text -> Either Text (QueryList 'PipeSeparated a)
parseQueryParam = Char -> Text -> Either Text (QueryList 'PipeSeparated a)
forall a (p :: CollectionFormat).
FromHttpApiData a =>
Char -> Text -> Either Text (QueryList p a)
parseSeparatedQueryList Char
'|'
instance FromHttpApiData a => FromHttpApiData (QueryList 'MultiParamArray a) where
parseQueryParam :: Text -> Either Text (QueryList 'MultiParamArray a)
parseQueryParam = [Char] -> Text -> Either Text (QueryList 'MultiParamArray a)
forall a. HasCallStack => [Char] -> a
Prelude.error [Char]
"unimplemented FromHttpApiData for MultiParamArray collection format"
parseSeparatedQueryList :: FromHttpApiData a => Char -> Text -> Either Text (QueryList p a)
parseSeparatedQueryList :: Char -> Text -> Either Text (QueryList p a)
parseSeparatedQueryList Char
char = ([a] -> QueryList p a)
-> Either Text [a] -> Either Text (QueryList p a)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap [a] -> QueryList p a
forall (p :: CollectionFormat) a. [a] -> QueryList p a
QueryList (Either Text [a] -> Either Text (QueryList p a))
-> (Text -> Either Text [a]) -> Text -> Either Text (QueryList p a)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Text -> Either Text a) -> [Text] -> Either Text [a]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM Text -> Either Text a
forall a. FromHttpApiData a => Text -> Either Text a
parseQueryParam ([Text] -> Either Text [a])
-> (Text -> [Text]) -> Text -> Either Text [a]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Char -> Bool) -> Text -> [Text]
T.split (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
== Char
char)
instance ToHttpApiData a => ToHttpApiData (QueryList 'CommaSeparated a) where
toQueryParam :: QueryList 'CommaSeparated a -> Text
toQueryParam = Char -> QueryList 'CommaSeparated a -> Text
forall a (p :: CollectionFormat).
ToHttpApiData a =>
Char -> QueryList p a -> Text
formatSeparatedQueryList Char
','
instance ToHttpApiData a => ToHttpApiData (QueryList 'TabSeparated a) where
toQueryParam :: QueryList 'TabSeparated a -> Text
toQueryParam = Char -> QueryList 'TabSeparated a -> Text
forall a (p :: CollectionFormat).
ToHttpApiData a =>
Char -> QueryList p a -> Text
formatSeparatedQueryList Char
'\t'
instance ToHttpApiData a => ToHttpApiData (QueryList 'SpaceSeparated a) where
toQueryParam :: QueryList 'SpaceSeparated a -> Text
toQueryParam = Char -> QueryList 'SpaceSeparated a -> Text
forall a (p :: CollectionFormat).
ToHttpApiData a =>
Char -> QueryList p a -> Text
formatSeparatedQueryList Char
' '
instance ToHttpApiData a => ToHttpApiData (QueryList 'PipeSeparated a) where
toQueryParam :: QueryList 'PipeSeparated a -> Text
toQueryParam = Char -> QueryList 'PipeSeparated a -> Text
forall a (p :: CollectionFormat).
ToHttpApiData a =>
Char -> QueryList p a -> Text
formatSeparatedQueryList Char
'|'
instance ToHttpApiData a => ToHttpApiData (QueryList 'MultiParamArray a) where
toQueryParam :: QueryList 'MultiParamArray a -> Text
toQueryParam = [Char] -> QueryList 'MultiParamArray a -> Text
forall a. HasCallStack => [Char] -> a
Prelude.error [Char]
"unimplemented ToHttpApiData for MultiParamArray collection format"
formatSeparatedQueryList :: ToHttpApiData a => Char -> QueryList p a -> Text
formatSeparatedQueryList :: Char -> QueryList p a -> Text
formatSeparatedQueryList Char
char = Text -> [Text] -> Text
T.intercalate (Char -> Text
T.singleton Char
char) ([Text] -> Text)
-> (QueryList p a -> [Text]) -> QueryList p a -> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Text) -> [a] -> [Text]
forall a b. (a -> b) -> [a] -> [b]
map a -> Text
forall a. ToHttpApiData a => a -> Text
toQueryParam ([a] -> [Text])
-> (QueryList p a -> [a]) -> QueryList p a -> [Text]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. QueryList p a -> [a]
forall (p :: CollectionFormat) a. QueryList p a -> [a]
fromQueryList
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
data Config = Config
{
Config -> [Char]
configUrl :: String
}
deriving stock (Config -> Config -> Bool
(Config -> Config -> Bool)
-> (Config -> Config -> Bool) -> Eq Config
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Config -> Config -> Bool
$c/= :: Config -> Config -> Bool
== :: Config -> Config -> Bool
$c== :: Config -> Config -> Bool
Eq, Eq Config
Eq Config
-> (Config -> Config -> Ordering)
-> (Config -> Config -> Bool)
-> (Config -> Config -> Bool)
-> (Config -> Config -> Bool)
-> (Config -> Config -> Bool)
-> (Config -> Config -> Config)
-> (Config -> Config -> Config)
-> Ord Config
Config -> Config -> Bool
Config -> Config -> Ordering
Config -> Config -> Config
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Config -> Config -> Config
$cmin :: Config -> Config -> Config
max :: Config -> Config -> Config
$cmax :: Config -> Config -> Config
>= :: Config -> Config -> Bool
$c>= :: Config -> Config -> Bool
> :: Config -> Config -> Bool
$c> :: Config -> Config -> Bool
<= :: Config -> Config -> Bool
$c<= :: Config -> Config -> Bool
< :: Config -> Config -> Bool
$c< :: Config -> Config -> Bool
compare :: Config -> Config -> Ordering
$ccompare :: Config -> Config -> Ordering
$cp1Ord :: Eq Config
Ord, Int -> Config -> ShowS
[Config] -> ShowS
Config -> [Char]
(Int -> Config -> ShowS)
-> (Config -> [Char]) -> ([Config] -> ShowS) -> Show Config
forall a.
(Int -> a -> ShowS) -> (a -> [Char]) -> ([a] -> ShowS) -> Show a
showList :: [Config] -> ShowS
$cshowList :: [Config] -> ShowS
show :: Config -> [Char]
$cshow :: Config -> [Char]
showsPrec :: Int -> Config -> ShowS
$cshowsPrec :: Int -> Config -> ShowS
Show, ReadPrec [Config]
ReadPrec Config
Int -> ReadS Config
ReadS [Config]
(Int -> ReadS Config)
-> ReadS [Config]
-> ReadPrec Config
-> ReadPrec [Config]
-> Read Config
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [Config]
$creadListPrec :: ReadPrec [Config]
readPrec :: ReadPrec Config
$creadPrec :: ReadPrec Config
readList :: ReadS [Config]
$creadList :: ReadS [Config]
readsPrec :: Int -> ReadS Config
$creadsPrec :: Int -> ReadS Config
Read)
newtype OryKratosClientError = OryKratosClientError ClientError
deriving newtype (Int -> OryKratosClientError -> ShowS
[OryKratosClientError] -> ShowS
OryKratosClientError -> [Char]
(Int -> OryKratosClientError -> ShowS)
-> (OryKratosClientError -> [Char])
-> ([OryKratosClientError] -> ShowS)
-> Show OryKratosClientError
forall a.
(Int -> a -> ShowS) -> (a -> [Char]) -> ([a] -> ShowS) -> Show a
showList :: [OryKratosClientError] -> ShowS
$cshowList :: [OryKratosClientError] -> ShowS
show :: OryKratosClientError -> [Char]
$cshow :: OryKratosClientError -> [Char]
showsPrec :: Int -> OryKratosClientError -> ShowS
$cshowsPrec :: Int -> OryKratosClientError -> ShowS
Show, Show OryKratosClientError
Typeable OryKratosClientError
Typeable OryKratosClientError
-> Show OryKratosClientError
-> (OryKratosClientError -> SomeException)
-> (SomeException -> Maybe OryKratosClientError)
-> (OryKratosClientError -> [Char])
-> Exception OryKratosClientError
SomeException -> Maybe OryKratosClientError
OryKratosClientError -> [Char]
OryKratosClientError -> SomeException
forall e.
Typeable e
-> Show e
-> (e -> SomeException)
-> (SomeException -> Maybe e)
-> (e -> [Char])
-> Exception e
displayException :: OryKratosClientError -> [Char]
$cdisplayException :: OryKratosClientError -> [Char]
fromException :: SomeException -> Maybe OryKratosClientError
$cfromException :: SomeException -> Maybe OryKratosClientError
toException :: OryKratosClientError -> SomeException
$ctoException :: OryKratosClientError -> SomeException
$cp2Exception :: Show OryKratosClientError
$cp1Exception :: Typeable OryKratosClientError
Exception)
data OryKratosBackend m traits metadataAdmin metadataPublic = OryKratosBackend
{
OryKratosBackend m traits metadataAdmin metadataPublic
-> m GetVersion200Response
getVersion :: m GetVersion200Response,
OryKratosBackend m traits metadataAdmin metadataPublic
-> m IsAlive200Response
isAlive :: m IsAlive200Response,
OryKratosBackend m traits metadataAdmin metadataPublic
-> m IsAlive200Response
isReady :: m IsAlive200Response,
OryKratosBackend m traits metadataAdmin metadataPublic
-> AdminCreateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
adminCreateIdentity :: AdminCreateIdentityBody -> m (Identity traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> AdminCreateSelfServiceRecoveryLinkBody
-> m SelfServiceRecoveryLink
adminCreateSelfServiceRecoveryLink :: AdminCreateSelfServiceRecoveryLinkBody -> m SelfServiceRecoveryLink,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m NoContent
adminDeleteIdentity :: Text -> m NoContent,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m NoContent
adminDeleteIdentitySessions :: Text -> m NoContent,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m (Session traits metadataAdmin metadataPublic)
adminExtendSession :: Text -> m (Session traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text
-> Maybe [Text]
-> m (Identity traits metadataAdmin metadataPublic)
adminGetIdentity :: Text -> Maybe [Text] -> m (Identity traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Integer
-> Maybe Integer
-> m [Identity traits metadataAdmin metadataPublic]
adminListIdentities :: Maybe Integer -> Maybe Integer -> m [(Identity traits metadataAdmin metadataPublic)],
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session traits metadataAdmin metadataPublic]
adminListIdentitySessions :: Text -> Maybe Integer -> Maybe Integer -> Maybe Bool -> m [(Session traits metadataAdmin metadataPublic)],
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text
-> AdminUpdateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
adminUpdateIdentity :: Text -> AdminUpdateIdentityBody -> m (Identity traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceLogoutUrl
createSelfServiceLogoutFlowUrlForBrowsers :: Maybe Text -> m SelfServiceLogoutUrl,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m Value
getJsonSchema :: Text -> m Value,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceError
getSelfServiceError :: Maybe Text -> m SelfServiceError,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
getSelfServiceLoginFlow :: Maybe Text -> Maybe Text -> m SelfServiceLoginFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow
getSelfServiceRecoveryFlow :: Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow
getSelfServiceRegistrationFlow :: Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
getSelfServiceSettingsFlow :: Maybe Text -> Maybe Text -> Maybe Text -> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow
getSelfServiceVerificationFlow :: Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow,
OryKratosBackend m traits metadataAdmin metadataPublic -> m Text
getWebAuthnJavaScript :: m Text,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
initializeSelfServiceLoginFlowForBrowsers :: Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
initializeSelfServiceLoginFlowWithoutBrowser :: Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowForBrowsers :: Maybe Text -> m SelfServiceRecoveryFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> m SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowWithoutBrowser :: m SelfServiceRecoveryFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowForBrowsers :: Maybe Text -> m SelfServiceRegistrationFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> m SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowWithoutBrowser :: m SelfServiceRegistrationFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceSettingsFlowForBrowsers :: Maybe Text -> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceSettingsFlowWithoutBrowser :: Maybe Text -> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowForBrowsers :: Maybe Text -> m SelfServiceVerificationFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> m SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowWithoutBrowser :: m SelfServiceVerificationFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Integer -> Maybe Integer -> m [IdentitySchema]
listIdentitySchemas :: Maybe Integer -> Maybe Integer -> m [IdentitySchema],
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session traits metadataAdmin metadataPublic]
listSessions :: Maybe Integer -> Maybe Integer -> Maybe Text -> Maybe Text -> m [(Session traits metadataAdmin metadataPublic)],
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m NoContent
revokeSession :: Text -> m NoContent,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m RevokedSessions
revokeSessions :: Maybe Text -> Maybe Text -> m RevokedSessions,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m (SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
submitSelfServiceLoginFlow :: Maybe Text -> SubmitSelfServiceLoginFlowBody -> Maybe Text -> Maybe Text -> m (SuccessfulSelfServiceLoginWithoutBrowser traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m NoContent
submitSelfServiceLogoutFlow :: Maybe Text -> Maybe Text -> m NoContent,
OryKratosBackend m traits metadataAdmin metadataPublic
-> SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent
submitSelfServiceLogoutFlowWithoutBrowser :: SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow
submitSelfServiceRecoveryFlow :: Maybe Text -> Maybe Text -> SubmitSelfServiceRecoveryFlowBody -> Maybe Text -> m SelfServiceRecoveryFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m (SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
submitSelfServiceRegistrationFlow :: Maybe Text -> SubmitSelfServiceRegistrationFlowBody -> Maybe Text -> m (SuccessfulSelfServiceRegistrationWithoutBrowser traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
submitSelfServiceSettingsFlow :: Maybe Text -> SubmitSelfServiceSettingsFlowBody -> Maybe Text -> Maybe Text -> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic),
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow
submitSelfServiceVerificationFlow :: Maybe Text -> Maybe Text -> SubmitSelfServiceVerificationFlowBody -> Maybe Text -> m SelfServiceVerificationFlow,
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> Maybe Text
-> m (Session traits metadataAdmin metadataPublic)
toSession :: Maybe Text -> Maybe Text -> m (Session traits metadataAdmin metadataPublic)
}
newtype OryKratosClient a = OryKratosClient
{ OryKratosClient a -> ClientEnv -> ExceptT ClientError IO a
runClient :: ClientEnv -> ExceptT ClientError IO a
}
deriving stock (a -> OryKratosClient b -> OryKratosClient a
(a -> b) -> OryKratosClient a -> OryKratosClient b
(forall a b. (a -> b) -> OryKratosClient a -> OryKratosClient b)
-> (forall a b. a -> OryKratosClient b -> OryKratosClient a)
-> Functor OryKratosClient
forall a b. a -> OryKratosClient b -> OryKratosClient a
forall a b. (a -> b) -> OryKratosClient a -> OryKratosClient b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
<$ :: a -> OryKratosClient b -> OryKratosClient a
$c<$ :: forall a b. a -> OryKratosClient b -> OryKratosClient a
fmap :: (a -> b) -> OryKratosClient a -> OryKratosClient b
$cfmap :: forall a b. (a -> b) -> OryKratosClient a -> OryKratosClient b
Functor)
instance Applicative OryKratosClient where
pure :: a -> OryKratosClient a
pure a
x = (ClientEnv -> ExceptT ClientError IO a) -> OryKratosClient a
forall a.
(ClientEnv -> ExceptT ClientError IO a) -> OryKratosClient a
OryKratosClient (\ClientEnv
_ -> a -> ExceptT ClientError IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure a
x)
(OryKratosClient ClientEnv -> ExceptT ClientError IO (a -> b)
f) <*> :: OryKratosClient (a -> b) -> OryKratosClient a -> OryKratosClient b
<*> (OryKratosClient ClientEnv -> ExceptT ClientError IO a
x) =
(ClientEnv -> ExceptT ClientError IO b) -> OryKratosClient b
forall a.
(ClientEnv -> ExceptT ClientError IO a) -> OryKratosClient a
OryKratosClient (\ClientEnv
env -> ClientEnv -> ExceptT ClientError IO (a -> b)
f ClientEnv
env ExceptT ClientError IO (a -> b)
-> ExceptT ClientError IO a -> ExceptT ClientError IO b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ClientEnv -> ExceptT ClientError IO a
x ClientEnv
env)
instance Monad OryKratosClient where
(OryKratosClient ClientEnv -> ExceptT ClientError IO a
a) >>= :: OryKratosClient a -> (a -> OryKratosClient b) -> OryKratosClient b
>>= a -> OryKratosClient b
f =
(ClientEnv -> ExceptT ClientError IO b) -> OryKratosClient b
forall a.
(ClientEnv -> ExceptT ClientError IO a) -> OryKratosClient a
OryKratosClient
( \ClientEnv
env -> do
a
value <- ClientEnv -> ExceptT ClientError IO a
a ClientEnv
env
OryKratosClient b -> ClientEnv -> ExceptT ClientError IO b
forall a.
OryKratosClient a -> ClientEnv -> ExceptT ClientError IO a
runClient (a -> OryKratosClient b
f a
value) ClientEnv
env
)
instance MonadIO OryKratosClient where
liftIO :: IO a -> OryKratosClient a
liftIO IO a
io = (ClientEnv -> ExceptT ClientError IO a) -> OryKratosClient a
forall a.
(ClientEnv -> ExceptT ClientError IO a) -> OryKratosClient a
OryKratosClient (\ClientEnv
_ -> IO a -> ExceptT ClientError IO a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO IO a
io)
createOryKratosClient ::
forall traits metadataAdmin metadataPublic.
(FromJSON traits, FromJSON metadataAdmin, FromJSON metadataPublic) =>
OryKratosBackend OryKratosClient traits metadataAdmin metadataPublic
createOryKratosClient :: OryKratosBackend
OryKratosClient traits metadataAdmin metadataPublic
createOryKratosClient = OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
m GetVersion200Response
-> m IsAlive200Response
-> m IsAlive200Response
-> (AdminCreateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic))
-> (AdminCreateSelfServiceRecoveryLinkBody
-> m SelfServiceRecoveryLink)
-> (Text -> m NoContent)
-> (Text -> m NoContent)
-> (Text -> m (Session traits metadataAdmin metadataPublic))
-> (Text
-> Maybe [Text]
-> m (Identity traits metadataAdmin metadataPublic))
-> (Maybe Integer
-> Maybe Integer
-> m [Identity traits metadataAdmin metadataPublic])
-> (Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session traits metadataAdmin metadataPublic])
-> (Text
-> AdminUpdateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic))
-> (Maybe Text -> m SelfServiceLogoutUrl)
-> (Text -> m Value)
-> (Maybe Text -> m SelfServiceError)
-> (Maybe Text -> Maybe Text -> m SelfServiceLoginFlow)
-> (Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow)
-> (Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow)
-> (Maybe Text
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> (Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow)
-> m Text
-> (Maybe Bool
-> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow)
-> (Maybe Bool
-> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow)
-> (Maybe Text -> m SelfServiceRecoveryFlow)
-> m SelfServiceRecoveryFlow
-> (Maybe Text -> m SelfServiceRegistrationFlow)
-> m SelfServiceRegistrationFlow
-> (Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> (Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> (Maybe Text -> m SelfServiceVerificationFlow)
-> m SelfServiceVerificationFlow
-> (Maybe Integer -> Maybe Integer -> m [IdentitySchema])
-> (Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session traits metadataAdmin metadataPublic])
-> (Text -> m NoContent)
-> (Maybe Text -> Maybe Text -> m RevokedSessions)
-> (Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m (SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic))
-> (Maybe Text -> Maybe Text -> m NoContent)
-> (SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent)
-> (Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow)
-> (Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m (SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic))
-> (Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> (Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow)
-> (Maybe Text
-> Maybe Text -> m (Session traits metadataAdmin metadataPublic))
-> OryKratosBackend m traits metadataAdmin metadataPublic
OryKratosBackend {OryKratosClient Text
OryKratosClient IsAlive200Response
OryKratosClient GetVersion200Response
OryKratosClient SelfServiceVerificationFlow
OryKratosClient SelfServiceRegistrationFlow
OryKratosClient SelfServiceRecoveryFlow
Maybe Bool
-> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
Maybe Integer -> Maybe Integer -> OryKratosClient [IdentitySchema]
Maybe Integer
-> Maybe Integer
-> OryKratosClient [Identity traits metadataAdmin metadataPublic]
Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
Maybe Text -> OryKratosClient SelfServiceVerificationFlow
Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
Maybe Text -> OryKratosClient SelfServiceRegistrationFlow
Maybe Text -> OryKratosClient SelfServiceRecoveryFlow
Maybe Text -> OryKratosClient SelfServiceLogoutUrl
Maybe Text -> OryKratosClient SelfServiceError
Maybe Text -> Maybe Text -> OryKratosClient NoContent
Maybe Text -> Maybe Text -> OryKratosClient RevokedSessions
Maybe Text
-> Maybe Text -> OryKratosClient SelfServiceVerificationFlow
Maybe Text
-> Maybe Text -> OryKratosClient SelfServiceRegistrationFlow
Maybe Text -> Maybe Text -> OryKratosClient SelfServiceRecoveryFlow
Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
Maybe Text
-> Maybe Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
Maybe Text
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceVerificationFlow
Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceRecoveryFlow
Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
Text -> OryKratosClient Value
Text -> OryKratosClient NoContent
Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
Text
-> Maybe [Text]
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
Text
-> AdminUpdateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
SubmitSelfServiceLogoutFlowWithoutBrowserBody
-> OryKratosClient NoContent
AdminCreateSelfServiceRecoveryLinkBody
-> OryKratosClient SelfServiceRecoveryLink
AdminCreateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
toSession :: Maybe Text
-> Maybe Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
submitSelfServiceVerificationFlow :: Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceVerificationFlow
submitSelfServiceSettingsFlow :: Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
submitSelfServiceRegistrationFlow :: Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
submitSelfServiceRecoveryFlow :: Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceRecoveryFlow
submitSelfServiceLogoutFlowWithoutBrowser :: SubmitSelfServiceLogoutFlowWithoutBrowserBody
-> OryKratosClient NoContent
submitSelfServiceLogoutFlow :: Maybe Text -> Maybe Text -> OryKratosClient NoContent
submitSelfServiceLoginFlow :: Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
revokeSessions :: Maybe Text -> Maybe Text -> OryKratosClient RevokedSessions
revokeSession :: Text -> OryKratosClient NoContent
listSessions :: Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
listIdentitySchemas :: Maybe Integer -> Maybe Integer -> OryKratosClient [IdentitySchema]
initializeSelfServiceVerificationFlowWithoutBrowser :: OryKratosClient SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowForBrowsers :: Maybe Text -> OryKratosClient SelfServiceVerificationFlow
initializeSelfServiceSettingsFlowWithoutBrowser :: Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceSettingsFlowForBrowsers :: Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceRegistrationFlowWithoutBrowser :: OryKratosClient SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowForBrowsers :: Maybe Text -> OryKratosClient SelfServiceRegistrationFlow
initializeSelfServiceRecoveryFlowWithoutBrowser :: OryKratosClient SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowForBrowsers :: Maybe Text -> OryKratosClient SelfServiceRecoveryFlow
initializeSelfServiceLoginFlowWithoutBrowser :: Maybe Bool
-> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
initializeSelfServiceLoginFlowForBrowsers :: Maybe Bool
-> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
getWebAuthnJavaScript :: OryKratosClient Text
getSelfServiceVerificationFlow :: Maybe Text
-> Maybe Text -> OryKratosClient SelfServiceVerificationFlow
getSelfServiceSettingsFlow :: Maybe Text
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
getSelfServiceRegistrationFlow :: Maybe Text
-> Maybe Text -> OryKratosClient SelfServiceRegistrationFlow
getSelfServiceRecoveryFlow :: Maybe Text -> Maybe Text -> OryKratosClient SelfServiceRecoveryFlow
getSelfServiceLoginFlow :: Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
getSelfServiceError :: Maybe Text -> OryKratosClient SelfServiceError
getJsonSchema :: Text -> OryKratosClient Value
createSelfServiceLogoutFlowUrlForBrowsers :: Maybe Text -> OryKratosClient SelfServiceLogoutUrl
adminUpdateIdentity :: Text
-> AdminUpdateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
adminListIdentitySessions :: Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
adminListIdentities :: Maybe Integer
-> Maybe Integer
-> OryKratosClient [Identity traits metadataAdmin metadataPublic]
adminGetIdentity :: Text
-> Maybe [Text]
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
adminExtendSession :: Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
adminDeleteIdentitySessions :: Text -> OryKratosClient NoContent
adminDeleteIdentity :: Text -> OryKratosClient NoContent
adminCreateSelfServiceRecoveryLink :: AdminCreateSelfServiceRecoveryLinkBody
-> OryKratosClient SelfServiceRecoveryLink
adminCreateIdentity :: AdminCreateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
isReady :: OryKratosClient IsAlive200Response
isAlive :: OryKratosClient IsAlive200Response
getVersion :: OryKratosClient GetVersion200Response
$sel:toSession:OryKratosBackend :: Maybe Text
-> Maybe Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
$sel:submitSelfServiceVerificationFlow:OryKratosBackend :: Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceVerificationFlow
$sel:submitSelfServiceSettingsFlow:OryKratosBackend :: Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
$sel:submitSelfServiceRegistrationFlow:OryKratosBackend :: Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
$sel:submitSelfServiceRecoveryFlow:OryKratosBackend :: Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceRecoveryFlow
$sel:submitSelfServiceLogoutFlowWithoutBrowser:OryKratosBackend :: SubmitSelfServiceLogoutFlowWithoutBrowserBody
-> OryKratosClient NoContent
$sel:submitSelfServiceLogoutFlow:OryKratosBackend :: Maybe Text -> Maybe Text -> OryKratosClient NoContent
$sel:submitSelfServiceLoginFlow:OryKratosBackend :: Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
$sel:revokeSessions:OryKratosBackend :: Maybe Text -> Maybe Text -> OryKratosClient RevokedSessions
$sel:revokeSession:OryKratosBackend :: Text -> OryKratosClient NoContent
$sel:listSessions:OryKratosBackend :: Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
$sel:listIdentitySchemas:OryKratosBackend :: Maybe Integer -> Maybe Integer -> OryKratosClient [IdentitySchema]
$sel:initializeSelfServiceVerificationFlowWithoutBrowser:OryKratosBackend :: OryKratosClient SelfServiceVerificationFlow
$sel:initializeSelfServiceVerificationFlowForBrowsers:OryKratosBackend :: Maybe Text -> OryKratosClient SelfServiceVerificationFlow
$sel:initializeSelfServiceSettingsFlowWithoutBrowser:OryKratosBackend :: Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
$sel:initializeSelfServiceSettingsFlowForBrowsers:OryKratosBackend :: Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
$sel:initializeSelfServiceRegistrationFlowWithoutBrowser:OryKratosBackend :: OryKratosClient SelfServiceRegistrationFlow
$sel:initializeSelfServiceRegistrationFlowForBrowsers:OryKratosBackend :: Maybe Text -> OryKratosClient SelfServiceRegistrationFlow
$sel:initializeSelfServiceRecoveryFlowWithoutBrowser:OryKratosBackend :: OryKratosClient SelfServiceRecoveryFlow
$sel:initializeSelfServiceRecoveryFlowForBrowsers:OryKratosBackend :: Maybe Text -> OryKratosClient SelfServiceRecoveryFlow
$sel:initializeSelfServiceLoginFlowWithoutBrowser:OryKratosBackend :: Maybe Bool
-> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
$sel:initializeSelfServiceLoginFlowForBrowsers:OryKratosBackend :: Maybe Bool
-> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
$sel:getWebAuthnJavaScript:OryKratosBackend :: OryKratosClient Text
$sel:getSelfServiceVerificationFlow:OryKratosBackend :: Maybe Text
-> Maybe Text -> OryKratosClient SelfServiceVerificationFlow
$sel:getSelfServiceSettingsFlow:OryKratosBackend :: Maybe Text
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
$sel:getSelfServiceRegistrationFlow:OryKratosBackend :: Maybe Text
-> Maybe Text -> OryKratosClient SelfServiceRegistrationFlow
$sel:getSelfServiceRecoveryFlow:OryKratosBackend :: Maybe Text -> Maybe Text -> OryKratosClient SelfServiceRecoveryFlow
$sel:getSelfServiceLoginFlow:OryKratosBackend :: Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
$sel:getSelfServiceError:OryKratosBackend :: Maybe Text -> OryKratosClient SelfServiceError
$sel:getJsonSchema:OryKratosBackend :: Text -> OryKratosClient Value
$sel:createSelfServiceLogoutFlowUrlForBrowsers:OryKratosBackend :: Maybe Text -> OryKratosClient SelfServiceLogoutUrl
$sel:adminUpdateIdentity:OryKratosBackend :: Text
-> AdminUpdateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
$sel:adminListIdentitySessions:OryKratosBackend :: Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
$sel:adminListIdentities:OryKratosBackend :: Maybe Integer
-> Maybe Integer
-> OryKratosClient [Identity traits metadataAdmin metadataPublic]
$sel:adminGetIdentity:OryKratosBackend :: Text
-> Maybe [Text]
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
$sel:adminExtendSession:OryKratosBackend :: Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
$sel:adminDeleteIdentitySessions:OryKratosBackend :: Text -> OryKratosClient NoContent
$sel:adminDeleteIdentity:OryKratosBackend :: Text -> OryKratosClient NoContent
$sel:adminCreateSelfServiceRecoveryLink:OryKratosBackend :: AdminCreateSelfServiceRecoveryLinkBody
-> OryKratosClient SelfServiceRecoveryLink
$sel:adminCreateIdentity:OryKratosBackend :: AdminCreateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
$sel:isReady:OryKratosBackend :: OryKratosClient IsAlive200Response
$sel:isAlive:OryKratosBackend :: OryKratosClient IsAlive200Response
$sel:getVersion:OryKratosBackend :: OryKratosClient GetVersion200Response
..}
where
( (ClientM GetVersion200Response
-> OryKratosClient GetVersion200Response
coerce -> OryKratosClient GetVersion200Response
getVersion)
:<|> (ClientM IsAlive200Response -> OryKratosClient IsAlive200Response
coerce -> OryKratosClient IsAlive200Response
isAlive)
:<|> (ClientM IsAlive200Response -> OryKratosClient IsAlive200Response
coerce -> OryKratosClient IsAlive200Response
isReady)
:<|> ((AdminCreateIdentityBody
-> ClientM (Identity traits metadataAdmin metadataPublic))
-> AdminCreateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
coerce -> AdminCreateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
adminCreateIdentity)
:<|> ((AdminCreateSelfServiceRecoveryLinkBody
-> ClientM SelfServiceRecoveryLink)
-> AdminCreateSelfServiceRecoveryLinkBody
-> OryKratosClient SelfServiceRecoveryLink
coerce -> AdminCreateSelfServiceRecoveryLinkBody
-> OryKratosClient SelfServiceRecoveryLink
adminCreateSelfServiceRecoveryLink)
:<|> ((Text -> ClientM NoContent) -> Text -> OryKratosClient NoContent
coerce -> Text -> OryKratosClient NoContent
adminDeleteIdentity)
:<|> ((Text -> ClientM NoContent) -> Text -> OryKratosClient NoContent
coerce -> Text -> OryKratosClient NoContent
adminDeleteIdentitySessions)
:<|> ((Text -> ClientM (Session traits metadataAdmin metadataPublic))
-> Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
coerce -> Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
adminExtendSession)
:<|> ((Text
-> Maybe (QueryList 'MultiParamArray Text)
-> ClientM (Identity traits metadataAdmin metadataPublic))
-> Text
-> Maybe [Text]
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
coerce -> Text
-> Maybe [Text]
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
adminGetIdentity)
:<|> ((Maybe Integer
-> Maybe Integer
-> ClientM [Identity traits metadataAdmin metadataPublic])
-> Maybe Integer
-> Maybe Integer
-> OryKratosClient [Identity traits metadataAdmin metadataPublic]
coerce -> Maybe Integer
-> Maybe Integer
-> OryKratosClient [Identity traits metadataAdmin metadataPublic]
adminListIdentities)
:<|> ((Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> ClientM [Session traits metadataAdmin metadataPublic])
-> Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
coerce -> Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
adminListIdentitySessions)
:<|> ((Text
-> AdminUpdateIdentityBody
-> ClientM (Identity traits metadataAdmin metadataPublic))
-> Text
-> AdminUpdateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
coerce -> Text
-> AdminUpdateIdentityBody
-> OryKratosClient (Identity traits metadataAdmin metadataPublic)
adminUpdateIdentity)
:<|> ((Maybe Text -> ClientM SelfServiceLogoutUrl)
-> Maybe Text -> OryKratosClient SelfServiceLogoutUrl
coerce -> Maybe Text -> OryKratosClient SelfServiceLogoutUrl
createSelfServiceLogoutFlowUrlForBrowsers)
:<|> ((Text -> ClientM Value) -> Text -> OryKratosClient Value
coerce -> Text -> OryKratosClient Value
getJsonSchema)
:<|> ((Maybe Text -> ClientM SelfServiceError)
-> Maybe Text -> OryKratosClient SelfServiceError
coerce -> Maybe Text -> OryKratosClient SelfServiceError
getSelfServiceError)
:<|> ((Maybe Text -> Maybe Text -> ClientM SelfServiceLoginFlow)
-> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
coerce -> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
getSelfServiceLoginFlow)
:<|> ((Maybe Text -> Maybe Text -> ClientM SelfServiceRecoveryFlow)
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceRecoveryFlow
coerce -> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceRecoveryFlow
getSelfServiceRecoveryFlow)
:<|> ((Maybe Text -> Maybe Text -> ClientM SelfServiceRegistrationFlow)
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceRegistrationFlow
coerce -> Maybe Text
-> Maybe Text -> OryKratosClient SelfServiceRegistrationFlow
getSelfServiceRegistrationFlow)
:<|> ((Maybe Text
-> Maybe Text
-> Maybe Text
-> ClientM
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> Maybe Text
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
coerce -> Maybe Text
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
getSelfServiceSettingsFlow)
:<|> ((Maybe Text -> Maybe Text -> ClientM SelfServiceVerificationFlow)
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceVerificationFlow
coerce -> Maybe Text
-> Maybe Text -> OryKratosClient SelfServiceVerificationFlow
getSelfServiceVerificationFlow)
:<|> (ClientM Text -> OryKratosClient Text
coerce -> OryKratosClient Text
getWebAuthnJavaScript)
:<|> ((Maybe Bool
-> Maybe Text -> Maybe Text -> ClientM SelfServiceLoginFlow)
-> Maybe Bool
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceLoginFlow
coerce -> Maybe Bool
-> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
initializeSelfServiceLoginFlowForBrowsers)
:<|> ((Maybe Bool
-> Maybe Text -> Maybe Text -> ClientM SelfServiceLoginFlow)
-> Maybe Bool
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceLoginFlow
coerce -> Maybe Bool
-> Maybe Text -> Maybe Text -> OryKratosClient SelfServiceLoginFlow
initializeSelfServiceLoginFlowWithoutBrowser)
:<|> ((Maybe Text -> ClientM SelfServiceRecoveryFlow)
-> Maybe Text -> OryKratosClient SelfServiceRecoveryFlow
coerce -> Maybe Text -> OryKratosClient SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowForBrowsers)
:<|> (ClientM SelfServiceRecoveryFlow
-> OryKratosClient SelfServiceRecoveryFlow
coerce -> OryKratosClient SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowWithoutBrowser)
:<|> ((Maybe Text -> ClientM SelfServiceRegistrationFlow)
-> Maybe Text -> OryKratosClient SelfServiceRegistrationFlow
coerce -> Maybe Text -> OryKratosClient SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowForBrowsers)
:<|> (ClientM SelfServiceRegistrationFlow
-> OryKratosClient SelfServiceRegistrationFlow
coerce -> OryKratosClient SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowWithoutBrowser)
:<|> ((Maybe Text
-> ClientM
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
coerce -> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceSettingsFlowForBrowsers)
:<|> ((Maybe Text
-> ClientM
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
coerce -> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceSettingsFlowWithoutBrowser)
:<|> ((Maybe Text -> ClientM SelfServiceVerificationFlow)
-> Maybe Text -> OryKratosClient SelfServiceVerificationFlow
coerce -> Maybe Text -> OryKratosClient SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowForBrowsers)
:<|> (ClientM SelfServiceVerificationFlow
-> OryKratosClient SelfServiceVerificationFlow
coerce -> OryKratosClient SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowWithoutBrowser)
:<|> ((Maybe Integer -> Maybe Integer -> ClientM [IdentitySchema])
-> Maybe Integer
-> Maybe Integer
-> OryKratosClient [IdentitySchema]
coerce -> Maybe Integer -> Maybe Integer -> OryKratosClient [IdentitySchema]
listIdentitySchemas)
:<|> ((Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> ClientM [Session traits metadataAdmin metadataPublic])
-> Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
coerce -> Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> OryKratosClient [Session traits metadataAdmin metadataPublic]
listSessions)
:<|> ((Text -> ClientM NoContent) -> Text -> OryKratosClient NoContent
coerce -> Text -> OryKratosClient NoContent
revokeSession)
:<|> ((Maybe Text -> Maybe Text -> ClientM RevokedSessions)
-> Maybe Text -> Maybe Text -> OryKratosClient RevokedSessions
coerce -> Maybe Text -> Maybe Text -> OryKratosClient RevokedSessions
revokeSessions)
:<|> ((Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> ClientM
(SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic))
-> Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
coerce -> Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
submitSelfServiceLoginFlow)
:<|> ((Maybe Text -> Maybe Text -> ClientM NoContent)
-> Maybe Text -> Maybe Text -> OryKratosClient NoContent
coerce -> Maybe Text -> Maybe Text -> OryKratosClient NoContent
submitSelfServiceLogoutFlow)
:<|> ((SubmitSelfServiceLogoutFlowWithoutBrowserBody
-> ClientM NoContent)
-> SubmitSelfServiceLogoutFlowWithoutBrowserBody
-> OryKratosClient NoContent
coerce -> SubmitSelfServiceLogoutFlowWithoutBrowserBody
-> OryKratosClient NoContent
submitSelfServiceLogoutFlowWithoutBrowser)
:<|> ((Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> ClientM SelfServiceRecoveryFlow)
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceRecoveryFlow
coerce -> Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceRecoveryFlow
submitSelfServiceRecoveryFlow)
:<|> ((Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> ClientM
(SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic))
-> Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
coerce -> Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient
(SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
submitSelfServiceRegistrationFlow)
:<|> ((Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> ClientM
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
coerce -> Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient
(SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
submitSelfServiceSettingsFlow)
:<|> ((Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> ClientM SelfServiceVerificationFlow)
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceVerificationFlow
coerce -> Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceVerificationFlow
submitSelfServiceVerificationFlow)
:<|> ((Maybe Text
-> Maybe Text
-> ClientM (Session traits metadataAdmin metadataPublic))
-> Maybe Text
-> Maybe Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
coerce -> Maybe Text
-> Maybe Text
-> OryKratosClient (Session traits metadataAdmin metadataPublic)
toSession)
:<|> ByteString -> ClientM Response
_
) = Proxy (OryKratosAPI traits metadataAdmin metadataPublic)
-> Client
ClientM (OryKratosAPI traits metadataAdmin metadataPublic)
forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (forall k (t :: k). Proxy t
forall adminMetadata publicMetadata.
Proxy (OryKratosAPI traits adminMetadata publicMetadata)
Proxy :: Proxy (OryKratosAPI traits adminMetadata publicMetadata))
runOryKratosClient :: Config -> OryKratosClient a -> ExceptT ClientError IO a
runOryKratosClient :: Config -> OryKratosClient a -> ExceptT ClientError IO a
runOryKratosClient Config
clientConfig OryKratosClient a
cl = do
Manager
manager <- IO Manager -> ExceptT ClientError IO Manager
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Manager -> ExceptT ClientError IO Manager)
-> IO Manager -> ExceptT ClientError IO Manager
forall a b. (a -> b) -> a -> b
$ ManagerSettings -> IO Manager
newManager ManagerSettings
tlsManagerSettings
Manager -> Config -> OryKratosClient a -> ExceptT ClientError IO a
forall a.
Manager -> Config -> OryKratosClient a -> ExceptT ClientError IO a
runOryKratosClientWithManager Manager
manager Config
clientConfig OryKratosClient a
cl
runOryKratosClientWithManager :: Manager -> Config -> OryKratosClient a -> ExceptT ClientError IO a
runOryKratosClientWithManager :: Manager -> Config -> OryKratosClient a -> ExceptT ClientError IO a
runOryKratosClientWithManager Manager
manager Config {[Char]
configUrl :: [Char]
$sel:configUrl:Config :: Config -> [Char]
..} OryKratosClient a
cl = do
BaseUrl
url <- [Char] -> ExceptT ClientError IO BaseUrl
forall (m :: * -> *). MonadThrow m => [Char] -> m BaseUrl
parseBaseUrl [Char]
configUrl
OryKratosClient a -> ClientEnv -> ExceptT ClientError IO a
forall a.
OryKratosClient a -> ClientEnv -> ExceptT ClientError IO a
runClient OryKratosClient a
cl (ClientEnv -> ExceptT ClientError IO a)
-> ClientEnv -> ExceptT ClientError IO a
forall a b. (a -> b) -> a -> b
$ Manager -> BaseUrl -> ClientEnv
mkClientEnv Manager
manager BaseUrl
url
callOryKratos ::
(MonadIO m, MonadThrow m) =>
ClientEnv ->
OryKratosClient a ->
m a
callOryKratos :: ClientEnv -> OryKratosClient a -> m a
callOryKratos ClientEnv
env OryKratosClient a
f = do
Either ClientError a
res <- IO (Either ClientError a) -> m (Either ClientError a)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Either ClientError a) -> m (Either ClientError a))
-> IO (Either ClientError a) -> m (Either ClientError a)
forall a b. (a -> b) -> a -> b
$ ExceptT ClientError IO a -> IO (Either ClientError a)
forall e (m :: * -> *) a. ExceptT e m a -> m (Either e a)
runExceptT (ExceptT ClientError IO a -> IO (Either ClientError a))
-> ExceptT ClientError IO a -> IO (Either ClientError a)
forall a b. (a -> b) -> a -> b
$ OryKratosClient a -> ClientEnv -> ExceptT ClientError IO a
forall a.
OryKratosClient a -> ClientEnv -> ExceptT ClientError IO a
runClient OryKratosClient a
f ClientEnv
env
case Either ClientError a
res of
Left ClientError
err -> OryKratosClientError -> m a
forall (m :: * -> *) e a. (MonadThrow m, Exception e) => e -> m a
throwM (ClientError -> OryKratosClientError
OryKratosClientError ClientError
err)
Right a
response -> a -> m a
forall (f :: * -> *) a. Applicative f => a -> f a
pure a
response
requestMiddlewareId :: Application -> Application
requestMiddlewareId :: Application -> Application
requestMiddlewareId Application
a = Application
a
runOryKratosServer ::
(MonadIO m, MonadThrow m, ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) =>
Config ->
OryKratosBackend (ExceptT ServerError IO) traits adminMetadata publicMetadata ->
m ()
runOryKratosServer :: Config
-> OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
-> m ()
runOryKratosServer Config
config OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
backend = Config
-> (Application -> Application)
-> OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
-> m ()
forall (m :: * -> *) traits adminMetadata publicMetadata.
(MonadIO m, MonadThrow m, ToJSON traits, ToJSON adminMetadata,
ToJSON publicMetadata) =>
Config
-> (Application -> Application)
-> OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
-> m ()
runOryKratosMiddlewareServer Config
config Application -> Application
requestMiddlewareId OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
backend
runOryKratosMiddlewareServer ::
(MonadIO m, MonadThrow m, ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) =>
Config ->
Middleware ->
OryKratosBackend (ExceptT ServerError IO) traits adminMetadata publicMetadata ->
m ()
runOryKratosMiddlewareServer :: Config
-> (Application -> Application)
-> OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
-> m ()
runOryKratosMiddlewareServer Config {[Char]
configUrl :: [Char]
$sel:configUrl:Config :: Config -> [Char]
..} Application -> Application
middleware OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
backend = do
BaseUrl
url <- [Char] -> m BaseUrl
forall (m :: * -> *). MonadThrow m => [Char] -> m BaseUrl
parseBaseUrl [Char]
configUrl
let warpSettings :: Settings
warpSettings =
Settings
Warp.defaultSettings
Settings -> (Settings -> Settings) -> Settings
forall a b. a -> (a -> b) -> b
& Int -> Settings -> Settings
Warp.setPort (BaseUrl -> Int
baseUrlPort BaseUrl
url)
Settings -> (Settings -> Settings) -> Settings
forall a b. a -> (a -> b) -> b
& HostPreference -> Settings -> Settings
Warp.setHost ([Char] -> HostPreference
forall a. IsString a => [Char] -> a
fromString ([Char] -> HostPreference) -> [Char] -> HostPreference
forall a b. (a -> b) -> a -> b
$ BaseUrl -> [Char]
baseUrlHost BaseUrl
url)
IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ Settings -> Application -> IO ()
Warp.runSettings Settings
warpSettings (Application -> IO ()) -> Application -> IO ()
forall a b. (a -> b) -> a -> b
$ Application -> Application
middleware (Application -> Application) -> Application -> Application
forall a b. (a -> b) -> a -> b
$ OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
-> Application
forall traits adminMetadata publicMetadata.
(ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) =>
OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
-> Application
serverWaiApplicationOryKratos OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
backend
serverWaiApplicationOryKratos ::
forall traits adminMetadata publicMetadata.
(ToJSON traits, ToJSON adminMetadata, ToJSON publicMetadata) =>
OryKratosBackend (ExceptT ServerError IO) traits adminMetadata publicMetadata ->
Application
serverWaiApplicationOryKratos :: OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
-> Application
serverWaiApplicationOryKratos OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
backend = Proxy (OryKratosAPI traits adminMetadata publicMetadata)
-> Server (OryKratosAPI traits adminMetadata publicMetadata)
-> Application
forall api.
HasServer api '[] =>
Proxy api -> Server api -> Application
serve (Proxy (OryKratosAPI traits adminMetadata publicMetadata)
forall k (t :: k). Proxy t
Proxy :: Proxy (OryKratosAPI traits adminMetadata publicMetadata)) (OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
-> Handler GetVersion200Response
:<|> (Handler IsAlive200Response
:<|> (Handler IsAlive200Response
:<|> ((AdminCreateIdentityBody
-> Handler (Identity traits adminMetadata publicMetadata))
:<|> ((AdminCreateSelfServiceRecoveryLinkBody
-> Handler SelfServiceRecoveryLink)
:<|> ((Text -> Handler NoContent)
:<|> ((Text -> Handler NoContent)
:<|> ((Text
-> Handler
(Session traits adminMetadata publicMetadata))
:<|> ((Text
-> Maybe (QueryList 'MultiParamArray Text)
-> Handler
(Identity
traits adminMetadata publicMetadata))
:<|> ((Maybe Integer
-> Maybe Integer
-> Handler
[Identity
traits
adminMetadata
publicMetadata])
:<|> ((Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> Handler
[Session
traits
adminMetadata
publicMetadata])
:<|> ((Text
-> AdminUpdateIdentityBody
-> Handler
(Identity
traits
adminMetadata
publicMetadata))
:<|> ((Maybe Text
-> Handler
SelfServiceLogoutUrl)
:<|> ((Text
-> Handler Value)
:<|> ((Maybe Text
-> Handler
SelfServiceError)
:<|> ((Maybe
Text
-> Maybe
Text
-> Handler
SelfServiceLoginFlow)
:<|> ((Maybe
Text
-> Maybe
Text
-> Handler
SelfServiceRecoveryFlow)
:<|> ((Maybe
Text
-> Maybe
Text
-> Handler
SelfServiceRegistrationFlow)
:<|> ((Maybe
Text
-> Maybe
Text
-> Maybe
Text
-> Handler
(SelfServiceSettingsFlow
traits
adminMetadata
publicMetadata))
:<|> ((Maybe
Text
-> Maybe
Text
-> Handler
SelfServiceVerificationFlow)
:<|> (Handler
Text
:<|> ((Maybe
Bool
-> Maybe
Text
-> Maybe
Text
-> Handler
SelfServiceLoginFlow)
:<|> ((Maybe
Bool
-> Maybe
Text
-> Maybe
Text
-> Handler
SelfServiceLoginFlow)
:<|> ((Maybe
Text
-> Handler
SelfServiceRecoveryFlow)
:<|> (Handler
SelfServiceRecoveryFlow
:<|> ((Maybe
Text
-> Handler
SelfServiceRegistrationFlow)
:<|> (Handler
SelfServiceRegistrationFlow
:<|> ((Maybe
Text
-> Handler
(SelfServiceSettingsFlow
traits
adminMetadata
publicMetadata))
:<|> ((Maybe
Text
-> Handler
(SelfServiceSettingsFlow
traits
adminMetadata
publicMetadata))
:<|> ((Maybe
Text
-> Handler
SelfServiceVerificationFlow)
:<|> (Handler
SelfServiceVerificationFlow
:<|> ((Maybe
Integer
-> Maybe
Integer
-> Handler
[IdentitySchema])
:<|> ((Maybe
Integer
-> Maybe
Integer
-> Maybe
Text
-> Maybe
Text
-> Handler
[Session
traits
adminMetadata
publicMetadata])
:<|> ((Text
-> Handler
NoContent)
:<|> ((Maybe
Text
-> Maybe
Text
-> Handler
RevokedSessions)
:<|> ((Maybe
Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe
Text
-> Maybe
Text
-> Handler
(SuccessfulSelfServiceLoginWithoutBrowser
traits
adminMetadata
publicMetadata))
:<|> ((Maybe
Text
-> Maybe
Text
-> Handler
NoContent)
:<|> ((SubmitSelfServiceLogoutFlowWithoutBrowserBody
-> Handler
NoContent)
:<|> ((Maybe
Text
-> Maybe
Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe
Text
-> Handler
SelfServiceRecoveryFlow)
:<|> ((Maybe
Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe
Text
-> Handler
(SuccessfulSelfServiceRegistrationWithoutBrowser
traits
adminMetadata
publicMetadata))
:<|> ((Maybe
Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe
Text
-> Maybe
Text
-> Handler
(SelfServiceSettingsFlow
traits
adminMetadata
publicMetadata))
:<|> ((Maybe
Text
-> Maybe
Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe
Text
-> Handler
SelfServiceVerificationFlow)
:<|> ((Maybe
Text
-> Maybe
Text
-> Handler
(Session
traits
adminMetadata
publicMetadata))
:<|> Tagged
Handler
Application))))))))))))))))))))))))))))))))))))))))))
forall a (m :: * -> *) a a a traits metadataAdmin metadataPublic a
a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
a a a a (m :: * -> *).
(Coercible a (m GetVersion200Response),
Coercible a (m IsAlive200Response),
Coercible a (m IsAlive200Response),
Coercible
a
(AdminCreateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)),
Coercible
a
(AdminCreateSelfServiceRecoveryLinkBody
-> m SelfServiceRecoveryLink),
Coercible a (Text -> m NoContent),
Coercible a (Text -> m NoContent),
Coercible
a (Text -> m (Session traits metadataAdmin metadataPublic)),
Coercible
a
(Text
-> Maybe [Text]
-> m (Identity traits metadataAdmin metadataPublic)),
Coercible
a
(Maybe Integer
-> Maybe Integer
-> m [Identity traits metadataAdmin metadataPublic]),
Coercible
a
(Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session traits metadataAdmin metadataPublic]),
Coercible
a
(Text
-> AdminUpdateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)),
Coercible a (Maybe Text -> m SelfServiceLogoutUrl),
Coercible a (Text -> m Value),
Coercible a (Maybe Text -> m SelfServiceError),
Coercible a (Maybe Text -> Maybe Text -> m SelfServiceLoginFlow),
Coercible
a (Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow),
Coercible
a (Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow),
Coercible
a
(Maybe Text
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow
traits metadataAdmin metadataPublic)),
Coercible
a (Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow),
Coercible a (m Text),
Coercible
a
(Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow),
Coercible
a
(Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow),
Coercible a (Maybe Text -> m SelfServiceRecoveryFlow),
Coercible a (m SelfServiceRecoveryFlow),
Coercible a (Maybe Text -> m SelfServiceRegistrationFlow),
Coercible a (m SelfServiceRegistrationFlow),
Coercible
a
(Maybe Text
-> m (SelfServiceSettingsFlow
traits metadataAdmin metadataPublic)),
Coercible
a
(Maybe Text
-> m (SelfServiceSettingsFlow
traits metadataAdmin metadataPublic)),
Coercible a (Maybe Text -> m SelfServiceVerificationFlow),
Coercible a (m SelfServiceVerificationFlow),
Coercible a (Maybe Integer -> Maybe Integer -> m [IdentitySchema]),
Coercible
a
(Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session traits metadataAdmin metadataPublic]),
Coercible a (Text -> m NoContent),
Coercible a (Maybe Text -> Maybe Text -> m RevokedSessions),
Coercible
a
(Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m (SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)),
Coercible a (Maybe Text -> Maybe Text -> m NoContent),
Coercible
a (SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent),
Coercible
a
(Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow),
Coercible
a
(Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m (SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)),
Coercible
a
(Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow
traits metadataAdmin metadataPublic)),
Coercible
a
(Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow),
Coercible
a
(Maybe Text
-> Maybe Text
-> m (Session traits metadataAdmin metadataPublic))) =>
OryKratosBackend m traits metadataAdmin metadataPublic
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))))))))
serverFromBackend OryKratosBackend
(ExceptT ServerError IO) traits adminMetadata publicMetadata
backend)
where
serverFromBackend :: OryKratosBackend m traits metadataAdmin metadataPublic
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))))))))
serverFromBackend OryKratosBackend {m Text
m IsAlive200Response
m GetVersion200Response
m SelfServiceVerificationFlow
m SelfServiceRegistrationFlow
m SelfServiceRecoveryFlow
Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
Maybe Integer -> Maybe Integer -> m [IdentitySchema]
Maybe Integer
-> Maybe Integer
-> m [Identity traits metadataAdmin metadataPublic]
Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session traits metadataAdmin metadataPublic]
Maybe Text -> m SelfServiceVerificationFlow
Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
Maybe Text -> m SelfServiceRegistrationFlow
Maybe Text -> m SelfServiceRecoveryFlow
Maybe Text -> m SelfServiceLogoutUrl
Maybe Text -> m SelfServiceError
Maybe Text -> Maybe Text -> m NoContent
Maybe Text -> Maybe Text -> m RevokedSessions
Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow
Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow
Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow
Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
Maybe Text
-> Maybe Text -> m (Session traits metadataAdmin metadataPublic)
Maybe Text
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow
Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow
Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m (SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m (SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
Text -> m Value
Text -> m NoContent
Text -> m (Session traits metadataAdmin metadataPublic)
Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session traits metadataAdmin metadataPublic]
Text
-> Maybe [Text] -> m (Identity traits metadataAdmin metadataPublic)
Text
-> AdminUpdateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent
AdminCreateSelfServiceRecoveryLinkBody -> m SelfServiceRecoveryLink
AdminCreateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
toSession :: Maybe Text
-> Maybe Text -> m (Session traits metadataAdmin metadataPublic)
submitSelfServiceVerificationFlow :: Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow
submitSelfServiceSettingsFlow :: Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
submitSelfServiceRegistrationFlow :: Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m (SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
submitSelfServiceRecoveryFlow :: Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow
submitSelfServiceLogoutFlowWithoutBrowser :: SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent
submitSelfServiceLogoutFlow :: Maybe Text -> Maybe Text -> m NoContent
submitSelfServiceLoginFlow :: Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m (SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
revokeSessions :: Maybe Text -> Maybe Text -> m RevokedSessions
revokeSession :: Text -> m NoContent
listSessions :: Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session traits metadataAdmin metadataPublic]
listIdentitySchemas :: Maybe Integer -> Maybe Integer -> m [IdentitySchema]
initializeSelfServiceVerificationFlowWithoutBrowser :: m SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowForBrowsers :: Maybe Text -> m SelfServiceVerificationFlow
initializeSelfServiceSettingsFlowWithoutBrowser :: Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceSettingsFlowForBrowsers :: Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceRegistrationFlowWithoutBrowser :: m SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowForBrowsers :: Maybe Text -> m SelfServiceRegistrationFlow
initializeSelfServiceRecoveryFlowWithoutBrowser :: m SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowForBrowsers :: Maybe Text -> m SelfServiceRecoveryFlow
initializeSelfServiceLoginFlowWithoutBrowser :: Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
initializeSelfServiceLoginFlowForBrowsers :: Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
getWebAuthnJavaScript :: m Text
getSelfServiceVerificationFlow :: Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow
getSelfServiceSettingsFlow :: Maybe Text
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
getSelfServiceRegistrationFlow :: Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow
getSelfServiceRecoveryFlow :: Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow
getSelfServiceLoginFlow :: Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
getSelfServiceError :: Maybe Text -> m SelfServiceError
getJsonSchema :: Text -> m Value
createSelfServiceLogoutFlowUrlForBrowsers :: Maybe Text -> m SelfServiceLogoutUrl
adminUpdateIdentity :: Text
-> AdminUpdateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
adminListIdentitySessions :: Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session traits metadataAdmin metadataPublic]
adminListIdentities :: Maybe Integer
-> Maybe Integer
-> m [Identity traits metadataAdmin metadataPublic]
adminGetIdentity :: Text
-> Maybe [Text] -> m (Identity traits metadataAdmin metadataPublic)
adminExtendSession :: Text -> m (Session traits metadataAdmin metadataPublic)
adminDeleteIdentitySessions :: Text -> m NoContent
adminDeleteIdentity :: Text -> m NoContent
adminCreateSelfServiceRecoveryLink :: AdminCreateSelfServiceRecoveryLinkBody -> m SelfServiceRecoveryLink
adminCreateIdentity :: AdminCreateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
isReady :: m IsAlive200Response
isAlive :: m IsAlive200Response
getVersion :: m GetVersion200Response
$sel:toSession:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> Maybe Text
-> m (Session traits metadataAdmin metadataPublic)
$sel:submitSelfServiceVerificationFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow
$sel:submitSelfServiceSettingsFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
$sel:submitSelfServiceRegistrationFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m (SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
$sel:submitSelfServiceRecoveryFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow
$sel:submitSelfServiceLogoutFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent
$sel:submitSelfServiceLogoutFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m NoContent
$sel:submitSelfServiceLoginFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m (SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
$sel:revokeSessions:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m RevokedSessions
$sel:revokeSession:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m NoContent
$sel:listSessions:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session traits metadataAdmin metadataPublic]
$sel:listIdentitySchemas:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Integer -> Maybe Integer -> m [IdentitySchema]
$sel:initializeSelfServiceVerificationFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> m SelfServiceVerificationFlow
$sel:initializeSelfServiceVerificationFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceVerificationFlow
$sel:initializeSelfServiceSettingsFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
$sel:initializeSelfServiceSettingsFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
$sel:initializeSelfServiceRegistrationFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> m SelfServiceRegistrationFlow
$sel:initializeSelfServiceRegistrationFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceRegistrationFlow
$sel:initializeSelfServiceRecoveryFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> m SelfServiceRecoveryFlow
$sel:initializeSelfServiceRecoveryFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceRecoveryFlow
$sel:initializeSelfServiceLoginFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
$sel:initializeSelfServiceLoginFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
$sel:getWebAuthnJavaScript:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic -> m Text
$sel:getSelfServiceVerificationFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow
$sel:getSelfServiceSettingsFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
$sel:getSelfServiceRegistrationFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow
$sel:getSelfServiceRecoveryFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow
$sel:getSelfServiceLoginFlow:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
$sel:getSelfServiceError:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceError
$sel:getJsonSchema:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m Value
$sel:createSelfServiceLogoutFlowUrlForBrowsers:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Text -> m SelfServiceLogoutUrl
$sel:adminUpdateIdentity:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text
-> AdminUpdateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
$sel:adminListIdentitySessions:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session traits metadataAdmin metadataPublic]
$sel:adminListIdentities:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Maybe Integer
-> Maybe Integer
-> m [Identity traits metadataAdmin metadataPublic]
$sel:adminGetIdentity:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text
-> Maybe [Text]
-> m (Identity traits metadataAdmin metadataPublic)
$sel:adminExtendSession:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m (Session traits metadataAdmin metadataPublic)
$sel:adminDeleteIdentitySessions:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m NoContent
$sel:adminDeleteIdentity:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> Text -> m NoContent
$sel:adminCreateSelfServiceRecoveryLink:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> AdminCreateSelfServiceRecoveryLinkBody
-> m SelfServiceRecoveryLink
$sel:adminCreateIdentity:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> AdminCreateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
$sel:isReady:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> m IsAlive200Response
$sel:isAlive:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> m IsAlive200Response
$sel:getVersion:OryKratosBackend :: forall (m :: * -> *) traits metadataAdmin metadataPublic.
OryKratosBackend m traits metadataAdmin metadataPublic
-> m GetVersion200Response
..} =
( m GetVersion200Response -> a
coerce m GetVersion200Response
getVersion
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> m IsAlive200Response -> a
coerce m IsAlive200Response
isAlive
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> m IsAlive200Response -> a
coerce m IsAlive200Response
isReady
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (AdminCreateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic))
-> a
coerce AdminCreateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
adminCreateIdentity
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (AdminCreateSelfServiceRecoveryLinkBody
-> m SelfServiceRecoveryLink)
-> a
coerce AdminCreateSelfServiceRecoveryLinkBody -> m SelfServiceRecoveryLink
adminCreateSelfServiceRecoveryLink
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Text -> m NoContent) -> a
coerce Text -> m NoContent
adminDeleteIdentity
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Text -> m NoContent) -> a
coerce Text -> m NoContent
adminDeleteIdentitySessions
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Text -> m (Session traits metadataAdmin metadataPublic)) -> a
coerce Text -> m (Session traits metadataAdmin metadataPublic)
adminExtendSession
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Text
-> Maybe [Text]
-> m (Identity traits metadataAdmin metadataPublic))
-> a
coerce Text
-> Maybe [Text] -> m (Identity traits metadataAdmin metadataPublic)
adminGetIdentity
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Integer
-> Maybe Integer
-> m [Identity traits metadataAdmin metadataPublic])
-> a
coerce Maybe Integer
-> Maybe Integer
-> m [Identity traits metadataAdmin metadataPublic]
adminListIdentities
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session traits metadataAdmin metadataPublic])
-> a
coerce Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session traits metadataAdmin metadataPublic]
adminListIdentitySessions
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Text
-> AdminUpdateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic))
-> a
coerce Text
-> AdminUpdateIdentityBody
-> m (Identity traits metadataAdmin metadataPublic)
adminUpdateIdentity
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> m SelfServiceLogoutUrl) -> a
coerce Maybe Text -> m SelfServiceLogoutUrl
createSelfServiceLogoutFlowUrlForBrowsers
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Text -> m Value) -> a
coerce Text -> m Value
getJsonSchema
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> m SelfServiceError) -> a
coerce Maybe Text -> m SelfServiceError
getSelfServiceError
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> Maybe Text -> m SelfServiceLoginFlow) -> a
coerce Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
getSelfServiceLoginFlow
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow) -> a
coerce Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow
getSelfServiceRecoveryFlow
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow) -> a
coerce Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow
getSelfServiceRegistrationFlow
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> a
coerce Maybe Text
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
getSelfServiceSettingsFlow
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow) -> a
coerce Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow
getSelfServiceVerificationFlow
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> m Text -> a
coerce m Text
getWebAuthnJavaScript
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow)
-> a
coerce Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
initializeSelfServiceLoginFlowForBrowsers
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow)
-> a
coerce Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
initializeSelfServiceLoginFlowWithoutBrowser
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> m SelfServiceRecoveryFlow) -> a
coerce Maybe Text -> m SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowForBrowsers
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> m SelfServiceRecoveryFlow -> a
coerce m SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowWithoutBrowser
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> m SelfServiceRegistrationFlow) -> a
coerce Maybe Text -> m SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowForBrowsers
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> m SelfServiceRegistrationFlow -> a
coerce m SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowWithoutBrowser
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> a
coerce Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceSettingsFlowForBrowsers
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> a
coerce Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
initializeSelfServiceSettingsFlowWithoutBrowser
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> m SelfServiceVerificationFlow) -> a
coerce Maybe Text -> m SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowForBrowsers
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application)))))))))))))
forall a b. a -> b -> a :<|> b
:<|> m SelfServiceVerificationFlow -> a
coerce m SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowWithoutBrowser
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m
Application))))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Integer -> Maybe Integer -> m [IdentitySchema]) -> a
coerce Maybe Integer -> Maybe Integer -> m [IdentitySchema]
listIdentitySchemas
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged m Application)))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> Tagged
m Application)))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session traits metadataAdmin metadataPublic])
-> a
coerce Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session traits metadataAdmin metadataPublic]
listSessions
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> Tagged m Application))))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a :<|> Tagged m Application))))))))))
forall a b. a -> b -> a :<|> b
:<|> (Text -> m NoContent) -> a
coerce Text -> m NoContent
revokeSession
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application)))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application)))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> Maybe Text -> m RevokedSessions) -> a
coerce Maybe Text -> Maybe Text -> m RevokedSessions
revokeSessions
a
-> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application))))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application))))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m (SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic))
-> a
coerce Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m (SuccessfulSelfServiceLoginWithoutBrowser
traits metadataAdmin metadataPublic)
submitSelfServiceLoginFlow
a
-> (a
:<|> (a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application)))))))
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application)))))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text -> Maybe Text -> m NoContent) -> a
coerce Maybe Text -> Maybe Text -> m NoContent
submitSelfServiceLogoutFlow
a
-> (a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application))))))
-> a
:<|> (a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application))))))
forall a b. a -> b -> a :<|> b
:<|> (SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent) -> a
coerce SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent
submitSelfServiceLogoutFlowWithoutBrowser
a
-> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application)))))
-> a
:<|> (a
:<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application)))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow)
-> a
coerce Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow
submitSelfServiceRecoveryFlow
a
-> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application))))
-> a :<|> (a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application))))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m (SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic))
-> a
coerce Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m (SuccessfulSelfServiceRegistrationWithoutBrowser
traits metadataAdmin metadataPublic)
submitSelfServiceRegistrationFlow
a
-> (a :<|> (a :<|> (a :<|> Tagged m Application)))
-> a :<|> (a :<|> (a :<|> (a :<|> Tagged m Application)))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic))
-> a
coerce Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m (SelfServiceSettingsFlow traits metadataAdmin metadataPublic)
submitSelfServiceSettingsFlow
a
-> (a :<|> (a :<|> Tagged m Application))
-> a :<|> (a :<|> (a :<|> Tagged m Application))
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow)
-> a
coerce Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow
submitSelfServiceVerificationFlow
a
-> (a :<|> Tagged m Application)
-> a :<|> (a :<|> Tagged m Application)
forall a b. a -> b -> a :<|> b
:<|> (Maybe Text
-> Maybe Text -> m (Session traits metadataAdmin metadataPublic))
-> a
coerce Maybe Text
-> Maybe Text -> m (Session traits metadataAdmin metadataPublic)
toSession
a -> Tagged m Application -> a :<|> Tagged m Application
forall a b. a -> b -> a :<|> b
:<|> [Char] -> ServerT Raw m
forall (m :: * -> *). [Char] -> ServerT Raw m
serveDirectoryFileServer [Char]
"static"
)