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.

• created_at :: Maybe UTCTime

  CreatedAt is a helper struct field for gobuffalo.pop.

• 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 :: Text
• issued_at :: UTCTime

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

• 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 :: Text

  The flow type can either be api or browser.

• ui :: UiContainer
• updated_at :: Maybe UTCTime

  UpdatedAt is a helper struct field for gobuffalo.pop.

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.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "LoginFlow" 'PrefixI 'True) (((S1 ('MetaSel ('Just "active") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "created_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime))) :*: (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 Text)))) :*: ((S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "request_url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "ui") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UiContainer) :*: S1 ('MetaSel ('Just "updated_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)))))))

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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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 AuthenticateOKBody

AuthenticateOKBody authenticate o k body

Constructors

AuthenticateOKBody

Fields

• identity_token :: Text

  An opaque token used to authenticate a user after a successful login

• status :: Text

  The status of the authentication

Instances

Eq AuthenticateOKBody

Defined in OryKratos.Types.Login

Methods

(==) :: AuthenticateOKBody -> AuthenticateOKBody -> Bool

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

Data AuthenticateOKBody

Defined in OryKratos.Types.Login

Methods

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

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

toConstr :: AuthenticateOKBody -> Constr

dataTypeOf :: AuthenticateOKBody -> DataType

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

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

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

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

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

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

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

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

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

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

Show AuthenticateOKBody

Defined in OryKratos.Types.Login

Methods

showsPrec :: Int -> AuthenticateOKBody -> ShowS

show :: AuthenticateOKBody -> String

showList :: [AuthenticateOKBody] -> ShowS

Generic AuthenticateOKBody

Defined in OryKratos.Types.Login

Associated Types

type Rep AuthenticateOKBody :: Type -> Type

Methods

from :: AuthenticateOKBody -> Rep AuthenticateOKBody x

to :: Rep AuthenticateOKBody x -> AuthenticateOKBody

ToJSON AuthenticateOKBody

Defined in OryKratos.Types.Login

Methods

toJSON :: AuthenticateOKBody -> Value

toEncoding :: AuthenticateOKBody -> Encoding

toJSONList :: [AuthenticateOKBody] -> Value

toEncodingList :: [AuthenticateOKBody] -> Encoding

FromJSON AuthenticateOKBody

Defined in OryKratos.Types.Login

Methods

parseJSON :: Value -> Parser AuthenticateOKBody

parseJSONList :: Value -> Parser [AuthenticateOKBody]

type Rep AuthenticateOKBody

Defined in OryKratos.Types.Login

type Rep AuthenticateOKBody = D1 ('MetaData "AuthenticateOKBody" "OryKratos.Types.Login" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "AuthenticateOKBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "identity_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SubmitSelfServiceLoginFlowWithPasswordMethod

Constructors

SubmitSelfServiceLoginFlowWithPasswordMethod

Fields

• csrf_token :: Maybe Text

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

• method :: Maybe Text

  Method should be set to "password" when logging in using the identifier and password strategy.

• password :: Maybe Text

  The user's password.

• password_identifier :: Maybe Text

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

Instances

Eq SubmitSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Login

Methods

(==) :: SubmitSelfServiceLoginFlowWithPasswordMethod -> SubmitSelfServiceLoginFlowWithPasswordMethod -> Bool

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

Data SubmitSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Login

Methods

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

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

toConstr :: SubmitSelfServiceLoginFlowWithPasswordMethod -> Constr

dataTypeOf :: SubmitSelfServiceLoginFlowWithPasswordMethod -> DataType

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

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

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

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

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

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

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

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

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

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

Show SubmitSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Login

Methods

showsPrec :: Int -> SubmitSelfServiceLoginFlowWithPasswordMethod -> ShowS

show :: SubmitSelfServiceLoginFlowWithPasswordMethod -> String

showList :: [SubmitSelfServiceLoginFlowWithPasswordMethod] -> ShowS

Generic SubmitSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Login

Associated Types

type Rep SubmitSelfServiceLoginFlowWithPasswordMethod :: Type -> Type

Methods

from :: SubmitSelfServiceLoginFlowWithPasswordMethod -> Rep SubmitSelfServiceLoginFlowWithPasswordMethod x

to :: Rep SubmitSelfServiceLoginFlowWithPasswordMethod x -> SubmitSelfServiceLoginFlowWithPasswordMethod

ToJSON SubmitSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Login

Methods

toJSON :: SubmitSelfServiceLoginFlowWithPasswordMethod -> Value

toEncoding :: SubmitSelfServiceLoginFlowWithPasswordMethod -> Encoding

toJSONList :: [SubmitSelfServiceLoginFlowWithPasswordMethod] -> Value

toEncodingList :: [SubmitSelfServiceLoginFlowWithPasswordMethod] -> Encoding

FromJSON SubmitSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Login

Methods

parseJSON :: Value -> Parser SubmitSelfServiceLoginFlowWithPasswordMethod

parseJSONList :: Value -> Parser [SubmitSelfServiceLoginFlowWithPasswordMethod]

type Rep SubmitSelfServiceLoginFlowWithPasswordMethod

Defined in OryKratos.Types.Login

type Rep SubmitSelfServiceLoginFlowWithPasswordMethod = D1 ('MetaData "SubmitSelfServiceLoginFlowWithPasswordMethod" "OryKratos.Types.Login" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "SubmitSelfServiceLoginFlowWithPasswordMethod" 'PrefixI 'True) ((S1 ('MetaSel ('Just "csrf_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "password_identifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe 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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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

• code :: Maybe Integer

  The status code

• debug :: Maybe Text

  Debug information This field is often not exposed to protect against leaking sensitive information.

• details :: Maybe Value

  Further error details

• message :: Text

  Error message The error's message.

• reason :: Maybe Text

  A human-readable reason for the error

• request :: Maybe Text

  The request ID The request ID is often exposed internally in order to trace errors across service architectures. This is often a UUID.

• status :: Maybe Text

  The status description

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.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "GenericError" '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 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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "HealthStatus" 'PrefixI 'True) (S1 ('MetaSel ('Just "status") '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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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

AdminCreateSelfServiceRecoveryLinkBody

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.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "AdminCreateSelfServiceRecoveryLinkBody" '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

• created_at :: Maybe UTCTime

  CreatedAt is a helper struct field for gobuffalo.pop.

• id :: Text
• 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

  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.

• updated_at :: Maybe UTCTime

  UpdatedAt is a helper struct field for gobuffalo.pop.

• verifiable_addresses :: Maybe [VerifiableIdentityAddress]

  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.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "Identity" 'PrefixI 'True) (((S1 ('MetaSel ('Just "created_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)) :*: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (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 "updated_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)) :*: S1 ('MetaSel ('Just "verifiable_addresses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [VerifiableIdentityAddress]))))))

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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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.

• state :: Value

  State is the identity's state.

• 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.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "UpdateIdentity" 'PrefixI 'True) (S1 ('MetaSel ('Just "schema_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "traits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

data VerifiableIdentityAddress

Constructors

VerifiableIdentityAddress

Fields

• created_at :: Maybe UTCTime

  When this entry was created

• id :: UUID
• status :: Text

  VerifiableAddressStatus must not exceed 16 characters as that is the limitation in the SQL Schema

• updated_at :: Maybe UTCTime

  When this entry was last updated

• value :: Text

  The address value example [e-mail]

• verified :: Bool

  Indicates if the address has already been verified

• verified_at :: Maybe UTCTime
• via :: Text

  VerifiableAddressType must not exceed 16 characters as that is the limitation in the SQL Schema

Instances

Eq VerifiableIdentityAddress

Defined in OryKratos.Types.Misc

Methods

(==) :: VerifiableIdentityAddress -> VerifiableIdentityAddress -> Bool

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

Data VerifiableIdentityAddress

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: VerifiableIdentityAddress -> Constr

dataTypeOf :: VerifiableIdentityAddress -> DataType

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

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

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

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

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

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

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

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

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

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

Show VerifiableIdentityAddress

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> VerifiableIdentityAddress -> ShowS

show :: VerifiableIdentityAddress -> String

showList :: [VerifiableIdentityAddress] -> ShowS

Generic VerifiableIdentityAddress

Defined in OryKratos.Types.Misc

Associated Types

type Rep VerifiableIdentityAddress :: Type -> Type

Methods

from :: VerifiableIdentityAddress -> Rep VerifiableIdentityAddress x

to :: Rep VerifiableIdentityAddress x -> VerifiableIdentityAddress

ToJSON VerifiableIdentityAddress

Defined in OryKratos.Types.Misc

Methods

toJSON :: VerifiableIdentityAddress -> Value

toEncoding :: VerifiableIdentityAddress -> Encoding

toJSONList :: [VerifiableIdentityAddress] -> Value

toEncodingList :: [VerifiableIdentityAddress] -> Encoding

FromJSON VerifiableIdentityAddress

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser VerifiableIdentityAddress

parseJSONList :: Value -> Parser [VerifiableIdentityAddress]

type Rep VerifiableIdentityAddress

Defined in OryKratos.Types.Misc

type Rep VerifiableIdentityAddress = D1 ('MetaData "VerifiableIdentityAddress" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "VerifiableIdentityAddress" 'PrefixI 'True) (((S1 ('MetaSel ('Just "created_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)) :*: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID)) :*: (S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "updated_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)))) :*: ((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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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 ContainerChangeResponseItem

ContainerChangeResponseItem change item in response to ContainerChanges operation

Constructors

ContainerChangeResponseItem

Fields

• item_kind :: Int

  Kind of change

• item_path :: Text

  Path to file that has changed

Instances

Eq ContainerChangeResponseItem

Defined in OryKratos.Types.Misc

Methods

(==) :: ContainerChangeResponseItem -> ContainerChangeResponseItem -> Bool

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

Data ContainerChangeResponseItem

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: ContainerChangeResponseItem -> Constr

dataTypeOf :: ContainerChangeResponseItem -> DataType

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

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

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

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

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

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

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

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

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

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

Show ContainerChangeResponseItem

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ContainerChangeResponseItem -> ShowS

show :: ContainerChangeResponseItem -> String

showList :: [ContainerChangeResponseItem] -> ShowS

Generic ContainerChangeResponseItem

Defined in OryKratos.Types.Misc

Associated Types

type Rep ContainerChangeResponseItem :: Type -> Type

Methods

from :: ContainerChangeResponseItem -> Rep ContainerChangeResponseItem x

to :: Rep ContainerChangeResponseItem x -> ContainerChangeResponseItem

ToJSON ContainerChangeResponseItem

Defined in OryKratos.Types.Misc

Methods

toJSON :: ContainerChangeResponseItem -> Value

toEncoding :: ContainerChangeResponseItem -> Encoding

toJSONList :: [ContainerChangeResponseItem] -> Value

toEncodingList :: [ContainerChangeResponseItem] -> Encoding

FromJSON ContainerChangeResponseItem

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ContainerChangeResponseItem

parseJSONList :: Value -> Parser [ContainerChangeResponseItem]

type Rep ContainerChangeResponseItem

Defined in OryKratos.Types.Misc

type Rep ContainerChangeResponseItem = D1 ('MetaData "ContainerChangeResponseItem" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "ContainerChangeResponseItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "item_kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "item_path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ContainerCreateCreatedBody

ContainerCreateCreatedBody OK response to ContainerCreate operation

Constructors

ContainerCreateCreatedBody

Fields

• id :: Text

  The ID of the created container

• warnings :: [Text]

  Warnings encountered when creating the container

Instances

Eq ContainerCreateCreatedBody

Defined in OryKratos.Types.Misc

Methods

(==) :: ContainerCreateCreatedBody -> ContainerCreateCreatedBody -> Bool

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

Data ContainerCreateCreatedBody

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: ContainerCreateCreatedBody -> Constr

dataTypeOf :: ContainerCreateCreatedBody -> DataType

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

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

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

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

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

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

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

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

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

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

Show ContainerCreateCreatedBody

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ContainerCreateCreatedBody -> ShowS

show :: ContainerCreateCreatedBody -> String

showList :: [ContainerCreateCreatedBody] -> ShowS

Generic ContainerCreateCreatedBody

Defined in OryKratos.Types.Misc

Associated Types

type Rep ContainerCreateCreatedBody :: Type -> Type

Methods

from :: ContainerCreateCreatedBody -> Rep ContainerCreateCreatedBody x

to :: Rep ContainerCreateCreatedBody x -> ContainerCreateCreatedBody

ToJSON ContainerCreateCreatedBody

Defined in OryKratos.Types.Misc

Methods

toJSON :: ContainerCreateCreatedBody -> Value

toEncoding :: ContainerCreateCreatedBody -> Encoding

toJSONList :: [ContainerCreateCreatedBody] -> Value

toEncodingList :: [ContainerCreateCreatedBody] -> Encoding

FromJSON ContainerCreateCreatedBody

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ContainerCreateCreatedBody

parseJSONList :: Value -> Parser [ContainerCreateCreatedBody]

type Rep ContainerCreateCreatedBody

Defined in OryKratos.Types.Misc

type Rep ContainerCreateCreatedBody = D1 ('MetaData "ContainerCreateCreatedBody" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "ContainerCreateCreatedBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "warnings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

data ContainerTopOKBody

ContainerTopOKBody OK response to ContainerTop operation

Constructors

ContainerTopOKBody

Fields

• processes :: [[Text]]

  Each process running in the container, where each is process is an array of values corresponding to the titles

• titles :: [Text]

  The ps column titles

Instances

Eq ContainerTopOKBody

Defined in OryKratos.Types.Misc

Methods

(==) :: ContainerTopOKBody -> ContainerTopOKBody -> Bool

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

Data ContainerTopOKBody

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: ContainerTopOKBody -> Constr

dataTypeOf :: ContainerTopOKBody -> DataType

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

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

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

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

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

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

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

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

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

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

Show ContainerTopOKBody

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ContainerTopOKBody -> ShowS

show :: ContainerTopOKBody -> String

showList :: [ContainerTopOKBody] -> ShowS

Generic ContainerTopOKBody

Defined in OryKratos.Types.Misc

Associated Types

type Rep ContainerTopOKBody :: Type -> Type

Methods

from :: ContainerTopOKBody -> Rep ContainerTopOKBody x

to :: Rep ContainerTopOKBody x -> ContainerTopOKBody

ToJSON ContainerTopOKBody

Defined in OryKratos.Types.Misc

Methods

toJSON :: ContainerTopOKBody -> Value

toEncoding :: ContainerTopOKBody -> Encoding

toJSONList :: [ContainerTopOKBody] -> Value

toEncodingList :: [ContainerTopOKBody] -> Encoding

FromJSON ContainerTopOKBody

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ContainerTopOKBody

parseJSONList :: Value -> Parser [ContainerTopOKBody]

type Rep ContainerTopOKBody

Defined in OryKratos.Types.Misc

type Rep ContainerTopOKBody = D1 ('MetaData "ContainerTopOKBody" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "ContainerTopOKBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "processes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [[Text]]) :*: S1 ('MetaSel ('Just "titles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

data ContainerUpdateOKBody

ContainerUpdateOKBody OK response to ContainerUpdate operation

Constructors

ContainerUpdateOKBody

Fields

• warnings :: [Text]

  warnings

Instances

Eq ContainerUpdateOKBody

Defined in OryKratos.Types.Misc

Methods

(==) :: ContainerUpdateOKBody -> ContainerUpdateOKBody -> Bool

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

Data ContainerUpdateOKBody

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: ContainerUpdateOKBody -> Constr

dataTypeOf :: ContainerUpdateOKBody -> DataType

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

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

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

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

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

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

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

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

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

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

Show ContainerUpdateOKBody

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ContainerUpdateOKBody -> ShowS

show :: ContainerUpdateOKBody -> String

showList :: [ContainerUpdateOKBody] -> ShowS

Generic ContainerUpdateOKBody

Defined in OryKratos.Types.Misc

Associated Types

type Rep ContainerUpdateOKBody :: Type -> Type

Methods

from :: ContainerUpdateOKBody -> Rep ContainerUpdateOKBody x

to :: Rep ContainerUpdateOKBody x -> ContainerUpdateOKBody

ToJSON ContainerUpdateOKBody

Defined in OryKratos.Types.Misc

Methods

toJSON :: ContainerUpdateOKBody -> Value

toEncoding :: ContainerUpdateOKBody -> Encoding

toJSONList :: [ContainerUpdateOKBody] -> Value

toEncodingList :: [ContainerUpdateOKBody] -> Encoding

FromJSON ContainerUpdateOKBody

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ContainerUpdateOKBody

parseJSONList :: Value -> Parser [ContainerUpdateOKBody]

type Rep ContainerUpdateOKBody

Defined in OryKratos.Types.Misc

type Rep ContainerUpdateOKBody = D1 ('MetaData "ContainerUpdateOKBody" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "ContainerUpdateOKBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "warnings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

data ContainerWaitOKBody

ContainerWaitOKBody OK response to ContainerWait operation

Constructors

ContainerWaitOKBody

Fields

• error :: ContainerWaitOKBodyError
• status_code :: Integer

  Exit code of the container

Instances

Eq ContainerWaitOKBody

Defined in OryKratos.Types.Misc

Methods

(==) :: ContainerWaitOKBody -> ContainerWaitOKBody -> Bool

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

Data ContainerWaitOKBody

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: ContainerWaitOKBody -> Constr

dataTypeOf :: ContainerWaitOKBody -> DataType

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

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

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

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

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

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

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

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

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

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

Show ContainerWaitOKBody

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ContainerWaitOKBody -> ShowS

show :: ContainerWaitOKBody -> String

showList :: [ContainerWaitOKBody] -> ShowS

Generic ContainerWaitOKBody

Defined in OryKratos.Types.Misc

Associated Types

type Rep ContainerWaitOKBody :: Type -> Type

Methods

from :: ContainerWaitOKBody -> Rep ContainerWaitOKBody x

to :: Rep ContainerWaitOKBody x -> ContainerWaitOKBody

ToJSON ContainerWaitOKBody

Defined in OryKratos.Types.Misc

Methods

toJSON :: ContainerWaitOKBody -> Value

toEncoding :: ContainerWaitOKBody -> Encoding

toJSONList :: [ContainerWaitOKBody] -> Value

toEncodingList :: [ContainerWaitOKBody] -> Encoding

FromJSON ContainerWaitOKBody

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ContainerWaitOKBody

parseJSONList :: Value -> Parser [ContainerWaitOKBody]

type Rep ContainerWaitOKBody

Defined in OryKratos.Types.Misc

type Rep ContainerWaitOKBody = D1 ('MetaData "ContainerWaitOKBody" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "ContainerWaitOKBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContainerWaitOKBodyError) :*: S1 ('MetaSel ('Just "status_code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

data ContainerWaitOKBodyError

ContainerWaitOKBodyError container waiting error, if any

Constructors

ContainerWaitOKBodyError

Fields

• error_message :: Maybe Text

  Details of an error

Instances

Eq ContainerWaitOKBodyError

Defined in OryKratos.Types.Misc

Methods

(==) :: ContainerWaitOKBodyError -> ContainerWaitOKBodyError -> Bool

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

Data ContainerWaitOKBodyError

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: ContainerWaitOKBodyError -> Constr

dataTypeOf :: ContainerWaitOKBodyError -> DataType

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

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

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

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

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

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

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

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

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

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

Show ContainerWaitOKBodyError

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ContainerWaitOKBodyError -> ShowS

show :: ContainerWaitOKBodyError -> String

showList :: [ContainerWaitOKBodyError] -> ShowS

Generic ContainerWaitOKBodyError

Defined in OryKratos.Types.Misc

Associated Types

type Rep ContainerWaitOKBodyError :: Type -> Type

Methods

from :: ContainerWaitOKBodyError -> Rep ContainerWaitOKBodyError x

to :: Rep ContainerWaitOKBodyError x -> ContainerWaitOKBodyError

ToJSON ContainerWaitOKBodyError

Defined in OryKratos.Types.Misc

Methods

toJSON :: ContainerWaitOKBodyError -> Value

toEncoding :: ContainerWaitOKBodyError -> Encoding

toJSONList :: [ContainerWaitOKBodyError] -> Value

toEncodingList :: [ContainerWaitOKBodyError] -> Encoding

FromJSON ContainerWaitOKBodyError

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ContainerWaitOKBodyError

parseJSONList :: Value -> Parser [ContainerWaitOKBodyError]

type Rep ContainerWaitOKBodyError

Defined in OryKratos.Types.Misc

type Rep ContainerWaitOKBodyError = D1 ('MetaData "ContainerWaitOKBodyError" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "ContainerWaitOKBodyError" 'PrefixI 'True) (S1 ('MetaSel ('Just "error_message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data ErrorResponse

Constructors

ErrorResponse

Fields

• message :: Text

  The error message.

Instances

Eq ErrorResponse

Defined in OryKratos.Types.Misc

Methods

(==) :: ErrorResponse -> ErrorResponse -> Bool

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

Data ErrorResponse

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: ErrorResponse -> Constr

dataTypeOf :: ErrorResponse -> DataType

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

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

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

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

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

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

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

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

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

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

Show ErrorResponse

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ErrorResponse -> ShowS

show :: ErrorResponse -> String

showList :: [ErrorResponse] -> ShowS

Generic ErrorResponse

Defined in OryKratos.Types.Misc

Associated Types

type Rep ErrorResponse :: Type -> Type

Methods

from :: ErrorResponse -> Rep ErrorResponse x

to :: Rep ErrorResponse x -> ErrorResponse

ToJSON ErrorResponse

Defined in OryKratos.Types.Misc

Methods

toJSON :: ErrorResponse -> Value

toEncoding :: ErrorResponse -> Encoding

toJSONList :: [ErrorResponse] -> Value

toEncodingList :: [ErrorResponse] -> Encoding

FromJSON ErrorResponse

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ErrorResponse

parseJSONList :: Value -> Parser [ErrorResponse]

type Rep ErrorResponse

Defined in OryKratos.Types.Misc

type Rep ErrorResponse = D1 ('MetaData "ErrorResponse" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "ErrorResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data GraphDriverData

Constructors

GraphDriverData

Fields

• _data :: Map String Text

  data

• name :: Text

  name

Instances

Eq GraphDriverData

Defined in OryKratos.Types.Misc

Methods

(==) :: GraphDriverData -> GraphDriverData -> Bool

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

Data GraphDriverData

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: GraphDriverData -> Constr

dataTypeOf :: GraphDriverData -> DataType

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

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

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

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

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

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

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

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

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

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

Show GraphDriverData

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> GraphDriverData -> ShowS

show :: GraphDriverData -> String

showList :: [GraphDriverData] -> ShowS

Generic GraphDriverData

Defined in OryKratos.Types.Misc

Associated Types

type Rep GraphDriverData :: Type -> Type

Methods

from :: GraphDriverData -> Rep GraphDriverData x

to :: Rep GraphDriverData x -> GraphDriverData

ToJSON GraphDriverData

Defined in OryKratos.Types.Misc

Methods

toJSON :: GraphDriverData -> Value

toEncoding :: GraphDriverData -> Encoding

toJSONList :: [GraphDriverData] -> Value

toEncodingList :: [GraphDriverData] -> Encoding

FromJSON GraphDriverData

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser GraphDriverData

parseJSONList :: Value -> Parser [GraphDriverData]

type Rep GraphDriverData

Defined in OryKratos.Types.Misc

type Rep GraphDriverData = D1 ('MetaData "GraphDriverData" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "GraphDriverData" 'PrefixI 'True) (S1 ('MetaSel ('Just "_data") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String Text)) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data IdResponse

IDResponse Response to an API call that returns just an Id

Constructors

IdResponse

Fields

• id :: Text

  The id of the newly created object.

Instances

Eq IdResponse

Defined in OryKratos.Types.Misc

Methods

(==) :: IdResponse -> IdResponse -> Bool

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

Data IdResponse

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: IdResponse -> Constr

dataTypeOf :: IdResponse -> DataType

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

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

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

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

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

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

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

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

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

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

Show IdResponse

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> IdResponse -> ShowS

show :: IdResponse -> String

showList :: [IdResponse] -> ShowS

Generic IdResponse

Defined in OryKratos.Types.Misc

Associated Types

type Rep IdResponse :: Type -> Type

Methods

from :: IdResponse -> Rep IdResponse x

to :: Rep IdResponse x -> IdResponse

ToJSON IdResponse

Defined in OryKratos.Types.Misc

Methods

toJSON :: IdResponse -> Value

toEncoding :: IdResponse -> Encoding

toJSONList :: [IdResponse] -> Value

toEncodingList :: [IdResponse] -> Encoding

FromJSON IdResponse

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser IdResponse

parseJSONList :: Value -> Parser [IdResponse]

type Rep IdResponse

Defined in OryKratos.Types.Misc

type Rep IdResponse = D1 ('MetaData "IdResponse" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "IdResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ImageSummary

ImageSummary image summary

Constructors

ImageSummary

Fields

• containers :: Integer

  containers

• created :: Integer

  created

• id :: Text

  Id

• labels :: Map String Text

  labels

• parent_id :: Text

  parent Id

• repo_digests :: [Text]

  repo digests

• repo_tags :: [Text]

  repo tags

• shared_size :: Integer

  shared size

• size :: Integer

  size

• virtual_size :: Integer

  virtual size

Instances

Eq ImageSummary

Defined in OryKratos.Types.Misc

Methods

(==) :: ImageSummary -> ImageSummary -> Bool

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

Data ImageSummary

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: ImageSummary -> Constr

dataTypeOf :: ImageSummary -> DataType

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

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

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

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

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

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

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

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

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

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

Show ImageSummary

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ImageSummary -> ShowS

show :: ImageSummary -> String

showList :: [ImageSummary] -> ShowS

Generic ImageSummary

Defined in OryKratos.Types.Misc

Associated Types

type Rep ImageSummary :: Type -> Type

Methods

from :: ImageSummary -> Rep ImageSummary x

to :: Rep ImageSummary x -> ImageSummary

ToJSON ImageSummary

Defined in OryKratos.Types.Misc

Methods

toJSON :: ImageSummary -> Value

toEncoding :: ImageSummary -> Encoding

toJSONList :: [ImageSummary] -> Value

toEncodingList :: [ImageSummary] -> Encoding

FromJSON ImageSummary

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ImageSummary

parseJSONList :: Value -> Parser [ImageSummary]

type Rep ImageSummary

Defined in OryKratos.Types.Misc

type Rep ImageSummary = D1 ('MetaData "ImageSummary" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "ImageSummary" 'PrefixI 'True) (((S1 ('MetaSel ('Just "containers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "created") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :*: (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "labels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String Text)) :*: S1 ('MetaSel ('Just "parent_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))) :*: ((S1 ('MetaSel ('Just "repo_digests") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :*: S1 ('MetaSel ('Just "repo_tags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])) :*: (S1 ('MetaSel ('Just "shared_size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: (S1 ('MetaSel ('Just "size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "virtual_size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))))

data ImageDeleteResponseItem

ImageDeleteResponseItem image delete response item

Constructors

ImageDeleteResponseItem

Fields

• deleted :: Maybe Text

  The image ID of an image that was deleted

• untagged :: Maybe Text

  The image ID of an image that was untagged

Instances

Eq ImageDeleteResponseItem

Defined in OryKratos.Types.Misc

Methods

(==) :: ImageDeleteResponseItem -> ImageDeleteResponseItem -> Bool

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

Data ImageDeleteResponseItem

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: ImageDeleteResponseItem -> Constr

dataTypeOf :: ImageDeleteResponseItem -> DataType

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

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

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

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

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

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

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

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

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

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

Show ImageDeleteResponseItem

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> ImageDeleteResponseItem -> ShowS

show :: ImageDeleteResponseItem -> String

showList :: [ImageDeleteResponseItem] -> ShowS

Generic ImageDeleteResponseItem

Defined in OryKratos.Types.Misc

Associated Types

type Rep ImageDeleteResponseItem :: Type -> Type

Methods

from :: ImageDeleteResponseItem -> Rep ImageDeleteResponseItem x

to :: Rep ImageDeleteResponseItem x -> ImageDeleteResponseItem

ToJSON ImageDeleteResponseItem

Defined in OryKratos.Types.Misc

Methods

toJSON :: ImageDeleteResponseItem -> Value

toEncoding :: ImageDeleteResponseItem -> Encoding

toJSONList :: [ImageDeleteResponseItem] -> Value

toEncodingList :: [ImageDeleteResponseItem] -> Encoding

FromJSON ImageDeleteResponseItem

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser ImageDeleteResponseItem

parseJSONList :: Value -> Parser [ImageDeleteResponseItem]

type Rep ImageDeleteResponseItem

Defined in OryKratos.Types.Misc

type Rep ImageDeleteResponseItem = D1 ('MetaData "ImageDeleteResponseItem" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "ImageDeleteResponseItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "deleted") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "untagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data JsonError

The standard Ory JSON API error format.

Constructors

JsonError

Fields

• error :: GenericError

Instances

Eq JsonError

Defined in OryKratos.Types.Misc

Methods

(==) :: JsonError -> JsonError -> Bool

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

Data JsonError

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: JsonError -> Constr

dataTypeOf :: JsonError -> DataType

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

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

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

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

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

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

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

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

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

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

Show JsonError

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> JsonError -> ShowS

show :: JsonError -> String

showList :: [JsonError] -> ShowS

Generic JsonError

Defined in OryKratos.Types.Misc

Associated Types

type Rep JsonError :: Type -> Type

Methods

from :: JsonError -> Rep JsonError x

to :: Rep JsonError x -> JsonError

ToJSON JsonError

Defined in OryKratos.Types.Misc

Methods

toJSON :: JsonError -> Value

toEncoding :: JsonError -> Encoding

toJSONList :: [JsonError] -> Value

toEncodingList :: [JsonError] -> Encoding

FromJSON JsonError

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser JsonError

parseJSONList :: Value -> Parser [JsonError]

type Rep JsonError

Defined in OryKratos.Types.Misc

type Rep JsonError = D1 ('MetaData "JsonError" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "JsonError" 'PrefixI 'True) (S1 ('MetaSel ('Just "error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenericError)))

data SelfServiceErrorContainer

Constructors

SelfServiceErrorContainer

Fields

• created_at :: Maybe UTCTime

  CreatedAt is a helper struct field for gobuffalo.pop.

• errors :: Value

  Errors in the container

• id :: Text
• updated_at :: Maybe UTCTime

  UpdatedAt is a helper struct field for gobuffalo.pop.

Instances

Eq SelfServiceErrorContainer

Defined in OryKratos.Types.Misc

Methods

(==) :: SelfServiceErrorContainer -> SelfServiceErrorContainer -> Bool

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

Data SelfServiceErrorContainer

Defined in OryKratos.Types.Misc

Methods

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

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

toConstr :: SelfServiceErrorContainer -> Constr

dataTypeOf :: SelfServiceErrorContainer -> DataType

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

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

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

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

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

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

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

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

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

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

Show SelfServiceErrorContainer

Defined in OryKratos.Types.Misc

Methods

showsPrec :: Int -> SelfServiceErrorContainer -> ShowS

show :: SelfServiceErrorContainer -> String

showList :: [SelfServiceErrorContainer] -> ShowS

Generic SelfServiceErrorContainer

Defined in OryKratos.Types.Misc

Associated Types

type Rep SelfServiceErrorContainer :: Type -> Type

Methods

from :: SelfServiceErrorContainer -> Rep SelfServiceErrorContainer x

to :: Rep SelfServiceErrorContainer x -> SelfServiceErrorContainer

ToJSON SelfServiceErrorContainer

Defined in OryKratos.Types.Misc

Methods

toJSON :: SelfServiceErrorContainer -> Value

toEncoding :: SelfServiceErrorContainer -> Encoding

toJSONList :: [SelfServiceErrorContainer] -> Value

toEncodingList :: [SelfServiceErrorContainer] -> Encoding

FromJSON SelfServiceErrorContainer

Defined in OryKratos.Types.Misc

Methods

parseJSON :: Value -> Parser SelfServiceErrorContainer

parseJSONList :: Value -> Parser [SelfServiceErrorContainer]

type Rep SelfServiceErrorContainer

Defined in OryKratos.Types.Misc

type Rep SelfServiceErrorContainer = D1 ('MetaData "SelfServiceErrorContainer" "OryKratos.Types.Misc" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "SelfServiceErrorContainer" 'PrefixI 'True) ((S1 ('MetaSel ('Just "created_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)) :*: S1 ('MetaSel ('Just "errors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :*: (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "updated_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)))))

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 :: Text
• issued_at :: UTCTime

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

• 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.

• ui :: UiContainer

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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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 Text) :*: S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime))) :*: ((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)) :*: S1 ('MetaSel ('Just "ui") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UiContainer)))))

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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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 SubmitSelfServiceRecoveryFlowWithLinkMethod

Constructors

SubmitSelfServiceRecoveryFlowWithLinkMethod

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 SubmitSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Recovery

Methods

(==) :: SubmitSelfServiceRecoveryFlowWithLinkMethod -> SubmitSelfServiceRecoveryFlowWithLinkMethod -> Bool

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

Data SubmitSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Recovery

Methods

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

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

toConstr :: SubmitSelfServiceRecoveryFlowWithLinkMethod -> Constr

dataTypeOf :: SubmitSelfServiceRecoveryFlowWithLinkMethod -> DataType

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

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

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

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

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

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

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

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

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

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

Show SubmitSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Recovery

Methods

showsPrec :: Int -> SubmitSelfServiceRecoveryFlowWithLinkMethod -> ShowS

show :: SubmitSelfServiceRecoveryFlowWithLinkMethod -> String

showList :: [SubmitSelfServiceRecoveryFlowWithLinkMethod] -> ShowS

Generic SubmitSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Recovery

Associated Types

type Rep SubmitSelfServiceRecoveryFlowWithLinkMethod :: Type -> Type

Methods

from :: SubmitSelfServiceRecoveryFlowWithLinkMethod -> Rep SubmitSelfServiceRecoveryFlowWithLinkMethod x

to :: Rep SubmitSelfServiceRecoveryFlowWithLinkMethod x -> SubmitSelfServiceRecoveryFlowWithLinkMethod

ToJSON SubmitSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Recovery

Methods

toJSON :: SubmitSelfServiceRecoveryFlowWithLinkMethod -> Value

toEncoding :: SubmitSelfServiceRecoveryFlowWithLinkMethod -> Encoding

toJSONList :: [SubmitSelfServiceRecoveryFlowWithLinkMethod] -> Value

toEncodingList :: [SubmitSelfServiceRecoveryFlowWithLinkMethod] -> Encoding

FromJSON SubmitSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Recovery

Methods

parseJSON :: Value -> Parser SubmitSelfServiceRecoveryFlowWithLinkMethod

parseJSONList :: Value -> Parser [SubmitSelfServiceRecoveryFlowWithLinkMethod]

type Rep SubmitSelfServiceRecoveryFlowWithLinkMethod

Defined in OryKratos.Types.Recovery

type Rep SubmitSelfServiceRecoveryFlowWithLinkMethod = D1 ('MetaData "SubmitSelfServiceRecoveryFlowWithLinkMethod" "OryKratos.Types.Recovery" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "SubmitSelfServiceRecoveryFlowWithLinkMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "csrf_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "email") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe 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 :: Text
• issued_at :: UTCTime

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

• 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.

• ui :: UiContainer

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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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 Text))) :*: ((S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "request_url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "ui") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UiContainer)))))

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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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 SubmitSelfServiceRegistrationFlowWithPasswordMethod

SubmitSelfServiceRegistrationFlowWithPasswordMethod is used to decode the registration form payload when using the password method.

Constructors

SubmitSelfServiceRegistrationFlowWithPasswordMethod

Fields

• csrf_token :: Maybe Text

  The CSRF Token

• method :: Text

  Method to use This field must be set to $sel:password:SubmitSelfServiceRegistrationFlowWithPasswordMethod when using the password method.

• password :: Maybe Text

  Password to sign the user up with

• traits :: Maybe Value

  The identity's traits

Instances

Eq SubmitSelfServiceRegistrationFlowWithPasswordMethod

Defined in OryKratos.Types.Registration

Methods

(==) :: SubmitSelfServiceRegistrationFlowWithPasswordMethod -> SubmitSelfServiceRegistrationFlowWithPasswordMethod -> Bool

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

Data SubmitSelfServiceRegistrationFlowWithPasswordMethod

Defined in OryKratos.Types.Registration

Methods

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

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

toConstr :: SubmitSelfServiceRegistrationFlowWithPasswordMethod -> Constr

dataTypeOf :: SubmitSelfServiceRegistrationFlowWithPasswordMethod -> DataType

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

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

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

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

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

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

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

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

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

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

Show SubmitSelfServiceRegistrationFlowWithPasswordMethod

Defined in OryKratos.Types.Registration

Methods

showsPrec :: Int -> SubmitSelfServiceRegistrationFlowWithPasswordMethod -> ShowS

show :: SubmitSelfServiceRegistrationFlowWithPasswordMethod -> String

showList :: [SubmitSelfServiceRegistrationFlowWithPasswordMethod] -> ShowS

Generic SubmitSelfServiceRegistrationFlowWithPasswordMethod

Defined in OryKratos.Types.Registration

Associated Types

type Rep SubmitSelfServiceRegistrationFlowWithPasswordMethod :: Type -> Type

Methods

from :: SubmitSelfServiceRegistrationFlowWithPasswordMethod -> Rep SubmitSelfServiceRegistrationFlowWithPasswordMethod x

to :: Rep SubmitSelfServiceRegistrationFlowWithPasswordMethod x -> SubmitSelfServiceRegistrationFlowWithPasswordMethod

ToJSON SubmitSelfServiceRegistrationFlowWithPasswordMethod

Defined in OryKratos.Types.Registration

Methods

toJSON :: SubmitSelfServiceRegistrationFlowWithPasswordMethod -> Value

toEncoding :: SubmitSelfServiceRegistrationFlowWithPasswordMethod -> Encoding

toJSONList :: [SubmitSelfServiceRegistrationFlowWithPasswordMethod] -> Value

toEncodingList :: [SubmitSelfServiceRegistrationFlowWithPasswordMethod] -> Encoding

FromJSON SubmitSelfServiceRegistrationFlowWithPasswordMethod

Defined in OryKratos.Types.Registration

Methods

parseJSON :: Value -> Parser SubmitSelfServiceRegistrationFlowWithPasswordMethod

parseJSONList :: Value -> Parser [SubmitSelfServiceRegistrationFlowWithPasswordMethod]

type Rep SubmitSelfServiceRegistrationFlowWithPasswordMethod

Defined in OryKratos.Types.Registration

type Rep SubmitSelfServiceRegistrationFlowWithPasswordMethod = D1 ('MetaData "SubmitSelfServiceRegistrationFlowWithPasswordMethod" "OryKratos.Types.Registration" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "SubmitSelfServiceRegistrationFlowWithPasswordMethod" 'PrefixI 'True) ((S1 ('MetaSel ('Just "csrf_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "traits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

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 :: Text
• identity :: Identity
• issued_at :: UTCTime

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

• 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.

• ui :: UiContainer

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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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 Text) :*: S1 ('MetaSel ('Just "identity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identity))) :*: ((S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: 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)) :*: S1 ('MetaSel ('Just "ui") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UiContainer))))))

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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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 SubmitSelfServiceBrowserSettingsOIDCFlowPayload

Constructors

SubmitSelfServiceBrowserSettingsOIDCFlowPayload

Fields

• flow :: Maybe Text

  Flow ID is the flow's ID. in: query

• link :: Maybe Text

  Link this provider Either this or $sel:unlink:SubmitSelfServiceBrowserSettingsOIDCFlowPayload must be set. type: string in: body

• unlink :: Maybe Text

  Unlink this provider Either this or $sel:link:SubmitSelfServiceBrowserSettingsOIDCFlowPayload must be set. type: string in: body

Instances

Eq SubmitSelfServiceBrowserSettingsOIDCFlowPayload

Defined in OryKratos.Types.Settings

Methods

(==) :: SubmitSelfServiceBrowserSettingsOIDCFlowPayload -> SubmitSelfServiceBrowserSettingsOIDCFlowPayload -> Bool

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

Data SubmitSelfServiceBrowserSettingsOIDCFlowPayload

Defined in OryKratos.Types.Settings

Methods

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

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

toConstr :: SubmitSelfServiceBrowserSettingsOIDCFlowPayload -> Constr

dataTypeOf :: SubmitSelfServiceBrowserSettingsOIDCFlowPayload -> DataType

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

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

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

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

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

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

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

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

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

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

Show SubmitSelfServiceBrowserSettingsOIDCFlowPayload

Defined in OryKratos.Types.Settings

Methods

showsPrec :: Int -> SubmitSelfServiceBrowserSettingsOIDCFlowPayload -> ShowS

show :: SubmitSelfServiceBrowserSettingsOIDCFlowPayload -> String

showList :: [SubmitSelfServiceBrowserSettingsOIDCFlowPayload] -> ShowS

Generic SubmitSelfServiceBrowserSettingsOIDCFlowPayload

Defined in OryKratos.Types.Settings

Associated Types

type Rep SubmitSelfServiceBrowserSettingsOIDCFlowPayload :: Type -> Type

Methods

from :: SubmitSelfServiceBrowserSettingsOIDCFlowPayload -> Rep SubmitSelfServiceBrowserSettingsOIDCFlowPayload x

to :: Rep SubmitSelfServiceBrowserSettingsOIDCFlowPayload x -> SubmitSelfServiceBrowserSettingsOIDCFlowPayload

ToJSON SubmitSelfServiceBrowserSettingsOIDCFlowPayload

Defined in OryKratos.Types.Settings

Methods

toJSON :: SubmitSelfServiceBrowserSettingsOIDCFlowPayload -> Value

toEncoding :: SubmitSelfServiceBrowserSettingsOIDCFlowPayload -> Encoding

toJSONList :: [SubmitSelfServiceBrowserSettingsOIDCFlowPayload] -> Value

toEncodingList :: [SubmitSelfServiceBrowserSettingsOIDCFlowPayload] -> Encoding

FromJSON SubmitSelfServiceBrowserSettingsOIDCFlowPayload

Defined in OryKratos.Types.Settings

Methods

parseJSON :: Value -> Parser SubmitSelfServiceBrowserSettingsOIDCFlowPayload

parseJSONList :: Value -> Parser [SubmitSelfServiceBrowserSettingsOIDCFlowPayload]

type Rep SubmitSelfServiceBrowserSettingsOIDCFlowPayload

Defined in OryKratos.Types.Settings

type Rep SubmitSelfServiceBrowserSettingsOIDCFlowPayload = D1 ('MetaData "SubmitSelfServiceBrowserSettingsOIDCFlowPayload" "OryKratos.Types.Settings" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "SubmitSelfServiceBrowserSettingsOIDCFlowPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "flow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "link") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "unlink") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data SubmitSelfServiceSettingsFlowWithPasswordMethod

Constructors

SubmitSelfServiceSettingsFlowWithPasswordMethod

Fields

• csrf_token :: Maybe Text

  CSRFToken is the anti-CSRF token type: string

• method :: Maybe Text

  Method Should be set to password when trying to update a password. type: string

• password :: Text

  Password is the updated password type: string

Instances

Eq SubmitSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Settings

Methods

(==) :: SubmitSelfServiceSettingsFlowWithPasswordMethod -> SubmitSelfServiceSettingsFlowWithPasswordMethod -> Bool

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

Data SubmitSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Settings

Methods

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

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

toConstr :: SubmitSelfServiceSettingsFlowWithPasswordMethod -> Constr

dataTypeOf :: SubmitSelfServiceSettingsFlowWithPasswordMethod -> DataType

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

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

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

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

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

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

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

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

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

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

Show SubmitSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Settings

Methods

showsPrec :: Int -> SubmitSelfServiceSettingsFlowWithPasswordMethod -> ShowS

show :: SubmitSelfServiceSettingsFlowWithPasswordMethod -> String

showList :: [SubmitSelfServiceSettingsFlowWithPasswordMethod] -> ShowS

Generic SubmitSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Settings

Associated Types

type Rep SubmitSelfServiceSettingsFlowWithPasswordMethod :: Type -> Type

Methods

from :: SubmitSelfServiceSettingsFlowWithPasswordMethod -> Rep SubmitSelfServiceSettingsFlowWithPasswordMethod x

to :: Rep SubmitSelfServiceSettingsFlowWithPasswordMethod x -> SubmitSelfServiceSettingsFlowWithPasswordMethod

ToJSON SubmitSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Settings

Methods

toJSON :: SubmitSelfServiceSettingsFlowWithPasswordMethod -> Value

toEncoding :: SubmitSelfServiceSettingsFlowWithPasswordMethod -> Encoding

toJSONList :: [SubmitSelfServiceSettingsFlowWithPasswordMethod] -> Value

toEncodingList :: [SubmitSelfServiceSettingsFlowWithPasswordMethod] -> Encoding

FromJSON SubmitSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Settings

Methods

parseJSON :: Value -> Parser SubmitSelfServiceSettingsFlowWithPasswordMethod

parseJSONList :: Value -> Parser [SubmitSelfServiceSettingsFlowWithPasswordMethod]

type Rep SubmitSelfServiceSettingsFlowWithPasswordMethod

Defined in OryKratos.Types.Settings

type Rep SubmitSelfServiceSettingsFlowWithPasswordMethod = D1 ('MetaData "SubmitSelfServiceSettingsFlowWithPasswordMethod" "OryKratos.Types.Settings" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "SubmitSelfServiceSettingsFlowWithPasswordMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "csrf_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

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 :: Text
• issued_at :: Maybe UTCTime

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

• 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 :: Text

  The flow type can either be api or browser.

• ui :: UiContainer

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.6.0-9BTeyIjpbIJHN75AXkcTl3" '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 Text) :*: S1 ('MetaSel ('Just "issued_at") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)))) :*: ((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 Text) :*: S1 ('MetaSel ('Just "ui") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UiContainer)))))

data UiContainer

Container represents a HTML Form. The container can work with both HTTP Form and JSON requests

Constructors

UiContainer

Fields

• action :: Text

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

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

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

• nodes :: [UiNode]

Instances

Eq UiContainer

Defined in OryKratos.Types.Ui

Methods

(==) :: UiContainer -> UiContainer -> Bool

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

Data UiContainer

Defined in OryKratos.Types.Ui

Methods

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

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

toConstr :: UiContainer -> Constr

dataTypeOf :: UiContainer -> DataType

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

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

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

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

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

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

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

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

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

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

Show UiContainer

Defined in OryKratos.Types.Ui

Methods

showsPrec :: Int -> UiContainer -> ShowS

show :: UiContainer -> String

showList :: [UiContainer] -> ShowS

Generic UiContainer

Defined in OryKratos.Types.Ui

Associated Types

type Rep UiContainer :: Type -> Type

Methods

from :: UiContainer -> Rep UiContainer x

to :: Rep UiContainer x -> UiContainer

ToJSON UiContainer

Defined in OryKratos.Types.Ui

Methods

toJSON :: UiContainer -> Value

toEncoding :: UiContainer -> Encoding

toJSONList :: [UiContainer] -> Value

toEncodingList :: [UiContainer] -> Encoding

FromJSON UiContainer

Defined in OryKratos.Types.Ui

Methods

parseJSON :: Value -> Parser UiContainer

parseJSONList :: Value -> Parser [UiContainer]

type Rep UiContainer

Defined in OryKratos.Types.Ui

type Rep UiContainer = D1 ('MetaData "UiContainer" "OryKratos.Types.Ui" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "UiContainer" 'PrefixI 'True) ((S1 ('MetaSel ('Just "action") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [UiText]))) :*: (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "nodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [UiNode]))))

data UiNode

Nodes are represented as HTML elements or their native UI equivalents. For example, a node can be an `<img>` tag, or an `<input element>` but also `some plain text`.

Constructors

UiNode

Fields

• attributes :: Value
• group :: Text
• messages :: [UiText]
• meta :: Meta
• _type :: Text

Instances

Eq UiNode

Defined in OryKratos.Types.Ui

Methods

(==) :: UiNode -> UiNode -> Bool

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

Data UiNode

Defined in OryKratos.Types.Ui

Methods

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

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

toConstr :: UiNode -> Constr

dataTypeOf :: UiNode -> DataType

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

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

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

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

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

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

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

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

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

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

Show UiNode

Defined in OryKratos.Types.Ui

Methods

showsPrec :: Int -> UiNode -> ShowS

show :: UiNode -> String

showList :: [UiNode] -> ShowS

Generic UiNode

Defined in OryKratos.Types.Ui

Associated Types

type Rep UiNode :: Type -> Type

Methods

from :: UiNode -> Rep UiNode x

to :: Rep UiNode x -> UiNode

ToJSON UiNode

Defined in OryKratos.Types.Ui

Methods

toJSON :: UiNode -> Value

toEncoding :: UiNode -> Encoding

toJSONList :: [UiNode] -> Value

toEncodingList :: [UiNode] -> Encoding

FromJSON UiNode

Defined in OryKratos.Types.Ui

Methods

parseJSON :: Value -> Parser UiNode

parseJSONList :: Value -> Parser [UiNode]

type Rep UiNode

Defined in OryKratos.Types.Ui

type Rep UiNode = D1 ('MetaData "UiNode" "OryKratos.Types.Ui" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "UiNode" 'PrefixI 'True) ((S1 ('MetaSel ('Just "attributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "group") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [UiText]) :*: (S1 ('MetaSel ('Just "meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Meta) :*: S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

data UiNodeAnchorAttributes

Constructors

UiNodeAnchorAttributes

Fields

• href :: Text

  The link's href (destination) URL. format: uri

• title :: UiText

Instances

Eq UiNodeAnchorAttributes

Defined in OryKratos.Types.Ui

Methods

(==) :: UiNodeAnchorAttributes -> UiNodeAnchorAttributes -> Bool

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

Data UiNodeAnchorAttributes

Defined in OryKratos.Types.Ui

Methods

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

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

toConstr :: UiNodeAnchorAttributes -> Constr

dataTypeOf :: UiNodeAnchorAttributes -> DataType

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

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

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

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

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

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

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

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

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

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

Show UiNodeAnchorAttributes

Defined in OryKratos.Types.Ui

Methods

showsPrec :: Int -> UiNodeAnchorAttributes -> ShowS

show :: UiNodeAnchorAttributes -> String

showList :: [UiNodeAnchorAttributes] -> ShowS

Generic UiNodeAnchorAttributes

Defined in OryKratos.Types.Ui

Associated Types

type Rep UiNodeAnchorAttributes :: Type -> Type

Methods

from :: UiNodeAnchorAttributes -> Rep UiNodeAnchorAttributes x

to :: Rep UiNodeAnchorAttributes x -> UiNodeAnchorAttributes

ToJSON UiNodeAnchorAttributes

Defined in OryKratos.Types.Ui

Methods

toJSON :: UiNodeAnchorAttributes -> Value

toEncoding :: UiNodeAnchorAttributes -> Encoding

toJSONList :: [UiNodeAnchorAttributes] -> Value

toEncodingList :: [UiNodeAnchorAttributes] -> Encoding

FromJSON UiNodeAnchorAttributes

Defined in OryKratos.Types.Ui

Methods

parseJSON :: Value -> Parser UiNodeAnchorAttributes

parseJSONList :: Value -> Parser [UiNodeAnchorAttributes]

type Rep UiNodeAnchorAttributes

Defined in OryKratos.Types.Ui

type Rep UiNodeAnchorAttributes = D1 ('MetaData "UiNodeAnchorAttributes" "OryKratos.Types.Ui" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "UiNodeAnchorAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "href") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UiText)))

data UiNodeImageAttributes

Constructors

UiNodeImageAttributes

Fields

• src :: Text

  The image's source URL. format: uri

Instances

Eq UiNodeImageAttributes

Defined in OryKratos.Types.Ui

Methods

(==) :: UiNodeImageAttributes -> UiNodeImageAttributes -> Bool

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

Data UiNodeImageAttributes

Defined in OryKratos.Types.Ui

Methods

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

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

toConstr :: UiNodeImageAttributes -> Constr

dataTypeOf :: UiNodeImageAttributes -> DataType

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

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

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

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

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

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

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

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

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

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

Show UiNodeImageAttributes

Defined in OryKratos.Types.Ui

Methods

showsPrec :: Int -> UiNodeImageAttributes -> ShowS

show :: UiNodeImageAttributes -> String

showList :: [UiNodeImageAttributes] -> ShowS

Generic UiNodeImageAttributes

Defined in OryKratos.Types.Ui

Associated Types

type Rep UiNodeImageAttributes :: Type -> Type

Methods

from :: UiNodeImageAttributes -> Rep UiNodeImageAttributes x

to :: Rep UiNodeImageAttributes x -> UiNodeImageAttributes

ToJSON UiNodeImageAttributes

Defined in OryKratos.Types.Ui

Methods

toJSON :: UiNodeImageAttributes -> Value

toEncoding :: UiNodeImageAttributes -> Encoding

toJSONList :: [UiNodeImageAttributes] -> Value

toEncodingList :: [UiNodeImageAttributes] -> Encoding

FromJSON UiNodeImageAttributes

Defined in OryKratos.Types.Ui

Methods

parseJSON :: Value -> Parser UiNodeImageAttributes

parseJSONList :: Value -> Parser [UiNodeImageAttributes]

type Rep UiNodeImageAttributes

Defined in OryKratos.Types.Ui

type Rep UiNodeImageAttributes = D1 ('MetaData "UiNodeImageAttributes" "OryKratos.Types.Ui" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "UiNodeImageAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "src") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data UiNodeInputAttributes

InputAttributes represents the attributes of an input node

Constructors

UiNodeInputAttributes

Fields

• disabled :: Bool

  Sets the input's disabled field to true or false.

• label :: Maybe UiText
• name :: Text

  The input's element name.

• _pattern :: Maybe Text

  The input's pattern.

• required :: Maybe Bool

  Mark this input field as required.

• _type :: Text
• value :: Maybe Value

  The input's value.

Instances

Eq UiNodeInputAttributes

Defined in OryKratos.Types.Ui

Methods

(==) :: UiNodeInputAttributes -> UiNodeInputAttributes -> Bool

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

Data UiNodeInputAttributes

Defined in OryKratos.Types.Ui

Methods

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

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

toConstr :: UiNodeInputAttributes -> Constr

dataTypeOf :: UiNodeInputAttributes -> DataType

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

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

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

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

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

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

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

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

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

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

Show UiNodeInputAttributes

Defined in OryKratos.Types.Ui

Methods

showsPrec :: Int -> UiNodeInputAttributes -> ShowS

show :: UiNodeInputAttributes -> String

showList :: [UiNodeInputAttributes] -> ShowS

Generic UiNodeInputAttributes

Defined in OryKratos.Types.Ui

Associated Types

type Rep UiNodeInputAttributes :: Type -> Type

Methods

from :: UiNodeInputAttributes -> Rep UiNodeInputAttributes x

to :: Rep UiNodeInputAttributes x -> UiNodeInputAttributes

ToJSON UiNodeInputAttributes

Defined in OryKratos.Types.Ui

Methods

toJSON :: UiNodeInputAttributes -> Value

toEncoding :: UiNodeInputAttributes -> Encoding

toJSONList :: [UiNodeInputAttributes] -> Value

toEncodingList :: [UiNodeInputAttributes] -> Encoding

FromJSON UiNodeInputAttributes

Defined in OryKratos.Types.Ui

Methods

parseJSON :: Value -> Parser UiNodeInputAttributes

parseJSONList :: Value -> Parser [UiNodeInputAttributes]

type Rep UiNodeInputAttributes

Defined in OryKratos.Types.Ui

type Rep UiNodeInputAttributes = D1 ('MetaData "UiNodeInputAttributes" "OryKratos.Types.Ui" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "UiNodeInputAttributes" 'PrefixI 'True) ((S1 ('MetaSel ('Just "disabled") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UiText)) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: ((S1 ('MetaSel ('Just "_pattern") '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 UiNodeTextAttributes

Constructors

UiNodeTextAttributes

Fields

• text :: UiText

Instances

Eq UiNodeTextAttributes

Defined in OryKratos.Types.Ui

Methods

(==) :: UiNodeTextAttributes -> UiNodeTextAttributes -> Bool

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

Data UiNodeTextAttributes

Defined in OryKratos.Types.Ui

Methods

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

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

toConstr :: UiNodeTextAttributes -> Constr

dataTypeOf :: UiNodeTextAttributes -> DataType

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

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

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

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

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

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

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

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

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

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

Show UiNodeTextAttributes

Defined in OryKratos.Types.Ui

Methods

showsPrec :: Int -> UiNodeTextAttributes -> ShowS

show :: UiNodeTextAttributes -> String

showList :: [UiNodeTextAttributes] -> ShowS

Generic UiNodeTextAttributes

Defined in OryKratos.Types.Ui

Associated Types

type Rep UiNodeTextAttributes :: Type -> Type

Methods

from :: UiNodeTextAttributes -> Rep UiNodeTextAttributes x

to :: Rep UiNodeTextAttributes x -> UiNodeTextAttributes

ToJSON UiNodeTextAttributes

Defined in OryKratos.Types.Ui

Methods

toJSON :: UiNodeTextAttributes -> Value

toEncoding :: UiNodeTextAttributes -> Encoding

toJSONList :: [UiNodeTextAttributes] -> Value

toEncodingList :: [UiNodeTextAttributes] -> Encoding

FromJSON UiNodeTextAttributes

Defined in OryKratos.Types.Ui

Methods

parseJSON :: Value -> Parser UiNodeTextAttributes

parseJSONList :: Value -> Parser [UiNodeTextAttributes]

type Rep UiNodeTextAttributes

Defined in OryKratos.Types.Ui

type Rep UiNodeTextAttributes = D1 ('MetaData "UiNodeTextAttributes" "OryKratos.Types.Ui" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "UiNodeTextAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "text") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UiText)))

data UiText

Constructors

UiText

Fields

• context :: Maybe Value

  The message's context. Useful when customizing messages.

• id :: Integer
• text :: Text

  The message text. Written in american english.

• _type :: Text

Instances

Eq UiText

Defined in OryKratos.Types.Ui

Methods

(==) :: UiText -> UiText -> Bool

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

Data UiText

Defined in OryKratos.Types.Ui

Methods

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

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

toConstr :: UiText -> Constr

dataTypeOf :: UiText -> DataType

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

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

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

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

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

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

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

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

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

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

Show UiText

Defined in OryKratos.Types.Ui

Methods

showsPrec :: Int -> UiText -> ShowS

show :: UiText -> String

showList :: [UiText] -> ShowS

Generic UiText

Defined in OryKratos.Types.Ui

Associated Types

type Rep UiText :: Type -> Type

Methods

from :: UiText -> Rep UiText x

to :: Rep UiText x -> UiText

ToJSON UiText

Defined in OryKratos.Types.Ui

Methods

toJSON :: UiText -> Value

toEncoding :: UiText -> Encoding

toJSONList :: [UiText] -> Value

toEncodingList :: [UiText] -> Encoding

FromJSON UiText

Defined in OryKratos.Types.Ui

Methods

parseJSON :: Value -> Parser UiText

parseJSONList :: Value -> Parser [UiText]

type Rep UiText

Defined in OryKratos.Types.Ui

type Rep UiText = D1 ('MetaData "UiText" "OryKratos.Types.Ui" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "UiText" 'PrefixI 'True) ((S1 ('MetaSel ('Just "context") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)) :*: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :*: (S1 ('MetaSel ('Just "text") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data Meta

This might include a label and other information that can optionally be used to render UIs.

Constructors

Meta

Fields

• label :: Maybe UiText

Instances

Eq Meta

Defined in OryKratos.Types.Ui

Methods

(==) :: Meta -> Meta -> Bool

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

Data Meta

Defined in OryKratos.Types.Ui

Methods

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

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

toConstr :: Meta -> Constr

dataTypeOf :: Meta -> DataType

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

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

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

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

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

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

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

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

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

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

Show Meta

Defined in OryKratos.Types.Ui

Methods

showsPrec :: Int -> Meta -> ShowS

show :: Meta -> String

showList :: [Meta] -> ShowS

Generic Meta

Defined in OryKratos.Types.Ui

Associated Types

type Rep Meta :: Type -> Type

Methods

from :: Meta -> Rep Meta x

to :: Rep Meta x -> Meta

ToJSON Meta

Defined in OryKratos.Types.Ui

Methods

toJSON :: Meta -> Value

toEncoding :: Meta -> Encoding

toJSONList :: [Meta] -> Value

toEncodingList :: [Meta] -> Encoding

FromJSON Meta

Defined in OryKratos.Types.Ui

Methods

parseJSON :: Value -> Parser Meta

parseJSONList :: Value -> Parser [Meta]

type Rep Meta

Defined in OryKratos.Types.Ui

type Rep Meta = D1 ('MetaData "Meta" "OryKratos.Types.Ui" "ory-kratos-0.0.6.0-9BTeyIjpbIJHN75AXkcTl3" 'False) (C1 ('MetaCons "Meta" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UiText))))