Safe Haskell	Safe-Inferred
Language	GHC2021

Effectful.Globus

Synopsis

data Globus :: Effect where
- AuthUrl :: Uri Redirect -> NonEmpty Scope -> State -> Globus m (Uri Authorization)
- GetUserInfo :: Token OpenId -> Globus m UserInfoResponse
- GetAccessTokens :: Token Exchange -> Uri Redirect -> Globus m (NonEmpty TokenItem)
- GetSubmissionId :: Token Access -> Globus m (Id Submission)
- Transfer :: Token Access -> TransferRequest -> Globus m TransferResponse
- StatusTask :: Token Access -> Id Task -> Globus m Task
- StatusTasks :: Token Access -> TaskFilters -> Globus m TaskList
data GlobusClient = GlobusClient {
- clientId :: Token ClientId
- clientSecret :: Token ClientSecret
}
runGlobus :: (IOE :> es, Error GlobusError :> es) => GlobusClient -> Manager -> Eff (Globus : es) a -> Eff es a
newtype State = State Text
newtype Tagged (s :: k) b = Tagged {
- unTagged :: b
}
data TransferRequest = TransferRequest {
- data_type :: DataType "transfer"
- submission_id :: Id Submission
- label :: Maybe Text
- source_endpoint :: Id Collection
- destination_endpoint :: Id Collection
- data_ :: [TransferItem]
- sync_level :: SyncLevel
- store_base_path_info :: Bool
}
data TransferResponse = TransferResponse {
- task_id :: Id Task
- submission_id :: Id Submission
- message :: Text
- resource :: Text
- request_id :: Token Request
}
data TransferItem = TransferItem {
- data_type :: DataType "transfer_item"
- source_path :: FilePath
- destination_path :: FilePath
- recursive :: Bool
}
data SyncLevel
- = SyncExists
- | SyncSize
- | SyncTimestamp
- | SyncChecksum
data Task = Task {
- status :: TaskStatus
- task_id :: Id Task
- label :: Text
- files :: Int
- directories :: Int
- files_skipped :: Int
- files_transferred :: Int
- bytes_transferred :: Int
- bytes_checksummed :: Int
- effective_bytes_per_second :: Int
- nice_status :: Maybe Text
- source_endpoint_id :: Id Collection
- destination_endpoint_id :: Id Collection
}
data TaskStatus
- = Active
- | Inactive
- | Succeeded
- | Failed
newtype TaskFilters = TaskFilters {
- status :: [TaskStatus]
}
data TaskList = TaskList {
- length :: Int
- limit :: Int
- offset :: Int
- total :: Int
- data_ :: [Task]
}
newtype State = State Text
data DataType (s :: Symbol) = DataType
type Id a = Tagged a Text
type Uri a = Tagged a URI
data TokenItem = TokenItem {
- scope :: Scopes
- access_token :: Token Access
- expires_in :: Int
- state :: State
}
newtype Scopes = Scopes (NonEmpty Scope)
type Token a = Tagged a Text
data GlobusError
- = InvalidURI String URI
- | Unauthorized Request ByteString
- | ResponseBadStatus Request Status ByteString
- | ResponseBadJSON Request String ByteString
- | MissingScope Scope (NonEmpty TokenItem)
data Scope
- = TransferAll
- | Identity ScopeIdentity
data Token'
- = ClientId
- | ClientSecret
- | Exchange
- | Access
data Id'
- = Submission
- | Request
- | Collection
data DataKey s = DataKey {
- data_type :: DataType s
- value :: Text
}
data Endpoint
- = Redirect
- | Authorization
- | Tokens
- | App
data ScopeIdentity
- = OpenId
- | Email
- | Profile
(/:) :: Uri a -> String -> Uri a
renderUri :: Uri a -> Text
scope :: Text -> Maybe Scope
dataLabelsToJSON :: (Generic a, GToJSON' Value Zero (Rep a)) => a -> Value
dataLabels :: String -> String
dataLabelsFromJSON :: (Generic a, GFromJSON Zero (Rep a)) => Value -> Parser a
scopeText :: Scope -> Text
requireScopeToken :: Error GlobusError :> es => Scope -> NonEmpty TokenItem -> Eff es (Token a)

Documentation

data Globus :: Effect where Source #

Constructors

AuthUrl :: Uri Redirect -> NonEmpty Scope -> State -> Globus m (Uri Authorization)
GetUserInfo :: Token OpenId -> Globus m UserInfoResponse
GetAccessTokens :: Token Exchange -> Uri Redirect -> Globus m (NonEmpty TokenItem)
GetSubmissionId :: Token Access -> Globus m (Id Submission)
Transfer :: Token Access -> TransferRequest -> Globus m TransferResponse
StatusTask :: Token Access -> Id Task -> Globus m Task
StatusTasks :: Token Access -> TaskFilters -> Globus m TaskList

Instances

Instances details

type DispatchOf Globus Source #
Instance details Defined in Effectful.Globus type DispatchOf Globus = 'Dynamic

data GlobusClient Source #

Constructors

GlobusClient
Fields clientId :: Token ClientId clientSecret :: Token ClientSecret

runGlobus :: (IOE :> es, Error GlobusError :> es) => GlobusClient -> Manager -> Eff (Globus : es) a -> Eff es a Source #

newtype State Source #

Opaque secret identifying the user. Validate on redirect

Constructors

State Text

Instances

Instances details

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

newtype Tagged (s :: k) b #

A Tagged s b value is a value b with an attached phantom type s. This can be used in place of the more traditional but less safe idiom of passing in an undefined value with the type, because unlike an (s -> b), a Tagged s b can't try to use the argument s as a real value.

Moreover, you don't have to rely on the compiler to inline away the extra argument, because the newtype is "free"

Tagged has kind k -> * -> * if the compiler supports PolyKinds, therefore there is an extra k showing in the instance haddocks that may cause confusion.

Constructors

Tagged
Fields unTagged :: b

Instances

Instances details

Generic1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged Associated Types type Rep1 (Tagged s) :: k -> Type # Methods from1 :: forall (a :: k). Tagged s a -> Rep1 (Tagged s) a # to1 :: forall (a :: k). Rep1 (Tagged s) a -> Tagged s a #
Bifoldable (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bifold :: Monoid m => Tagged m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Tagged a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Tagged a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Tagged a b -> c #
Bifoldable1 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bifold1 :: Semigroup m => Tagged m m -> m # bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> Tagged a b -> m #
Bifunctor (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bimap :: (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d # first :: (a -> b) -> Tagged a c -> Tagged b c # second :: (b -> c) -> Tagged a b -> Tagged a c #
Bitraversable (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Tagged a b -> f (Tagged c d) #
Eq2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Tagged a c -> Tagged b d -> Bool #
Ord2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Tagged a c -> Tagged b d -> Ordering #
Read2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Tagged a b) # liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Tagged a b] # liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Tagged a b) # liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Tagged a b] #
Show2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Tagged a b -> ShowS # liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Tagged a b] -> ShowS #
FromJSON2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON2 :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Maybe b -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser (Tagged a b) # liftParseJSONList2 :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Maybe b -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser [Tagged a b] # liftOmittedField2 :: Maybe a -> Maybe b -> Maybe (Tagged a b) #
ToJSON2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON2 :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> (b -> Bool) -> (b -> Value) -> ([b] -> Value) -> Tagged a b -> Value # liftToJSONList2 :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> (b -> Bool) -> (b -> Value) -> ([b] -> Value) -> [Tagged a b] -> Value # liftToEncoding2 :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> (b -> Bool) -> (b -> Encoding) -> ([b] -> Encoding) -> Tagged a b -> Encoding # liftToEncodingList2 :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> (b -> Bool) -> (b -> Encoding) -> ([b] -> Encoding) -> [Tagged a b] -> Encoding # liftOmitField2 :: (a -> Bool) -> (b -> Bool) -> Tagged a b -> Bool #
Foldable (Tagged s)
Instance details Defined in Data.Tagged Methods fold :: Monoid m => Tagged s m -> m # foldMap :: Monoid m => (a -> m) -> Tagged s a -> m # foldMap' :: Monoid m => (a -> m) -> Tagged s a -> m # foldr :: (a -> b -> b) -> b -> Tagged s a -> b # foldr' :: (a -> b -> b) -> b -> Tagged s a -> b # foldl :: (b -> a -> b) -> b -> Tagged s a -> b # foldl' :: (b -> a -> b) -> b -> Tagged s a -> b # foldr1 :: (a -> a -> a) -> Tagged s a -> a # foldl1 :: (a -> a -> a) -> Tagged s a -> a # toList :: Tagged s a -> [a] # null :: Tagged s a -> Bool # length :: Tagged s a -> Int # elem :: Eq a => a -> Tagged s a -> Bool # maximum :: Ord a => Tagged s a -> a # minimum :: Ord a => Tagged s a -> a # sum :: Num a => Tagged s a -> a # product :: Num a => Tagged s a -> a #
Foldable1 (Tagged a)
Instance details Defined in Data.Tagged Methods fold1 :: Semigroup m => Tagged a m -> m # foldMap1 :: Semigroup m => (a0 -> m) -> Tagged a a0 -> m # foldMap1' :: Semigroup m => (a0 -> m) -> Tagged a a0 -> m # toNonEmpty :: Tagged a a0 -> NonEmpty a0 # maximum :: Ord a0 => Tagged a a0 -> a0 # minimum :: Ord a0 => Tagged a a0 -> a0 # head :: Tagged a a0 -> a0 # last :: Tagged a a0 -> a0 # foldrMap1 :: (a0 -> b) -> (a0 -> b -> b) -> Tagged a a0 -> b # foldlMap1' :: (a0 -> b) -> (b -> a0 -> b) -> Tagged a a0 -> b # foldlMap1 :: (a0 -> b) -> (b -> a0 -> b) -> Tagged a a0 -> b # foldrMap1' :: (a0 -> b) -> (a0 -> b -> b) -> Tagged a a0 -> b #
Eq1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftEq :: (a -> b -> Bool) -> Tagged s a -> Tagged s b -> Bool #
Ord1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftCompare :: (a -> b -> Ordering) -> Tagged s a -> Tagged s b -> Ordering #
Read1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Tagged s a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Tagged s a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Tagged s a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Tagged s a] #
Show1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Tagged s a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Tagged s a] -> ShowS #
Traversable (Tagged s)
Instance details Defined in Data.Tagged Methods traverse :: Applicative f => (a -> f b) -> Tagged s a -> f (Tagged s b) # sequenceA :: Applicative f => Tagged s (f a) -> f (Tagged s a) # mapM :: Monad m => (a -> m b) -> Tagged s a -> m (Tagged s b) # sequence :: Monad m => Tagged s (m a) -> m (Tagged s a) #
Applicative (Tagged s)
Instance details Defined in Data.Tagged Methods pure :: a -> Tagged s a # (<>) :: Tagged s (a -> b) -> Tagged s a -> Tagged s b # liftA2 :: (a -> b -> c) -> Tagged s a -> Tagged s b -> Tagged s c # (>) :: Tagged s a -> Tagged s b -> Tagged s b # (<*) :: Tagged s a -> Tagged s b -> Tagged s a #
Functor (Tagged s)
Instance details Defined in Data.Tagged Methods fmap :: (a -> b) -> Tagged s a -> Tagged s b # (<$) :: a -> Tagged s b -> Tagged s a #
Monad (Tagged s)
Instance details Defined in Data.Tagged Methods (>>=) :: Tagged s a -> (a -> Tagged s b) -> Tagged s b # (>>) :: Tagged s a -> Tagged s b -> Tagged s b # return :: a -> Tagged s a #
FromJSON1 (Tagged a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: Maybe a0 -> (Value -> Parser a0) -> (Value -> Parser [a0]) -> Value -> Parser (Tagged a a0) # liftParseJSONList :: Maybe a0 -> (Value -> Parser a0) -> (Value -> Parser [a0]) -> Value -> Parser [Tagged a a0] # liftOmittedField :: Maybe a0 -> Maybe (Tagged a a0) #
ToJSON1 (Tagged a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a0 -> Bool) -> (a0 -> Value) -> ([a0] -> Value) -> Tagged a a0 -> Value # liftToJSONList :: (a0 -> Bool) -> (a0 -> Value) -> ([a0] -> Value) -> [Tagged a a0] -> Value # liftToEncoding :: (a0 -> Bool) -> (a0 -> Encoding) -> ([a0] -> Encoding) -> Tagged a a0 -> Encoding # liftToEncodingList :: (a0 -> Bool) -> (a0 -> Encoding) -> ([a0] -> Encoding) -> [Tagged a a0] -> Encoding # liftOmitField :: (a0 -> Bool) -> Tagged a a0 -> Bool #
(Data s, Data b) => Data (Tagged s b)
Instance details Defined in Data.Tagged Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Tagged s b -> c (Tagged s b) # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Tagged s b) # toConstr :: Tagged s b -> Constr # dataTypeOf :: Tagged s b -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Tagged s b)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Tagged s b)) # gmapT :: (forall b0. Data b0 => b0 -> b0) -> Tagged s b -> Tagged s b # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r # gmapQ :: (forall d. Data d => d -> u) -> Tagged s b -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Tagged s b -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) #
IsString a => IsString (Tagged s a)
Instance details Defined in Data.Tagged Methods fromString :: String -> Tagged s a #
Storable a => Storable (Tagged s a)
Instance details Defined in Data.Tagged Methods sizeOf :: Tagged s a -> Int # alignment :: Tagged s a -> Int # peekElemOff :: Ptr (Tagged s a) -> Int -> IO (Tagged s a) # pokeElemOff :: Ptr (Tagged s a) -> Int -> Tagged s a -> IO () # peekByteOff :: Ptr b -> Int -> IO (Tagged s a) # pokeByteOff :: Ptr b -> Int -> Tagged s a -> IO () # peek :: Ptr (Tagged s a) -> IO (Tagged s a) # poke :: Ptr (Tagged s a) -> Tagged s a -> IO () #
(Semigroup a, Monoid a) => Monoid (Tagged s a)
Instance details Defined in Data.Tagged Methods mempty :: Tagged s a # mappend :: Tagged s a -> Tagged s a -> Tagged s a # mconcat :: [Tagged s a] -> Tagged s a #
Semigroup a => Semigroup (Tagged s a)
Instance details Defined in Data.Tagged Methods (<>) :: Tagged s a -> Tagged s a -> Tagged s a # sconcat :: NonEmpty (Tagged s a) -> Tagged s a # stimes :: Integral b => b -> Tagged s a -> Tagged s a #
Bits a => Bits (Tagged s a)
Instance details Defined in Data.Tagged Methods (.&.) :: Tagged s a -> Tagged s a -> Tagged s a # (.\|.) :: Tagged s a -> Tagged s a -> Tagged s a # xor :: Tagged s a -> Tagged s a -> Tagged s a # complement :: Tagged s a -> Tagged s a # shift :: Tagged s a -> Int -> Tagged s a # rotate :: Tagged s a -> Int -> Tagged s a # zeroBits :: Tagged s a # bit :: Int -> Tagged s a # setBit :: Tagged s a -> Int -> Tagged s a # clearBit :: Tagged s a -> Int -> Tagged s a # complementBit :: Tagged s a -> Int -> Tagged s a # testBit :: Tagged s a -> Int -> Bool # bitSizeMaybe :: Tagged s a -> Maybe Int # bitSize :: Tagged s a -> Int # isSigned :: Tagged s a -> Bool # shiftL :: Tagged s a -> Int -> Tagged s a # unsafeShiftL :: Tagged s a -> Int -> Tagged s a # shiftR :: Tagged s a -> Int -> Tagged s a # unsafeShiftR :: Tagged s a -> Int -> Tagged s a # rotateL :: Tagged s a -> Int -> Tagged s a # rotateR :: Tagged s a -> Int -> Tagged s a # popCount :: Tagged s a -> Int #
FiniteBits a => FiniteBits (Tagged s a)
Instance details Defined in Data.Tagged Methods finiteBitSize :: Tagged s a -> Int # countLeadingZeros :: Tagged s a -> Int # countTrailingZeros :: Tagged s a -> Int #
Bounded b => Bounded (Tagged s b)
Instance details Defined in Data.Tagged Methods minBound :: Tagged s b # maxBound :: Tagged s b #
Enum a => Enum (Tagged s a)
Instance details Defined in Data.Tagged Methods succ :: Tagged s a -> Tagged s a # pred :: Tagged s a -> Tagged s a # toEnum :: Int -> Tagged s a # fromEnum :: Tagged s a -> Int # enumFrom :: Tagged s a -> [Tagged s a] # enumFromThen :: Tagged s a -> Tagged s a -> [Tagged s a] # enumFromTo :: Tagged s a -> Tagged s a -> [Tagged s a] # enumFromThenTo :: Tagged s a -> Tagged s a -> Tagged s a -> [Tagged s a] #
Floating a => Floating (Tagged s a)
Instance details Defined in Data.Tagged Methods pi :: Tagged s a # exp :: Tagged s a -> Tagged s a # log :: Tagged s a -> Tagged s a # sqrt :: Tagged s a -> Tagged s a # (**) :: Tagged s a -> Tagged s a -> Tagged s a # logBase :: Tagged s a -> Tagged s a -> Tagged s a # sin :: Tagged s a -> Tagged s a # cos :: Tagged s a -> Tagged s a # tan :: Tagged s a -> Tagged s a # asin :: Tagged s a -> Tagged s a # acos :: Tagged s a -> Tagged s a # atan :: Tagged s a -> Tagged s a # sinh :: Tagged s a -> Tagged s a # cosh :: Tagged s a -> Tagged s a # tanh :: Tagged s a -> Tagged s a # asinh :: Tagged s a -> Tagged s a # acosh :: Tagged s a -> Tagged s a # atanh :: Tagged s a -> Tagged s a # log1p :: Tagged s a -> Tagged s a # expm1 :: Tagged s a -> Tagged s a # log1pexp :: Tagged s a -> Tagged s a # log1mexp :: Tagged s a -> Tagged s a #
RealFloat a => RealFloat (Tagged s a)
Instance details Defined in Data.Tagged Methods floatRadix :: Tagged s a -> Integer # floatDigits :: Tagged s a -> Int # floatRange :: Tagged s a -> (Int, Int) # decodeFloat :: Tagged s a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Tagged s a # exponent :: Tagged s a -> Int # significand :: Tagged s a -> Tagged s a # scaleFloat :: Int -> Tagged s a -> Tagged s a # isNaN :: Tagged s a -> Bool # isInfinite :: Tagged s a -> Bool # isDenormalized :: Tagged s a -> Bool # isNegativeZero :: Tagged s a -> Bool # isIEEE :: Tagged s a -> Bool # atan2 :: Tagged s a -> Tagged s a -> Tagged s a #
Generic (Tagged s b)
Instance details Defined in Data.Tagged Associated Types type Rep (Tagged s b) :: Type -> Type # Methods from :: Tagged s b -> Rep (Tagged s b) x # to :: Rep (Tagged s b) x -> Tagged s b #
Ix b => Ix (Tagged s b)
Instance details Defined in Data.Tagged Methods range :: (Tagged s b, Tagged s b) -> [Tagged s b] # index :: (Tagged s b, Tagged s b) -> Tagged s b -> Int # unsafeIndex :: (Tagged s b, Tagged s b) -> Tagged s b -> Int # inRange :: (Tagged s b, Tagged s b) -> Tagged s b -> Bool # rangeSize :: (Tagged s b, Tagged s b) -> Int # unsafeRangeSize :: (Tagged s b, Tagged s b) -> Int #
Num a => Num (Tagged s a)
Instance details Defined in Data.Tagged Methods (+) :: Tagged s a -> Tagged s a -> Tagged s a # (-) :: Tagged s a -> Tagged s a -> Tagged s a # (*) :: Tagged s a -> Tagged s a -> Tagged s a # negate :: Tagged s a -> Tagged s a # abs :: Tagged s a -> Tagged s a # signum :: Tagged s a -> Tagged s a # fromInteger :: Integer -> Tagged s a #
Read b => Read (Tagged s b)
Instance details Defined in Data.Tagged Methods readsPrec :: Int -> ReadS (Tagged s b) # readList :: ReadS [Tagged s b] # readPrec :: ReadPrec (Tagged s b) # readListPrec :: ReadPrec [Tagged s b] #
Fractional a => Fractional (Tagged s a)
Instance details Defined in Data.Tagged Methods (/) :: Tagged s a -> Tagged s a -> Tagged s a # recip :: Tagged s a -> Tagged s a # fromRational :: Rational -> Tagged s a #
Integral a => Integral (Tagged s a)
Instance details Defined in Data.Tagged Methods quot :: Tagged s a -> Tagged s a -> Tagged s a # rem :: Tagged s a -> Tagged s a -> Tagged s a # div :: Tagged s a -> Tagged s a -> Tagged s a # mod :: Tagged s a -> Tagged s a -> Tagged s a # quotRem :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) # divMod :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) # toInteger :: Tagged s a -> Integer #
Real a => Real (Tagged s a)
Instance details Defined in Data.Tagged Methods toRational :: Tagged s a -> Rational #
RealFrac a => RealFrac (Tagged s a)
Instance details Defined in Data.Tagged Methods properFraction :: Integral b => Tagged s a -> (b, Tagged s a) # truncate :: Integral b => Tagged s a -> b # round :: Integral b => Tagged s a -> b # ceiling :: Integral b => Tagged s a -> b # floor :: Integral b => Tagged s a -> b #
Show b => Show (Tagged s b)
Instance details Defined in Data.Tagged Methods showsPrec :: Int -> Tagged s b -> ShowS # show :: Tagged s b -> String # showList :: [Tagged s b] -> ShowS #
NFData b => NFData (Tagged s b)
Instance details Defined in Data.Tagged Methods rnf :: Tagged s b -> () #
Eq b => Eq (Tagged s b)
Instance details Defined in Data.Tagged Methods (==) :: Tagged s b -> Tagged s b -> Bool # (/=) :: Tagged s b -> Tagged s b -> Bool #
Ord b => Ord (Tagged s b)
Instance details Defined in Data.Tagged Methods compare :: Tagged s b -> Tagged s b -> Ordering # (<) :: Tagged s b -> Tagged s b -> Bool # (<=) :: Tagged s b -> Tagged s b -> Bool # (>) :: Tagged s b -> Tagged s b -> Bool # (>=) :: Tagged s b -> Tagged s b -> Bool # max :: Tagged s b -> Tagged s b -> Tagged s b # min :: Tagged s b -> Tagged s b -> Tagged s b #
FromJSON b => FromJSON (Tagged a b)
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Tagged a b) # parseJSONList :: Value -> Parser [Tagged a b] # omittedField :: Maybe (Tagged a b) #
FromJSONKey b => FromJSONKey (Tagged a b)
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction (Tagged a b) # fromJSONKeyList :: FromJSONKeyFunction [Tagged a b] #
ToJSON b => ToJSON (Tagged a b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Tagged a b -> Value # toEncoding :: Tagged a b -> Encoding # toJSONList :: [Tagged a b] -> Value # toEncodingList :: [Tagged a b] -> Encoding # omitField :: Tagged a b -> Bool #
ToJSONKey b => ToJSONKey (Tagged a b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction (Tagged a b) # toJSONKeyList :: ToJSONKeyFunction [Tagged a b] #
type Rep1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged type Rep1 (Tagged s :: Type -> Type) = D1 ('MetaData "Tagged" "Data.Tagged" "tggd-0.8.9-81da49a2" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type Rep (Tagged s b)
Instance details Defined in Data.Tagged type Rep (Tagged s b) = D1 ('MetaData "Tagged" "Data.Tagged" "tggd-0.8.9-81da49a2" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

data TransferRequest Source #

Constructors

TransferRequest
Fields data_type :: DataType "transfer" submission_id :: Id Submission label :: Maybe Text source_endpoint :: Id Collection destination_endpoint :: Id Collection data_ :: [TransferItem] sync_level :: SyncLevel store_base_path_info :: Bool

Instances

Instances details

Generic TransferRequest Source #
Instance details Defined in Network.Globus.Transfer Associated Types type Rep TransferRequest :: Type -> Type # Methods from :: TransferRequest -> Rep TransferRequest x # to :: Rep TransferRequest x -> TransferRequest #
ToJSON TransferRequest Source #
Instance details Defined in Network.Globus.Transfer Methods toJSON :: TransferRequest -> Value # toEncoding :: TransferRequest -> Encoding # toJSONList :: [TransferRequest] -> Value # toEncodingList :: [TransferRequest] -> Encoding # omitField :: TransferRequest -> Bool #
type Rep TransferRequest Source #
Instance details Defined in Network.Globus.Transfer type Rep TransferRequest = D1 ('MetaData "TransferRequest" "Network.Globus.Transfer" "globus-0.2.1-inplace" 'False) (C1 ('MetaCons "TransferRequest" 'PrefixI 'True) (((S1 ('MetaSel ('Just "data_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (DataType "transfer")) :: S1 ('MetaSel ('Just "submission_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Id 'Submission))) :: (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "source_endpoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Id 'Collection)))) :: ((S1 ('MetaSel ('Just "destination_endpoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Id 'Collection)) :: S1 ('MetaSel ('Just "data_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TransferItem])) :: (S1 ('MetaSel ('Just "sync_level") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SyncLevel) :*: S1 ('MetaSel ('Just "store_base_path_info") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))))

data TransferResponse Source #

Constructors

TransferResponse
Fields task_id :: Id Task submission_id :: Id Submission message :: Text resource :: Text request_id :: Token Request

Instances

Instances details

Generic TransferResponse Source #
Instance details Defined in Network.Globus.Transfer Associated Types type Rep TransferResponse :: Type -> Type # Methods from :: TransferResponse -> Rep TransferResponse x # to :: Rep TransferResponse x -> TransferResponse #
FromJSON TransferResponse Source #
Instance details Defined in Network.Globus.Transfer Methods parseJSON :: Value -> Parser TransferResponse # parseJSONList :: Value -> Parser [TransferResponse] # omittedField :: Maybe TransferResponse #
type Rep TransferResponse Source #
Instance details Defined in Network.Globus.Transfer type Rep TransferResponse = D1 ('MetaData "TransferResponse" "Network.Globus.Transfer" "globus-0.2.1-inplace" 'False) (C1 ('MetaCons "TransferResponse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "task_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Id Task)) :: S1 ('MetaSel ('Just "submission_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Id 'Submission))) :: (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "resource") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "request_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Token Request))))))

data TransferItem Source #

Constructors

TransferItem
Fields data_type :: DataType "transfer_item" source_path :: FilePath destination_path :: FilePath recursive :: Bool

Instances

Instances details

Generic TransferItem Source #
Instance details Defined in Network.Globus.Transfer Associated Types type Rep TransferItem :: Type -> Type # Methods from :: TransferItem -> Rep TransferItem x # to :: Rep TransferItem x -> TransferItem #
ToJSON TransferItem Source #
Instance details Defined in Network.Globus.Transfer Methods toJSON :: TransferItem -> Value # toEncoding :: TransferItem -> Encoding # toJSONList :: [TransferItem] -> Value # toEncodingList :: [TransferItem] -> Encoding # omitField :: TransferItem -> Bool #
type Rep TransferItem Source #
Instance details Defined in Network.Globus.Transfer type Rep TransferItem = D1 ('MetaData "TransferItem" "Network.Globus.Transfer" "globus-0.2.1-inplace" 'False) (C1 ('MetaCons "TransferItem" 'PrefixI 'True) ((S1 ('MetaSel ('Just "data_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (DataType "transfer_item")) :: S1 ('MetaSel ('Just "source_path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FilePath)) :: (S1 ('MetaSel ('Just "destination_path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "recursive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

data SyncLevel Source #

Constructors

SyncExists
SyncSize
SyncTimestamp
SyncChecksum

Instances

Instances details

ToJSON SyncLevel Source #
Instance details Defined in Network.Globus.Transfer Methods toJSON :: SyncLevel -> Value # toEncoding :: SyncLevel -> Encoding # toJSONList :: [SyncLevel] -> Value # toEncodingList :: [SyncLevel] -> Encoding # omitField :: SyncLevel -> Bool #

data Task Source #

Constructors

Task
Fields status :: TaskStatus task_id :: Id Task label :: Text files :: Int directories :: Int files_skipped :: Int files_transferred :: Int bytes_transferred :: Int bytes_checksummed :: Int effective_bytes_per_second :: Int nice_status :: Maybe Text source_endpoint_id :: Id Collection destination_endpoint_id :: Id Collection

Instances

Instances details

Generic Task Source #
Instance details Defined in Network.Globus.Transfer Associated Types type Rep Task :: Type -> Type # Methods from :: Task -> Rep Task x # to :: Rep Task x -> Task #
Show Task Source #
Instance details Defined in Network.Globus.Transfer Methods showsPrec :: Int -> Task -> ShowS # show :: Task -> String # showList :: [Task] -> ShowS #
Eq Task Source #
Instance details Defined in Network.Globus.Transfer Methods (==) :: Task -> Task -> Bool # (/=) :: Task -> Task -> Bool #
FromJSON Task Source #
Instance details Defined in Network.Globus.Transfer Methods parseJSON :: Value -> Parser Task # parseJSONList :: Value -> Parser [Task] # omittedField :: Maybe Task #
type Rep Task Source #
Instance details Defined in Network.Globus.Transfer type Rep Task = D1 ('MetaData "Task" "Network.Globus.Transfer" "globus-0.2.1-inplace" 'False) (C1 ('MetaCons "Task" 'PrefixI 'True) (((S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TaskStatus) :: (S1 ('MetaSel ('Just "task_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Id Task)) :: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) :: (S1 ('MetaSel ('Just "files") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Just "directories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "files_skipped") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))) :: ((S1 ('MetaSel ('Just "files_transferred") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Just "bytes_transferred") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "bytes_checksummed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))) :: ((S1 ('MetaSel ('Just "effective_bytes_per_second") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "nice_status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))) :: (S1 ('MetaSel ('Just "source_endpoint_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Id 'Collection)) :: S1 ('MetaSel ('Just "destination_endpoint_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Id 'Collection)))))))

data TaskStatus Source #

Constructors

Active
Inactive
Succeeded
Failed

Instances

Instances details

Generic TaskStatus Source #
Instance details Defined in Network.Globus.Transfer Associated Types type Rep TaskStatus :: Type -> Type # Methods from :: TaskStatus -> Rep TaskStatus x # to :: Rep TaskStatus x -> TaskStatus #
Show TaskStatus Source #
Instance details Defined in Network.Globus.Transfer Methods showsPrec :: Int -> TaskStatus -> ShowS # show :: TaskStatus -> String # showList :: [TaskStatus] -> ShowS #
Eq TaskStatus Source #
Instance details Defined in Network.Globus.Transfer Methods (==) :: TaskStatus -> TaskStatus -> Bool # (/=) :: TaskStatus -> TaskStatus -> Bool #
FromJSON TaskStatus Source #
Instance details Defined in Network.Globus.Transfer Methods parseJSON :: Value -> Parser TaskStatus # parseJSONList :: Value -> Parser [TaskStatus] # omittedField :: Maybe TaskStatus #
type Rep TaskStatus Source #
Instance details Defined in Network.Globus.Transfer type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Network.Globus.Transfer" "globus-0.2.1-inplace" 'False) ((C1 ('MetaCons "Active" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Inactive" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Succeeded" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Failed" 'PrefixI 'False) (U1 :: Type -> Type)))

newtype TaskFilters Source #

Constructors

TaskFilters
Fields status :: [TaskStatus]

Instances

Instances details

Monoid TaskFilters Source #
Instance details Defined in Network.Globus.Transfer Methods mempty :: TaskFilters # mappend :: TaskFilters -> TaskFilters -> TaskFilters # mconcat :: [TaskFilters] -> TaskFilters #
Semigroup TaskFilters Source #
Instance details Defined in Network.Globus.Transfer Methods (<>) :: TaskFilters -> TaskFilters -> TaskFilters # sconcat :: NonEmpty TaskFilters -> TaskFilters # stimes :: Integral b => b -> TaskFilters -> TaskFilters #
Show TaskFilters Source #
Instance details Defined in Network.Globus.Transfer Methods showsPrec :: Int -> TaskFilters -> ShowS # show :: TaskFilters -> String # showList :: [TaskFilters] -> ShowS #
Eq TaskFilters Source #
Instance details Defined in Network.Globus.Transfer Methods (==) :: TaskFilters -> TaskFilters -> Bool # (/=) :: TaskFilters -> TaskFilters -> Bool #

data TaskList Source #

Constructors

TaskList
Fields length :: Int limit :: Int offset :: Int total :: Int data_ :: [Task]

Instances

Instances details

Generic TaskList Source #
Instance details Defined in Network.Globus.Transfer Associated Types type Rep TaskList :: Type -> Type # Methods from :: TaskList -> Rep TaskList x # to :: Rep TaskList x -> TaskList #
Show TaskList Source #
Instance details Defined in Network.Globus.Transfer Methods showsPrec :: Int -> TaskList -> ShowS # show :: TaskList -> String # showList :: [TaskList] -> ShowS #
FromJSON TaskList Source #
Instance details Defined in Network.Globus.Transfer Methods parseJSON :: Value -> Parser TaskList # parseJSONList :: Value -> Parser [TaskList] # omittedField :: Maybe TaskList #
type Rep TaskList Source #
Instance details Defined in Network.Globus.Transfer type Rep TaskList = D1 ('MetaData "TaskList" "Network.Globus.Transfer" "globus-0.2.1-inplace" 'False) (C1 ('MetaCons "TaskList" 'PrefixI 'True) ((S1 ('MetaSel ('Just "length") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "limit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :: (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Just "total") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "data_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Task])))))

newtype State Source #

Opaque secret identifying the user. Validate on redirect

Constructors

State Text

Instances

Instances details

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

data DataType (s :: Symbol) Source #

Constructors

DataType

Instances

Instances details

FromJSON (DataType s) Source #
Instance details Defined in Network.Globus.Types Methods parseJSON :: Value -> Parser (DataType s) # parseJSONList :: Value -> Parser [DataType s] # omittedField :: Maybe (DataType s) #
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 #

type Id a = Tagged a Text Source #

type Uri a = Tagged a URI Source #

data TokenItem Source #

Constructors

TokenItem
Fields scope :: Scopes access_token :: Token Access expires_in :: Int state :: State

Instances

Instances details

Generic TokenItem Source #
Instance details Defined in Network.Globus.Types Associated Types type Rep TokenItem :: Type -> Type # Methods from :: TokenItem -> Rep TokenItem x # to :: Rep TokenItem x -> TokenItem #
Show TokenItem Source #
Instance details Defined in Network.Globus.Types Methods showsPrec :: Int -> TokenItem -> ShowS # show :: TokenItem -> String # showList :: [TokenItem] -> ShowS #
Eq TokenItem Source #
Instance details Defined in Network.Globus.Types Methods (==) :: TokenItem -> TokenItem -> Bool # (/=) :: TokenItem -> TokenItem -> Bool #
FromJSON TokenItem Source #
Instance details Defined in Network.Globus.Types Methods parseJSON :: Value -> Parser TokenItem # parseJSONList :: Value -> Parser [TokenItem] # omittedField :: Maybe TokenItem #
type Rep TokenItem Source #
Instance details Defined in Network.Globus.Types type Rep TokenItem = D1 ('MetaData "TokenItem" "Network.Globus.Types" "globus-0.2.1-inplace" 'False) (C1 ('MetaCons "TokenItem" 'PrefixI 'True) ((S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Scopes) :: S1 ('MetaSel ('Just "access_token") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Token 'Access))) :: (S1 ('MetaSel ('Just "expires_in") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 State))))

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 #
Eq Scopes Source #
Instance details Defined in Network.Globus.Types Methods (==) :: Scopes -> Scopes -> Bool # (/=) :: Scopes -> Scopes -> Bool #
FromJSON Scopes Source #
Instance details Defined in Network.Globus.Types Methods parseJSON :: Value -> Parser Scopes # parseJSONList :: Value -> Parser [Scopes] # omittedField :: Maybe Scopes #

type Token a = Tagged a Text Source #

data GlobusError Source #

Constructors

InvalidURI String URI
Unauthorized Request ByteString
ResponseBadStatus Request Status ByteString
ResponseBadJSON Request String ByteString
MissingScope Scope (NonEmpty TokenItem)

Instances

Instances details

Exception GlobusError Source #
Instance details Defined in Network.Globus.Types Methods toException :: GlobusError -> SomeException # fromException :: SomeException -> Maybe GlobusError # displayException :: GlobusError -> String #
Show GlobusError Source #
Instance details Defined in Network.Globus.Types Methods showsPrec :: Int -> GlobusError -> ShowS # show :: GlobusError -> String # showList :: [GlobusError] -> ShowS #

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 Token' Source #

Constructors

ClientId
ClientSecret
Exchange
Access

data Id' Source #

Constructors

Submission
Request
Collection

data DataKey s Source #

Constructors

DataKey
Fields data_type :: DataType s value :: Text

Instances

Instances details

Generic (DataKey s) Source #
Instance details Defined in Network.Globus.Types Associated Types type Rep (DataKey s) :: Type -> Type # Methods from :: DataKey s -> Rep (DataKey s) x # to :: Rep (DataKey s) x -> DataKey s #
FromJSON (DataKey s) Source #
Instance details Defined in Network.Globus.Types Methods parseJSON :: Value -> Parser (DataKey s) # parseJSONList :: Value -> Parser [DataKey s] # omittedField :: Maybe (DataKey s) #
type Rep (DataKey s) Source #
Instance details Defined in Network.Globus.Types type Rep (DataKey s) = D1 ('MetaData "DataKey" "Network.Globus.Types" "globus-0.2.1-inplace" 'False) (C1 ('MetaCons "DataKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "data_type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (DataType s)) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data Endpoint Source #

Constructors

Redirect
Authorization
Tokens
App

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 #

(/:) :: Uri a -> String -> Uri a infixl 5 Source #

renderUri :: Uri a -> Text Source #

scope :: Text -> Maybe Scope Source #

dataLabelsToJSON :: (Generic a, GToJSON' Value Zero (Rep a)) => a -> Value Source #

dataLabels :: String -> String Source #

dataLabelsFromJSON :: (Generic a, GFromJSON Zero (Rep a)) => Value -> Parser a Source #

scopeText :: Scope -> Text Source #

requireScopeToken :: Error GlobusError :> es => Scope -> NonEmpty TokenItem -> Eff es (Token a) Source #