packages feed

globus 0.2.0 → 0.2.1

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~filepathPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: filepath

API changes (from Hackage documentation)

- Effectful.Globus: [access_token] :: TokenItem -> Token 'Access
- Effectful.Globus: [bytes_checksummed] :: Task -> Int
- Effectful.Globus: [bytes_transferred] :: Task -> Int
- Effectful.Globus: [clientId] :: GlobusClient -> Token 'ClientId
- Effectful.Globus: [clientSecret] :: GlobusClient -> Token 'ClientSecret
- Effectful.Globus: [data_] :: TaskList -> [Task]
- Effectful.Globus: [data_type] :: DataKey (s :: Symbol) -> DataType s
- Effectful.Globus: [destination_endpoint] :: TransferRequest -> Id 'Collection
- Effectful.Globus: [destination_endpoint_id] :: Task -> Id 'Collection
- Effectful.Globus: [destination_path] :: TransferItem -> FilePath
- Effectful.Globus: [directories] :: Task -> Int
- Effectful.Globus: [effective_bytes_per_second] :: Task -> Int
- Effectful.Globus: [expires_in] :: TokenItem -> Int
- Effectful.Globus: [files] :: Task -> Int
- Effectful.Globus: [files_skipped] :: Task -> Int
- Effectful.Globus: [files_transferred] :: Task -> Int
- Effectful.Globus: [label] :: Task -> Text
- Effectful.Globus: [length] :: TaskList -> Int
- Effectful.Globus: [limit] :: TaskList -> Int
- Effectful.Globus: [message] :: TransferResponse -> Text
- Effectful.Globus: [nice_status] :: Task -> Maybe Text
- Effectful.Globus: [offset] :: TaskList -> Int
- Effectful.Globus: [recursive] :: TransferItem -> Bool
- Effectful.Globus: [request_id] :: TransferResponse -> Token Request
- Effectful.Globus: [resource] :: TransferResponse -> Text
- Effectful.Globus: [scope] :: TokenItem -> Scopes
- Effectful.Globus: [source_endpoint] :: TransferRequest -> Id 'Collection
- Effectful.Globus: [source_endpoint_id] :: Task -> Id 'Collection
- Effectful.Globus: [source_path] :: TransferItem -> FilePath
- Effectful.Globus: [state] :: TokenItem -> State
- Effectful.Globus: [status] :: TaskFilters -> [TaskStatus]
- Effectful.Globus: [store_base_path_info] :: TransferRequest -> Bool
- Effectful.Globus: [submission_id] :: TransferResponse -> Id 'Submission
- Effectful.Globus: [sync_level] :: TransferRequest -> SyncLevel
- Effectful.Globus: [task_id] :: Task -> Id Task
- Effectful.Globus: [total] :: TaskList -> Int
- Effectful.Globus: [value] :: DataKey (s :: Symbol) -> Text
- Network.Globus: [access_token] :: TokenItem -> Token 'Access
- Network.Globus: [data_type] :: DataKey (s :: Symbol) -> DataType s
- Network.Globus: [expires_in] :: TokenItem -> Int
- Network.Globus: [scope] :: TokenItem -> Scopes
- Network.Globus: [state] :: TokenItem -> State
- Network.Globus: [value] :: DataKey (s :: Symbol) -> Text
- Network.Globus.Auth: [email] :: UserInfoResponse -> Maybe UserEmail
- Network.Globus.Auth: [identity_provider] :: UserProfile -> Text
- Network.Globus.Auth: [identity_provider_display_name] :: UserProfile -> Text
- Network.Globus.Auth: [info] :: UserInfoResponse -> UserInfo
- Network.Globus.Auth: [last_authentication] :: UserInfo -> Int
- Network.Globus.Auth: [name] :: UserProfile -> Text
- Network.Globus.Auth: [organization] :: UserProfile -> Text
- Network.Globus.Auth: [preferred_username] :: UserProfile -> Text
- Network.Globus.Auth: [profile] :: UserInfoResponse -> Maybe UserProfile
- Network.Globus.Auth: [sub] :: UserInfo -> Text
- Network.Globus.Auth: instance GHC.Internal.Generics.Generic Network.Globus.Auth.UserInfo
- Network.Globus.Auth: instance GHC.Internal.Generics.Generic Network.Globus.Auth.UserProfile
- Network.Globus.Auth: instance GHC.Internal.Show.Show Network.Globus.Auth.TokenResponse
- Network.Globus.Auth: instance GHC.Internal.Show.Show Network.Globus.Auth.UserEmail
- Network.Globus.Auth: instance GHC.Internal.Show.Show Network.Globus.Auth.UserInfo
- Network.Globus.Auth: instance GHC.Internal.Show.Show Network.Globus.Auth.UserProfile
- Network.Globus.Transfer: [bytes_checksummed] :: Task -> Int
- Network.Globus.Transfer: [bytes_transferred] :: Task -> Int
- Network.Globus.Transfer: [data_] :: TransferRequest -> [TransferItem]
- Network.Globus.Transfer: [data_type] :: TransferItem -> DataType "transfer_item"
- Network.Globus.Transfer: [destination_endpoint] :: TransferRequest -> Id 'Collection
- Network.Globus.Transfer: [destination_endpoint_id] :: Task -> Id 'Collection
- Network.Globus.Transfer: [destination_path] :: TransferItem -> FilePath
- Network.Globus.Transfer: [directories] :: Task -> Int
- Network.Globus.Transfer: [effective_bytes_per_second] :: Task -> Int
- Network.Globus.Transfer: [files] :: Task -> Int
- Network.Globus.Transfer: [files_skipped] :: Task -> Int
- Network.Globus.Transfer: [files_transferred] :: Task -> Int
- Network.Globus.Transfer: [label] :: TransferRequest -> Maybe Text
- Network.Globus.Transfer: [length] :: TaskList -> Int
- Network.Globus.Transfer: [limit] :: TaskList -> Int
- Network.Globus.Transfer: [message] :: TransferResponse -> Text
- Network.Globus.Transfer: [nice_status] :: Task -> Maybe Text
- Network.Globus.Transfer: [offset] :: TaskList -> Int
- Network.Globus.Transfer: [recursive] :: TransferItem -> Bool
- Network.Globus.Transfer: [request_id] :: TransferResponse -> Token Request
- Network.Globus.Transfer: [resource] :: TransferResponse -> Text
- Network.Globus.Transfer: [source_endpoint] :: TransferRequest -> Id 'Collection
- Network.Globus.Transfer: [source_endpoint_id] :: Task -> Id 'Collection
- Network.Globus.Transfer: [source_path] :: TransferItem -> FilePath
- Network.Globus.Transfer: [status] :: Task -> TaskStatus
- Network.Globus.Transfer: [store_base_path_info] :: TransferRequest -> Bool
- Network.Globus.Transfer: [submission_id] :: TransferRequest -> Id 'Submission
- Network.Globus.Transfer: [sync_level] :: TransferRequest -> SyncLevel
- Network.Globus.Transfer: [task_id] :: TransferResponse -> Id Task
- Network.Globus.Transfer: [total] :: TaskList -> Int
- Network.Globus.Transfer: [value] :: IdResponse -> Text
- Network.Globus.Transfer: instance GHC.Internal.Base.Monoid Network.Globus.Transfer.TaskFilters
- Network.Globus.Transfer: instance GHC.Internal.Base.Semigroup Network.Globus.Transfer.TaskFilters
- Network.Globus.Transfer: instance GHC.Internal.Generics.Generic Network.Globus.Transfer.IdResponse
- Network.Globus.Transfer: instance GHC.Internal.Generics.Generic Network.Globus.Transfer.Task
- Network.Globus.Transfer: instance GHC.Internal.Generics.Generic Network.Globus.Transfer.TaskList
- Network.Globus.Transfer: instance GHC.Internal.Generics.Generic Network.Globus.Transfer.TaskStatus
- Network.Globus.Transfer: instance GHC.Internal.Generics.Generic Network.Globus.Transfer.TransferItem
- Network.Globus.Transfer: instance GHC.Internal.Generics.Generic Network.Globus.Transfer.TransferRequest
- Network.Globus.Transfer: instance GHC.Internal.Generics.Generic Network.Globus.Transfer.TransferResponse
- Network.Globus.Transfer: instance GHC.Internal.Show.Show Network.Globus.Transfer.IdResponse
- Network.Globus.Transfer: instance GHC.Internal.Show.Show Network.Globus.Transfer.Task
- Network.Globus.Transfer: instance GHC.Internal.Show.Show Network.Globus.Transfer.TaskFilters
- Network.Globus.Transfer: instance GHC.Internal.Show.Show Network.Globus.Transfer.TaskList
- Network.Globus.Transfer: instance GHC.Internal.Show.Show Network.Globus.Transfer.TaskStatus
- Network.Globus.Types: [access_token] :: TokenItem -> Token 'Access
- Network.Globus.Types: [data_type] :: DataKey (s :: Symbol) -> DataType s
- Network.Globus.Types: [expires_in] :: TokenItem -> Int
- Network.Globus.Types: [scope] :: TokenItem -> Scopes
- Network.Globus.Types: [state] :: TokenItem -> State
- Network.Globus.Types: [value] :: DataKey (s :: Symbol) -> Text
- Network.Globus.Types: instance GHC.Internal.Data.String.IsString Network.Globus.Types.State
- Network.Globus.Types: instance GHC.Internal.Exception.Type.Exception Network.Globus.Types.GlobusError
- Network.Globus.Types: instance GHC.Internal.Generics.Generic (Network.Globus.Types.DataKey s)
- Network.Globus.Types: instance GHC.Internal.Generics.Generic Network.Globus.Types.TokenItem
- Network.Globus.Types: instance GHC.Internal.Show.Show Network.Globus.Types.GlobusError
- Network.Globus.Types: instance GHC.Internal.Show.Show Network.Globus.Types.Scope
- Network.Globus.Types: instance GHC.Internal.Show.Show Network.Globus.Types.ScopeIdentity
- Network.Globus.Types: instance GHC.Internal.Show.Show Network.Globus.Types.Scopes
- Network.Globus.Types: instance GHC.Internal.Show.Show Network.Globus.Types.State
- Network.Globus.Types: instance GHC.Internal.Show.Show Network.Globus.Types.TokenItem
- Network.Globus.Types: instance GHC.Internal.TypeLits.KnownSymbol s => Data.Aeson.Types.ToJSON.ToJSON (Network.Globus.Types.DataType s)
+ Effectful.Globus: [$sel:access_token:TokenItem] :: TokenItem -> Token Access
+ Effectful.Globus: [$sel:bytes_checksummed:Task] :: Task -> Int
+ Effectful.Globus: [$sel:bytes_transferred:Task] :: Task -> Int
+ Effectful.Globus: [$sel:clientId:GlobusClient] :: GlobusClient -> Token ClientId
+ Effectful.Globus: [$sel:clientSecret:GlobusClient] :: GlobusClient -> Token ClientSecret
+ Effectful.Globus: [$sel:data_:TaskList] :: TaskList -> [Task]
+ Effectful.Globus: [$sel:data_:TransferRequest] :: TransferRequest -> [TransferItem]
+ Effectful.Globus: [$sel:data_type:DataKey] :: DataKey s -> DataType s
+ Effectful.Globus: [$sel:data_type:TransferItem] :: TransferItem -> DataType "transfer_item"
+ Effectful.Globus: [$sel:data_type:TransferRequest] :: TransferRequest -> DataType "transfer"
+ Effectful.Globus: [$sel:destination_endpoint:TransferRequest] :: TransferRequest -> Id Collection
+ Effectful.Globus: [$sel:destination_endpoint_id:Task] :: Task -> Id Collection
+ Effectful.Globus: [$sel:destination_path:TransferItem] :: TransferItem -> FilePath
+ Effectful.Globus: [$sel:directories:Task] :: Task -> Int
+ Effectful.Globus: [$sel:effective_bytes_per_second:Task] :: Task -> Int
+ Effectful.Globus: [$sel:expires_in:TokenItem] :: TokenItem -> Int
+ Effectful.Globus: [$sel:files:Task] :: Task -> Int
+ Effectful.Globus: [$sel:files_skipped:Task] :: Task -> Int
+ Effectful.Globus: [$sel:files_transferred:Task] :: Task -> Int
+ Effectful.Globus: [$sel:label:Task] :: Task -> Text
+ Effectful.Globus: [$sel:label:TransferRequest] :: TransferRequest -> Maybe Text
+ Effectful.Globus: [$sel:length:TaskList] :: TaskList -> Int
+ Effectful.Globus: [$sel:limit:TaskList] :: TaskList -> Int
+ Effectful.Globus: [$sel:message:TransferResponse] :: TransferResponse -> Text
+ Effectful.Globus: [$sel:nice_status:Task] :: Task -> Maybe Text
+ Effectful.Globus: [$sel:offset:TaskList] :: TaskList -> Int
+ Effectful.Globus: [$sel:recursive:TransferItem] :: TransferItem -> Bool
+ Effectful.Globus: [$sel:request_id:TransferResponse] :: TransferResponse -> Token Request
+ Effectful.Globus: [$sel:resource:TransferResponse] :: TransferResponse -> Text
+ Effectful.Globus: [$sel:scope:TokenItem] :: TokenItem -> Scopes
+ Effectful.Globus: [$sel:source_endpoint:TransferRequest] :: TransferRequest -> Id Collection
+ Effectful.Globus: [$sel:source_endpoint_id:Task] :: Task -> Id Collection
+ Effectful.Globus: [$sel:source_path:TransferItem] :: TransferItem -> FilePath
+ Effectful.Globus: [$sel:state:TokenItem] :: TokenItem -> State
+ Effectful.Globus: [$sel:status:TaskFilters] :: TaskFilters -> [TaskStatus]
+ Effectful.Globus: [$sel:status:Task] :: Task -> TaskStatus
+ Effectful.Globus: [$sel:store_base_path_info:TransferRequest] :: TransferRequest -> Bool
+ Effectful.Globus: [$sel:submission_id:TransferRequest] :: TransferRequest -> Id Submission
+ Effectful.Globus: [$sel:submission_id:TransferResponse] :: TransferResponse -> Id Submission
+ Effectful.Globus: [$sel:sync_level:TransferRequest] :: TransferRequest -> SyncLevel
+ Effectful.Globus: [$sel:task_id:Task] :: Task -> Id Task
+ Effectful.Globus: [$sel:task_id:TransferResponse] :: TransferResponse -> Id Task
+ Effectful.Globus: [$sel:total:TaskList] :: TaskList -> Int
+ Effectful.Globus: [$sel:value:DataKey] :: DataKey s -> Text
+ Network.Globus: [$sel:access_token:TokenItem] :: TokenItem -> Token Access
+ Network.Globus: [$sel:data_type:DataKey] :: DataKey s -> DataType s
+ Network.Globus: [$sel:expires_in:TokenItem] :: TokenItem -> Int
+ Network.Globus: [$sel:scope:TokenItem] :: TokenItem -> Scopes
+ Network.Globus: [$sel:state:TokenItem] :: TokenItem -> State
+ Network.Globus: [$sel:value:DataKey] :: DataKey s -> Text
+ Network.Globus.Auth: [$sel:email:UserInfoResponse] :: UserInfoResponse -> Maybe UserEmail
+ Network.Globus.Auth: [$sel:identity_provider:UserProfile] :: UserProfile -> Text
+ Network.Globus.Auth: [$sel:identity_provider_display_name:UserProfile] :: UserProfile -> Text
+ Network.Globus.Auth: [$sel:info:UserInfoResponse] :: UserInfoResponse -> UserInfo
+ Network.Globus.Auth: [$sel:last_authentication:UserInfo] :: UserInfo -> Int
+ Network.Globus.Auth: [$sel:name:UserProfile] :: UserProfile -> Text
+ Network.Globus.Auth: [$sel:organization:UserProfile] :: UserProfile -> Text
+ Network.Globus.Auth: [$sel:preferred_username:UserProfile] :: UserProfile -> Text
+ Network.Globus.Auth: [$sel:profile:UserInfoResponse] :: UserInfoResponse -> Maybe UserProfile
+ Network.Globus.Auth: [$sel:sub:UserInfo] :: UserInfo -> Text
+ Network.Globus.Auth: instance GHC.Generics.Generic Network.Globus.Auth.UserInfo
+ Network.Globus.Auth: instance GHC.Generics.Generic Network.Globus.Auth.UserProfile
+ Network.Globus.Auth: instance GHC.Show.Show Network.Globus.Auth.TokenResponse
+ Network.Globus.Auth: instance GHC.Show.Show Network.Globus.Auth.UserEmail
+ Network.Globus.Auth: instance GHC.Show.Show Network.Globus.Auth.UserInfo
+ Network.Globus.Auth: instance GHC.Show.Show Network.Globus.Auth.UserProfile
+ Network.Globus.Transfer: [$sel:bytes_checksummed:Task] :: Task -> Int
+ Network.Globus.Transfer: [$sel:bytes_transferred:Task] :: Task -> Int
+ Network.Globus.Transfer: [$sel:data_:TaskList] :: TaskList -> [Task]
+ Network.Globus.Transfer: [$sel:data_:TransferRequest] :: TransferRequest -> [TransferItem]
+ Network.Globus.Transfer: [$sel:data_type:TransferItem] :: TransferItem -> DataType "transfer_item"
+ Network.Globus.Transfer: [$sel:data_type:TransferRequest] :: TransferRequest -> DataType "transfer"
+ Network.Globus.Transfer: [$sel:destination_endpoint:TransferRequest] :: TransferRequest -> Id Collection
+ Network.Globus.Transfer: [$sel:destination_endpoint_id:Task] :: Task -> Id Collection
+ Network.Globus.Transfer: [$sel:destination_path:TransferItem] :: TransferItem -> FilePath
+ Network.Globus.Transfer: [$sel:directories:Task] :: Task -> Int
+ Network.Globus.Transfer: [$sel:effective_bytes_per_second:Task] :: Task -> Int
+ Network.Globus.Transfer: [$sel:files:Task] :: Task -> Int
+ Network.Globus.Transfer: [$sel:files_skipped:Task] :: Task -> Int
+ Network.Globus.Transfer: [$sel:files_transferred:Task] :: Task -> Int
+ Network.Globus.Transfer: [$sel:label:Task] :: Task -> Text
+ Network.Globus.Transfer: [$sel:label:TransferRequest] :: TransferRequest -> Maybe Text
+ Network.Globus.Transfer: [$sel:length:TaskList] :: TaskList -> Int
+ Network.Globus.Transfer: [$sel:limit:TaskList] :: TaskList -> Int
+ Network.Globus.Transfer: [$sel:message:TransferResponse] :: TransferResponse -> Text
+ Network.Globus.Transfer: [$sel:nice_status:Task] :: Task -> Maybe Text
+ Network.Globus.Transfer: [$sel:offset:TaskList] :: TaskList -> Int
+ Network.Globus.Transfer: [$sel:recursive:TransferItem] :: TransferItem -> Bool
+ Network.Globus.Transfer: [$sel:request_id:TransferResponse] :: TransferResponse -> Token Request
+ Network.Globus.Transfer: [$sel:resource:TransferResponse] :: TransferResponse -> Text
+ Network.Globus.Transfer: [$sel:source_endpoint:TransferRequest] :: TransferRequest -> Id Collection
+ Network.Globus.Transfer: [$sel:source_endpoint_id:Task] :: Task -> Id Collection
+ Network.Globus.Transfer: [$sel:source_path:TransferItem] :: TransferItem -> FilePath
+ Network.Globus.Transfer: [$sel:status:TaskFilters] :: TaskFilters -> [TaskStatus]
+ Network.Globus.Transfer: [$sel:status:Task] :: Task -> TaskStatus
+ Network.Globus.Transfer: [$sel:store_base_path_info:TransferRequest] :: TransferRequest -> Bool
+ Network.Globus.Transfer: [$sel:submission_id:TransferRequest] :: TransferRequest -> Id Submission
+ Network.Globus.Transfer: [$sel:submission_id:TransferResponse] :: TransferResponse -> Id Submission
+ Network.Globus.Transfer: [$sel:sync_level:TransferRequest] :: TransferRequest -> SyncLevel
+ Network.Globus.Transfer: [$sel:task_id:Task] :: Task -> Id Task
+ Network.Globus.Transfer: [$sel:task_id:TransferResponse] :: TransferResponse -> Id Task
+ Network.Globus.Transfer: [$sel:total:TaskList] :: TaskList -> Int
+ Network.Globus.Transfer: [$sel:value:IdResponse] :: IdResponse -> Text
+ Network.Globus.Transfer: instance GHC.Base.Monoid Network.Globus.Transfer.TaskFilters
+ Network.Globus.Transfer: instance GHC.Base.Semigroup Network.Globus.Transfer.TaskFilters
+ Network.Globus.Transfer: instance GHC.Generics.Generic Network.Globus.Transfer.IdResponse
+ Network.Globus.Transfer: instance GHC.Generics.Generic Network.Globus.Transfer.Task
+ Network.Globus.Transfer: instance GHC.Generics.Generic Network.Globus.Transfer.TaskList
+ Network.Globus.Transfer: instance GHC.Generics.Generic Network.Globus.Transfer.TaskStatus
+ Network.Globus.Transfer: instance GHC.Generics.Generic Network.Globus.Transfer.TransferItem
+ Network.Globus.Transfer: instance GHC.Generics.Generic Network.Globus.Transfer.TransferRequest
+ Network.Globus.Transfer: instance GHC.Generics.Generic Network.Globus.Transfer.TransferResponse
+ Network.Globus.Transfer: instance GHC.Show.Show Network.Globus.Transfer.IdResponse
+ Network.Globus.Transfer: instance GHC.Show.Show Network.Globus.Transfer.Task
+ Network.Globus.Transfer: instance GHC.Show.Show Network.Globus.Transfer.TaskFilters
+ Network.Globus.Transfer: instance GHC.Show.Show Network.Globus.Transfer.TaskList
+ Network.Globus.Transfer: instance GHC.Show.Show Network.Globus.Transfer.TaskStatus
+ Network.Globus.Types: [$sel:access_token:TokenItem] :: TokenItem -> Token Access
+ Network.Globus.Types: [$sel:data_type:DataKey] :: DataKey s -> DataType s
+ Network.Globus.Types: [$sel:expires_in:TokenItem] :: TokenItem -> Int
+ Network.Globus.Types: [$sel:scope:TokenItem] :: TokenItem -> Scopes
+ Network.Globus.Types: [$sel:state:TokenItem] :: TokenItem -> State
+ Network.Globus.Types: [$sel:value:DataKey] :: DataKey s -> Text
+ Network.Globus.Types: instance Data.String.IsString Network.Globus.Types.State
+ Network.Globus.Types: instance GHC.Exception.Type.Exception Network.Globus.Types.GlobusError
+ Network.Globus.Types: instance GHC.Generics.Generic (Network.Globus.Types.DataKey s)
+ Network.Globus.Types: instance GHC.Generics.Generic Network.Globus.Types.TokenItem
+ Network.Globus.Types: instance GHC.Show.Show Network.Globus.Types.GlobusError
+ Network.Globus.Types: instance GHC.Show.Show Network.Globus.Types.Scope
+ Network.Globus.Types: instance GHC.Show.Show Network.Globus.Types.ScopeIdentity
+ Network.Globus.Types: instance GHC.Show.Show Network.Globus.Types.Scopes
+ Network.Globus.Types: instance GHC.Show.Show Network.Globus.Types.State
+ Network.Globus.Types: instance GHC.Show.Show Network.Globus.Types.TokenItem
+ Network.Globus.Types: instance GHC.TypeLits.KnownSymbol s => Data.Aeson.Types.ToJSON.ToJSON (Network.Globus.Types.DataType s)
- Effectful.Globus: (/:) :: forall {k} (a :: k). Uri a -> String -> Uri a
+ Effectful.Globus: (/:) :: Uri a -> String -> Uri a
- Effectful.Globus: DataKey :: DataType s -> Text -> DataKey (s :: Symbol)
+ Effectful.Globus: DataKey :: DataType s -> Text -> DataKey s
- Effectful.Globus: GlobusClient :: Token 'ClientId -> Token 'ClientSecret -> GlobusClient
+ Effectful.Globus: GlobusClient :: Token ClientId -> Token ClientSecret -> GlobusClient
- Effectful.Globus: Task :: TaskStatus -> Id Task -> Text -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Maybe Text -> Id 'Collection -> Id 'Collection -> Task
+ Effectful.Globus: Task :: TaskStatus -> Id Task -> Text -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Maybe Text -> Id Collection -> Id Collection -> Task
- Effectful.Globus: TokenItem :: Scopes -> Token 'Access -> Int -> State -> TokenItem
+ Effectful.Globus: TokenItem :: Scopes -> Token Access -> Int -> State -> TokenItem
- Effectful.Globus: TransferRequest :: DataType "transfer" -> Id 'Submission -> Maybe Text -> Id 'Collection -> Id 'Collection -> [TransferItem] -> SyncLevel -> Bool -> TransferRequest
+ Effectful.Globus: TransferRequest :: DataType "transfer" -> Id Submission -> Maybe Text -> Id Collection -> Id Collection -> [TransferItem] -> SyncLevel -> Bool -> TransferRequest
- Effectful.Globus: TransferResponse :: Id Task -> Id 'Submission -> Text -> Text -> Token Request -> TransferResponse
+ Effectful.Globus: TransferResponse :: Id Task -> Id Submission -> Text -> Text -> Token Request -> TransferResponse
- Effectful.Globus: [AuthUrl] :: forall (a :: Type -> Type). Uri 'Redirect -> NonEmpty Scope -> State -> Globus a (Tagged 'Authorization URI)
+ Effectful.Globus: [AuthUrl] :: Uri Redirect -> NonEmpty Scope -> State -> Globus m (Uri Authorization)
- Effectful.Globus: [GetAccessTokens] :: forall (a :: Type -> Type). Token 'Exchange -> Uri 'Redirect -> Globus a (NonEmpty TokenItem)
+ Effectful.Globus: [GetAccessTokens] :: Token Exchange -> Uri Redirect -> Globus m (NonEmpty TokenItem)
- Effectful.Globus: [GetSubmissionId] :: forall (a :: Type -> Type). Token 'Access -> Globus a (Tagged 'Submission Text)
+ Effectful.Globus: [GetSubmissionId] :: Token Access -> Globus m (Id Submission)
- Effectful.Globus: [GetUserInfo] :: forall (a :: Type -> Type). Token 'OpenId -> Globus a UserInfoResponse
+ Effectful.Globus: [GetUserInfo] :: Token OpenId -> Globus m UserInfoResponse
- Effectful.Globus: [StatusTask] :: forall (a :: Type -> Type). Token 'Access -> Id Task -> Globus a Task
+ Effectful.Globus: [StatusTask] :: Token Access -> Id Task -> Globus m Task
- Effectful.Globus: [StatusTasks] :: forall (a :: Type -> Type). Token 'Access -> TaskFilters -> Globus a TaskList
+ Effectful.Globus: [StatusTasks] :: Token Access -> TaskFilters -> Globus m TaskList
- Effectful.Globus: [Transfer] :: forall (a :: Type -> Type). Token 'Access -> TransferRequest -> Globus a TransferResponse
+ Effectful.Globus: [Transfer] :: Token Access -> TransferRequest -> Globus m TransferResponse
- Effectful.Globus: data DataKey (s :: Symbol)
+ Effectful.Globus: data DataKey s
- Effectful.Globus: data Globus (a :: Type -> Type) b
+ Effectful.Globus: data Globus :: Effect
- Effectful.Globus: newtype Tagged (s :: k) b
+ Effectful.Globus: newtype () => Tagged (s :: k) b
- Effectful.Globus: renderUri :: forall {k} (a :: k). Uri a -> Text
+ Effectful.Globus: renderUri :: Uri a -> Text
- Effectful.Globus: requireScopeToken :: forall {k} (es :: [Effect]) (a :: k). Error GlobusError :> es => Scope -> NonEmpty TokenItem -> Eff es (Token a)
+ Effectful.Globus: requireScopeToken :: Error GlobusError :> es => Scope -> NonEmpty TokenItem -> Eff es (Token a)
- Effectful.Globus: runGlobus :: forall (es :: [Effect]) a. (IOE :> es, Error GlobusError :> es) => GlobusClient -> Manager -> Eff (Globus ': es) a -> Eff es a
+ Effectful.Globus: runGlobus :: (IOE :> es, Error GlobusError :> es) => GlobusClient -> Manager -> Eff (Globus : es) a -> Eff es a
- Effectful.Globus: type Id (a :: k) = Tagged a Text
+ Effectful.Globus: type Id a = Tagged a Text
- Effectful.Globus: type Token (a :: k) = Tagged a Text
+ Effectful.Globus: type Token a = Tagged a Text
- Effectful.Globus: type Uri (a :: k) = Tagged a URI
+ Effectful.Globus: type Uri a = Tagged a URI
- Network.Globus: (/:) :: forall {k} (a :: k). Uri a -> String -> Uri a
+ Network.Globus: (/:) :: Uri a -> String -> Uri a
- Network.Globus: DataKey :: DataType s -> Text -> DataKey (s :: Symbol)
+ Network.Globus: DataKey :: DataType s -> Text -> DataKey s
- Network.Globus: TokenItem :: Scopes -> Token 'Access -> Int -> State -> TokenItem
+ Network.Globus: TokenItem :: Scopes -> Token Access -> Int -> State -> TokenItem
- Network.Globus: data DataKey (s :: Symbol)
+ Network.Globus: data DataKey s
- Network.Globus: newtype Tagged (s :: k) b
+ Network.Globus: newtype () => Tagged (s :: k) b
- Network.Globus: renderUri :: forall {k} (a :: k). Uri a -> Text
+ Network.Globus: renderUri :: Uri a -> Text
- Network.Globus: type Id (a :: k) = Tagged a Text
+ Network.Globus: type Id a = Tagged a Text
- Network.Globus: type Token (a :: k) = Tagged a Text
+ Network.Globus: type Token a = Tagged a Text
- Network.Globus: type Uri (a :: k) = Tagged a URI
+ Network.Globus: type Uri a = Tagged a URI
- Network.Globus.Auth: authEndpoint :: Uri 'Authorization
+ Network.Globus.Auth: authEndpoint :: Uri Authorization
- Network.Globus.Auth: authorizationUrl :: Token 'ClientId -> Uri 'Redirect -> NonEmpty Scope -> State -> Uri 'Authorization
+ Network.Globus.Auth: authorizationUrl :: Token ClientId -> Uri Redirect -> NonEmpty Scope -> State -> Uri Authorization
- Network.Globus.Auth: fetchAccessTokens :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token 'ClientId -> Token 'ClientSecret -> Uri 'Redirect -> Token 'Exchange -> m (NonEmpty TokenItem)
+ Network.Globus.Auth: fetchAccessTokens :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token ClientId -> Token ClientSecret -> Uri Redirect -> Token Exchange -> m (NonEmpty TokenItem)
- Network.Globus.Auth: fetchUserInfo :: (MonadIO m, MonadCatch m, MonadThrow m) => Manager -> Token 'OpenId -> m UserInfoResponse
+ Network.Globus.Auth: fetchUserInfo :: (MonadIO m, MonadCatch m, MonadThrow m) => Manager -> Token OpenId -> m UserInfoResponse
- Network.Globus.Auth: identityAuth :: Token 'OpenId -> Header
+ Network.Globus.Auth: identityAuth :: Token OpenId -> Header
- Network.Globus.Auth: redirectUri :: forall {k} (a :: k). Uri 'Redirect -> Uri a -> Uri a
+ Network.Globus.Auth: redirectUri :: Uri Redirect -> Uri a -> Uri a
- Network.Globus.Auth: scopeToken :: Scope -> NonEmpty TokenItem -> Maybe (Token 'Access)
+ Network.Globus.Auth: scopeToken :: Scope -> NonEmpty TokenItem -> Maybe (Token Access)
- Network.Globus.Request: get :: forall {k} m (a :: k). (MonadThrow m, MonadCatch m) => Uri a -> [Header] -> m Request
+ Network.Globus.Request: get :: (MonadThrow m, MonadCatch m) => Uri a -> [Header] -> m Request
- Network.Globus.Request: oAuth2Bearer :: forall {k} (a :: k). Token a -> Header
+ Network.Globus.Request: oAuth2Bearer :: Token a -> Header
- Network.Globus.Request: post :: forall {k} m b (a :: k). (MonadThrow m, MonadCatch m, ToJSON b) => Uri a -> [Header] -> b -> m Request
+ Network.Globus.Request: post :: (MonadThrow m, MonadCatch m, ToJSON b) => Uri a -> [Header] -> b -> m Request
- Network.Globus.Request: request :: forall {k} m (a :: k). (MonadThrow m, MonadCatch m) => Method -> Uri a -> [Header] -> RequestBody -> m Request
+ Network.Globus.Request: request :: (MonadThrow m, MonadCatch m) => Method -> Uri a -> [Header] -> RequestBody -> m Request
- Network.Globus.Transfer: Task :: TaskStatus -> Id Task -> Text -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Maybe Text -> Id 'Collection -> Id 'Collection -> Task
+ Network.Globus.Transfer: Task :: TaskStatus -> Id Task -> Text -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Maybe Text -> Id Collection -> Id Collection -> Task
- Network.Globus.Transfer: TransferRequest :: DataType "transfer" -> Id 'Submission -> Maybe Text -> Id 'Collection -> Id 'Collection -> [TransferItem] -> SyncLevel -> Bool -> TransferRequest
+ Network.Globus.Transfer: TransferRequest :: DataType "transfer" -> Id Submission -> Maybe Text -> Id Collection -> Id Collection -> [TransferItem] -> SyncLevel -> Bool -> TransferRequest
- Network.Globus.Transfer: TransferResponse :: Id Task -> Id 'Submission -> Text -> Text -> Token Request -> TransferResponse
+ Network.Globus.Transfer: TransferResponse :: Id Task -> Id Submission -> Text -> Text -> Token Request -> TransferResponse
- Network.Globus.Transfer: activityUrl :: Id Task -> Tagged 'App URI
+ Network.Globus.Transfer: activityUrl :: Id Task -> Tagged App URI
- Network.Globus.Transfer: fetchSubmissionId :: (MonadThrow m, MonadCatch m, MonadIO m) => Manager -> Token 'Access -> m (Id 'Submission)
+ Network.Globus.Transfer: fetchSubmissionId :: (MonadThrow m, MonadCatch m, MonadIO m) => Manager -> Token Access -> m (Id Submission)
- Network.Globus.Transfer: fetchTask :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token 'Access -> Id Task -> m Task
+ Network.Globus.Transfer: fetchTask :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token Access -> Id Task -> m Task
- Network.Globus.Transfer: fetchTasks :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token 'Access -> TaskFilters -> m TaskList
+ Network.Globus.Transfer: fetchTasks :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token Access -> TaskFilters -> m TaskList
- Network.Globus.Transfer: sendTransfer :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token 'Access -> TransferRequest -> m TransferResponse
+ Network.Globus.Transfer: sendTransfer :: (MonadIO m, MonadThrow m, MonadCatch m) => Manager -> Token Access -> TransferRequest -> m TransferResponse
- Network.Globus.Transfer: transferAuth :: Token 'Access -> Header
+ Network.Globus.Transfer: transferAuth :: Token Access -> Header
- Network.Globus.Transfer: transferEndpoint :: forall {k} (a :: k). Uri a
+ Network.Globus.Transfer: transferEndpoint :: Uri a
- Network.Globus.Types: (/:) :: forall {k} (a :: k). Uri a -> String -> Uri a
+ Network.Globus.Types: (/:) :: Uri a -> String -> Uri a
- Network.Globus.Types: DataKey :: DataType s -> Text -> DataKey (s :: Symbol)
+ Network.Globus.Types: DataKey :: DataType s -> Text -> DataKey s
- Network.Globus.Types: TokenItem :: Scopes -> Token 'Access -> Int -> State -> TokenItem
+ Network.Globus.Types: TokenItem :: Scopes -> Token Access -> Int -> State -> TokenItem
- Network.Globus.Types: data DataKey (s :: Symbol)
+ Network.Globus.Types: data DataKey s
- Network.Globus.Types: param :: forall {k} (a :: k). Text -> Text -> Uri a -> Uri a
+ Network.Globus.Types: param :: Text -> Text -> Uri a -> Uri a
- Network.Globus.Types: renderUri :: forall {k} (a :: k). Uri a -> Text
+ Network.Globus.Types: renderUri :: Uri a -> Text
- Network.Globus.Types: type Id (a :: k) = Tagged a Text
+ Network.Globus.Types: type Id a = Tagged a Text
- Network.Globus.Types: type Token (a :: k) = Tagged a Text
+ Network.Globus.Types: type Token a = Tagged a Text
- Network.Globus.Types: type Uri (a :: k) = Tagged a URI
+ Network.Globus.Types: type Uri a = Tagged a URI

Files

globus.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           globus-version:        0.2.0+version:        0.2.1 synopsis:       Globus Data Transfer description:    Haskell Client for Globus File Transfer API category:       System, Data, Science@@ -50,7 +50,7 @@     , bytestring >=0.11 && <0.13     , effectful >=2.3 && <3     , exceptions ==0.10.*-    , filepath >=1.5.2 && <1.6+    , filepath >=1.4 && <1.6     , http-api-data ==0.6.*     , http-client ==0.7.*     , http-client-tls ==0.3.*