Safe Haskell	None
Language	GHC2021

Network.Globus.Auth

Synopsis

authorizationUrl :: Token 'ClientId -> Uri 'Redirect -> NonEmpty Scope -> State -> Uri 'Authorization
fetchAccessTokens :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token 'ClientId -> Token 'ClientSecret -> Uri 'Redirect -> Token 'Exchange -> m (NonEmpty TokenItem)
redirectUri :: forall {k} (a :: k). Uri 'Redirect -> Uri a -> Uri a
newtype TokenResponse = TokenResponse (NonEmpty TokenItem)
scopeToken :: Scope -> NonEmpty TokenItem -> Maybe (Token 'Access)
fetchUserInfo :: (MonadIO m, MonadCatch m, MonadThrow m) => Manager -> Token 'OpenId -> m UserInfoResponse
authEndpoint :: Uri 'Authorization
identityAuth :: Token 'OpenId -> Header
data UserInfoResponse = UserInfoResponse {
- info :: UserInfo
- email :: Maybe UserEmail
- profile :: Maybe UserProfile
}
data UserInfo = UserInfo {
- sub :: Text
- last_authentication :: Int
}
newtype UserEmail = UserEmail Text
data UserProfile = UserProfile {
- name :: Text
- organization :: Text
- preferred_username :: Text
- identity_provider :: Text
- identity_provider_display_name :: Text
}

Documentation

authorizationUrl :: Token 'ClientId -> Uri 'Redirect -> NonEmpty Scope -> State -> Uri 'Authorization Source #

The end user must visit this url

fetchAccessTokens :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token 'ClientId -> Token 'ClientSecret -> Uri 'Redirect -> Token 'Exchange -> m (NonEmpty TokenItem) Source #

redirectUri :: forall {k} (a :: k). Uri 'Redirect -> Uri a -> Uri a Source #

newtype TokenResponse Source #

fetchAccessTokens returns a non-empty list matching the scopes

Constructors

TokenResponse (NonEmpty TokenItem)

Instances

Instances details

Show TokenResponse Source #
Instance details Defined in Network.Globus.Auth Methods showsPrec :: Int -> TokenResponse -> ShowS # show :: TokenResponse -> String # showList :: [TokenResponse] -> ShowS #
FromJSON TokenResponse Source #
Instance details Defined in Network.Globus.Auth Methods parseJSON :: Value -> Parser TokenResponse # parseJSONList :: Value -> Parser [TokenResponse] # omittedField :: Maybe TokenResponse #

scopeToken :: Scope -> NonEmpty TokenItem -> Maybe (Token 'Access) Source #

fetchUserInfo :: (MonadIO m, MonadCatch m, MonadThrow m) => Manager -> Token 'OpenId -> m UserInfoResponse Source #

You MUST include the OpenId Scope for this to work

authEndpoint :: Uri 'Authorization Source #

identityAuth :: Token 'OpenId -> Header Source #

data UserInfoResponse Source #

Constructors

UserInfoResponse
Fields info :: UserInfo email :: Maybe UserEmail profile :: Maybe UserProfile

Instances

Instances details

FromJSON UserInfoResponse Source #
Instance details Defined in Network.Globus.Auth Methods parseJSON :: Value -> Parser UserInfoResponse # parseJSONList :: Value -> Parser [UserInfoResponse] # omittedField :: Maybe UserInfoResponse #

data UserInfo Source #

Constructors

UserInfo
Fields sub :: Text last_authentication :: Int

Instances

Instances details

Generic UserInfo Source #

Instance details

Defined in Network.Globus.Auth

Associated Types

type Rep UserInfo

Instance details

Defined in Network.Globus.Auth

type Rep UserInfo = D1 ('MetaData "UserInfo" "Network.Globus.Auth" "globus-0.2.0-inplace" 'False) (C1 ('MetaCons "UserInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "sub") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "last_authentication") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))

Methods

from :: UserInfo -> Rep UserInfo x #

to :: Rep UserInfo x -> UserInfo #

Show UserInfo Source #

Instance details

Defined in Network.Globus.Auth

Methods

showsPrec :: Int -> UserInfo -> ShowS #

show :: UserInfo -> String #

showList :: [UserInfo] -> ShowS #

FromJSON UserInfo Source #

Instance details

Defined in Network.Globus.Auth

Methods

parseJSON :: Value -> Parser UserInfo #

parseJSONList :: Value -> Parser [UserInfo] #

omittedField :: Maybe UserInfo #

type Rep UserInfo Source #

Instance details

Defined in Network.Globus.Auth

type Rep UserInfo = D1 ('MetaData "UserInfo" "Network.Globus.Auth" "globus-0.2.0-inplace" 'False) (C1 ('MetaCons "UserInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "sub") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "last_authentication") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))

newtype UserEmail Source #

Constructors

UserEmail Text

Instances

Instances details

Show UserEmail Source #
Instance details Defined in Network.Globus.Auth Methods showsPrec :: Int -> UserEmail -> ShowS # show :: UserEmail -> String # showList :: [UserEmail] -> ShowS #
Eq UserEmail Source #
Instance details Defined in Network.Globus.Auth Methods (==) :: UserEmail -> UserEmail -> Bool # (/=) :: UserEmail -> UserEmail -> Bool #
FromJSON UserEmail Source #
Instance details Defined in Network.Globus.Auth Methods parseJSON :: Value -> Parser UserEmail # parseJSONList :: Value -> Parser [UserEmail] # omittedField :: Maybe UserEmail #