Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Auth.Types

Synopsis

data DiscoveryDoc = DiscoveryDoc {
- issuer :: URI
- authorizationEndpoint :: URI
- tokenEndpoint :: URI
- userInfoEndpoint :: URI
}
data Tokens = Tokens {
- accessToken :: AccessToken
- idToken :: Maybe IDToken
- refreshToken :: Maybe RefreshToken
- tokenType :: TokenType
- expiresIn :: NominalDiffTime
- scopes :: Scopes
}
data Credentials = Credentials {
- credentials :: Map ProfileName (Map CodeserverId CodeserverCredentials)
- activeProfile :: ProfileName
}
type Code = Text
type AccessToken = Text
type RefreshToken = Text
type IDToken = Text
type OAuthState = ByteString
type PKCEVerifier = ByteString
type PKCEChallenge = ByteString
type ProfileName = Text
data CredentialFailure
data CodeserverCredentials = CodeserverCredentials {
- tokens :: Tokens
- fetchTime :: UTCTime
- discoveryURI :: URI
- userInfo :: UserInfo
}
data UserInfo = UserInfo {
- userId :: Text
- name :: Maybe Text
- handle :: Text
}
getCodeserverCredentials :: CodeserverId -> Credentials -> Either CredentialFailure CodeserverCredentials
setCodeserverCredentials :: CodeserverId -> CodeserverCredentials -> Credentials -> Credentials
codeserverCredentials :: URI -> Tokens -> UTCTime -> UserInfo -> CodeserverCredentials
emptyCredentials :: Credentials

Documentation

data DiscoveryDoc Source #

Constructors

DiscoveryDoc
Fields issuer :: URI authorizationEndpoint :: URI tokenEndpoint :: URI userInfoEndpoint :: URI

Instances

Instances details

FromJSON DiscoveryDoc Source #
Instance details Defined in Unison.Auth.Types Methods parseJSON :: Value -> Parser DiscoveryDoc # parseJSONList :: Value -> Parser [DiscoveryDoc] #
Show DiscoveryDoc Source #
Instance details Defined in Unison.Auth.Types Methods showsPrec :: Int -> DiscoveryDoc -> ShowS # show :: DiscoveryDoc -> String # showList :: [DiscoveryDoc] -> ShowS #

data Tokens Source #

Constructors

Tokens
Fields accessToken :: AccessToken idToken :: Maybe IDToken refreshToken :: Maybe RefreshToken tokenType :: TokenType expiresIn :: NominalDiffTime scopes :: Scopes

Instances

Instances details

FromJSON Tokens Source #
Instance details Defined in Unison.Auth.Types Methods parseJSON :: Value -> Parser Tokens # parseJSONList :: Value -> Parser [Tokens] #
ToJSON Tokens Source #
Instance details Defined in Unison.Auth.Types Methods toJSON :: Tokens -> Value # toEncoding :: Tokens -> Encoding # toJSONList :: [Tokens] -> Value # toEncodingList :: [Tokens] -> Encoding #
Show Tokens Source #
Instance details Defined in Unison.Auth.Types Methods showsPrec :: Int -> Tokens -> ShowS # show :: Tokens -> String # showList :: [Tokens] -> ShowS #
Eq Tokens Source #
Instance details Defined in Unison.Auth.Types Methods (==) :: Tokens -> Tokens -> Bool # (/=) :: Tokens -> Tokens -> Bool #

data Credentials Source #

Constructors

Credentials
Fields credentials :: Map ProfileName (Map CodeserverId CodeserverCredentials) activeProfile :: ProfileName

Instances

Instances details

FromJSON Credentials Source #
Instance details Defined in Unison.Auth.Types Methods parseJSON :: Value -> Parser Credentials # parseJSONList :: Value -> Parser [Credentials] #
ToJSON Credentials Source #
Instance details Defined in Unison.Auth.Types Methods toJSON :: Credentials -> Value # toEncoding :: Credentials -> Encoding # toJSONList :: [Credentials] -> Value # toEncodingList :: [Credentials] -> Encoding #
Eq Credentials Source #
Instance details Defined in Unison.Auth.Types Methods (==) :: Credentials -> Credentials -> Bool # (/=) :: Credentials -> Credentials -> Bool #

type Code = Text Source #

type AccessToken = Text Source #

type RefreshToken = Text Source #

