Safe Haskell	Safe-Inferred
Language	GHC2021

Network.Globus.Types

Synopsis

type Token a = Tagged a Text
type Id a = Tagged a Text
data Token'
- = ClientId
- | ClientSecret
- | Exchange
- | Access
data Id'
- = Submission
- | Request
- | Collection
data DataType (s :: Symbol) = DataType
data Endpoint
- = Redirect
- | Authorization
- | Tokens
- | App
data Uri (a :: Endpoint) = Uri {
- scheme :: Scheme
- domain :: Text
- path :: [Text]
- params :: Query
}
renderUri :: Uri a -> Text
newtype Query = Query [(Text, Maybe Text)]
renderQuery :: Query -> Text
data Scope
- = TransferAll
- | Identity ScopeIdentity
data ScopeIdentity
- = OpenId
- | Email
- | Profile
scopeText :: Scope -> Text
scope :: Text -> Maybe Scope
newtype Scopes = Scopes (NonEmpty Scope)

Documentation

type Token a = Tagged a Text Source #

type Id a = Tagged a Text Source #

data Token' Source #

Constructors

ClientId
ClientSecret
Exchange
Access

data Id' Source #

Constructors

Submission
Request
Collection

data DataType (s :: Symbol) Source #

Constructors

DataType

Instances

Instances details

KnownSymbol s => ToJSON (DataType s) Source #
Instance details Defined in Network.Globus.Types Methods toJSON :: DataType s -> Value # toEncoding :: DataType s -> Encoding # toJSONList :: [DataType s] -> Value # toEncodingList :: [DataType s] -> Encoding # omitField :: DataType s -> Bool #

data Endpoint Source #

Constructors

Redirect
Authorization
Tokens
App

data Uri (a :: Endpoint) Source #

Simple URI Type, since all the others are obnoxious

Constructors

Uri
Fields scheme :: Scheme domain :: Text path :: [Text] params :: Query

Instances

Instances details

Show (Uri a) Source #
Instance details Defined in Network.Globus.Types Methods showsPrec :: Int -> Uri a -> ShowS # show :: Uri a -> String # showList :: [Uri a] -> ShowS #

renderUri :: Uri a -> Text Source #

newtype Query Source #

Constructors

Query [(Text, Maybe Text)]

Instances

Instances details

Monoid Query Source #
Instance details Defined in Network.Globus.Types Methods mempty :: Query # mappend :: Query -> Query -> Query # mconcat :: [Query] -> Query #
Semigroup Query Source #
Instance details Defined in Network.Globus.Types Methods (<>) :: Query -> Query -> Query # sconcat :: NonEmpty Query -> Query # stimes :: Integral b => b -> Query -> Query #
IsList Query Source #
Instance details Defined in Network.Globus.Types Associated Types type Item Query # Methods fromList :: [Item Query] -> Query # fromListN :: Int -> [Item Query] -> Query # toList :: Query -> [Item Query] #
Show Query Source #
Instance details Defined in Network.Globus.Types Methods showsPrec :: Int -> Query -> ShowS # show :: Query -> String # showList :: [Query] -> ShowS #
QueryParam Query Source #
Instance details Defined in Network.Globus.Types Methods queryParam :: ToHttpApiData a => Text -> Maybe a -> Query # queryParamToList :: Query -> [(Text, Maybe Text)] #
type Item Query Source #
Instance details Defined in Network.Globus.Types type Item Query = (Text, Maybe Text)

renderQuery :: Query -> Text Source #

data Scope Source #

Constructors

TransferAll
Identity ScopeIdentity

Instances

Instances details

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

data ScopeIdentity Source #

Constructors

OpenId
Email
Profile

Instances

Instances details

Show ScopeIdentity Source #
Instance details Defined in Network.Globus.Types Methods showsPrec :: Int -> ScopeIdentity -> ShowS # show :: ScopeIdentity -> String # showList :: [ScopeIdentity] -> ShowS #
Eq ScopeIdentity Source #
Instance details Defined in Network.Globus.Types Methods (==) :: ScopeIdentity -> ScopeIdentity -> Bool # (/=) :: ScopeIdentity -> ScopeIdentity -> Bool #

scopeText :: Scope -> Text Source #

scope :: Text -> Maybe Scope Source #

newtype Scopes Source #

Constructors

Scopes (NonEmpty Scope)

Instances

Instances details

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