Network.Globus.Types

Documentation

type Token a = Tagged a Text

type Id a = Tagged a Text

data Token'

Constructors

ClientId

ClientSecret

Exchange

Access

data Id'

Constructors

Submission

Request

Collection

data DataType (s :: Symbol)

Constructors

DataType

Instances

KnownSymbol s => ToJSON (DataType s)

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

Constructors

Redirect

Authorization

Tokens

App

data Uri (a :: Endpoint)

Simple URI Type, since all the others are obnoxious

Constructors

Uri

Fields

• scheme :: Scheme
• domain :: Text
• path :: [Text]
• params :: Query

Instances

Show (Uri a)

Defined in Network.Globus.Types

Methods

showsPrec :: Int -> Uri a -> ShowS

show :: Uri a -> String

showList :: [Uri a] -> ShowS

renderUri :: Uri a -> Text

newtype Query

Constructors

Query [(Text, Maybe Text)]

Instances

Monoid Query

Defined in Network.Globus.Types

Methods

mempty :: Query

mappend :: Query -> Query -> Query

mconcat :: [Query] -> Query

Semigroup Query

Defined in Network.Globus.Types

Methods

(<>) :: Query -> Query -> Query

sconcat :: NonEmpty Query -> Query

stimes :: Integral b => b -> Query -> Query

IsList Query

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

Defined in Network.Globus.Types

Methods

showsPrec :: Int -> Query -> ShowS

show :: Query -> String

showList :: [Query] -> ShowS

QueryParam Query

Defined in Network.Globus.Types

Methods

queryParam :: ToHttpApiData a => Text -> Maybe a -> Query

queryParamToList :: Query -> [(Text, Maybe Text)]

type Item Query

Defined in Network.Globus.Types

type Item Query = (Text, Maybe Text)

renderQuery :: Query -> Text

data Scope

Constructors

TransferAll

Identity ScopeIdentity

Instances

FromJSON Scope

Defined in Network.Globus.Types

Methods

parseJSON :: Value -> Parser Scope

parseJSONList :: Value -> Parser [Scope]

omittedField :: Maybe Scope

Show Scope

Defined in Network.Globus.Types

Methods

showsPrec :: Int -> Scope -> ShowS

show :: Scope -> String

showList :: [Scope] -> ShowS

Eq Scope

Defined in Network.Globus.Types

Methods

(==) :: Scope -> Scope -> Bool

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

data ScopeIdentity

Constructors

OpenId

Email

Profile

Instances

Show ScopeIdentity

Defined in Network.Globus.Types

Methods

showsPrec :: Int -> ScopeIdentity -> ShowS

show :: ScopeIdentity -> String

showList :: [ScopeIdentity] -> ShowS

Eq ScopeIdentity

Defined in Network.Globus.Types

Methods

(==) :: ScopeIdentity -> ScopeIdentity -> Bool

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

scopeText :: Scope -> Text

scope :: Text -> Maybe Scope

newtype Scopes

Constructors

Scopes (NonEmpty Scope)

Instances

FromJSON Scopes

Defined in Network.Globus.Types

Methods

parseJSON :: Value -> Parser Scopes

parseJSONList :: Value -> Parser [Scopes]

omittedField :: Maybe Scopes

Show Scopes

Defined in Network.Globus.Types

Methods

showsPrec :: Int -> Scopes -> ShowS

show :: Scopes -> String

showList :: [Scopes] -> ShowS