type IDToken = Text Source #

type OAuthState = ByteString Source #

type PKCEVerifier = ByteString Source #

type PKCEChallenge = ByteString Source #

type ProfileName = Text Source #

data CredentialFailure Source #

Instances

Instances details

Exception CredentialFailure Source #
Instance details Defined in Unison.Auth.Types Methods toException :: CredentialFailure -> SomeException # fromException :: SomeException -> Maybe CredentialFailure # displayException :: CredentialFailure -> String #
Show CredentialFailure Source #
Instance details Defined in Unison.Auth.Types Methods showsPrec :: Int -> CredentialFailure -> ShowS # show :: CredentialFailure -> String # showList :: [CredentialFailure] -> ShowS #
Eq CredentialFailure Source #
Instance details Defined in Unison.Auth.Types Methods (==) :: CredentialFailure -> CredentialFailure -> Bool # (/=) :: CredentialFailure -> CredentialFailure -> Bool #

data CodeserverCredentials Source #

Credentials for a specific codeserver

Constructors

CodeserverCredentials
Fields tokens :: Tokens fetchTime :: UTCTime discoveryURI :: URI userInfo :: UserInfo

Instances

Instances details

FromJSON CodeserverCredentials Source #
Instance details Defined in Unison.Auth.Types Methods parseJSON :: Value -> Parser CodeserverCredentials # parseJSONList :: Value -> Parser [CodeserverCredentials] #
ToJSON CodeserverCredentials Source #
Instance details Defined in Unison.Auth.Types Methods toJSON :: CodeserverCredentials -> Value # toEncoding :: CodeserverCredentials -> Encoding # toJSONList :: [CodeserverCredentials] -> Value # toEncodingList :: [CodeserverCredentials] -> Encoding #
Eq CodeserverCredentials Source #
Instance details Defined in Unison.Auth.Types Methods (==) :: CodeserverCredentials -> CodeserverCredentials -> Bool # (/=) :: CodeserverCredentials -> CodeserverCredentials -> Bool #

data UserInfo Source #

Constructors

UserInfo
Fields userId :: Text name :: Maybe Text handle :: Text

Instances

Instances details

FromJSON UserInfo Source #
Instance details Defined in Unison.Auth.Types Methods parseJSON :: Value -> Parser UserInfo # parseJSONList :: Value -> Parser [UserInfo] #
ToJSON UserInfo Source #
Instance details Defined in Unison.Auth.Types Methods toJSON :: UserInfo -> Value # toEncoding :: UserInfo -> Encoding # toJSONList :: [UserInfo] -> Value # toEncodingList :: [UserInfo] -> Encoding #
Generic UserInfo Source #
Instance details Defined in Unison.Auth.Types Associated Types type Rep UserInfo :: Type -> Type # Methods from :: UserInfo -> Rep UserInfo x # to :: Rep UserInfo x -> UserInfo #
Show UserInfo Source #
Instance details Defined in Unison.Auth.Types Methods showsPrec :: Int -> UserInfo -> ShowS # show :: UserInfo -> String # showList :: [UserInfo] -> ShowS #
Eq UserInfo Source #
Instance details Defined in Unison.Auth.Types Methods (==) :: UserInfo -> UserInfo -> Bool # (/=) :: UserInfo -> UserInfo -> Bool #
type Rep UserInfo Source #
Instance details Defined in Unison.Auth.Types type Rep UserInfo = D1 ('MetaData "UserInfo" "Unison.Auth.Types" "unison-cli-0.0.0-9ca51USbfnvJ69M3lqQhft" 'False) (C1 ('MetaCons "UserInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "userId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "handle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

getCodeserverCredentials :: CodeserverId -> Credentials -> Either CredentialFailure CodeserverCredentials Source #

setCodeserverCredentials :: CodeserverId -> CodeserverCredentials -> Credentials -> Credentials Source #

codeserverCredentials :: URI -> Tokens -> UTCTime -> UserInfo -> CodeserverCredentials Source #

emptyCredentials :: Credentials Source #

ReauthRequired CodeserverId
CredentialParseFailure FilePath Text
InvalidDiscoveryDocument URI Text
InvalidJWT Text
RefreshFailure Text
InvalidTokenResponse URI Text
InvalidHost CodeserverURI
FailedToFetchUserInfo URI Text