OryKratos.Types

Documentation

data LoginFlow

This object represents a login flow. A login flow is initiated at the "Initiate Login API / Browser Flow" endpoint by a client. Once a login flow is completed successfully, a session cookie or session token will be issued.

Constructors

LoginFlow

Fields

• active :: Maybe Text

  and so on.

• expires_at :: UTCTime

  ExpiresAt is the time (UTC) when the flow expires. If the user still wishes to log in, a new flow has to be initiated.

• forced :: Maybe Bool

  Forced stores whether this login flow should enforce re-authentication.

• id :: UUID
• issued_at :: UTCTime

  IssuedAt is the time (UTC) when the flow started.

• messages :: Maybe [Message]
• methods :: LoginFlowMethods

  List of login methods This is the list of available login methods with their required form fields, such as identifier and $sel:password:LoginFlowMethods for the password login method. This will also contain error messages such as "password can not be empty".

• request_url :: Text

  RequestURL is the initial URL that was requested from ORY Kratos. It can be used to forward information contained in the URL's path or query for example.

• _type :: Maybe Text

  The flow type can either be api or browser.

Instances

Eq LoginFlow

Defined in OryKratos.Types.Login

Methods

(==) :: LoginFlow -> LoginFlow -> Bool

(/=) :: LoginFlow -> LoginFlow -> Bool

Data LoginFlow

Defined in OryKratos.Types.Login

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LoginFlow -> c LoginFlow

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LoginFlow

toConstr :: LoginFlow -> Constr

dataTypeOf :: LoginFlow -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LoginFlow)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LoginFlow)

gmapT :: (forall b. Data b => b -> b) -> LoginFlow -> LoginFlow

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LoginFlow -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LoginFlow -> r

gmapQ :: (forall d. Data d => d -> u) -> LoginFlow -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LoginFlow -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LoginFlow -> m LoginFlow

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginFlow -> m LoginFlow

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginFlow -> m LoginFlow

Show LoginFlow

Defined in OryKratos.Types.Login

Methods

showsPrec :: Int -> LoginFlow -> ShowS

show :: LoginFlow -> String

showList :: [LoginFlow] -> ShowS

Generic LoginFlow

Defined in OryKratos.Types.Login

Associated Types

type Rep LoginFlow :: Type -> Type

Methods

from :: LoginFlow -> Rep LoginFlow x

to :: Rep LoginFlow x -> LoginFlow

ToJSON LoginFlow

Defined in OryKratos.Types.Login

Methods

toJSON :: LoginFlow -> Value

toEncoding :: LoginFlow -> Encoding

toJSONList :: [LoginFlow] -> Value

toEncodingList :: [LoginFlow] -> Encoding

FromJSON LoginFlow

Defined in OryKratos.Types.Login

Methods

parseJSON :: Value -> Parser LoginFlow

parseJSONList :: Value -> Parser [LoginFlow]

type Rep LoginFlow

Defined in OryKratos.Types.Login

