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)
- SubmissionId :: 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 => GlobusClient -> 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 :: Token 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]
}
module Network.Globus.Types
data Scheme
- = Http
- | Https

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)
SubmissionId :: 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 => GlobusClient -> 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

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

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 #
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 #
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 #
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 #
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 #
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] #
(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 #
FromFormKey a => FromFormKey (Tagged b a)
Instance details Defined in Web.Internal.FormUrlEncoded Methods parseFormKey :: Text -> Either Text (Tagged b a) #
ToFormKey a => ToFormKey (Tagged b a)
Instance details Defined in Web.Internal.FormUrlEncoded Methods toFormKey :: Tagged b a -> Text #
FromHttpApiData a => FromHttpApiData (Tagged b a)	Note: this instance is not polykinded
Instance details Defined in Web.Internal.HttpApiData Methods parseUrlPiece :: Text -> Either Text (Tagged b a) # parseHeader :: ByteString -> Either Text (Tagged b a) # parseQueryParam :: Text -> Either Text (Tagged b a) #
ToHttpApiData a => ToHttpApiData (Tagged b a)	Note: this instance is not polykinded
Instance details Defined in Web.Internal.HttpApiData Methods toUrlPiece :: Tagged b a -> Text # toEncodedUrlPiece :: Tagged b a -> Builder # toHeader :: Tagged b a -> ByteString # toQueryParam :: Tagged b a -> Text # toEncodedQueryParam :: Tagged b a -> Builder #
type Rep1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged type Rep1 (Tagged s :: Type -> Type) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.8-5pABEsRRePW4CriBGxxhqf" '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" "tagged-0.8.8-5pABEsRRePW4CriBGxxhqf" '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

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 #
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 #
type Rep TransferRequest Source #
Instance details Defined in Network.Globus.Transfer type Rep TransferRequest = D1 ('MetaData "TransferRequest" "Network.Globus.Transfer" "globus-0.1.3-717zbk1pF7jBkH3Wb8XUPf" '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 :: Token Submission message :: Text resource :: Text request_id :: Token Request

Instances

Instances details

FromJSON TransferResponse Source #
Instance details Defined in Network.Globus.Transfer Methods parseJSON :: Value -> Parser TransferResponse # parseJSONList :: Value -> Parser [TransferResponse] # omittedField :: Maybe TransferResponse #
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 #
Show TransferResponse Source #
Instance details Defined in Network.Globus.Transfer Methods showsPrec :: Int -> TransferResponse -> ShowS # show :: TransferResponse -> String # showList :: [TransferResponse] -> ShowS #
type Rep TransferResponse Source #
Instance details Defined in Network.Globus.Transfer type Rep TransferResponse = D1 ('MetaData "TransferResponse" "Network.Globus.Transfer" "globus-0.1.3-717zbk1pF7jBkH3Wb8XUPf" '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 (Token '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

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 #
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 #
type Rep TransferItem Source #
Instance details Defined in Network.Globus.Transfer type Rep TransferItem = D1 ('MetaData "TransferItem" "Network.Globus.Transfer" "globus-0.1.3-717zbk1pF7jBkH3Wb8XUPf" '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

FromJSON Task Source #
Instance details Defined in Network.Globus.Transfer Methods parseJSON :: Value -> Parser Task # parseJSONList :: Value -> Parser [Task] # omittedField :: Maybe Task #
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 #
type Rep Task Source #
Instance details Defined in Network.Globus.Transfer type Rep Task = D1 ('MetaData "Task" "Network.Globus.Transfer" "globus-0.1.3-717zbk1pF7jBkH3Wb8XUPf" '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

FromJSON TaskStatus Source #
Instance details Defined in Network.Globus.Transfer Methods parseJSON :: Value -> Parser TaskStatus # parseJSONList :: Value -> Parser [TaskStatus] # omittedField :: Maybe TaskStatus #
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 #
type Rep TaskStatus Source #
Instance details Defined in Network.Globus.Transfer type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Network.Globus.Transfer" "globus-0.1.3-717zbk1pF7jBkH3Wb8XUPf" '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

FromJSON TaskList Source #
Instance details Defined in Network.Globus.Transfer Methods parseJSON :: Value -> Parser TaskList # parseJSONList :: Value -> Parser [TaskList] # omittedField :: Maybe TaskList #
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 #
type Rep TaskList Source #
Instance details Defined in Network.Globus.Transfer type Rep TaskList = D1 ('MetaData "TaskList" "Network.Globus.Transfer" "globus-0.1.3-717zbk1pF7jBkH3Wb8XUPf" '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])))))

module Network.Globus.Types

data Scheme #

A type-level tag that specifies URL scheme used (and thus if HTTPS is enabled). This is used to force TLS requirement for some authentication Options.

Constructors

Http	HTTP
Https	HTTPS

Instances

Instances details

Data Scheme
Instance details Defined in Network.HTTP.Req Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Scheme -> c Scheme # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Scheme # toConstr :: Scheme -> Constr # dataTypeOf :: Scheme -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Scheme) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Scheme) # gmapT :: (forall b. Data b => b -> b) -> Scheme -> Scheme # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Scheme -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Scheme -> r # gmapQ :: (forall d. Data d => d -> u) -> Scheme -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Scheme -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Scheme -> m Scheme # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Scheme -> m Scheme # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Scheme -> m Scheme #
Generic Scheme
Instance details Defined in Network.HTTP.Req Associated Types type Rep Scheme :: Type -> Type # Methods from :: Scheme -> Rep Scheme x # to :: Rep Scheme x -> Scheme #
Show Scheme
Instance details Defined in Network.HTTP.Req Methods showsPrec :: Int -> Scheme -> ShowS # show :: Scheme -> String # showList :: [Scheme] -> ShowS #
Eq Scheme
Instance details Defined in Network.HTTP.Req Methods (==) :: Scheme -> Scheme -> Bool # (/=) :: Scheme -> Scheme -> Bool #
Ord Scheme
Instance details Defined in Network.HTTP.Req Methods compare :: Scheme -> Scheme -> Ordering # (<) :: Scheme -> Scheme -> Bool # (<=) :: Scheme -> Scheme -> Bool # (>) :: Scheme -> Scheme -> Bool # (>=) :: Scheme -> Scheme -> Bool # max :: Scheme -> Scheme -> Scheme # min :: Scheme -> Scheme -> Scheme #
Lift Scheme
Instance details Defined in Network.HTTP.Req Methods lift :: Quote m => Scheme -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Scheme -> Code m Scheme #
type Rep Scheme
Instance details Defined in Network.HTTP.Req type Rep Scheme = D1 ('MetaData "Scheme" "Network.HTTP.Req" "req-3.13.4-3OkOD7ZSlxM3sR48Xw4xIl" 'False) (C1 ('MetaCons "Http" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Https" 'PrefixI 'False) (U1 :: Type -> Type))