{-# 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 (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 =
"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
:<|> "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
:<|> "admin" :> "identities" :> Capture "id" Text :> QueryParam "include_credential" (QueryList 'MultiParamArray (Text)) :> Verb 'GET 200 '[JSON] Identity
:<|> "admin" :> "identities" :> QueryParam "per_page" Integer :> QueryParam "page" Integer :> Verb 'GET 200 '[JSON] [Identity]
:<|> "admin" :> "identities" :> Capture "id" Text :> "sessions" :> QueryParam "per_page" Integer :> QueryParam "page" Integer :> QueryParam "active" Bool :> Verb 'GET 200 '[JSON] [Session]
:<|> "admin" :> "identities" :> Capture "id" Text :> ReqBody '[JSON] AdminUpdateIdentityBody :> Verb 'PUT 200 '[JSON] Identity
:<|> "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
:<|> "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
:<|> "self-service" :> "settings" :> "api" :> Header "X-Session-Token" Text :> Verb 'GET 200 '[JSON] SelfServiceSettingsFlow
:<|> "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]
:<|> "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
:<|> "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
:<|> "self-service" :> "settings" :> QueryParam "flow" Text :> ReqBody '[JSON] SubmitSelfServiceSettingsFlowBody :> Header "X-Session-Token" Text :> Header "Cookie" Text :> Verb 'POST 200 '[JSON] SelfServiceSettingsFlow
:<|> "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
:<|> 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 = OryKratosBackend
{
OryKratosBackend m -> m GetVersion200Response
getVersion :: m GetVersion200Response,
OryKratosBackend m -> m IsAlive200Response
isAlive :: m IsAlive200Response,
OryKratosBackend m -> m IsAlive200Response
isReady :: m IsAlive200Response,
OryKratosBackend m -> AdminCreateIdentityBody -> m Identity
adminCreateIdentity :: AdminCreateIdentityBody -> m Identity,
OryKratosBackend m
-> AdminCreateSelfServiceRecoveryLinkBody
-> m SelfServiceRecoveryLink
adminCreateSelfServiceRecoveryLink :: AdminCreateSelfServiceRecoveryLinkBody -> m SelfServiceRecoveryLink,
OryKratosBackend m -> Text -> m NoContent
adminDeleteIdentity :: Text -> m NoContent,
OryKratosBackend m -> Text -> m NoContent
adminDeleteIdentitySessions :: Text -> m NoContent,
OryKratosBackend m -> Text -> m Session
adminExtendSession :: Text -> m Session,
OryKratosBackend m -> Text -> Maybe [Text] -> m Identity
adminGetIdentity :: Text -> Maybe [Text] -> m Identity,
OryKratosBackend m
-> Maybe Integer -> Maybe Integer -> m [Identity]
adminListIdentities :: Maybe Integer -> Maybe Integer -> m [Identity],
OryKratosBackend m
-> Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session]
adminListIdentitySessions :: Text -> Maybe Integer -> Maybe Integer -> Maybe Bool -> m [Session],
OryKratosBackend m -> Text -> AdminUpdateIdentityBody -> m Identity
adminUpdateIdentity :: Text -> AdminUpdateIdentityBody -> m Identity,
OryKratosBackend m -> Maybe Text -> m SelfServiceLogoutUrl
createSelfServiceLogoutFlowUrlForBrowsers :: Maybe Text -> m SelfServiceLogoutUrl,
OryKratosBackend m -> Text -> m Value
getJsonSchema :: Text -> m Value,
OryKratosBackend m -> Maybe Text -> m SelfServiceError
getSelfServiceError :: Maybe Text -> m SelfServiceError,
OryKratosBackend m
-> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
getSelfServiceLoginFlow :: Maybe Text -> Maybe Text -> m SelfServiceLoginFlow,
OryKratosBackend m
-> Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow
getSelfServiceRecoveryFlow :: Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow,
OryKratosBackend m
-> Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow
getSelfServiceRegistrationFlow :: Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow,
OryKratosBackend m
-> Maybe Text
-> Maybe Text
-> Maybe Text
-> m SelfServiceSettingsFlow
getSelfServiceSettingsFlow :: Maybe Text -> Maybe Text -> Maybe Text -> m SelfServiceSettingsFlow,
OryKratosBackend m
-> Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow
getSelfServiceVerificationFlow :: Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow,
OryKratosBackend m -> m Text
getWebAuthnJavaScript :: m Text,
OryKratosBackend m
-> Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
initializeSelfServiceLoginFlowForBrowsers :: Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow,
OryKratosBackend m
-> Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
initializeSelfServiceLoginFlowWithoutBrowser :: Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow,
OryKratosBackend m -> Maybe Text -> m SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowForBrowsers :: Maybe Text -> m SelfServiceRecoveryFlow,
OryKratosBackend m -> m SelfServiceRecoveryFlow
initializeSelfServiceRecoveryFlowWithoutBrowser :: m SelfServiceRecoveryFlow,
OryKratosBackend m -> Maybe Text -> m SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowForBrowsers :: Maybe Text -> m SelfServiceRegistrationFlow,
OryKratosBackend m -> m SelfServiceRegistrationFlow
initializeSelfServiceRegistrationFlowWithoutBrowser :: m SelfServiceRegistrationFlow,
OryKratosBackend m -> Maybe Text -> m SelfServiceSettingsFlow
initializeSelfServiceSettingsFlowForBrowsers :: Maybe Text -> m SelfServiceSettingsFlow,
OryKratosBackend m -> Maybe Text -> m SelfServiceSettingsFlow
initializeSelfServiceSettingsFlowWithoutBrowser :: Maybe Text -> m SelfServiceSettingsFlow,
OryKratosBackend m -> Maybe Text -> m SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowForBrowsers :: Maybe Text -> m SelfServiceVerificationFlow,
OryKratosBackend m -> m SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowWithoutBrowser :: m SelfServiceVerificationFlow,
OryKratosBackend m
-> Maybe Integer -> Maybe Integer -> m [IdentitySchema]
listIdentitySchemas :: Maybe Integer -> Maybe Integer -> m [IdentitySchema],
OryKratosBackend m
-> Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session]
listSessions :: Maybe Integer -> Maybe Integer -> Maybe Text -> Maybe Text -> m [Session],
OryKratosBackend m -> Text -> m NoContent
revokeSession :: Text -> m NoContent,
OryKratosBackend m -> Maybe Text -> Maybe Text -> m RevokedSessions
revokeSessions :: Maybe Text -> Maybe Text -> m RevokedSessions,
OryKratosBackend m
-> Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m SuccessfulSelfServiceLoginWithoutBrowser
submitSelfServiceLoginFlow :: Maybe Text -> SubmitSelfServiceLoginFlowBody -> Maybe Text -> Maybe Text -> m SuccessfulSelfServiceLoginWithoutBrowser,
OryKratosBackend m -> Maybe Text -> Maybe Text -> m NoContent
submitSelfServiceLogoutFlow :: Maybe Text -> Maybe Text -> m NoContent,
OryKratosBackend m
-> SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent
submitSelfServiceLogoutFlowWithoutBrowser :: SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent,
OryKratosBackend m
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow
submitSelfServiceRecoveryFlow :: Maybe Text -> Maybe Text -> SubmitSelfServiceRecoveryFlowBody -> Maybe Text -> m SelfServiceRecoveryFlow,
OryKratosBackend m
-> Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m SuccessfulSelfServiceRegistrationWithoutBrowser
submitSelfServiceRegistrationFlow :: Maybe Text -> SubmitSelfServiceRegistrationFlowBody -> Maybe Text -> m SuccessfulSelfServiceRegistrationWithoutBrowser,
OryKratosBackend m
-> Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m SelfServiceSettingsFlow
submitSelfServiceSettingsFlow :: Maybe Text -> SubmitSelfServiceSettingsFlowBody -> Maybe Text -> Maybe Text -> m SelfServiceSettingsFlow,
OryKratosBackend m
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow
submitSelfServiceVerificationFlow :: Maybe Text -> Maybe Text -> SubmitSelfServiceVerificationFlowBody -> Maybe Text -> m SelfServiceVerificationFlow,
OryKratosBackend m -> Maybe Text -> Maybe Text -> m Session
toSession :: Maybe Text -> Maybe Text -> m Session
}
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 :: OryKratosBackend OryKratosClient
createOryKratosClient :: OryKratosBackend OryKratosClient
createOryKratosClient = OryKratosBackend :: forall (m :: * -> *).
m GetVersion200Response
-> m IsAlive200Response
-> m IsAlive200Response
-> (AdminCreateIdentityBody -> m Identity)
-> (AdminCreateSelfServiceRecoveryLinkBody
-> m SelfServiceRecoveryLink)
-> (Text -> m NoContent)
-> (Text -> m NoContent)
-> (Text -> m Session)
-> (Text -> Maybe [Text] -> m Identity)
-> (Maybe Integer -> Maybe Integer -> m [Identity])
-> (Text
-> Maybe Integer -> Maybe Integer -> Maybe Bool -> m [Session])
-> (Text -> AdminUpdateIdentityBody -> m Identity)
-> (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)
-> (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)
-> (Maybe Text -> m SelfServiceSettingsFlow)
-> (Maybe Text -> m SelfServiceVerificationFlow)
-> m SelfServiceVerificationFlow
-> (Maybe Integer -> Maybe Integer -> m [IdentitySchema])
-> (Maybe Integer
-> Maybe Integer -> Maybe Text -> Maybe Text -> m [Session])
-> (Text -> m NoContent)
-> (Maybe Text -> Maybe Text -> m RevokedSessions)
-> (Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m SuccessfulSelfServiceLoginWithoutBrowser)
-> (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)
-> (Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m SelfServiceSettingsFlow)
-> (Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow)
-> (Maybe Text -> Maybe Text -> m Session)
-> OryKratosBackend m
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]
Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> OryKratosClient [Session]
Maybe Text -> OryKratosClient SelfServiceVerificationFlow
Maybe Text -> OryKratosClient SelfServiceSettingsFlow
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
Maybe Text
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceSettingsFlow
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
Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient SuccessfulSelfServiceRegistrationWithoutBrowser
Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient SuccessfulSelfServiceLoginWithoutBrowser
Text -> OryKratosClient Value
Text -> OryKratosClient NoContent
Text -> OryKratosClient Session
Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session]
Text -> Maybe [Text] -> OryKratosClient Identity
Text -> AdminUpdateIdentityBody -> OryKratosClient Identity
SubmitSelfServiceLogoutFlowWithoutBrowserBody
-> OryKratosClient NoContent
AdminCreateSelfServiceRecoveryLinkBody
-> OryKratosClient SelfServiceRecoveryLink
AdminCreateIdentityBody -> OryKratosClient Identity
toSession :: Maybe Text -> Maybe Text -> OryKratosClient Session
submitSelfServiceVerificationFlow :: Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceVerificationFlow
submitSelfServiceSettingsFlow :: Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceSettingsFlow
submitSelfServiceRegistrationFlow :: Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient SuccessfulSelfServiceRegistrationWithoutBrowser
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
revokeSessions :: Maybe Text -> Maybe Text -> OryKratosClient RevokedSessions
revokeSession :: Text -> OryKratosClient NoContent
listSessions :: Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> OryKratosClient [Session]
listIdentitySchemas :: Maybe Integer -> Maybe Integer -> OryKratosClient [IdentitySchema]
initializeSelfServiceVerificationFlowWithoutBrowser :: OryKratosClient SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowForBrowsers :: Maybe Text -> OryKratosClient SelfServiceVerificationFlow
initializeSelfServiceSettingsFlowWithoutBrowser :: Maybe Text -> OryKratosClient SelfServiceSettingsFlow
initializeSelfServiceSettingsFlowForBrowsers :: Maybe Text -> OryKratosClient SelfServiceSettingsFlow
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
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
adminListIdentitySessions :: Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session]
adminListIdentities :: Maybe Integer -> Maybe Integer -> OryKratosClient [Identity]
adminGetIdentity :: Text -> Maybe [Text] -> OryKratosClient Identity
adminExtendSession :: Text -> OryKratosClient Session
adminDeleteIdentitySessions :: Text -> OryKratosClient NoContent
adminDeleteIdentity :: Text -> OryKratosClient NoContent
adminCreateSelfServiceRecoveryLink :: AdminCreateSelfServiceRecoveryLinkBody
-> OryKratosClient SelfServiceRecoveryLink
adminCreateIdentity :: AdminCreateIdentityBody -> OryKratosClient Identity
isReady :: OryKratosClient IsAlive200Response
isAlive :: OryKratosClient IsAlive200Response
getVersion :: OryKratosClient GetVersion200Response
$sel:toSession:OryKratosBackend :: Maybe Text -> Maybe Text -> OryKratosClient Session
$sel:submitSelfServiceVerificationFlow:OryKratosBackend :: Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> OryKratosClient SelfServiceVerificationFlow
$sel:submitSelfServiceSettingsFlow:OryKratosBackend :: Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceSettingsFlow
$sel:submitSelfServiceRegistrationFlow:OryKratosBackend :: Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient SuccessfulSelfServiceRegistrationWithoutBrowser
$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
$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]
$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
$sel:initializeSelfServiceSettingsFlowForBrowsers:OryKratosBackend :: Maybe Text -> OryKratosClient SelfServiceSettingsFlow
$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
$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
$sel:adminListIdentitySessions:OryKratosBackend :: Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session]
$sel:adminListIdentities:OryKratosBackend :: Maybe Integer -> Maybe Integer -> OryKratosClient [Identity]
$sel:adminGetIdentity:OryKratosBackend :: Text -> Maybe [Text] -> OryKratosClient Identity
$sel:adminExtendSession:OryKratosBackend :: Text -> OryKratosClient Session
$sel:adminDeleteIdentitySessions:OryKratosBackend :: Text -> OryKratosClient NoContent
$sel:adminDeleteIdentity:OryKratosBackend :: Text -> OryKratosClient NoContent
$sel:adminCreateSelfServiceRecoveryLink:OryKratosBackend :: AdminCreateSelfServiceRecoveryLinkBody
-> OryKratosClient SelfServiceRecoveryLink
$sel:adminCreateIdentity:OryKratosBackend :: AdminCreateIdentityBody -> OryKratosClient Identity
$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)
-> AdminCreateIdentityBody -> OryKratosClient Identity
coerce -> AdminCreateIdentityBody -> OryKratosClient Identity
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) -> Text -> OryKratosClient Session
coerce -> Text -> OryKratosClient Session
adminExtendSession)
:<|> ((Text
-> Maybe (QueryList 'MultiParamArray Text) -> ClientM Identity)
-> Text -> Maybe [Text] -> OryKratosClient Identity
coerce -> Text -> Maybe [Text] -> OryKratosClient Identity
adminGetIdentity)
:<|> ((Maybe Integer -> Maybe Integer -> ClientM [Identity])
-> Maybe Integer -> Maybe Integer -> OryKratosClient [Identity]
coerce -> Maybe Integer -> Maybe Integer -> OryKratosClient [Identity]
adminListIdentities)
:<|> ((Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> ClientM [Session])
-> Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session]
coerce -> Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> OryKratosClient [Session]
adminListIdentitySessions)
:<|> ((Text -> AdminUpdateIdentityBody -> ClientM Identity)
-> Text -> AdminUpdateIdentityBody -> OryKratosClient Identity
coerce -> Text -> AdminUpdateIdentityBody -> OryKratosClient Identity
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)
-> Maybe Text
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceSettingsFlow
coerce -> Maybe Text
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceSettingsFlow
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)
-> Maybe Text -> OryKratosClient SelfServiceSettingsFlow
coerce -> Maybe Text -> OryKratosClient SelfServiceSettingsFlow
initializeSelfServiceSettingsFlowForBrowsers)
:<|> ((Maybe Text -> ClientM SelfServiceSettingsFlow)
-> Maybe Text -> OryKratosClient SelfServiceSettingsFlow
coerce -> Maybe Text -> OryKratosClient SelfServiceSettingsFlow
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])
-> Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> OryKratosClient [Session]
coerce -> Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> OryKratosClient [Session]
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)
-> Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient SuccessfulSelfServiceLoginWithoutBrowser
coerce -> Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient SuccessfulSelfServiceLoginWithoutBrowser
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)
-> Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient SuccessfulSelfServiceRegistrationWithoutBrowser
coerce -> Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> OryKratosClient SuccessfulSelfServiceRegistrationWithoutBrowser
submitSelfServiceRegistrationFlow)
:<|> ((Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> ClientM SelfServiceSettingsFlow)
-> Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceSettingsFlow
coerce -> Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> OryKratosClient SelfServiceSettingsFlow
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)
-> Maybe Text -> Maybe Text -> OryKratosClient Session
coerce -> Maybe Text -> Maybe Text -> OryKratosClient Session
toSession)
:<|> ByteString -> ClientM Response
_
) = Proxy OryKratosAPI -> Client ClientM OryKratosAPI
forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (Proxy OryKratosAPI
forall k (t :: k). Proxy t
Proxy :: Proxy OryKratosAPI)
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) =>
Config ->
OryKratosBackend (ExceptT ServerError IO) ->
m ()
runOryKratosServer :: Config -> OryKratosBackend (ExceptT ServerError IO) -> m ()
runOryKratosServer Config
config OryKratosBackend (ExceptT ServerError IO)
backend = Config
-> (Application -> Application)
-> OryKratosBackend (ExceptT ServerError IO)
-> m ()
forall (m :: * -> *).
(MonadIO m, MonadThrow m) =>
Config
-> (Application -> Application)
-> OryKratosBackend (ExceptT ServerError IO)
-> m ()
runOryKratosMiddlewareServer Config
config Application -> Application
requestMiddlewareId OryKratosBackend (ExceptT ServerError IO)
backend
runOryKratosMiddlewareServer ::
(MonadIO m, MonadThrow m) =>
Config ->
Middleware ->
OryKratosBackend (ExceptT ServerError IO) ->
m ()
runOryKratosMiddlewareServer :: Config
-> (Application -> Application)
-> OryKratosBackend (ExceptT ServerError IO)
-> m ()
runOryKratosMiddlewareServer Config {[Char]
configUrl :: [Char]
$sel:configUrl:Config :: Config -> [Char]
..} Application -> Application
middleware OryKratosBackend (ExceptT ServerError IO)
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) -> Application
serverWaiApplicationOryKratos OryKratosBackend (ExceptT ServerError IO)
backend
serverWaiApplicationOryKratos :: OryKratosBackend (ExceptT ServerError IO) -> Application
serverWaiApplicationOryKratos :: OryKratosBackend (ExceptT ServerError IO) -> Application
serverWaiApplicationOryKratos OryKratosBackend (ExceptT ServerError IO)
backend = Proxy OryKratosAPI -> Server OryKratosAPI -> Application
forall api.
HasServer api '[] =>
Proxy api -> Server api -> Application
serve (Proxy OryKratosAPI
forall k (t :: k). Proxy t
Proxy :: Proxy OryKratosAPI) (OryKratosBackend (ExceptT ServerError IO)
-> Handler GetVersion200Response
:<|> (Handler IsAlive200Response
:<|> (Handler IsAlive200Response
:<|> ((AdminCreateIdentityBody -> Handler Identity)
:<|> ((AdminCreateSelfServiceRecoveryLinkBody
-> Handler SelfServiceRecoveryLink)
:<|> ((Text -> Handler NoContent)
:<|> ((Text -> Handler NoContent)
:<|> ((Text -> Handler Session)
:<|> ((Text
-> Maybe (QueryList 'MultiParamArray Text)
-> Handler Identity)
:<|> ((Maybe Integer
-> Maybe Integer -> Handler [Identity])
:<|> ((Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> Handler [Session])
:<|> ((Text
-> AdminUpdateIdentityBody
-> Handler Identity)
:<|> ((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)
:<|> ((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)
:<|> ((Maybe
Text
-> Handler
SelfServiceSettingsFlow)
:<|> ((Maybe
Text
-> Handler
SelfServiceVerificationFlow)
:<|> (Handler
SelfServiceVerificationFlow
:<|> ((Maybe
Integer
-> Maybe
Integer
-> Handler
[IdentitySchema])
:<|> ((Maybe
Integer
-> Maybe
Integer
-> Maybe
Text
-> Maybe
Text
-> Handler
[Session])
:<|> ((Text
-> Handler
NoContent)
:<|> ((Maybe
Text
-> Maybe
Text
-> Handler
RevokedSessions)
:<|> ((Maybe
Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe
Text
-> Maybe
Text
-> Handler
SuccessfulSelfServiceLoginWithoutBrowser)
:<|> ((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)
:<|> ((Maybe
Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe
Text
-> Maybe
Text
-> Handler
SelfServiceSettingsFlow)
:<|> ((Maybe
Text
-> Maybe
Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe
Text
-> Handler
SelfServiceVerificationFlow)
:<|> ((Maybe
Text
-> Maybe
Text
-> Handler
Session)
:<|> Tagged
Handler
Application))))))))))))))))))))))))))))))))))))))))))
forall a (m :: * -> *) a a a a a a a a a a a a a a a a a a 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),
Coercible
a
(AdminCreateSelfServiceRecoveryLinkBody
-> m SelfServiceRecoveryLink),
Coercible a (Text -> m NoContent),
Coercible a (Text -> m NoContent), Coercible a (Text -> m Session),
Coercible a (Text -> Maybe [Text] -> m Identity),
Coercible a (Maybe Integer -> Maybe Integer -> m [Identity]),
Coercible
a
(Text
-> Maybe Integer -> Maybe Integer -> Maybe Bool -> m [Session]),
Coercible a (Text -> AdminUpdateIdentityBody -> m Identity),
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),
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),
Coercible a (Maybe Text -> m SelfServiceSettingsFlow),
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]),
Coercible a (Text -> m NoContent),
Coercible a (Maybe Text -> Maybe Text -> m RevokedSessions),
Coercible
a
(Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m SuccessfulSelfServiceLoginWithoutBrowser),
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),
Coercible
a
(Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m SelfServiceSettingsFlow),
Coercible
a
(Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow),
Coercible a (Maybe Text -> Maybe Text -> m Session)) =>
OryKratosBackend m
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (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)
backend)
where
serverFromBackend :: OryKratosBackend m
-> a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (a
:<|> (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]
Maybe Integer
-> Maybe Integer -> Maybe Text -> Maybe Text -> m [Session]
Maybe Text -> m SelfServiceVerificationFlow
Maybe Text -> m SelfServiceSettingsFlow
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
Maybe Text -> Maybe Text -> Maybe Text -> m SelfServiceSettingsFlow
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
Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m SuccessfulSelfServiceRegistrationWithoutBrowser
Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m SuccessfulSelfServiceLoginWithoutBrowser
Text -> m Value
Text -> m NoContent
Text -> m Session
Text -> Maybe Integer -> Maybe Integer -> Maybe Bool -> m [Session]
Text -> Maybe [Text] -> m Identity
Text -> AdminUpdateIdentityBody -> m Identity
SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent
AdminCreateSelfServiceRecoveryLinkBody -> m SelfServiceRecoveryLink
AdminCreateIdentityBody -> m Identity
toSession :: Maybe Text -> Maybe Text -> m Session
submitSelfServiceVerificationFlow :: Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow
submitSelfServiceSettingsFlow :: Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m SelfServiceSettingsFlow
submitSelfServiceRegistrationFlow :: Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m SuccessfulSelfServiceRegistrationWithoutBrowser
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
revokeSessions :: Maybe Text -> Maybe Text -> m RevokedSessions
revokeSession :: Text -> m NoContent
listSessions :: Maybe Integer
-> Maybe Integer -> Maybe Text -> Maybe Text -> m [Session]
listIdentitySchemas :: Maybe Integer -> Maybe Integer -> m [IdentitySchema]
initializeSelfServiceVerificationFlowWithoutBrowser :: m SelfServiceVerificationFlow
initializeSelfServiceVerificationFlowForBrowsers :: Maybe Text -> m SelfServiceVerificationFlow
initializeSelfServiceSettingsFlowWithoutBrowser :: Maybe Text -> m SelfServiceSettingsFlow
initializeSelfServiceSettingsFlowForBrowsers :: Maybe Text -> m SelfServiceSettingsFlow
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
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
adminListIdentitySessions :: Text -> Maybe Integer -> Maybe Integer -> Maybe Bool -> m [Session]
adminListIdentities :: Maybe Integer -> Maybe Integer -> m [Identity]
adminGetIdentity :: Text -> Maybe [Text] -> m Identity
adminExtendSession :: Text -> m Session
adminDeleteIdentitySessions :: Text -> m NoContent
adminDeleteIdentity :: Text -> m NoContent
adminCreateSelfServiceRecoveryLink :: AdminCreateSelfServiceRecoveryLinkBody -> m SelfServiceRecoveryLink
adminCreateIdentity :: AdminCreateIdentityBody -> m Identity
isReady :: m IsAlive200Response
isAlive :: m IsAlive200Response
getVersion :: m GetVersion200Response
$sel:toSession:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> Maybe Text -> m Session
$sel:submitSelfServiceVerificationFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceVerificationFlowBody
-> Maybe Text
-> m SelfServiceVerificationFlow
$sel:submitSelfServiceSettingsFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m SelfServiceSettingsFlow
$sel:submitSelfServiceRegistrationFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m SuccessfulSelfServiceRegistrationWithoutBrowser
$sel:submitSelfServiceRecoveryFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text
-> Maybe Text
-> SubmitSelfServiceRecoveryFlowBody
-> Maybe Text
-> m SelfServiceRecoveryFlow
$sel:submitSelfServiceLogoutFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> SubmitSelfServiceLogoutFlowWithoutBrowserBody -> m NoContent
$sel:submitSelfServiceLogoutFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> Maybe Text -> m NoContent
$sel:submitSelfServiceLoginFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m SuccessfulSelfServiceLoginWithoutBrowser
$sel:revokeSessions:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> Maybe Text -> m RevokedSessions
$sel:revokeSession:OryKratosBackend :: forall (m :: * -> *). OryKratosBackend m -> Text -> m NoContent
$sel:listSessions:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Integer
-> Maybe Integer
-> Maybe Text
-> Maybe Text
-> m [Session]
$sel:listIdentitySchemas:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Integer -> Maybe Integer -> m [IdentitySchema]
$sel:initializeSelfServiceVerificationFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> m SelfServiceVerificationFlow
$sel:initializeSelfServiceVerificationFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> m SelfServiceVerificationFlow
$sel:initializeSelfServiceSettingsFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> m SelfServiceSettingsFlow
$sel:initializeSelfServiceSettingsFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> m SelfServiceSettingsFlow
$sel:initializeSelfServiceRegistrationFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> m SelfServiceRegistrationFlow
$sel:initializeSelfServiceRegistrationFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> m SelfServiceRegistrationFlow
$sel:initializeSelfServiceRecoveryFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> m SelfServiceRecoveryFlow
$sel:initializeSelfServiceRecoveryFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> m SelfServiceRecoveryFlow
$sel:initializeSelfServiceLoginFlowWithoutBrowser:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
$sel:initializeSelfServiceLoginFlowForBrowsers:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Bool -> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
$sel:getWebAuthnJavaScript:OryKratosBackend :: forall (m :: * -> *). OryKratosBackend m -> m Text
$sel:getSelfServiceVerificationFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text -> Maybe Text -> m SelfServiceVerificationFlow
$sel:getSelfServiceSettingsFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text
-> Maybe Text
-> Maybe Text
-> m SelfServiceSettingsFlow
$sel:getSelfServiceRegistrationFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text -> Maybe Text -> m SelfServiceRegistrationFlow
$sel:getSelfServiceRecoveryFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text -> Maybe Text -> m SelfServiceRecoveryFlow
$sel:getSelfServiceLoginFlow:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Text -> Maybe Text -> m SelfServiceLoginFlow
$sel:getSelfServiceError:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> m SelfServiceError
$sel:getJsonSchema:OryKratosBackend :: forall (m :: * -> *). OryKratosBackend m -> Text -> m Value
$sel:createSelfServiceLogoutFlowUrlForBrowsers:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Maybe Text -> m SelfServiceLogoutUrl
$sel:adminUpdateIdentity:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Text -> AdminUpdateIdentityBody -> m Identity
$sel:adminListIdentitySessions:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Text
-> Maybe Integer
-> Maybe Integer
-> Maybe Bool
-> m [Session]
$sel:adminListIdentities:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> Maybe Integer -> Maybe Integer -> m [Identity]
$sel:adminGetIdentity:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> Text -> Maybe [Text] -> m Identity
$sel:adminExtendSession:OryKratosBackend :: forall (m :: * -> *). OryKratosBackend m -> Text -> m Session
$sel:adminDeleteIdentitySessions:OryKratosBackend :: forall (m :: * -> *). OryKratosBackend m -> Text -> m NoContent
$sel:adminDeleteIdentity:OryKratosBackend :: forall (m :: * -> *). OryKratosBackend m -> Text -> m NoContent
$sel:adminCreateSelfServiceRecoveryLink:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m
-> AdminCreateSelfServiceRecoveryLinkBody
-> m SelfServiceRecoveryLink
$sel:adminCreateIdentity:OryKratosBackend :: forall (m :: * -> *).
OryKratosBackend m -> AdminCreateIdentityBody -> m Identity
$sel:isReady:OryKratosBackend :: forall (m :: * -> *). OryKratosBackend m -> m IsAlive200Response
$sel:isAlive:OryKratosBackend :: forall (m :: * -> *). OryKratosBackend m -> m IsAlive200Response
$sel:getVersion:OryKratosBackend :: forall (m :: * -> *). OryKratosBackend m -> 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) -> a
coerce AdminCreateIdentityBody -> m Identity
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) -> a
coerce Text -> m Session
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) -> a
coerce Text -> Maybe [Text] -> m Identity
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]) -> a
coerce Maybe Integer -> Maybe Integer -> m [Identity]
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])
-> a
coerce Text -> Maybe Integer -> Maybe Integer -> Maybe Bool -> m [Session]
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) -> a
coerce Text -> AdminUpdateIdentityBody -> m Identity
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)
-> a
coerce Maybe Text -> Maybe Text -> Maybe Text -> m SelfServiceSettingsFlow
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) -> a
coerce Maybe Text -> m SelfServiceSettingsFlow
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) -> a
coerce Maybe Text -> m SelfServiceSettingsFlow
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])
-> a
coerce Maybe Integer
-> Maybe Integer -> Maybe Text -> Maybe Text -> m [Session]
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)
-> a
coerce Maybe Text
-> SubmitSelfServiceLoginFlowBody
-> Maybe Text
-> Maybe Text
-> m SuccessfulSelfServiceLoginWithoutBrowser
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)
-> a
coerce Maybe Text
-> SubmitSelfServiceRegistrationFlowBody
-> Maybe Text
-> m SuccessfulSelfServiceRegistrationWithoutBrowser
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)
-> a
coerce Maybe Text
-> SubmitSelfServiceSettingsFlowBody
-> Maybe Text
-> Maybe Text
-> m SelfServiceSettingsFlow
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) -> a
coerce Maybe Text -> Maybe Text -> m Session
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"
)