type Rep LoginFlow = D1 ('MetaData "LoginFlow" "OryKratos.Types.Login" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "LoginFlow" 'PrefixI 'True) (((S1 ('MetaSel ('Just "active") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "expires_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)) :*: (S1 ('MetaSel ('Just "forced") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID))) :*: ((S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message]))) :*: (S1 ('MetaSel ('Just "methods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LoginFlowMethods) :*: (S1 ('MetaSel ('Just "request_url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))))

data LoginFlowMethods

Constructors

LoginFlowMethods

Fields

• password :: Maybe LoginFlowMethod
• oidc :: Maybe LoginFlowMethod

Instances

Eq LoginFlowMethods

Defined in OryKratos.Types.Login

Methods

(==) :: LoginFlowMethods -> LoginFlowMethods -> Bool

(/=) :: LoginFlowMethods -> LoginFlowMethods -> Bool

Data LoginFlowMethods

Defined in OryKratos.Types.Login

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LoginFlowMethods -> c LoginFlowMethods

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LoginFlowMethods

toConstr :: LoginFlowMethods -> Constr

dataTypeOf :: LoginFlowMethods -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LoginFlowMethods)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LoginFlowMethods)

gmapT :: (forall b. Data b => b -> b) -> LoginFlowMethods -> LoginFlowMethods

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LoginFlowMethods -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LoginFlowMethods -> r

gmapQ :: (forall d. Data d => d -> u) -> LoginFlowMethods -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LoginFlowMethods -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LoginFlowMethods -> m LoginFlowMethods

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginFlowMethods -> m LoginFlowMethods

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginFlowMethods -> m LoginFlowMethods

Show LoginFlowMethods

Defined in OryKratos.Types.Login

Methods

showsPrec :: Int -> LoginFlowMethods -> ShowS

show :: LoginFlowMethods -> String

showList :: [LoginFlowMethods] -> ShowS

Generic LoginFlowMethods

Defined in OryKratos.Types.Login

Associated Types

type Rep LoginFlowMethods :: Type -> Type

Methods

from :: LoginFlowMethods -> Rep LoginFlowMethods x

to :: Rep LoginFlowMethods x -> LoginFlowMethods

ToJSON LoginFlowMethods

Defined in OryKratos.Types.Login

Methods

toJSON :: LoginFlowMethods -> Value

toEncoding :: LoginFlowMethods -> Encoding

toJSONList :: [LoginFlowMethods] -> Value

toEncodingList :: [LoginFlowMethods] -> Encoding

FromJSON LoginFlowMethods

Defined in OryKratos.Types.Login

Methods

parseJSON :: Value -> Parser LoginFlowMethods

parseJSONList :: Value -> Parser [LoginFlowMethods]

type Rep LoginFlowMethods

Defined in OryKratos.Types.Login

type Rep LoginFlowMethods = D1 ('MetaData "LoginFlowMethods" "OryKratos.Types.Login" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "LoginFlowMethods" 'PrefixI 'True) (S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe LoginFlowMethod)) :*: S1 ('MetaSel ('Just "oidc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe LoginFlowMethod))))

data LoginFlowMethod

Constructors

LoginFlowMethod

Fields

• config :: LoginFlowMethodConfig
• method :: Text

  and so on.

Instances

Eq LoginFlowMethod

Defined in OryKratos.Types.Login

Methods

(==) :: LoginFlowMethod -> LoginFlowMethod -> Bool

(/=) :: LoginFlowMethod -> LoginFlowMethod -> Bool

Data LoginFlowMethod

Defined in OryKratos.Types.Login

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LoginFlowMethod -> c LoginFlowMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LoginFlowMethod

toConstr :: LoginFlowMethod -> Constr

dataTypeOf :: LoginFlowMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LoginFlowMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LoginFlowMethod)

gmapT :: (forall b. Data b => b -> b) -> LoginFlowMethod -> LoginFlowMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LoginFlowMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LoginFlowMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> LoginFlowMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LoginFlowMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LoginFlowMethod -> m LoginFlowMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginFlowMethod -> m LoginFlowMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginFlowMethod -> m LoginFlowMethod

Show LoginFlowMethod

Defined in OryKratos.Types.Login

Methods

showsPrec :: Int -> LoginFlowMethod -> ShowS

show :: LoginFlowMethod -> String

showList :: [LoginFlowMethod] -> ShowS

Generic LoginFlowMethod

Defined in OryKratos.Types.Login

Associated Types

type Rep LoginFlowMethod :: Type -> Type

Methods

from :: LoginFlowMethod -> Rep LoginFlowMethod x

to :: Rep LoginFlowMethod x -> LoginFlowMethod

ToJSON LoginFlowMethod

Defined in OryKratos.Types.Login

Methods

toJSON :: LoginFlowMethod -> Value

toEncoding :: LoginFlowMethod -> Encoding

toJSONList :: [LoginFlowMethod] -> Value

toEncodingList :: [LoginFlowMethod] -> Encoding

FromJSON LoginFlowMethod

Defined in OryKratos.Types.Login

Methods

parseJSON :: Value -> Parser LoginFlowMethod

parseJSONList :: Value -> Parser [LoginFlowMethod]

type Rep LoginFlowMethod

Defined in OryKratos.Types.Login

type Rep LoginFlowMethod = D1 ('MetaData "LoginFlowMethod" "OryKratos.Types.Login" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "LoginFlowMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "config") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LoginFlowMethodConfig) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data LoginFlowMethodConfig

Constructors

LoginFlowMethodConfig

Fields

• action :: Text

  Action should be used as the form action URL `action="{{ .Action }}" method="post"`.

• fields :: [FormField]

  Fields contains multiple fields

• messages :: Maybe [Message]
• method :: Text

  Method is the form method (e.g. POST)

• providers :: Maybe [FormField]

  Providers is set for the "oidc" flow method.

Instances

Eq LoginFlowMethodConfig

Defined in OryKratos.Types.Login

Methods

(==) :: LoginFlowMethodConfig -> LoginFlowMethodConfig -> Bool

(/=) :: LoginFlowMethodConfig -> LoginFlowMethodConfig -> Bool

Data LoginFlowMethodConfig

Defined in OryKratos.Types.Login

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LoginFlowMethodConfig -> c LoginFlowMethodConfig

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LoginFlowMethodConfig

toConstr :: LoginFlowMethodConfig -> Constr

dataTypeOf :: LoginFlowMethodConfig -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LoginFlowMethodConfig)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LoginFlowMethodConfig)

gmapT :: (forall b. Data b => b -> b) -> LoginFlowMethodConfig -> LoginFlowMethodConfig

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LoginFlowMethodConfig -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LoginFlowMethodConfig -> r

gmapQ :: (forall d. Data d => d -> u) -> LoginFlowMethodConfig -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LoginFlowMethodConfig -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LoginFlowMethodConfig -> m LoginFlowMethodConfig

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginFlowMethodConfig -> m LoginFlowMethodConfig

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginFlowMethodConfig -> m LoginFlowMethodConfig

Show LoginFlowMethodConfig

Defined in OryKratos.Types.Login

Methods

showsPrec :: Int -> LoginFlowMethodConfig -> ShowS

show :: LoginFlowMethodConfig -> String

showList :: [LoginFlowMethodConfig] -> ShowS

Generic LoginFlowMethodConfig

Defined in OryKratos.Types.Login

Associated Types

type Rep LoginFlowMethodConfig :: Type -> Type

Methods

from :: LoginFlowMethodConfig -> Rep LoginFlowMethodConfig x

to :: Rep LoginFlowMethodConfig x -> LoginFlowMethodConfig

ToJSON LoginFlowMethodConfig

Defined in OryKratos.Types.Login

Methods

toJSON :: LoginFlowMethodConfig -> Value

toEncoding :: LoginFlowMethodConfig -> Encoding

toJSONList :: [LoginFlowMethodConfig] -> Value

toEncodingList :: [LoginFlowMethodConfig] -> Encoding

FromJSON LoginFlowMethodConfig

Defined in OryKratos.Types.Login

Methods

parseJSON :: Value -> Parser LoginFlowMethodConfig

parseJSONList :: Value -> Parser [LoginFlowMethodConfig]

type Rep LoginFlowMethodConfig

Defined in OryKratos.Types.Login

type Rep LoginFlowMethodConfig = D1 ('MetaData "LoginFlowMethodConfig" "OryKratos.Types.Login" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "LoginFlowMethodConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "action") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FormField])) :*: (S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "providers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [FormField]))))))

data LoginViaApiResponse

The Response for Login Flows via API

Constructors

LoginViaApiResponse

Fields

• session :: Session
• session_token :: Text

  The Session Token A session token is equivalent to a session cookie, but it can be sent in the HTTP Authorization Header: Authorization: bearer ${session-token} The session token is only issued for API flows, not for Browser flows!

Instances

Eq LoginViaApiResponse

Defined in OryKratos.Types.Login

Methods

(==) :: LoginViaApiResponse -> LoginViaApiResponse -> Bool

(/=) :: LoginViaApiResponse -> LoginViaApiResponse -> Bool

Data LoginViaApiResponse

Defined in OryKratos.Types.Login

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LoginViaApiResponse -> c LoginViaApiResponse

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LoginViaApiResponse

toConstr :: LoginViaApiResponse -> Constr

dataTypeOf :: LoginViaApiResponse -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LoginViaApiResponse)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LoginViaApiResponse)

gmapT :: (forall b. Data b => b -> b) -> LoginViaApiResponse -> LoginViaApiResponse

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LoginViaApiResponse -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LoginViaApiResponse -> r

gmapQ :: (forall d. Data d => d -> u) -> LoginViaApiResponse -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LoginViaApiResponse -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LoginViaApiResponse -> m LoginViaApiResponse

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginViaApiResponse -> m LoginViaApiResponse

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LoginViaApiResponse -> m LoginViaApiResponse

Show LoginViaApiResponse

Defined in OryKratos.Types.Login

Methods

showsPrec :: Int -> LoginViaApiResponse -> ShowS

show :: LoginViaApiResponse -> String

showList :: [LoginViaApiResponse] -> ShowS

Generic LoginViaApiResponse

Defined in OryKratos.Types.Login

Associated Types

type Rep LoginViaApiResponse :: Type -> Type

Methods

from :: LoginViaApiResponse -> Rep LoginViaApiResponse x

to :: Rep LoginViaApiResponse x -> LoginViaApiResponse

ToJSON LoginViaApiResponse

Defined in OryKratos.Types.Login

Methods

toJSON :: LoginViaApiResponse -> Value

toEncoding :: LoginViaApiResponse -> Encoding

toJSONList :: [LoginViaApiResponse] -> Value

toEncodingList :: [LoginViaApiResponse] -> Encoding

FromJSON LoginViaApiResponse

Defined in OryKratos.Types.Login

Methods

parseJSON :: Value -> Parser LoginViaApiResponse

parseJSONList :: Value -> Parser [LoginViaApiResponse]

type Rep LoginViaApiResponse

Defined in OryKratos.Types.Login

type Rep LoginViaApiResponse = D1 ('MetaData "LoginViaApiResponse" "OryKratos.Types.Login" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "LoginViaApiResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "session") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Session) :*: S1 ('MetaSel ('Just "session_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Message

Constructors

Message

Fields

• context :: Maybe Value
• id :: Maybe Integer
• text :: Maybe Text
• _type :: Maybe Text

  The flow type can either be api or browser.

Instances

Eq Message

Defined in OryKratos.Types.Misc

Methods

(==) :: Message -> Message -> Bool

(/=) :: Message -> Message -> Bool

Data Message

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Message -> c Message

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Message

toConstr :: Message -> Constr

dataTypeOf :: Message -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Message)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Message)

gmapT :: (forall b. Data b => b -> b) -> Message -> Message

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Message -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Message -> r

gmapQ :: (forall d. Data d => d -> u) -> Message -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Message -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Message -> m Message

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Message -> m Message

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Message -> m Message

Show Message

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS

Generic Message

Defined in OryKratos.Types.Misc

Associated Types

type Rep Message :: Type -> Type

Methods

from :: Message -> Rep Message x

to :: Rep Message x -> Message

ToJSON Message

Defined in OryKratos.Types.Misc

Methods

toJSON :: Message -> Value

toEncoding :: Message -> Encoding

toJSONList :: [Message] -> Value

toEncodingList :: [Message] -> Encoding

FromJSON Message

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser Message

parseJSONList :: Value -> Parser [Message]

type Rep Message

Defined in OryKratos.Types.Misc

type Rep Message = D1 ('MetaData "Message" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "Message" 'PrefixI 'True) ((S1 ('MetaSel ('Just "context") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)) :*: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer))) :*: (S1 ('MetaSel ('Just "text") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data ErrorContainer

Constructors

ErrorContainer

Fields

• errors :: Value

  Errors in the container

• id :: Text

Instances

Eq ErrorContainer

Defined in OryKratos.Types.Misc

Methods

(==) :: ErrorContainer -> ErrorContainer -> Bool

(/=) :: ErrorContainer -> ErrorContainer -> Bool

Data ErrorContainer

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ErrorContainer -> c ErrorContainer

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ErrorContainer

toConstr :: ErrorContainer -> Constr

dataTypeOf :: ErrorContainer -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ErrorContainer)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ErrorContainer)

gmapT :: (forall b. Data b => b -> b) -> ErrorContainer -> ErrorContainer

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ErrorContainer -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ErrorContainer -> r

gmapQ :: (forall d. Data d => d -> u) -> ErrorContainer -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ErrorContainer -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ErrorContainer -> m ErrorContainer

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrorContainer -> m ErrorContainer

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrorContainer -> m ErrorContainer

Show ErrorContainer

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ErrorContainer -> ShowS

show :: ErrorContainer -> String

showList :: [ErrorContainer] -> ShowS

Generic ErrorContainer

Defined in OryKratos.Types.Misc

Associated Types

type Rep ErrorContainer :: Type -> Type

Methods

from :: ErrorContainer -> Rep ErrorContainer x

to :: Rep ErrorContainer x -> ErrorContainer

ToJSON ErrorContainer

Defined in OryKratos.Types.Misc

Methods

toJSON :: ErrorContainer -> Value

toEncoding :: ErrorContainer -> Encoding

toJSONList :: [ErrorContainer] -> Value

toEncodingList :: [ErrorContainer] -> Encoding

FromJSON ErrorContainer

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ErrorContainer

parseJSONList :: Value -> Parser [ErrorContainer]

type Rep ErrorContainer

Defined in OryKratos.Types.Misc

type Rep ErrorContainer = D1 ('MetaData "ErrorContainer" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "ErrorContainer" 'PrefixI 'True) (S1 ('MetaSel ('Just "errors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data FormField

Field represents a HTML Form Field

Constructors

FormField

Fields

• disabled :: Maybe Bool

  Disabled is the equivalent of `{{if .Disabled}}disabled{{end}}"`

• messages :: Maybe [Message]
• name :: Text

  Name is the equivalent of `name="{{.Name}}"`

• p :: Maybe Text

  Pattern is the equivalent of `pattern="{{.Pattern}}"`

• required :: Maybe Bool

  Required is the equivalent of `required="{{.Required}}"`

• _type :: Text

  Type is the equivalent of `type="{{.Type}}"`

• value :: Maybe Value

  Value is the equivalent of `value="{{.Value}}"`

Instances

Eq FormField

Defined in OryKratos.Types.Misc

Methods

(==) :: FormField -> FormField -> Bool

(/=) :: FormField -> FormField -> Bool

Data FormField

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FormField -> c FormField

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FormField

toConstr :: FormField -> Constr

dataTypeOf :: FormField -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FormField)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FormField)

gmapT :: (forall b. Data b => b -> b) -> FormField -> FormField

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FormField -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FormField -> r

gmapQ :: (forall d. Data d => d -> u) -> FormField -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FormField -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FormField -> m FormField

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FormField -> m FormField

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FormField -> m FormField

Show FormField

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> FormField -> ShowS

show :: FormField -> String

showList :: [FormField] -> ShowS

Generic FormField

Defined in OryKratos.Types.Misc

Associated Types

type Rep FormField :: Type -> Type

Methods

from :: FormField -> Rep FormField x

to :: Rep FormField x -> FormField

ToJSON FormField

Defined in OryKratos.Types.Misc

Methods

toJSON :: FormField -> Value

toEncoding :: FormField -> Encoding

toJSONList :: [FormField] -> Value

toEncodingList :: [FormField] -> Encoding

FromJSON FormField

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser FormField

parseJSONList :: Value -> Parser [FormField]

type Rep FormField

Defined in OryKratos.Types.Misc

type Rep FormField = D1 ('MetaData "FormField" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "FormField" 'PrefixI 'True) ((S1 ('MetaSel ('Just "disabled") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: (S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: ((S1 ('MetaSel ('Just "p") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "required") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))) :*: (S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value))))))

data GenericError

Error responses are sent when an error (e.g. unauthorized, bad request, ...) occurred.

Constructors

GenericError

Fields

• error :: Maybe GenericErrorPayload

Instances

Eq GenericError

Defined in OryKratos.Types.Misc

Methods

(==) :: GenericError -> GenericError -> Bool

(/=) :: GenericError -> GenericError -> Bool

Data GenericError

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GenericError -> c GenericError

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GenericError

toConstr :: GenericError -> Constr

dataTypeOf :: GenericError -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GenericError)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GenericError)

gmapT :: (forall b. Data b => b -> b) -> GenericError -> GenericError

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GenericError -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GenericError -> r

gmapQ :: (forall d. Data d => d -> u) -> GenericError -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> GenericError -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GenericError -> m GenericError

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GenericError -> m GenericError

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GenericError -> m GenericError

Show GenericError

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> GenericError -> ShowS

show :: GenericError -> String

showList :: [GenericError] -> ShowS

Generic GenericError

Defined in OryKratos.Types.Misc

Associated Types

type Rep GenericError :: Type -> Type

Methods

from :: GenericError -> Rep GenericError x

to :: Rep GenericError x -> GenericError

ToJSON GenericError

Defined in OryKratos.Types.Misc

Methods

toJSON :: GenericError -> Value

toEncoding :: GenericError -> Encoding

toJSONList :: [GenericError] -> Value

toEncodingList :: [GenericError] -> Encoding

FromJSON GenericError

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser GenericError

parseJSONList :: Value -> Parser [GenericError]

type Rep GenericError

Defined in OryKratos.Types.Misc

type Rep GenericError = D1 ('MetaData "GenericError" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "GenericError" 'PrefixI 'True) (S1 ('MetaSel ('Just "error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GenericErrorPayload))))

data GenericErrorPayload

Constructors

GenericErrorPayload

Fields

• code :: Maybe Integer

  Code represents the error status code (404, 403, 401, ...).

• debug :: Maybe Text

  Debug contains debug information. This is usually not available and has to be enabled.

• details :: Maybe Value
• message :: Maybe Text
• reason :: Maybe Text
• request :: Maybe Text
• status :: Maybe Text

Instances

Eq GenericErrorPayload

Defined in OryKratos.Types.Misc

Methods

(==) :: GenericErrorPayload -> GenericErrorPayload -> Bool

(/=) :: GenericErrorPayload -> GenericErrorPayload -> Bool

Data GenericErrorPayload

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GenericErrorPayload -> c GenericErrorPayload

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GenericErrorPayload

toConstr :: GenericErrorPayload -> Constr

dataTypeOf :: GenericErrorPayload -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GenericErrorPayload)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GenericErrorPayload)

gmapT :: (forall b. Data b => b -> b) -> GenericErrorPayload -> GenericErrorPayload

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GenericErrorPayload -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GenericErrorPayload -> r

gmapQ :: (forall d. Data d => d -> u) -> GenericErrorPayload -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> GenericErrorPayload -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GenericErrorPayload -> m GenericErrorPayload

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GenericErrorPayload -> m GenericErrorPayload

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GenericErrorPayload -> m GenericErrorPayload

Show GenericErrorPayload

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> GenericErrorPayload -> ShowS

show :: GenericErrorPayload -> String

showList :: [GenericErrorPayload] -> ShowS

Generic GenericErrorPayload

Defined in OryKratos.Types.Misc

Associated Types

type Rep GenericErrorPayload :: Type -> Type

Methods

from :: GenericErrorPayload -> Rep GenericErrorPayload x

to :: Rep GenericErrorPayload x -> GenericErrorPayload

ToJSON GenericErrorPayload

Defined in OryKratos.Types.Misc

Methods

toJSON :: GenericErrorPayload -> Value

toEncoding :: GenericErrorPayload -> Encoding

toJSONList :: [GenericErrorPayload] -> Value

toEncodingList :: [GenericErrorPayload] -> Encoding

FromJSON GenericErrorPayload

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser GenericErrorPayload

parseJSONList :: Value -> Parser [GenericErrorPayload]

type Rep GenericErrorPayload

Defined in OryKratos.Types.Misc

type Rep GenericErrorPayload = D1 ('MetaData "GenericErrorPayload" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "GenericErrorPayload" 'PrefixI 'True) ((S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :*: (S1 ('MetaSel ('Just "debug") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "details") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))) :*: ((S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "reason") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "request") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))))

data HealthNotReadyStatus

Constructors

HealthNotReadyStatus

Fields

• errors :: Maybe (Map String Text)

  Errors contains a list of errors that caused the not ready status.

Instances

Eq HealthNotReadyStatus

Defined in OryKratos.Types.Misc

Methods

(==) :: HealthNotReadyStatus -> HealthNotReadyStatus -> Bool

(/=) :: HealthNotReadyStatus -> HealthNotReadyStatus -> Bool

Data HealthNotReadyStatus

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HealthNotReadyStatus -> c HealthNotReadyStatus

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HealthNotReadyStatus

toConstr :: HealthNotReadyStatus -> Constr

dataTypeOf :: HealthNotReadyStatus -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HealthNotReadyStatus)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HealthNotReadyStatus)

gmapT :: (forall b. Data b => b -> b) -> HealthNotReadyStatus -> HealthNotReadyStatus

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HealthNotReadyStatus -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HealthNotReadyStatus -> r

gmapQ :: (forall d. Data d => d -> u) -> HealthNotReadyStatus -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> HealthNotReadyStatus -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> HealthNotReadyStatus -> m HealthNotReadyStatus

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HealthNotReadyStatus -> m HealthNotReadyStatus

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HealthNotReadyStatus -> m HealthNotReadyStatus

Show HealthNotReadyStatus

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> HealthNotReadyStatus -> ShowS

show :: HealthNotReadyStatus -> String

showList :: [HealthNotReadyStatus] -> ShowS

Generic HealthNotReadyStatus

Defined in OryKratos.Types.Misc

Associated Types

type Rep HealthNotReadyStatus :: Type -> Type

Methods

from :: HealthNotReadyStatus -> Rep HealthNotReadyStatus x

to :: Rep HealthNotReadyStatus x -> HealthNotReadyStatus

ToJSON HealthNotReadyStatus

Defined in OryKratos.Types.Misc

Methods

toJSON :: HealthNotReadyStatus -> Value

toEncoding :: HealthNotReadyStatus -> Encoding

toJSONList :: [HealthNotReadyStatus] -> Value

toEncodingList :: [HealthNotReadyStatus] -> Encoding

FromJSON HealthNotReadyStatus

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser HealthNotReadyStatus

parseJSONList :: Value -> Parser [HealthNotReadyStatus]

type Rep HealthNotReadyStatus

Defined in OryKratos.Types.Misc

type Rep HealthNotReadyStatus = D1 ('MetaData "HealthNotReadyStatus" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "HealthNotReadyStatus" 'PrefixI 'True) (S1 ('MetaSel ('Just "errors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map String Text)))))

data HealthStatus

Constructors

HealthStatus

Fields

• status :: Maybe Text

  Status always contains "ok".

Instances

Eq HealthStatus

Defined in OryKratos.Types.Misc

Methods

(==) :: HealthStatus -> HealthStatus -> Bool

(/=) :: HealthStatus -> HealthStatus -> Bool

Data HealthStatus

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HealthStatus -> c HealthStatus

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HealthStatus

toConstr :: HealthStatus -> Constr

dataTypeOf :: HealthStatus -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HealthStatus)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HealthStatus)

gmapT :: (forall b. Data b => b -> b) -> HealthStatus -> HealthStatus

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HealthStatus -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HealthStatus -> r

gmapQ :: (forall d. Data d => d -> u) -> HealthStatus -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> HealthStatus -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> HealthStatus -> m HealthStatus

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HealthStatus -> m HealthStatus

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HealthStatus -> m HealthStatus

Show HealthStatus

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> HealthStatus -> ShowS

show :: HealthStatus -> String

showList :: [HealthStatus] -> ShowS

Generic HealthStatus

Defined in OryKratos.Types.Misc

Associated Types

type Rep HealthStatus :: Type -> Type

Methods

from :: HealthStatus -> Rep HealthStatus x

to :: Rep HealthStatus x -> HealthStatus

ToJSON HealthStatus

Defined in OryKratos.Types.Misc

Methods

toJSON :: HealthStatus -> Value

toEncoding :: HealthStatus -> Encoding

toJSONList :: [HealthStatus] -> Value

toEncodingList :: [HealthStatus] -> Encoding

FromJSON HealthStatus

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser HealthStatus

parseJSONList :: Value -> Parser [HealthStatus]

type Rep HealthStatus

Defined in OryKratos.Types.Misc

type Rep HealthStatus = D1 ('MetaData "HealthStatus" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "HealthStatus" 'PrefixI 'True) (S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data CompleteSelfServiceLoginFlowWithPasswordMethod

Constructors

CompleteSelfServiceLoginFlowWithPasswordMethod

Fields

• csrf_token :: Maybe Text

  Sending the anti-csrf token is only required for browser login flows.

• identifier :: Maybe Text

  Identifier is the email or username of the user trying to log in.

• password :: Maybe Text

  The user's password.

Instances

Eq CompleteSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

(==) :: CompleteSelfServiceLoginFlowWithPasswordMethod -> CompleteSelfServiceLoginFlowWithPasswordMethod -> Bool

(/=) :: CompleteSelfServiceLoginFlowWithPasswordMethod -> CompleteSelfServiceLoginFlowWithPasswordMethod -> Bool

Data CompleteSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompleteSelfServiceLoginFlowWithPasswordMethod -> c CompleteSelfServiceLoginFlowWithPasswordMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompleteSelfServiceLoginFlowWithPasswordMethod

toConstr :: CompleteSelfServiceLoginFlowWithPasswordMethod -> Constr

dataTypeOf :: CompleteSelfServiceLoginFlowWithPasswordMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CompleteSelfServiceLoginFlowWithPasswordMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompleteSelfServiceLoginFlowWithPasswordMethod)

gmapT :: (forall b. Data b => b -> b) -> CompleteSelfServiceLoginFlowWithPasswordMethod -> CompleteSelfServiceLoginFlowWithPasswordMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompleteSelfServiceLoginFlowWithPasswordMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompleteSelfServiceLoginFlowWithPasswordMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> CompleteSelfServiceLoginFlowWithPasswordMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CompleteSelfServiceLoginFlowWithPasswordMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompleteSelfServiceLoginFlowWithPasswordMethod -> m CompleteSelfServiceLoginFlowWithPasswordMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompleteSelfServiceLoginFlowWithPasswordMethod -> m CompleteSelfServiceLoginFlowWithPasswordMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompleteSelfServiceLoginFlowWithPasswordMethod -> m CompleteSelfServiceLoginFlowWithPasswordMethod

Show CompleteSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> CompleteSelfServiceLoginFlowWithPasswordMethod -> ShowS

show :: CompleteSelfServiceLoginFlowWithPasswordMethod -> String

showList :: [CompleteSelfServiceLoginFlowWithPasswordMethod] -> ShowS

Generic CompleteSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Associated Types

type Rep CompleteSelfServiceLoginFlowWithPasswordMethod :: Type -> Type

Methods

from :: CompleteSelfServiceLoginFlowWithPasswordMethod -> Rep CompleteSelfServiceLoginFlowWithPasswordMethod x

to :: Rep CompleteSelfServiceLoginFlowWithPasswordMethod x -> CompleteSelfServiceLoginFlowWithPasswordMethod

ToJSON CompleteSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

toJSON :: CompleteSelfServiceLoginFlowWithPasswordMethod -> Value

toEncoding :: CompleteSelfServiceLoginFlowWithPasswordMethod -> Encoding

toJSONList :: [CompleteSelfServiceLoginFlowWithPasswordMethod] -> Value

toEncodingList :: [CompleteSelfServiceLoginFlowWithPasswordMethod] -> Encoding

FromJSON CompleteSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser CompleteSelfServiceLoginFlowWithPasswordMethod

parseJSONList :: Value -> Parser [CompleteSelfServiceLoginFlowWithPasswordMethod]

type Rep CompleteSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

type Rep CompleteSelfServiceLoginFlowWithPasswordMethod = D1 ('MetaData "CompleteSelfServiceLoginFlowWithPasswordMethod" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "CompleteSelfServiceLoginFlowWithPasswordMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "csrf_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "identifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data CompleteSelfServiceRecoveryFlowWithLinkMethod

Constructors

CompleteSelfServiceRecoveryFlowWithLinkMethod

Fields

• csrf_token :: Maybe Text

  Sending the anti-csrf token is only required for browser login flows.

• email :: Maybe Text

  Email to Recover Needs to be set when initiating the flow. If the email is a registered recovery email, a recovery link will be sent. If the email is not known, a email with details on what happened will be sent instead. format: email in: body

Instances

Eq CompleteSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

(==) :: CompleteSelfServiceRecoveryFlowWithLinkMethod -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> Bool

(/=) :: CompleteSelfServiceRecoveryFlowWithLinkMethod -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> Bool

Data CompleteSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> c CompleteSelfServiceRecoveryFlowWithLinkMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompleteSelfServiceRecoveryFlowWithLinkMethod

toConstr :: CompleteSelfServiceRecoveryFlowWithLinkMethod -> Constr

dataTypeOf :: CompleteSelfServiceRecoveryFlowWithLinkMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CompleteSelfServiceRecoveryFlowWithLinkMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompleteSelfServiceRecoveryFlowWithLinkMethod)

gmapT :: (forall b. Data b => b -> b) -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> CompleteSelfServiceRecoveryFlowWithLinkMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> m CompleteSelfServiceRecoveryFlowWithLinkMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> m CompleteSelfServiceRecoveryFlowWithLinkMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> m CompleteSelfServiceRecoveryFlowWithLinkMethod

Show CompleteSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> CompleteSelfServiceRecoveryFlowWithLinkMethod -> ShowS

show :: CompleteSelfServiceRecoveryFlowWithLinkMethod -> String

showList :: [CompleteSelfServiceRecoveryFlowWithLinkMethod] -> ShowS

Generic CompleteSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Associated Types

type Rep CompleteSelfServiceRecoveryFlowWithLinkMethod :: Type -> Type

Methods

from :: CompleteSelfServiceRecoveryFlowWithLinkMethod -> Rep CompleteSelfServiceRecoveryFlowWithLinkMethod x

to :: Rep CompleteSelfServiceRecoveryFlowWithLinkMethod x -> CompleteSelfServiceRecoveryFlowWithLinkMethod

ToJSON CompleteSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

toJSON :: CompleteSelfServiceRecoveryFlowWithLinkMethod -> Value

toEncoding :: CompleteSelfServiceRecoveryFlowWithLinkMethod -> Encoding

toJSONList :: [CompleteSelfServiceRecoveryFlowWithLinkMethod] -> Value

toEncodingList :: [CompleteSelfServiceRecoveryFlowWithLinkMethod] -> Encoding

FromJSON CompleteSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser CompleteSelfServiceRecoveryFlowWithLinkMethod

parseJSONList :: Value -> Parser [CompleteSelfServiceRecoveryFlowWithLinkMethod]

type Rep CompleteSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Misc

type Rep CompleteSelfServiceRecoveryFlowWithLinkMethod = D1 ('MetaData "CompleteSelfServiceRecoveryFlowWithLinkMethod" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "CompleteSelfServiceRecoveryFlowWithLinkMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "csrf_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "email") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data CompleteSelfServiceSettingsFlowWithPasswordMethod

Constructors

CompleteSelfServiceSettingsFlowWithPasswordMethod

Fields

• csrf_token :: Maybe Text

  CSRFToken is the anti-CSRF token type: string

• password :: Text

  Password is the updated password type: string

Instances

Eq CompleteSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

(==) :: CompleteSelfServiceSettingsFlowWithPasswordMethod -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> Bool

(/=) :: CompleteSelfServiceSettingsFlowWithPasswordMethod -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> Bool

Data CompleteSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> c CompleteSelfServiceSettingsFlowWithPasswordMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompleteSelfServiceSettingsFlowWithPasswordMethod

toConstr :: CompleteSelfServiceSettingsFlowWithPasswordMethod -> Constr

dataTypeOf :: CompleteSelfServiceSettingsFlowWithPasswordMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CompleteSelfServiceSettingsFlowWithPasswordMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompleteSelfServiceSettingsFlowWithPasswordMethod)

gmapT :: (forall b. Data b => b -> b) -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> CompleteSelfServiceSettingsFlowWithPasswordMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> m CompleteSelfServiceSettingsFlowWithPasswordMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> m CompleteSelfServiceSettingsFlowWithPasswordMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> m CompleteSelfServiceSettingsFlowWithPasswordMethod

Show CompleteSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> CompleteSelfServiceSettingsFlowWithPasswordMethod -> ShowS

show :: CompleteSelfServiceSettingsFlowWithPasswordMethod -> String

showList :: [CompleteSelfServiceSettingsFlowWithPasswordMethod] -> ShowS

Generic CompleteSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Associated Types

type Rep CompleteSelfServiceSettingsFlowWithPasswordMethod :: Type -> Type

Methods

from :: CompleteSelfServiceSettingsFlowWithPasswordMethod -> Rep CompleteSelfServiceSettingsFlowWithPasswordMethod x

to :: Rep CompleteSelfServiceSettingsFlowWithPasswordMethod x -> CompleteSelfServiceSettingsFlowWithPasswordMethod

ToJSON CompleteSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

toJSON :: CompleteSelfServiceSettingsFlowWithPasswordMethod -> Value

toEncoding :: CompleteSelfServiceSettingsFlowWithPasswordMethod -> Encoding

toJSONList :: [CompleteSelfServiceSettingsFlowWithPasswordMethod] -> Value

toEncodingList :: [CompleteSelfServiceSettingsFlowWithPasswordMethod] -> Encoding

FromJSON CompleteSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser CompleteSelfServiceSettingsFlowWithPasswordMethod

parseJSONList :: Value -> Parser [CompleteSelfServiceSettingsFlowWithPasswordMethod]

type Rep CompleteSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Misc

type Rep CompleteSelfServiceSettingsFlowWithPasswordMethod = D1 ('MetaData "CompleteSelfServiceSettingsFlowWithPasswordMethod" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "CompleteSelfServiceSettingsFlowWithPasswordMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "csrf_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data CompleteSelfServiceVerificationFlowWithLinkMethod

Constructors

CompleteSelfServiceVerificationFlowWithLinkMethod

Fields

• csrf_token :: Maybe Text

  Sending the anti-csrf token is only required for browser login flows.

• email :: Maybe Text

  Email to Verify Needs to be set when initiating the flow. If the email is a registered verification email, a verification link will be sent. If the email is not known, a email with details on what happened will be sent instead. format: email in: body

Instances

Eq CompleteSelfServiceVerificationFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

(==) :: CompleteSelfServiceVerificationFlowWithLinkMethod -> CompleteSelfServiceVerificationFlowWithLinkMethod -> Bool

(/=) :: CompleteSelfServiceVerificationFlowWithLinkMethod -> CompleteSelfServiceVerificationFlowWithLinkMethod -> Bool

Data CompleteSelfServiceVerificationFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompleteSelfServiceVerificationFlowWithLinkMethod -> c CompleteSelfServiceVerificationFlowWithLinkMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompleteSelfServiceVerificationFlowWithLinkMethod

toConstr :: CompleteSelfServiceVerificationFlowWithLinkMethod -> Constr

dataTypeOf :: CompleteSelfServiceVerificationFlowWithLinkMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CompleteSelfServiceVerificationFlowWithLinkMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompleteSelfServiceVerificationFlowWithLinkMethod)

gmapT :: (forall b. Data b => b -> b) -> CompleteSelfServiceVerificationFlowWithLinkMethod -> CompleteSelfServiceVerificationFlowWithLinkMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompleteSelfServiceVerificationFlowWithLinkMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompleteSelfServiceVerificationFlowWithLinkMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> CompleteSelfServiceVerificationFlowWithLinkMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CompleteSelfServiceVerificationFlowWithLinkMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompleteSelfServiceVerificationFlowWithLinkMethod -> m CompleteSelfServiceVerificationFlowWithLinkMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompleteSelfServiceVerificationFlowWithLinkMethod -> m CompleteSelfServiceVerificationFlowWithLinkMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompleteSelfServiceVerificationFlowWithLinkMethod -> m CompleteSelfServiceVerificationFlowWithLinkMethod

Show CompleteSelfServiceVerificationFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> CompleteSelfServiceVerificationFlowWithLinkMethod -> ShowS

show :: CompleteSelfServiceVerificationFlowWithLinkMethod -> String

showList :: [CompleteSelfServiceVerificationFlowWithLinkMethod] -> ShowS

Generic CompleteSelfServiceVerificationFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Associated Types

type Rep CompleteSelfServiceVerificationFlowWithLinkMethod :: Type -> Type

Methods

from :: CompleteSelfServiceVerificationFlowWithLinkMethod -> Rep CompleteSelfServiceVerificationFlowWithLinkMethod x

to :: Rep CompleteSelfServiceVerificationFlowWithLinkMethod x -> CompleteSelfServiceVerificationFlowWithLinkMethod

ToJSON CompleteSelfServiceVerificationFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

toJSON :: CompleteSelfServiceVerificationFlowWithLinkMethod -> Value

toEncoding :: CompleteSelfServiceVerificationFlowWithLinkMethod -> Encoding

toJSONList :: [CompleteSelfServiceVerificationFlowWithLinkMethod] -> Value

toEncodingList :: [CompleteSelfServiceVerificationFlowWithLinkMethod] -> Encoding

FromJSON CompleteSelfServiceVerificationFlowWithLinkMethod

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser CompleteSelfServiceVerificationFlowWithLinkMethod

parseJSONList :: Value -> Parser [CompleteSelfServiceVerificationFlowWithLinkMethod]

type Rep CompleteSelfServiceVerificationFlowWithLinkMethod

Defined in OryKratos.Types.Misc

type Rep CompleteSelfServiceVerificationFlowWithLinkMethod = D1 ('MetaData "CompleteSelfServiceVerificationFlowWithLinkMethod" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "CompleteSelfServiceVerificationFlowWithLinkMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "csrf_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "email") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data CreateIdentity

Constructors

CreateIdentity

Fields

• schema_id :: Text

  SchemaID is the ID of the JSON Schema to be used for validating the identity's traits.

• traits :: Value

  Traits represent an identity's traits. The identity is able to create, modify, and delete traits in a self-service manner. The input will always be validated against the JSON Schema defined in $sel:schema_url:Identity.

Instances

Eq CreateIdentity

Defined in OryKratos.Types.Misc

Methods

(==) :: CreateIdentity -> CreateIdentity -> Bool

(/=) :: CreateIdentity -> CreateIdentity -> Bool

Data CreateIdentity

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CreateIdentity -> c CreateIdentity

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CreateIdentity

toConstr :: CreateIdentity -> Constr

dataTypeOf :: CreateIdentity -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CreateIdentity)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CreateIdentity)

gmapT :: (forall b. Data b => b -> b) -> CreateIdentity -> CreateIdentity

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CreateIdentity -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CreateIdentity -> r

gmapQ :: (forall d. Data d => d -> u) -> CreateIdentity -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CreateIdentity -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CreateIdentity -> m CreateIdentity

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CreateIdentity -> m CreateIdentity

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CreateIdentity -> m CreateIdentity

Show CreateIdentity

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> CreateIdentity -> ShowS

show :: CreateIdentity -> String

showList :: [CreateIdentity] -> ShowS

Generic CreateIdentity

Defined in OryKratos.Types.Misc

Associated Types

type Rep CreateIdentity :: Type -> Type

Methods

from :: CreateIdentity -> Rep CreateIdentity x

to :: Rep CreateIdentity x -> CreateIdentity

ToJSON CreateIdentity

Defined in OryKratos.Types.Misc

Methods

toJSON :: CreateIdentity -> Value

toEncoding :: CreateIdentity -> Encoding

toJSONList :: [CreateIdentity] -> Value

toEncodingList :: [CreateIdentity] -> Encoding

FromJSON CreateIdentity

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser CreateIdentity

parseJSONList :: Value -> Parser [CreateIdentity]

type Rep CreateIdentity

Defined in OryKratos.Types.Misc

type Rep CreateIdentity = D1 ('MetaData "CreateIdentity" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "CreateIdentity" 'PrefixI 'True) (S1 ('MetaSel ('Just "schema_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "traits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data CreateRecoveryLink

Constructors

CreateRecoveryLink

Fields

• expires_in :: Maybe Text

  Link Expires In The recovery link will expire at that point in time. Defaults to the configuration value of `selfservice.flows.recovery.request_lifespan`.

• identity_id :: UUID

Instances

Eq CreateRecoveryLink

Defined in OryKratos.Types.Misc

Methods

(==) :: CreateRecoveryLink -> CreateRecoveryLink -> Bool

(/=) :: CreateRecoveryLink -> CreateRecoveryLink -> Bool

Data CreateRecoveryLink

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CreateRecoveryLink -> c CreateRecoveryLink

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CreateRecoveryLink

toConstr :: CreateRecoveryLink -> Constr

dataTypeOf :: CreateRecoveryLink -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CreateRecoveryLink)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CreateRecoveryLink)

gmapT :: (forall b. Data b => b -> b) -> CreateRecoveryLink -> CreateRecoveryLink

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CreateRecoveryLink -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CreateRecoveryLink -> r

gmapQ :: (forall d. Data d => d -> u) -> CreateRecoveryLink -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CreateRecoveryLink -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CreateRecoveryLink -> m CreateRecoveryLink

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CreateRecoveryLink -> m CreateRecoveryLink

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CreateRecoveryLink -> m CreateRecoveryLink

Show CreateRecoveryLink

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> CreateRecoveryLink -> ShowS

show :: CreateRecoveryLink -> String

showList :: [CreateRecoveryLink] -> ShowS

Generic CreateRecoveryLink

Defined in OryKratos.Types.Misc

Associated Types

type Rep CreateRecoveryLink :: Type -> Type

Methods

from :: CreateRecoveryLink -> Rep CreateRecoveryLink x

to :: Rep CreateRecoveryLink x -> CreateRecoveryLink

ToJSON CreateRecoveryLink

Defined in OryKratos.Types.Misc

Methods

toJSON :: CreateRecoveryLink -> Value

toEncoding :: CreateRecoveryLink -> Encoding

toJSONList :: [CreateRecoveryLink] -> Value

toEncodingList :: [CreateRecoveryLink] -> Encoding

FromJSON CreateRecoveryLink

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser CreateRecoveryLink

parseJSONList :: Value -> Parser [CreateRecoveryLink]

type Rep CreateRecoveryLink

Defined in OryKratos.Types.Misc

type Rep CreateRecoveryLink = D1 ('MetaData "CreateRecoveryLink" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "CreateRecoveryLink" 'PrefixI 'True) (S1 ('MetaSel ('Just "expires_in") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "identity_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID)))

data Identity

Constructors

Identity

Fields

• id :: UUID
• recovery_addresses :: Maybe [RecoveryAddress]

  RecoveryAddresses contains all the addresses that can be used to recover an identity.

• schema_id :: Text

  SchemaID is the ID of the JSON Schema to be used for validating the identity's traits.

• schema_url :: Text

  SchemaURL is the URL of the endpoint where the identity's traits schema can be fetched from. format: url

• traits :: Value
• verifiable_addresses :: Maybe [VerifiableAddress]

  VerifiableAddresses contains all the addresses that can be verified by the user.

Instances

Eq Identity

Defined in OryKratos.Types.Misc

Methods

(==) :: Identity -> Identity -> Bool

(/=) :: Identity -> Identity -> Bool

Data Identity

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Identity -> c Identity

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Identity

toConstr :: Identity -> Constr

dataTypeOf :: Identity -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Identity)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Identity)

gmapT :: (forall b. Data b => b -> b) -> Identity -> Identity

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identity -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identity -> r

gmapQ :: (forall d. Data d => d -> u) -> Identity -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Identity -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identity -> m Identity

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identity -> m Identity

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identity -> m Identity

Show Identity

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> Identity -> ShowS

show :: Identity -> String

showList :: [Identity] -> ShowS

Generic Identity

Defined in OryKratos.Types.Misc

Associated Types

type Rep Identity :: Type -> Type

Methods

from :: Identity -> Rep Identity x

to :: Rep Identity x -> Identity

ToJSON Identity

Defined in OryKratos.Types.Misc

Methods

toJSON :: Identity -> Value

toEncoding :: Identity -> Encoding

toJSONList :: [Identity] -> Value

toEncodingList :: [Identity] -> Encoding

FromJSON Identity

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser Identity

parseJSONList :: Value -> Parser [Identity]

type Rep Identity

Defined in OryKratos.Types.Misc

type Rep Identity = D1 ('MetaData "Identity" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "Identity" 'PrefixI 'True) ((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID) :*: (S1 ('MetaSel ('Just "recovery_addresses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [RecoveryAddress])) :*: S1 ('MetaSel ('Just "schema_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "schema_url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "traits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "verifiable_addresses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [VerifiableAddress]))))))

data RevokeSession

Constructors

RevokeSession

Fields

• session_token :: Text

  The Session Token Invalidate this session token.

Instances

Eq RevokeSession

Defined in OryKratos.Types.Misc

Methods

(==) :: RevokeSession -> RevokeSession -> Bool

(/=) :: RevokeSession -> RevokeSession -> Bool

Data RevokeSession

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RevokeSession -> c RevokeSession

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RevokeSession

toConstr :: RevokeSession -> Constr

dataTypeOf :: RevokeSession -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RevokeSession)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RevokeSession)

gmapT :: (forall b. Data b => b -> b) -> RevokeSession -> RevokeSession

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RevokeSession -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RevokeSession -> r

gmapQ :: (forall d. Data d => d -> u) -> RevokeSession -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RevokeSession -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RevokeSession -> m RevokeSession

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RevokeSession -> m RevokeSession

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RevokeSession -> m RevokeSession

Show RevokeSession

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> RevokeSession -> ShowS

show :: RevokeSession -> String

showList :: [RevokeSession] -> ShowS

Generic RevokeSession

Defined in OryKratos.Types.Misc

Associated Types

type Rep RevokeSession :: Type -> Type

Methods

from :: RevokeSession -> Rep RevokeSession x

to :: Rep RevokeSession x -> RevokeSession

ToJSON RevokeSession

Defined in OryKratos.Types.Misc

Methods

toJSON :: RevokeSession -> Value

toEncoding :: RevokeSession -> Encoding

toJSONList :: [RevokeSession] -> Value

toEncodingList :: [RevokeSession] -> Encoding

FromJSON RevokeSession

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser RevokeSession

parseJSONList :: Value -> Parser [RevokeSession]

type Rep RevokeSession

Defined in OryKratos.Types.Misc

type Rep RevokeSession = D1 ('MetaData "RevokeSession" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RevokeSession" 'PrefixI 'True) (S1 ('MetaSel ('Just "session_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Session

Constructors

Session

Fields

• active :: Maybe Bool
• authenticated_at :: UTCTime
• expires_at :: UTCTime
• id :: UUID
• identity :: Identity
• issued_at :: UTCTime

Instances

Eq Session

Defined in OryKratos.Types.Misc

Methods

(==) :: Session -> Session -> Bool

(/=) :: Session -> Session -> Bool

Data Session

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Session -> c Session

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Session

toConstr :: Session -> Constr

dataTypeOf :: Session -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Session)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Session)

gmapT :: (forall b. Data b => b -> b) -> Session -> Session

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Session -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Session -> r

gmapQ :: (forall d. Data d => d -> u) -> Session -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Session -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Session -> m Session

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Session -> m Session

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Session -> m Session

Show Session

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> Session -> ShowS

show :: Session -> String

showList :: [Session] -> ShowS

Generic Session

Defined in OryKratos.Types.Misc

Associated Types

type Rep Session :: Type -> Type

Methods

from :: Session -> Rep Session x

to :: Rep Session x -> Session

ToJSON Session

Defined in OryKratos.Types.Misc

Methods

toJSON :: Session -> Value

toEncoding :: Session -> Encoding

toJSONList :: [Session] -> Value

toEncodingList :: [Session] -> Encoding

FromJSON Session

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser Session

parseJSONList :: Value -> Parser [Session]

type Rep Session

Defined in OryKratos.Types.Misc

type Rep Session = D1 ('MetaData "Session" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "Session" 'PrefixI 'True) ((S1 ('MetaSel ('Just "active") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: (S1 ('MetaSel ('Just "authenticated_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "expires_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime))) :*: (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID) :*: (S1 ('MetaSel ('Just "identity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identity) :*: S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)))))

data UpdateIdentity

Constructors

UpdateIdentity

Fields

• schema_id :: Maybe Text

  SchemaID is the ID of the JSON Schema to be used for validating the identity's traits. If set will update the Identity's SchemaID.

• traits :: Value

  Traits represent an identity's traits. The identity is able to create, modify, and delete traits in a self-service manner. The input will always be validated against the JSON Schema defined in $sel:schema_id:CreateIdentity.

Instances

Eq UpdateIdentity

Defined in OryKratos.Types.Misc

Methods

(==) :: UpdateIdentity -> UpdateIdentity -> Bool

(/=) :: UpdateIdentity -> UpdateIdentity -> Bool

Data UpdateIdentity

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UpdateIdentity -> c UpdateIdentity

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UpdateIdentity

toConstr :: UpdateIdentity -> Constr

dataTypeOf :: UpdateIdentity -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UpdateIdentity)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UpdateIdentity)

gmapT :: (forall b. Data b => b -> b) -> UpdateIdentity -> UpdateIdentity

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UpdateIdentity -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UpdateIdentity -> r

gmapQ :: (forall d. Data d => d -> u) -> UpdateIdentity -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> UpdateIdentity -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UpdateIdentity -> m UpdateIdentity

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UpdateIdentity -> m UpdateIdentity

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UpdateIdentity -> m UpdateIdentity

Show UpdateIdentity

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> UpdateIdentity -> ShowS

show :: UpdateIdentity -> String

showList :: [UpdateIdentity] -> ShowS

Generic UpdateIdentity

Defined in OryKratos.Types.Misc

Associated Types

type Rep UpdateIdentity :: Type -> Type

Methods

from :: UpdateIdentity -> Rep UpdateIdentity x

to :: Rep UpdateIdentity x -> UpdateIdentity

ToJSON UpdateIdentity

Defined in OryKratos.Types.Misc

Methods

toJSON :: UpdateIdentity -> Value

toEncoding :: UpdateIdentity -> Encoding

toJSONList :: [UpdateIdentity] -> Value

toEncodingList :: [UpdateIdentity] -> Encoding

FromJSON UpdateIdentity

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser UpdateIdentity

parseJSONList :: Value -> Parser [UpdateIdentity]

type Rep UpdateIdentity

Defined in OryKratos.Types.Misc

type Rep UpdateIdentity = D1 ('MetaData "UpdateIdentity" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "UpdateIdentity" 'PrefixI 'True) (S1 ('MetaSel ('Just "schema_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "traits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data VerifiableAddress

Constructors

VerifiableAddress

Fields

• id :: UUID
• status :: Text
• value :: Text
• verified :: Bool
• verified_at :: Maybe UTCTime
• via :: Text

Instances

Eq VerifiableAddress

Defined in OryKratos.Types.Misc

Methods

(==) :: VerifiableAddress -> VerifiableAddress -> Bool

(/=) :: VerifiableAddress -> VerifiableAddress -> Bool

Data VerifiableAddress

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VerifiableAddress -> c VerifiableAddress

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VerifiableAddress

toConstr :: VerifiableAddress -> Constr

dataTypeOf :: VerifiableAddress -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VerifiableAddress)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VerifiableAddress)

gmapT :: (forall b. Data b => b -> b) -> VerifiableAddress -> VerifiableAddress

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VerifiableAddress -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VerifiableAddress -> r

gmapQ :: (forall d. Data d => d -> u) -> VerifiableAddress -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> VerifiableAddress -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VerifiableAddress -> m VerifiableAddress

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VerifiableAddress -> m VerifiableAddress

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VerifiableAddress -> m VerifiableAddress

Show VerifiableAddress

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> VerifiableAddress -> ShowS

show :: VerifiableAddress -> String

showList :: [VerifiableAddress] -> ShowS

Generic VerifiableAddress

Defined in OryKratos.Types.Misc

Associated Types

type Rep VerifiableAddress :: Type -> Type

Methods

from :: VerifiableAddress -> Rep VerifiableAddress x

to :: Rep VerifiableAddress x -> VerifiableAddress

ToJSON VerifiableAddress

Defined in OryKratos.Types.Misc

Methods

toJSON :: VerifiableAddress -> Value

toEncoding :: VerifiableAddress -> Encoding

toJSONList :: [VerifiableAddress] -> Value

toEncodingList :: [VerifiableAddress] -> Encoding

FromJSON VerifiableAddress

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser VerifiableAddress

parseJSONList :: Value -> Parser [VerifiableAddress]

type Rep VerifiableAddress

Defined in OryKratos.Types.Misc

type Rep VerifiableAddress = D1 ('MetaData "VerifiableAddress" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "VerifiableAddress" 'PrefixI 'True) ((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID) :*: (S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "verified") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "verified_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)) :*: S1 ('MetaSel ('Just "via") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

data Version

Constructors

Version

Fields

• version :: Maybe Text

  Version is the service's version.

Instances

Eq Version

Defined in OryKratos.Types.Misc

Methods

(==) :: Version -> Version -> Bool

(/=) :: Version -> Version -> Bool

Data Version

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Version -> c Version

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Version

toConstr :: Version -> Constr

dataTypeOf :: Version -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Version)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Version)

gmapT :: (forall b. Data b => b -> b) -> Version -> Version

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Version -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Version -> r

gmapQ :: (forall d. Data d => d -> u) -> Version -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Version -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Version -> m Version

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Version -> m Version

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Version -> m Version

Show Version

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

Generic Version

Defined in OryKratos.Types.Misc

Associated Types

type Rep Version :: Type -> Type

Methods

from :: Version -> Rep Version x

to :: Rep Version x -> Version

ToJSON Version

Defined in OryKratos.Types.Misc

Methods

toJSON :: Version -> Value

toEncoding :: Version -> Encoding

toJSONList :: [Version] -> Value

toEncodingList :: [Version] -> Encoding

FromJSON Version

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser Version

parseJSONList :: Value -> Parser [Version]

type Rep Version

Defined in OryKratos.Types.Misc

type Rep Version = D1 ('MetaData "Version" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "Version" 'PrefixI 'True) (S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data RecoveryAddress

Constructors

RecoveryAddress

Fields

• id :: UUID
• value :: Text
• via :: Text

Instances

Eq RecoveryAddress

Defined in OryKratos.Types.Misc

Methods

(==) :: RecoveryAddress -> RecoveryAddress -> Bool

(/=) :: RecoveryAddress -> RecoveryAddress -> Bool

Data RecoveryAddress

Defined in OryKratos.Types.Misc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RecoveryAddress -> c RecoveryAddress

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RecoveryAddress

toConstr :: RecoveryAddress -> Constr

dataTypeOf :: RecoveryAddress -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RecoveryAddress)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RecoveryAddress)

gmapT :: (forall b. Data b => b -> b) -> RecoveryAddress -> RecoveryAddress

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryAddress -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryAddress -> r

gmapQ :: (forall d. Data d => d -> u) -> RecoveryAddress -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RecoveryAddress -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RecoveryAddress -> m RecoveryAddress

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryAddress -> m RecoveryAddress

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryAddress -> m RecoveryAddress

Show RecoveryAddress

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> RecoveryAddress -> ShowS

show :: RecoveryAddress -> String

showList :: [RecoveryAddress] -> ShowS

Generic RecoveryAddress

Defined in OryKratos.Types.Misc

Associated Types

type Rep RecoveryAddress :: Type -> Type

Methods

from :: RecoveryAddress -> Rep RecoveryAddress x

to :: Rep RecoveryAddress x -> RecoveryAddress

ToJSON RecoveryAddress

Defined in OryKratos.Types.Misc

Methods

toJSON :: RecoveryAddress -> Value

toEncoding :: RecoveryAddress -> Encoding

toJSONList :: [RecoveryAddress] -> Value

toEncodingList :: [RecoveryAddress] -> Encoding

FromJSON RecoveryAddress

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser RecoveryAddress

parseJSONList :: Value -> Parser [RecoveryAddress]

type Rep RecoveryAddress

Defined in OryKratos.Types.Misc

type Rep RecoveryAddress = D1 ('MetaData "RecoveryAddress" "OryKratos.Types.Misc" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RecoveryAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID) :*: (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "via") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data RecoveryFlow

This request is used when an identity wants to recover their account. We recommend reading the Account Recovery Documentation

Constructors

RecoveryFlow

Fields

• active :: Maybe Text

  Active, if set, contains the registration method that is being used. It is initially not set.

• expires_at :: UTCTime

  ExpiresAt is the time (UTC) when the request expires. If the user still wishes to update the setting, a new request has to be initiated.

• id :: UUID
• issued_at :: UTCTime

  IssuedAt is the time (UTC) when the request occurred.

• messages :: Maybe [Message]
• methods :: RecoveryFlowMethods

  Methods contains context for all account recovery methods. If a registration request has been processed, but for example the password is incorrect, this will contain error messages.

• request_url :: Text

  RequestURL is the initial URL that was requested from ORY Kratos. It can be used to forward information contained in the URL's path or query for example.

• state :: Text
• _type :: Maybe Text

  The flow type can either be api or browser.

Instances

Eq RecoveryFlow

Defined in OryKratos.Types.Recovery

Methods

(==) :: RecoveryFlow -> RecoveryFlow -> Bool

(/=) :: RecoveryFlow -> RecoveryFlow -> Bool

Data RecoveryFlow

Defined in OryKratos.Types.Recovery

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RecoveryFlow -> c RecoveryFlow

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RecoveryFlow

toConstr :: RecoveryFlow -> Constr

dataTypeOf :: RecoveryFlow -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RecoveryFlow)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RecoveryFlow)

gmapT :: (forall b. Data b => b -> b) -> RecoveryFlow -> RecoveryFlow

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryFlow -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryFlow -> r

gmapQ :: (forall d. Data d => d -> u) -> RecoveryFlow -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RecoveryFlow -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RecoveryFlow -> m RecoveryFlow

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryFlow -> m RecoveryFlow

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryFlow -> m RecoveryFlow

Show RecoveryFlow

Defined in OryKratos.Types.Recovery

Methods

showsPrec :: Int -> RecoveryFlow -> ShowS

show :: RecoveryFlow -> String

showList :: [RecoveryFlow] -> ShowS

Generic RecoveryFlow

Defined in OryKratos.Types.Recovery

Associated Types

type Rep RecoveryFlow :: Type -> Type

Methods

from :: RecoveryFlow -> Rep RecoveryFlow x

to :: Rep RecoveryFlow x -> RecoveryFlow

ToJSON RecoveryFlow

Defined in OryKratos.Types.Recovery

Methods

toJSON :: RecoveryFlow -> Value

toEncoding :: RecoveryFlow -> Encoding

toJSONList :: [RecoveryFlow] -> Value

toEncodingList :: [RecoveryFlow] -> Encoding

FromJSON RecoveryFlow

Defined in OryKratos.Types.Recovery

Methods

parseJSON :: Value -> Parser RecoveryFlow

parseJSONList :: Value -> Parser [RecoveryFlow]

type Rep RecoveryFlow

Defined in OryKratos.Types.Recovery

type Rep RecoveryFlow = D1 ('MetaData "RecoveryFlow" "OryKratos.Types.Recovery" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RecoveryFlow" 'PrefixI 'True) (((S1 ('MetaSel ('Just "active") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "expires_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)) :*: (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID) :*: S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime))) :*: ((S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: S1 ('MetaSel ('Just "methods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RecoveryFlowMethods)) :*: (S1 ('MetaSel ('Just "request_url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))))

data RecoveryFlowMethods

Constructors

RecoveryFlowMethods

Fields

• link :: Maybe RecoveryFlowMethod

Instances

Eq RecoveryFlowMethods

Defined in OryKratos.Types.Recovery

Methods

(==) :: RecoveryFlowMethods -> RecoveryFlowMethods -> Bool

(/=) :: RecoveryFlowMethods -> RecoveryFlowMethods -> Bool

Data RecoveryFlowMethods

Defined in OryKratos.Types.Recovery

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RecoveryFlowMethods -> c RecoveryFlowMethods

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RecoveryFlowMethods

toConstr :: RecoveryFlowMethods -> Constr

dataTypeOf :: RecoveryFlowMethods -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RecoveryFlowMethods)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RecoveryFlowMethods)

gmapT :: (forall b. Data b => b -> b) -> RecoveryFlowMethods -> RecoveryFlowMethods

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryFlowMethods -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryFlowMethods -> r

gmapQ :: (forall d. Data d => d -> u) -> RecoveryFlowMethods -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RecoveryFlowMethods -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RecoveryFlowMethods -> m RecoveryFlowMethods

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryFlowMethods -> m RecoveryFlowMethods

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryFlowMethods -> m RecoveryFlowMethods

Show RecoveryFlowMethods

Defined in OryKratos.Types.Recovery

Methods

showsPrec :: Int -> RecoveryFlowMethods -> ShowS

show :: RecoveryFlowMethods -> String

showList :: [RecoveryFlowMethods] -> ShowS

Generic RecoveryFlowMethods

Defined in OryKratos.Types.Recovery

Associated Types

type Rep RecoveryFlowMethods :: Type -> Type

Methods

from :: RecoveryFlowMethods -> Rep RecoveryFlowMethods x

to :: Rep RecoveryFlowMethods x -> RecoveryFlowMethods

ToJSON RecoveryFlowMethods

Defined in OryKratos.Types.Recovery

Methods

toJSON :: RecoveryFlowMethods -> Value

toEncoding :: RecoveryFlowMethods -> Encoding

toJSONList :: [RecoveryFlowMethods] -> Value

toEncodingList :: [RecoveryFlowMethods] -> Encoding

FromJSON RecoveryFlowMethods

Defined in OryKratos.Types.Recovery

Methods

parseJSON :: Value -> Parser RecoveryFlowMethods

parseJSONList :: Value -> Parser [RecoveryFlowMethods]

type Rep RecoveryFlowMethods

Defined in OryKratos.Types.Recovery

type Rep RecoveryFlowMethods = D1 ('MetaData "RecoveryFlowMethods" "OryKratos.Types.Recovery" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RecoveryFlowMethods" 'PrefixI 'True) (S1 ('MetaSel ('Just "link") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RecoveryFlowMethod))))

data RecoveryFlowMethod

Constructors

RecoveryFlowMethod

Fields

• config :: RecoveryFlowMethodConfig
• method :: Text

  Method contains the request credentials type.

Instances

Eq RecoveryFlowMethod

Defined in OryKratos.Types.Recovery

Methods

(==) :: RecoveryFlowMethod -> RecoveryFlowMethod -> Bool

(/=) :: RecoveryFlowMethod -> RecoveryFlowMethod -> Bool

Data RecoveryFlowMethod

Defined in OryKratos.Types.Recovery

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RecoveryFlowMethod -> c RecoveryFlowMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RecoveryFlowMethod

toConstr :: RecoveryFlowMethod -> Constr

dataTypeOf :: RecoveryFlowMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RecoveryFlowMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RecoveryFlowMethod)

gmapT :: (forall b. Data b => b -> b) -> RecoveryFlowMethod -> RecoveryFlowMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryFlowMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryFlowMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> RecoveryFlowMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RecoveryFlowMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RecoveryFlowMethod -> m RecoveryFlowMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryFlowMethod -> m RecoveryFlowMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryFlowMethod -> m RecoveryFlowMethod

Show RecoveryFlowMethod

Defined in OryKratos.Types.Recovery

Methods

showsPrec :: Int -> RecoveryFlowMethod -> ShowS

show :: RecoveryFlowMethod -> String

showList :: [RecoveryFlowMethod] -> ShowS

Generic RecoveryFlowMethod

Defined in OryKratos.Types.Recovery

Associated Types

type Rep RecoveryFlowMethod :: Type -> Type

Methods

from :: RecoveryFlowMethod -> Rep RecoveryFlowMethod x

to :: Rep RecoveryFlowMethod x -> RecoveryFlowMethod

ToJSON RecoveryFlowMethod

Defined in OryKratos.Types.Recovery

Methods

toJSON :: RecoveryFlowMethod -> Value

toEncoding :: RecoveryFlowMethod -> Encoding

toJSONList :: [RecoveryFlowMethod] -> Value

toEncodingList :: [RecoveryFlowMethod] -> Encoding

FromJSON RecoveryFlowMethod

Defined in OryKratos.Types.Recovery

Methods

parseJSON :: Value -> Parser RecoveryFlowMethod

parseJSONList :: Value -> Parser [RecoveryFlowMethod]

type Rep RecoveryFlowMethod

Defined in OryKratos.Types.Recovery

type Rep RecoveryFlowMethod = D1 ('MetaData "RecoveryFlowMethod" "OryKratos.Types.Recovery" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RecoveryFlowMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "config") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RecoveryFlowMethodConfig) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data RecoveryFlowMethodConfig

Constructors

RecoveryFlowMethodConfig

Fields

• action :: Text

  Action should be used as the form action URL `action="{{ .Action }}" method="post"`.

• fields :: [FormField]

  Fields contains multiple fields

• messages :: Maybe [Message]
• method :: Text

  Method is the form method (e.g. POST)

Instances

Eq RecoveryFlowMethodConfig

Defined in OryKratos.Types.Recovery

Methods

(==) :: RecoveryFlowMethodConfig -> RecoveryFlowMethodConfig -> Bool

(/=) :: RecoveryFlowMethodConfig -> RecoveryFlowMethodConfig -> Bool

Data RecoveryFlowMethodConfig

Defined in OryKratos.Types.Recovery

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RecoveryFlowMethodConfig -> c RecoveryFlowMethodConfig

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RecoveryFlowMethodConfig

toConstr :: RecoveryFlowMethodConfig -> Constr

dataTypeOf :: RecoveryFlowMethodConfig -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RecoveryFlowMethodConfig)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RecoveryFlowMethodConfig)

gmapT :: (forall b. Data b => b -> b) -> RecoveryFlowMethodConfig -> RecoveryFlowMethodConfig

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryFlowMethodConfig -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryFlowMethodConfig -> r

gmapQ :: (forall d. Data d => d -> u) -> RecoveryFlowMethodConfig -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RecoveryFlowMethodConfig -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RecoveryFlowMethodConfig -> m RecoveryFlowMethodConfig

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryFlowMethodConfig -> m RecoveryFlowMethodConfig

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryFlowMethodConfig -> m RecoveryFlowMethodConfig

Show RecoveryFlowMethodConfig

Defined in OryKratos.Types.Recovery

Methods

showsPrec :: Int -> RecoveryFlowMethodConfig -> ShowS

show :: RecoveryFlowMethodConfig -> String

showList :: [RecoveryFlowMethodConfig] -> ShowS

Generic RecoveryFlowMethodConfig

Defined in OryKratos.Types.Recovery

Associated Types

type Rep RecoveryFlowMethodConfig :: Type -> Type

Methods

from :: RecoveryFlowMethodConfig -> Rep RecoveryFlowMethodConfig x

to :: Rep RecoveryFlowMethodConfig x -> RecoveryFlowMethodConfig

ToJSON RecoveryFlowMethodConfig

Defined in OryKratos.Types.Recovery

Methods

toJSON :: RecoveryFlowMethodConfig -> Value

toEncoding :: RecoveryFlowMethodConfig -> Encoding

toJSONList :: [RecoveryFlowMethodConfig] -> Value

toEncodingList :: [RecoveryFlowMethodConfig] -> Encoding

FromJSON RecoveryFlowMethodConfig

Defined in OryKratos.Types.Recovery

Methods

parseJSON :: Value -> Parser RecoveryFlowMethodConfig

parseJSONList :: Value -> Parser [RecoveryFlowMethodConfig]

type Rep RecoveryFlowMethodConfig

Defined in OryKratos.Types.Recovery

type Rep RecoveryFlowMethodConfig = D1 ('MetaData "RecoveryFlowMethodConfig" "OryKratos.Types.Recovery" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RecoveryFlowMethodConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "action") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FormField])) :*: (S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data RecoveryLink

Constructors

RecoveryLink

Fields

• expires_at :: Maybe UTCTime

  Recovery Link Expires At The timestamp when the recovery link expires.

• recovery_link :: Text

  Recovery Link This link can be used to recover the account.

Instances

Eq RecoveryLink

Defined in OryKratos.Types.Recovery

Methods

(==) :: RecoveryLink -> RecoveryLink -> Bool

(/=) :: RecoveryLink -> RecoveryLink -> Bool

Data RecoveryLink

Defined in OryKratos.Types.Recovery

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RecoveryLink -> c RecoveryLink

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RecoveryLink

toConstr :: RecoveryLink -> Constr

dataTypeOf :: RecoveryLink -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RecoveryLink)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RecoveryLink)

gmapT :: (forall b. Data b => b -> b) -> RecoveryLink -> RecoveryLink

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryLink -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RecoveryLink -> r

gmapQ :: (forall d. Data d => d -> u) -> RecoveryLink -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RecoveryLink -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RecoveryLink -> m RecoveryLink

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryLink -> m RecoveryLink

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RecoveryLink -> m RecoveryLink

Show RecoveryLink

Defined in OryKratos.Types.Recovery

Methods

showsPrec :: Int -> RecoveryLink -> ShowS

show :: RecoveryLink -> String

showList :: [RecoveryLink] -> ShowS

Generic RecoveryLink

Defined in OryKratos.Types.Recovery

Associated Types

type Rep RecoveryLink :: Type -> Type

Methods

from :: RecoveryLink -> Rep RecoveryLink x

to :: Rep RecoveryLink x -> RecoveryLink

ToJSON RecoveryLink

Defined in OryKratos.Types.Recovery

Methods

toJSON :: RecoveryLink -> Value

toEncoding :: RecoveryLink -> Encoding

toJSONList :: [RecoveryLink] -> Value

toEncodingList :: [RecoveryLink] -> Encoding

FromJSON RecoveryLink

Defined in OryKratos.Types.Recovery

Methods

parseJSON :: Value -> Parser RecoveryLink

parseJSONList :: Value -> Parser [RecoveryLink]

type Rep RecoveryLink

Defined in OryKratos.Types.Recovery

type Rep RecoveryLink = D1 ('MetaData "RecoveryLink" "OryKratos.Types.Recovery" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RecoveryLink" 'PrefixI 'True) (S1 ('MetaSel ('Just "expires_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)) :*: S1 ('MetaSel ('Just "recovery_link") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data RegistrationFlow

Constructors

RegistrationFlow

Fields

• active :: Maybe Text

  and so on.

• expires_at :: UTCTime

  ExpiresAt is the time (UTC) when the flow expires. If the user still wishes to log in, a new flow has to be initiated.

• id :: UUID
• issued_at :: UTCTime

  IssuedAt is the time (UTC) when the flow occurred.

• messages :: Maybe [Message]
• methods :: RegistrationFlowMethods

  Methods contains context for all enabled registration methods. If a registration flow has been processed, but for example the password is incorrect, this will contain error messages.

• request_url :: Text

  RequestURL is the initial URL that was requested from ORY Kratos. It can be used to forward information contained in the URL's path or query for example.

• _type :: Maybe Text

  The flow type can either be api or browser.

Instances

Eq RegistrationFlow

Defined in OryKratos.Types.Registration

Methods

(==) :: RegistrationFlow -> RegistrationFlow -> Bool

(/=) :: RegistrationFlow -> RegistrationFlow -> Bool

Data RegistrationFlow

Defined in OryKratos.Types.Registration

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RegistrationFlow -> c RegistrationFlow

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RegistrationFlow

toConstr :: RegistrationFlow -> Constr

dataTypeOf :: RegistrationFlow -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RegistrationFlow)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RegistrationFlow)

gmapT :: (forall b. Data b => b -> b) -> RegistrationFlow -> RegistrationFlow

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationFlow -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationFlow -> r

gmapQ :: (forall d. Data d => d -> u) -> RegistrationFlow -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RegistrationFlow -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RegistrationFlow -> m RegistrationFlow

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationFlow -> m RegistrationFlow

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationFlow -> m RegistrationFlow

Show RegistrationFlow

Defined in OryKratos.Types.Registration

Methods

showsPrec :: Int -> RegistrationFlow -> ShowS

show :: RegistrationFlow -> String

showList :: [RegistrationFlow] -> ShowS

Generic RegistrationFlow

Defined in OryKratos.Types.Registration

Associated Types

type Rep RegistrationFlow :: Type -> Type

Methods

from :: RegistrationFlow -> Rep RegistrationFlow x

to :: Rep RegistrationFlow x -> RegistrationFlow

ToJSON RegistrationFlow

Defined in OryKratos.Types.Registration

Methods

toJSON :: RegistrationFlow -> Value

toEncoding :: RegistrationFlow -> Encoding

toJSONList :: [RegistrationFlow] -> Value

toEncodingList :: [RegistrationFlow] -> Encoding

FromJSON RegistrationFlow

Defined in OryKratos.Types.Registration

Methods

parseJSON :: Value -> Parser RegistrationFlow

parseJSONList :: Value -> Parser [RegistrationFlow]

type Rep RegistrationFlow

Defined in OryKratos.Types.Registration

type Rep RegistrationFlow = D1 ('MetaData "RegistrationFlow" "OryKratos.Types.Registration" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RegistrationFlow" 'PrefixI 'True) (((S1 ('MetaSel ('Just "active") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "expires_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)) :*: (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID) :*: S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime))) :*: ((S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: S1 ('MetaSel ('Just "methods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegistrationFlowMethods)) :*: (S1 ('MetaSel ('Just "request_url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))))

data RegistrationFlowMethods

Constructors

RegistrationFlowMethods

Fields

• password :: Maybe RegistrationFlowMethod
• oidc :: Maybe RegistrationFlowMethod

  and so on.

Instances

Eq RegistrationFlowMethods

Defined in OryKratos.Types.Registration

Methods

(==) :: RegistrationFlowMethods -> RegistrationFlowMethods -> Bool

(/=) :: RegistrationFlowMethods -> RegistrationFlowMethods -> Bool

Data RegistrationFlowMethods

Defined in OryKratos.Types.Registration

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RegistrationFlowMethods -> c RegistrationFlowMethods

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RegistrationFlowMethods

toConstr :: RegistrationFlowMethods -> Constr

dataTypeOf :: RegistrationFlowMethods -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RegistrationFlowMethods)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RegistrationFlowMethods)

gmapT :: (forall b. Data b => b -> b) -> RegistrationFlowMethods -> RegistrationFlowMethods

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationFlowMethods -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationFlowMethods -> r

gmapQ :: (forall d. Data d => d -> u) -> RegistrationFlowMethods -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RegistrationFlowMethods -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RegistrationFlowMethods -> m RegistrationFlowMethods

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationFlowMethods -> m RegistrationFlowMethods

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationFlowMethods -> m RegistrationFlowMethods

Show RegistrationFlowMethods

Defined in OryKratos.Types.Registration

Methods

showsPrec :: Int -> RegistrationFlowMethods -> ShowS

show :: RegistrationFlowMethods -> String

showList :: [RegistrationFlowMethods] -> ShowS

Generic RegistrationFlowMethods

Defined in OryKratos.Types.Registration

Associated Types

type Rep RegistrationFlowMethods :: Type -> Type

Methods

from :: RegistrationFlowMethods -> Rep RegistrationFlowMethods x

to :: Rep RegistrationFlowMethods x -> RegistrationFlowMethods

ToJSON RegistrationFlowMethods

Defined in OryKratos.Types.Registration

Methods

toJSON :: RegistrationFlowMethods -> Value

toEncoding :: RegistrationFlowMethods -> Encoding

toJSONList :: [RegistrationFlowMethods] -> Value

toEncodingList :: [RegistrationFlowMethods] -> Encoding

FromJSON RegistrationFlowMethods

Defined in OryKratos.Types.Registration

Methods

parseJSON :: Value -> Parser RegistrationFlowMethods

parseJSONList :: Value -> Parser [RegistrationFlowMethods]

type Rep RegistrationFlowMethods

Defined in OryKratos.Types.Registration

type Rep RegistrationFlowMethods = D1 ('MetaData "RegistrationFlowMethods" "OryKratos.Types.Registration" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RegistrationFlowMethods" 'PrefixI 'True) (S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RegistrationFlowMethod)) :*: S1 ('MetaSel ('Just "oidc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RegistrationFlowMethod))))

data RegistrationFlowMethod

Constructors

RegistrationFlowMethod

Fields

• config :: RegistrationFlowMethodConfig
• method :: Text

  and so on.

Instances

Eq RegistrationFlowMethod

Defined in OryKratos.Types.Registration

Methods

(==) :: RegistrationFlowMethod -> RegistrationFlowMethod -> Bool

(/=) :: RegistrationFlowMethod -> RegistrationFlowMethod -> Bool

Data RegistrationFlowMethod

Defined in OryKratos.Types.Registration

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RegistrationFlowMethod -> c RegistrationFlowMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RegistrationFlowMethod

toConstr :: RegistrationFlowMethod -> Constr

dataTypeOf :: RegistrationFlowMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RegistrationFlowMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RegistrationFlowMethod)

gmapT :: (forall b. Data b => b -> b) -> RegistrationFlowMethod -> RegistrationFlowMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationFlowMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationFlowMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> RegistrationFlowMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RegistrationFlowMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RegistrationFlowMethod -> m RegistrationFlowMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationFlowMethod -> m RegistrationFlowMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationFlowMethod -> m RegistrationFlowMethod

Show RegistrationFlowMethod

Defined in OryKratos.Types.Registration

Methods

showsPrec :: Int -> RegistrationFlowMethod -> ShowS

show :: RegistrationFlowMethod -> String

showList :: [RegistrationFlowMethod] -> ShowS

Generic RegistrationFlowMethod

Defined in OryKratos.Types.Registration

Associated Types

type Rep RegistrationFlowMethod :: Type -> Type

Methods

from :: RegistrationFlowMethod -> Rep RegistrationFlowMethod x

to :: Rep RegistrationFlowMethod x -> RegistrationFlowMethod

ToJSON RegistrationFlowMethod

Defined in OryKratos.Types.Registration

Methods

toJSON :: RegistrationFlowMethod -> Value

toEncoding :: RegistrationFlowMethod -> Encoding

toJSONList :: [RegistrationFlowMethod] -> Value

toEncodingList :: [RegistrationFlowMethod] -> Encoding

FromJSON RegistrationFlowMethod

Defined in OryKratos.Types.Registration

Methods

parseJSON :: Value -> Parser RegistrationFlowMethod

parseJSONList :: Value -> Parser [RegistrationFlowMethod]

type Rep RegistrationFlowMethod

Defined in OryKratos.Types.Registration

type Rep RegistrationFlowMethod = D1 ('MetaData "RegistrationFlowMethod" "OryKratos.Types.Registration" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RegistrationFlowMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "config") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegistrationFlowMethodConfig) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data RegistrationFlowMethodConfig

Constructors

RegistrationFlowMethodConfig

Fields

• action :: Text

  Action should be used as the form action URL `action="{{ .Action }}" method="post"`.

• fields :: [FormField]

  Fields contains multiple fields

• messages :: Maybe [Message]
• method :: Text

  Method is the form method (e.g. POST)

• providers :: Maybe [FormField]

  Providers is set for the "oidc" registration method.

Instances

Eq RegistrationFlowMethodConfig

Defined in OryKratos.Types.Registration

Methods

(==) :: RegistrationFlowMethodConfig -> RegistrationFlowMethodConfig -> Bool

(/=) :: RegistrationFlowMethodConfig -> RegistrationFlowMethodConfig -> Bool

Data RegistrationFlowMethodConfig

Defined in OryKratos.Types.Registration

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RegistrationFlowMethodConfig -> c RegistrationFlowMethodConfig

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RegistrationFlowMethodConfig

toConstr :: RegistrationFlowMethodConfig -> Constr

dataTypeOf :: RegistrationFlowMethodConfig -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RegistrationFlowMethodConfig)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RegistrationFlowMethodConfig)

gmapT :: (forall b. Data b => b -> b) -> RegistrationFlowMethodConfig -> RegistrationFlowMethodConfig

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationFlowMethodConfig -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationFlowMethodConfig -> r

gmapQ :: (forall d. Data d => d -> u) -> RegistrationFlowMethodConfig -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RegistrationFlowMethodConfig -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RegistrationFlowMethodConfig -> m RegistrationFlowMethodConfig

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationFlowMethodConfig -> m RegistrationFlowMethodConfig

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationFlowMethodConfig -> m RegistrationFlowMethodConfig

Show RegistrationFlowMethodConfig

Defined in OryKratos.Types.Registration

Methods

showsPrec :: Int -> RegistrationFlowMethodConfig -> ShowS

show :: RegistrationFlowMethodConfig -> String

showList :: [RegistrationFlowMethodConfig] -> ShowS

Generic RegistrationFlowMethodConfig

Defined in OryKratos.Types.Registration

Associated Types

type Rep RegistrationFlowMethodConfig :: Type -> Type

Methods

from :: RegistrationFlowMethodConfig -> Rep RegistrationFlowMethodConfig x

to :: Rep RegistrationFlowMethodConfig x -> RegistrationFlowMethodConfig

ToJSON RegistrationFlowMethodConfig

Defined in OryKratos.Types.Registration

Methods

toJSON :: RegistrationFlowMethodConfig -> Value

toEncoding :: RegistrationFlowMethodConfig -> Encoding

toJSONList :: [RegistrationFlowMethodConfig] -> Value

toEncodingList :: [RegistrationFlowMethodConfig] -> Encoding

FromJSON RegistrationFlowMethodConfig

Defined in OryKratos.Types.Registration

Methods

parseJSON :: Value -> Parser RegistrationFlowMethodConfig

parseJSONList :: Value -> Parser [RegistrationFlowMethodConfig]

type Rep RegistrationFlowMethodConfig

Defined in OryKratos.Types.Registration

type Rep RegistrationFlowMethodConfig = D1 ('MetaData "RegistrationFlowMethodConfig" "OryKratos.Types.Registration" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RegistrationFlowMethodConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "action") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FormField])) :*: (S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "providers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [FormField]))))))

data RegistrationViaApiResponse

The Response for Registration Flows via API

Constructors

RegistrationViaApiResponse

Fields

• identity :: Identity
• session :: Maybe Session
• session_token :: Text

  The Session Token This field is only set when the session hook is configured as a post-registration hook. A session token is equivalent to a session cookie, but it can be sent in the HTTP Authorization Header: Authorization: bearer ${session-token} The session token is only issued for API flows, not for Browser flows!

Instances

Eq RegistrationViaApiResponse

Defined in OryKratos.Types.Registration

Methods

(==) :: RegistrationViaApiResponse -> RegistrationViaApiResponse -> Bool

(/=) :: RegistrationViaApiResponse -> RegistrationViaApiResponse -> Bool

Data RegistrationViaApiResponse

Defined in OryKratos.Types.Registration

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RegistrationViaApiResponse -> c RegistrationViaApiResponse

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RegistrationViaApiResponse

toConstr :: RegistrationViaApiResponse -> Constr

dataTypeOf :: RegistrationViaApiResponse -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RegistrationViaApiResponse)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RegistrationViaApiResponse)

gmapT :: (forall b. Data b => b -> b) -> RegistrationViaApiResponse -> RegistrationViaApiResponse

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationViaApiResponse -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RegistrationViaApiResponse -> r

gmapQ :: (forall d. Data d => d -> u) -> RegistrationViaApiResponse -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RegistrationViaApiResponse -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RegistrationViaApiResponse -> m RegistrationViaApiResponse

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationViaApiResponse -> m RegistrationViaApiResponse

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RegistrationViaApiResponse -> m RegistrationViaApiResponse

Show RegistrationViaApiResponse

Defined in OryKratos.Types.Registration

Methods

showsPrec :: Int -> RegistrationViaApiResponse -> ShowS

show :: RegistrationViaApiResponse -> String

showList :: [RegistrationViaApiResponse] -> ShowS

Generic RegistrationViaApiResponse

Defined in OryKratos.Types.Registration

Associated Types

type Rep RegistrationViaApiResponse :: Type -> Type

Methods

from :: RegistrationViaApiResponse -> Rep RegistrationViaApiResponse x

to :: Rep RegistrationViaApiResponse x -> RegistrationViaApiResponse

ToJSON RegistrationViaApiResponse

Defined in OryKratos.Types.Registration

Methods

toJSON :: RegistrationViaApiResponse -> Value

toEncoding :: RegistrationViaApiResponse -> Encoding

toJSONList :: [RegistrationViaApiResponse] -> Value

toEncodingList :: [RegistrationViaApiResponse] -> Encoding

FromJSON RegistrationViaApiResponse

Defined in OryKratos.Types.Registration

Methods

parseJSON :: Value -> Parser RegistrationViaApiResponse

parseJSONList :: Value -> Parser [RegistrationViaApiResponse]

type Rep RegistrationViaApiResponse

Defined in OryKratos.Types.Registration

type Rep RegistrationViaApiResponse = D1 ('MetaData "RegistrationViaApiResponse" "OryKratos.Types.Registration" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "RegistrationViaApiResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "identity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identity) :*: (S1 ('MetaSel ('Just "session") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Session)) :*: S1 ('MetaSel ('Just "session_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data SettingsFlow

This flow is used when an identity wants to update settings (e.g. profile data, passwords, ...) in a selfservice manner. We recommend reading the User Settings Documentation

Constructors

SettingsFlow

Fields

• active :: Maybe Text

  Active, if set, contains the registration method that is being used. It is initially not set.

• expires_at :: UTCTime

  ExpiresAt is the time (UTC) when the flow expires. If the user still wishes to update the setting, a new flow has to be initiated.

• id :: UUID
• identity :: Identity
• issued_at :: UTCTime

  IssuedAt is the time (UTC) when the flow occurred.

• messages :: Maybe [Message]
• methods :: SettingsFlowMethods

  Methods contains context for all enabled registration methods. If a settings flow has been processed, but for example the first name is empty, this will contain error messages.

• request_url :: Text

  RequestURL is the initial URL that was requested from ORY Kratos. It can be used to forward information contained in the URL's path or query for example.

• state :: Text
• _type :: Maybe Text

  The flow type can either be api or browser.

Instances

Eq SettingsFlow

Defined in OryKratos.Types.Settings

Methods

(==) :: SettingsFlow -> SettingsFlow -> Bool

(/=) :: SettingsFlow -> SettingsFlow -> Bool

Data SettingsFlow

Defined in OryKratos.Types.Settings

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SettingsFlow -> c SettingsFlow

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SettingsFlow

toConstr :: SettingsFlow -> Constr

dataTypeOf :: SettingsFlow -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SettingsFlow)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SettingsFlow)

gmapT :: (forall b. Data b => b -> b) -> SettingsFlow -> SettingsFlow

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SettingsFlow -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SettingsFlow -> r

gmapQ :: (forall d. Data d => d -> u) -> SettingsFlow -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SettingsFlow -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SettingsFlow -> m SettingsFlow

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsFlow -> m SettingsFlow

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsFlow -> m SettingsFlow

Show SettingsFlow

Defined in OryKratos.Types.Settings

Methods

showsPrec :: Int -> SettingsFlow -> ShowS

show :: SettingsFlow -> String

showList :: [SettingsFlow] -> ShowS

Generic SettingsFlow

Defined in OryKratos.Types.Settings

Associated Types

type Rep SettingsFlow :: Type -> Type

Methods

from :: SettingsFlow -> Rep SettingsFlow x

to :: Rep SettingsFlow x -> SettingsFlow

ToJSON SettingsFlow

Defined in OryKratos.Types.Settings

Methods

toJSON :: SettingsFlow -> Value

toEncoding :: SettingsFlow -> Encoding

toJSONList :: [SettingsFlow] -> Value

toEncodingList :: [SettingsFlow] -> Encoding

FromJSON SettingsFlow

Defined in OryKratos.Types.Settings

Methods

parseJSON :: Value -> Parser SettingsFlow

parseJSONList :: Value -> Parser [SettingsFlow]

type Rep SettingsFlow

Defined in OryKratos.Types.Settings

type Rep SettingsFlow = D1 ('MetaData "SettingsFlow" "OryKratos.Types.Settings" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "SettingsFlow" 'PrefixI 'True) (((S1 ('MetaSel ('Just "active") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "expires_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)) :*: (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID) :*: (S1 ('MetaSel ('Just "identity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identity) :*: S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)))) :*: ((S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: S1 ('MetaSel ('Just "methods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SettingsFlowMethods)) :*: (S1 ('MetaSel ('Just "request_url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))))

data SettingsFlowMethods

Constructors

SettingsFlowMethods

Fields

• profile :: Maybe SettingsFlowMethod
• password :: Maybe SettingsFlowMethod
• oidc :: Maybe SettingsFlowMethod

Instances

Eq SettingsFlowMethods

Defined in OryKratos.Types.Settings

Methods

(==) :: SettingsFlowMethods -> SettingsFlowMethods -> Bool

(/=) :: SettingsFlowMethods -> SettingsFlowMethods -> Bool

Data SettingsFlowMethods

Defined in OryKratos.Types.Settings

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SettingsFlowMethods -> c SettingsFlowMethods

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SettingsFlowMethods

toConstr :: SettingsFlowMethods -> Constr

dataTypeOf :: SettingsFlowMethods -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SettingsFlowMethods)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SettingsFlowMethods)

gmapT :: (forall b. Data b => b -> b) -> SettingsFlowMethods -> SettingsFlowMethods

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SettingsFlowMethods -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SettingsFlowMethods -> r

gmapQ :: (forall d. Data d => d -> u) -> SettingsFlowMethods -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SettingsFlowMethods -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SettingsFlowMethods -> m SettingsFlowMethods

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsFlowMethods -> m SettingsFlowMethods

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsFlowMethods -> m SettingsFlowMethods

Show SettingsFlowMethods

Defined in OryKratos.Types.Settings

Methods

showsPrec :: Int -> SettingsFlowMethods -> ShowS

show :: SettingsFlowMethods -> String

showList :: [SettingsFlowMethods] -> ShowS

Generic SettingsFlowMethods

Defined in OryKratos.Types.Settings

Associated Types

type Rep SettingsFlowMethods :: Type -> Type

Methods

from :: SettingsFlowMethods -> Rep SettingsFlowMethods x

to :: Rep SettingsFlowMethods x -> SettingsFlowMethods

ToJSON SettingsFlowMethods

Defined in OryKratos.Types.Settings

Methods

toJSON :: SettingsFlowMethods -> Value

toEncoding :: SettingsFlowMethods -> Encoding

toJSONList :: [SettingsFlowMethods] -> Value

toEncodingList :: [SettingsFlowMethods] -> Encoding

FromJSON SettingsFlowMethods

Defined in OryKratos.Types.Settings

Methods

parseJSON :: Value -> Parser SettingsFlowMethods

parseJSONList :: Value -> Parser [SettingsFlowMethods]

type Rep SettingsFlowMethods

Defined in OryKratos.Types.Settings

type Rep SettingsFlowMethods = D1 ('MetaData "SettingsFlowMethods" "OryKratos.Types.Settings" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "SettingsFlowMethods" 'PrefixI 'True) (S1 ('MetaSel ('Just "profile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SettingsFlowMethod)) :*: (S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SettingsFlowMethod)) :*: S1 ('MetaSel ('Just "oidc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SettingsFlowMethod)))))

data SettingsFlowMethod

Constructors

SettingsFlowMethod

Fields

• config :: SettingsFlowMethodConfig
• method :: Text

  Method is the name of this flow method.

Instances

Eq SettingsFlowMethod

Defined in OryKratos.Types.Settings

Methods

(==) :: SettingsFlowMethod -> SettingsFlowMethod -> Bool

(/=) :: SettingsFlowMethod -> SettingsFlowMethod -> Bool

Data SettingsFlowMethod

Defined in OryKratos.Types.Settings

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SettingsFlowMethod -> c SettingsFlowMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SettingsFlowMethod

toConstr :: SettingsFlowMethod -> Constr

dataTypeOf :: SettingsFlowMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SettingsFlowMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SettingsFlowMethod)

gmapT :: (forall b. Data b => b -> b) -> SettingsFlowMethod -> SettingsFlowMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SettingsFlowMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SettingsFlowMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> SettingsFlowMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SettingsFlowMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SettingsFlowMethod -> m SettingsFlowMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsFlowMethod -> m SettingsFlowMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsFlowMethod -> m SettingsFlowMethod

Show SettingsFlowMethod

Defined in OryKratos.Types.Settings

Methods

showsPrec :: Int -> SettingsFlowMethod -> ShowS

show :: SettingsFlowMethod -> String

showList :: [SettingsFlowMethod] -> ShowS

Generic SettingsFlowMethod

Defined in OryKratos.Types.Settings

Associated Types

type Rep SettingsFlowMethod :: Type -> Type

Methods

from :: SettingsFlowMethod -> Rep SettingsFlowMethod x

to :: Rep SettingsFlowMethod x -> SettingsFlowMethod

ToJSON SettingsFlowMethod

Defined in OryKratos.Types.Settings

Methods

toJSON :: SettingsFlowMethod -> Value

toEncoding :: SettingsFlowMethod -> Encoding

toJSONList :: [SettingsFlowMethod] -> Value

toEncodingList :: [SettingsFlowMethod] -> Encoding

FromJSON SettingsFlowMethod

Defined in OryKratos.Types.Settings

Methods

parseJSON :: Value -> Parser SettingsFlowMethod

parseJSONList :: Value -> Parser [SettingsFlowMethod]

type Rep SettingsFlowMethod

Defined in OryKratos.Types.Settings

type Rep SettingsFlowMethod = D1 ('MetaData "SettingsFlowMethod" "OryKratos.Types.Settings" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "SettingsFlowMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "config") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SettingsFlowMethodConfig) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SettingsFlowMethodConfig

Constructors

SettingsFlowMethodConfig

Fields

• action :: Text

  Action should be used as the form action URL `action="{{ .Action }}" method="post"`.

• fields :: [FormField]

  Fields contains multiple fields

• messages :: Maybe [Message]
• method :: Text

  Method is the form method (e.g. POST)

Instances

Eq SettingsFlowMethodConfig

Defined in OryKratos.Types.Settings

Methods

(==) :: SettingsFlowMethodConfig -> SettingsFlowMethodConfig -> Bool

(/=) :: SettingsFlowMethodConfig -> SettingsFlowMethodConfig -> Bool

Data SettingsFlowMethodConfig

Defined in OryKratos.Types.Settings

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SettingsFlowMethodConfig -> c SettingsFlowMethodConfig

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SettingsFlowMethodConfig

toConstr :: SettingsFlowMethodConfig -> Constr

dataTypeOf :: SettingsFlowMethodConfig -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SettingsFlowMethodConfig)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SettingsFlowMethodConfig)

gmapT :: (forall b. Data b => b -> b) -> SettingsFlowMethodConfig -> SettingsFlowMethodConfig

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SettingsFlowMethodConfig -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SettingsFlowMethodConfig -> r

gmapQ :: (forall d. Data d => d -> u) -> SettingsFlowMethodConfig -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SettingsFlowMethodConfig -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SettingsFlowMethodConfig -> m SettingsFlowMethodConfig

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsFlowMethodConfig -> m SettingsFlowMethodConfig

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsFlowMethodConfig -> m SettingsFlowMethodConfig

Show SettingsFlowMethodConfig

Defined in OryKratos.Types.Settings

Methods

showsPrec :: Int -> SettingsFlowMethodConfig -> ShowS

show :: SettingsFlowMethodConfig -> String

showList :: [SettingsFlowMethodConfig] -> ShowS

Generic SettingsFlowMethodConfig

Defined in OryKratos.Types.Settings

Associated Types

type Rep SettingsFlowMethodConfig :: Type -> Type

Methods

from :: SettingsFlowMethodConfig -> Rep SettingsFlowMethodConfig x

to :: Rep SettingsFlowMethodConfig x -> SettingsFlowMethodConfig

ToJSON SettingsFlowMethodConfig

Defined in OryKratos.Types.Settings

Methods

toJSON :: SettingsFlowMethodConfig -> Value

toEncoding :: SettingsFlowMethodConfig -> Encoding

toJSONList :: [SettingsFlowMethodConfig] -> Value

toEncodingList :: [SettingsFlowMethodConfig] -> Encoding

FromJSON SettingsFlowMethodConfig

Defined in OryKratos.Types.Settings

Methods

parseJSON :: Value -> Parser SettingsFlowMethodConfig

parseJSONList :: Value -> Parser [SettingsFlowMethodConfig]

type Rep SettingsFlowMethodConfig

Defined in OryKratos.Types.Settings

type Rep SettingsFlowMethodConfig = D1 ('MetaData "SettingsFlowMethodConfig" "OryKratos.Types.Settings" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "SettingsFlowMethodConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "action") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FormField])) :*: (S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data SettingsViaApiResponse

The Response for Settings Flows via API

Constructors

SettingsViaApiResponse

Fields

• flow :: SettingsFlow
• identity :: Identity

Instances

Eq SettingsViaApiResponse

Defined in OryKratos.Types.Settings

Methods

(==) :: SettingsViaApiResponse -> SettingsViaApiResponse -> Bool

(/=) :: SettingsViaApiResponse -> SettingsViaApiResponse -> Bool

Data SettingsViaApiResponse

Defined in OryKratos.Types.Settings

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SettingsViaApiResponse -> c SettingsViaApiResponse

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SettingsViaApiResponse

toConstr :: SettingsViaApiResponse -> Constr

dataTypeOf :: SettingsViaApiResponse -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SettingsViaApiResponse)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SettingsViaApiResponse)

gmapT :: (forall b. Data b => b -> b) -> SettingsViaApiResponse -> SettingsViaApiResponse

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SettingsViaApiResponse -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SettingsViaApiResponse -> r

gmapQ :: (forall d. Data d => d -> u) -> SettingsViaApiResponse -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SettingsViaApiResponse -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SettingsViaApiResponse -> m SettingsViaApiResponse

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsViaApiResponse -> m SettingsViaApiResponse

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SettingsViaApiResponse -> m SettingsViaApiResponse

Show SettingsViaApiResponse

Defined in OryKratos.Types.Settings

Methods

showsPrec :: Int -> SettingsViaApiResponse -> ShowS

show :: SettingsViaApiResponse -> String

showList :: [SettingsViaApiResponse] -> ShowS

Generic SettingsViaApiResponse

Defined in OryKratos.Types.Settings

Associated Types

type Rep SettingsViaApiResponse :: Type -> Type

Methods

from :: SettingsViaApiResponse -> Rep SettingsViaApiResponse x

to :: Rep SettingsViaApiResponse x -> SettingsViaApiResponse

ToJSON SettingsViaApiResponse

Defined in OryKratos.Types.Settings

Methods

toJSON :: SettingsViaApiResponse -> Value

toEncoding :: SettingsViaApiResponse -> Encoding

toJSONList :: [SettingsViaApiResponse] -> Value

toEncodingList :: [SettingsViaApiResponse] -> Encoding

FromJSON SettingsViaApiResponse

Defined in OryKratos.Types.Settings

Methods

parseJSON :: Value -> Parser SettingsViaApiResponse

parseJSONList :: Value -> Parser [SettingsViaApiResponse]

type Rep SettingsViaApiResponse

Defined in OryKratos.Types.Settings

type Rep SettingsViaApiResponse = D1 ('MetaData "SettingsViaApiResponse" "OryKratos.Types.Settings" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "SettingsViaApiResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "flow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SettingsFlow) :*: S1 ('MetaSel ('Just "identity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identity)))

data VerificationFlow

Used to verify an out-of-band communication channel such as an email address or a phone number. For more information head over to: https://www.ory.sh/docs/kratos/selfservice/flows/verify-email-account-activation

Constructors

VerificationFlow

Fields

• active :: Maybe Text

  Active, if set, contains the registration method that is being used. It is initially not set.

• expires_at :: Maybe UTCTime

  ExpiresAt is the time (UTC) when the request expires. If the user still wishes to verify the address, a new request has to be initiated.

• id :: Maybe UUID
• issued_at :: Maybe UTCTime

  IssuedAt is the time (UTC) when the request occurred.

• messages :: Maybe [Message]
• methods :: Map String VerificationFlowMethod

  Methods contains context for all account verification methods. If a registration request has been processed, but for example the password is incorrect, this will contain error messages.

• request_url :: Maybe Text

  RequestURL is the initial URL that was requested from ORY Kratos. It can be used to forward information contained in the URL's path or query for example.

• state :: Text
• _type :: Maybe Text

  The flow type can either be api or browser.

Instances

Eq VerificationFlow

Defined in OryKratos.Types.Verification

Methods

(==) :: VerificationFlow -> VerificationFlow -> Bool

(/=) :: VerificationFlow -> VerificationFlow -> Bool

Data VerificationFlow

Defined in OryKratos.Types.Verification

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VerificationFlow -> c VerificationFlow

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VerificationFlow

toConstr :: VerificationFlow -> Constr

dataTypeOf :: VerificationFlow -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VerificationFlow)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VerificationFlow)

gmapT :: (forall b. Data b => b -> b) -> VerificationFlow -> VerificationFlow

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VerificationFlow -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VerificationFlow -> r

gmapQ :: (forall d. Data d => d -> u) -> VerificationFlow -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> VerificationFlow -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VerificationFlow -> m VerificationFlow

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationFlow -> m VerificationFlow

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationFlow -> m VerificationFlow

Show VerificationFlow

Defined in OryKratos.Types.Verification

Methods

showsPrec :: Int -> VerificationFlow -> ShowS

show :: VerificationFlow -> String

showList :: [VerificationFlow] -> ShowS

Generic VerificationFlow

Defined in OryKratos.Types.Verification

Associated Types

type Rep VerificationFlow :: Type -> Type

Methods

from :: VerificationFlow -> Rep VerificationFlow x

to :: Rep VerificationFlow x -> VerificationFlow

ToJSON VerificationFlow

Defined in OryKratos.Types.Verification

Methods

toJSON :: VerificationFlow -> Value

toEncoding :: VerificationFlow -> Encoding

toJSONList :: [VerificationFlow] -> Value

toEncodingList :: [VerificationFlow] -> Encoding

FromJSON VerificationFlow

Defined in OryKratos.Types.Verification

Methods

parseJSON :: Value -> Parser VerificationFlow

parseJSONList :: Value -> Parser [VerificationFlow]

type Rep VerificationFlow

Defined in OryKratos.Types.Verification

type Rep VerificationFlow = D1 ('MetaData "VerificationFlow" "OryKratos.Types.Verification" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "VerificationFlow" 'PrefixI 'True) (((S1 ('MetaSel ('Just "active") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "expires_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime))) :*: (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UUID)) :*: S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)))) :*: ((S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: S1 ('MetaSel ('Just "methods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String VerificationFlowMethod))) :*: (S1 ('MetaSel ('Just "request_url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))))

data VerificationFlowMethods

Constructors

VerificationFlowMethods

Fields

• link :: Maybe VerificationFlowMethod

Instances

Eq VerificationFlowMethods

Defined in OryKratos.Types.Verification

Methods

(==) :: VerificationFlowMethods -> VerificationFlowMethods -> Bool

(/=) :: VerificationFlowMethods -> VerificationFlowMethods -> Bool

Data VerificationFlowMethods

Defined in OryKratos.Types.Verification

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VerificationFlowMethods -> c VerificationFlowMethods

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VerificationFlowMethods

toConstr :: VerificationFlowMethods -> Constr

dataTypeOf :: VerificationFlowMethods -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VerificationFlowMethods)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VerificationFlowMethods)

gmapT :: (forall b. Data b => b -> b) -> VerificationFlowMethods -> VerificationFlowMethods

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VerificationFlowMethods -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VerificationFlowMethods -> r

gmapQ :: (forall d. Data d => d -> u) -> VerificationFlowMethods -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> VerificationFlowMethods -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VerificationFlowMethods -> m VerificationFlowMethods

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationFlowMethods -> m VerificationFlowMethods

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationFlowMethods -> m VerificationFlowMethods

Show VerificationFlowMethods

Defined in OryKratos.Types.Verification

Methods

showsPrec :: Int -> VerificationFlowMethods -> ShowS

show :: VerificationFlowMethods -> String

showList :: [VerificationFlowMethods] -> ShowS

Generic VerificationFlowMethods

Defined in OryKratos.Types.Verification

Associated Types

type Rep VerificationFlowMethods :: Type -> Type

Methods

from :: VerificationFlowMethods -> Rep VerificationFlowMethods x

to :: Rep VerificationFlowMethods x -> VerificationFlowMethods

ToJSON VerificationFlowMethods

Defined in OryKratos.Types.Verification

Methods

toJSON :: VerificationFlowMethods -> Value

toEncoding :: VerificationFlowMethods -> Encoding

toJSONList :: [VerificationFlowMethods] -> Value

toEncodingList :: [VerificationFlowMethods] -> Encoding

FromJSON VerificationFlowMethods

Defined in OryKratos.Types.Verification

Methods

parseJSON :: Value -> Parser VerificationFlowMethods

parseJSONList :: Value -> Parser [VerificationFlowMethods]

type Rep VerificationFlowMethods

Defined in OryKratos.Types.Verification

type Rep VerificationFlowMethods = D1 ('MetaData "VerificationFlowMethods" "OryKratos.Types.Verification" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "VerificationFlowMethods" 'PrefixI 'True) (S1 ('MetaSel ('Just "link") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe VerificationFlowMethod))))

data VerificationFlowMethod

Constructors

VerificationFlowMethod

Fields

• config :: VerificationFlowMethodConfig
• method :: Text

  Method contains the request credentials type.

Instances

Eq VerificationFlowMethod

Defined in OryKratos.Types.Verification

Methods

(==) :: VerificationFlowMethod -> VerificationFlowMethod -> Bool

(/=) :: VerificationFlowMethod -> VerificationFlowMethod -> Bool

Data VerificationFlowMethod

Defined in OryKratos.Types.Verification

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VerificationFlowMethod -> c VerificationFlowMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VerificationFlowMethod

toConstr :: VerificationFlowMethod -> Constr

dataTypeOf :: VerificationFlowMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VerificationFlowMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VerificationFlowMethod)

gmapT :: (forall b. Data b => b -> b) -> VerificationFlowMethod -> VerificationFlowMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VerificationFlowMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VerificationFlowMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> VerificationFlowMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> VerificationFlowMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VerificationFlowMethod -> m VerificationFlowMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationFlowMethod -> m VerificationFlowMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationFlowMethod -> m VerificationFlowMethod

Show VerificationFlowMethod

Defined in OryKratos.Types.Verification

Methods

showsPrec :: Int -> VerificationFlowMethod -> ShowS

show :: VerificationFlowMethod -> String

showList :: [VerificationFlowMethod] -> ShowS

Generic VerificationFlowMethod

Defined in OryKratos.Types.Verification

Associated Types

type Rep VerificationFlowMethod :: Type -> Type

Methods

from :: VerificationFlowMethod -> Rep VerificationFlowMethod x

to :: Rep VerificationFlowMethod x -> VerificationFlowMethod

ToJSON VerificationFlowMethod

Defined in OryKratos.Types.Verification

Methods

toJSON :: VerificationFlowMethod -> Value

toEncoding :: VerificationFlowMethod -> Encoding

toJSONList :: [VerificationFlowMethod] -> Value

toEncodingList :: [VerificationFlowMethod] -> Encoding

FromJSON VerificationFlowMethod

Defined in OryKratos.Types.Verification

Methods

parseJSON :: Value -> Parser VerificationFlowMethod

parseJSONList :: Value -> Parser [VerificationFlowMethod]

type Rep VerificationFlowMethod

Defined in OryKratos.Types.Verification

type Rep VerificationFlowMethod = D1 ('MetaData "VerificationFlowMethod" "OryKratos.Types.Verification" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "VerificationFlowMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "config") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerificationFlowMethodConfig) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data VerificationFlowMethodConfig

Constructors

VerificationFlowMethodConfig

Fields

• action :: Text

  Action should be used as the form action URL `action="{{ .Action }}" method="post"`.

• fields :: [FormField]

  Fields contains multiple fields

• messages :: Maybe [Message]
• method :: Text

  Method is the form method (e.g. POST)

Instances

Eq VerificationFlowMethodConfig

Defined in OryKratos.Types.Verification

Methods

(==) :: VerificationFlowMethodConfig -> VerificationFlowMethodConfig -> Bool

(/=) :: VerificationFlowMethodConfig -> VerificationFlowMethodConfig -> Bool

Data VerificationFlowMethodConfig

Defined in OryKratos.Types.Verification

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VerificationFlowMethodConfig -> c VerificationFlowMethodConfig

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VerificationFlowMethodConfig

toConstr :: VerificationFlowMethodConfig -> Constr

dataTypeOf :: VerificationFlowMethodConfig -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VerificationFlowMethodConfig)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VerificationFlowMethodConfig)

gmapT :: (forall b. Data b => b -> b) -> VerificationFlowMethodConfig -> VerificationFlowMethodConfig

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VerificationFlowMethodConfig -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VerificationFlowMethodConfig -> r

gmapQ :: (forall d. Data d => d -> u) -> VerificationFlowMethodConfig -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> VerificationFlowMethodConfig -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VerificationFlowMethodConfig -> m VerificationFlowMethodConfig

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationFlowMethodConfig -> m VerificationFlowMethodConfig

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationFlowMethodConfig -> m VerificationFlowMethodConfig

Show VerificationFlowMethodConfig

Defined in OryKratos.Types.Verification

Methods

showsPrec :: Int -> VerificationFlowMethodConfig -> ShowS

show :: VerificationFlowMethodConfig -> String

showList :: [VerificationFlowMethodConfig] -> ShowS

Generic VerificationFlowMethodConfig

Defined in OryKratos.Types.Verification

Associated Types

type Rep VerificationFlowMethodConfig :: Type -> Type

Methods

from :: VerificationFlowMethodConfig -> Rep VerificationFlowMethodConfig x

to :: Rep VerificationFlowMethodConfig x -> VerificationFlowMethodConfig

ToJSON VerificationFlowMethodConfig

Defined in OryKratos.Types.Verification

Methods

toJSON :: VerificationFlowMethodConfig -> Value

toEncoding :: VerificationFlowMethodConfig -> Encoding

toJSONList :: [VerificationFlowMethodConfig] -> Value

toEncodingList :: [VerificationFlowMethodConfig] -> Encoding

FromJSON VerificationFlowMethodConfig

Defined in OryKratos.Types.Verification

Methods

parseJSON :: Value -> Parser VerificationFlowMethodConfig

parseJSONList :: Value -> Parser [VerificationFlowMethodConfig]

type Rep VerificationFlowMethodConfig

Defined in OryKratos.Types.Verification

type Rep VerificationFlowMethodConfig = D1 ('MetaData "VerificationFlowMethodConfig" "OryKratos.Types.Verification" "ory-kratos-0.0.5.10-7toMqH0VmKGIuO2284toHo" 'False) (C1 ('MetaCons "VerificationFlowMethodConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "action") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FormField])) :*: (S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Message])) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))