Safe Haskell	None
Language	GHC2021

Effectful.Globus

Synopsis

data Globus (a :: Type -> Type) b where
- AuthUrl :: forall (a :: Type -> Type). Uri 'Redirect -> NonEmpty Scope -> State -> Globus a (Tagged 'Authorization URI)
- GetUserInfo :: forall (a :: Type -> Type). Token 'OpenId -> Globus a UserInfoResponse
- GetAccessTokens :: forall (a :: Type -> Type). Token 'Exchange -> Uri 'Redirect -> Globus a (NonEmpty TokenItem)
- GetSubmissionId :: forall (a :: Type -> Type). Token 'Access -> Globus a (Tagged 'Submission Text)
- Transfer :: forall (a :: Type -> Type). Token 'Access -> TransferRequest -> Globus a TransferResponse
- StatusTask :: forall (a :: Type -> Type). Token 'Access -> Id Task -> Globus a Task
- StatusTasks :: forall (a :: Type -> Type). Token 'Access -> TaskFilters -> Globus a TaskList
data GlobusClient = GlobusClient {
- clientId :: Token 'ClientId
- clientSecret :: Token 'ClientSecret
}
runGlobus :: forall (es :: [Effect]) a. (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 Endpoint
- = Redirect
- | Authorization
- | Tokens
- | App
data Scope
- = TransferAll
- | Identity ScopeIdentity
data DataType (s :: Symbol) = DataType
data TokenItem = TokenItem {
- scope :: Scopes
- access_token :: Token 'Access
- expires_in :: Int
- state :: State
}
data DataKey (s :: Symbol) = DataKey {
- data_type :: DataType s
- value :: Text
}
data Id'
- = Submission
- | Request
- | Collection
type Id (a :: k) = Tagged a Text
(/:) :: forall {k} (a :: k). Uri a -> String -> Uri a
type Uri (a :: k) = Tagged a URI
renderUri :: forall {k} (a :: k). Uri a -> Text
scope :: Text -> Maybe Scope
newtype Scopes = Scopes (NonEmpty Scope)
type Token (a :: k) = Tagged a Text
data Token'
- = ClientId
- | ClientSecret
- | Exchange
- | Access
data GlobusError
- = InvalidURI String URI
- | Unauthorized Request ByteString
- | ResponseBadStatus Request Status ByteString
- | ResponseBadJSON Request String ByteString
- | MissingScope Scope (NonEmpty TokenItem)
dataLabelsToJSON :: (Generic a, GToJSON' Value Zero (Rep a)) => a -> Value
dataLabels :: String -> String
dataLabelsFromJSON :: (Generic a, GFromJSON Zero (Rep a)) => Value -> Parser a
data ScopeIdentity
- = OpenId
- | Email
- | Profile
scopeText :: Scope -> Text
requireScopeToken :: forall {k} (es :: [Effect]) (a :: k). Error GlobusError :> es => Scope -> NonEmpty TokenItem -> Eff es (Token a)

Documentation

data Globus (a :: Type -> Type) b where Source #

Constructors

AuthUrl :: forall (a :: Type -> Type). Uri 'Redirect -> NonEmpty Scope -> State -> Globus a (Tagged 'Authorization URI)
GetUserInfo :: forall (a :: Type -> Type). Token 'OpenId -> Globus a UserInfoResponse
GetAccessTokens :: forall (a :: Type -> Type). Token 'Exchange -> Uri 'Redirect -> Globus a (NonEmpty TokenItem)
GetSubmissionId :: forall (a :: Type -> Type). Token 'Access -> Globus a (Tagged 'Submission Text)
Transfer :: forall (a :: Type -> Type). Token 'Access -> TransferRequest -> Globus a TransferResponse
StatusTask :: forall (a :: Type -> Type). Token 'Access -> Id Task -> Globus a Task
StatusTasks :: forall (a :: Type -> Type). Token 'Access -> TaskFilters -> Globus a 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 :: forall (es :: [Effect]) a. (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 :: Type -> Type)
Instance details Defined in Data.Tagged type Rep1 (Tagged s :: Type -> Type) = D1 ('MetaData "Tagged" "Data.Tagged" "tggd-0.8.9-14298e90" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

Methods

from1 :: Tagged s a -> Rep1 (Tagged s) a #

to1 :: 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 #

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 #

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 #

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 #

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) #

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 #

NFData b => NFData (Tagged s b)

Instance details

Defined in Data.Tagged

Methods

rnf :: Tagged s b -> () #

(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 #

(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 #

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 #

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 () #

Generic (Tagged s b)

Instance details

Defined in Data.Tagged

Associated Types

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-14298e90" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

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 #

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 #

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-14298e90" '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-14298e90" '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

Instance details

Defined in Network.Globus.Transfer

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

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

Instance details

Defined in Network.Globus.Transfer

type Rep TransferResponse = D1 ('MetaData "TransferResponse" "Network.Globus.Transfer" "globus-0.2.0-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))))))

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.0-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

Instance details

Defined in Network.Globus.Transfer

type Rep TransferItem = D1 ('MetaData "TransferItem" "Network.Globus.Transfer" "globus-0.2.0-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))))

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.0-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

Instance details

Defined in Network.Globus.Transfer

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

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

Instance details

Defined in Network.Globus.Transfer

type Rep TaskStatus = D1 ('MetaData "TaskStatus" "Network.Globus.Transfer" "globus-0.2.0-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)))

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.0-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

Instance details

Defined in Network.Globus.Transfer

type Rep TaskList = D1 ('MetaData "TaskList" "Network.Globus.Transfer" "globus-0.2.0-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])))))

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.0-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 Endpoint Source #

Constructors

Redirect
Authorization
Tokens
App

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 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 #

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

Instance details

Defined in Network.Globus.Types

type Rep TokenItem = D1 ('MetaData "TokenItem" "Network.Globus.Types" "globus-0.2.0-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))))

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.0-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))))

data DataKey (s :: Symbol) 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)

Instance details

Defined in Network.Globus.Types

type Rep (DataKey s) = D1 ('MetaData "DataKey" "Network.Globus.Types" "globus-0.2.0-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)))

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.0-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 Id' Source #

Constructors

Submission
Request
Collection

type Id (a :: k) = Tagged a Text Source #

(/:) :: forall {k} (a :: k). Uri a -> String -> Uri a infixl 5 Source #

type Uri (a :: k) = Tagged a URI Source #

renderUri :: forall {k} (a :: k). Uri a -> 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 #
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 :: k) = Tagged a Text Source #

data Token' Source #

Constructors

ClientId
ClientSecret
Exchange
Access

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 # backtraceDesired :: GlobusError -> Bool #
Show GlobusError Source #
Instance details Defined in Network.Globus.Types Methods showsPrec :: Int -> GlobusError -> ShowS # show :: GlobusError -> String # showList :: [GlobusError] -> ShowS #

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 #

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 #

requireScopeToken :: forall {k} (es :: [Effect]) (a :: k). Error GlobusError :> es => Scope -> NonEmpty TokenItem -> Eff es (Token a) Source #