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