GI.Soup.Objects.RequestFile

No description available in the introspection data.

Exported types

newtype RequestFile

Memory-managed wrapper type.

Constructors

RequestFile (ManagedPtr RequestFile)

Instances

GObject RequestFile

Defined in GI.Soup.Objects.RequestFile

Methods

gobjectType :: IO GType

HasParentTypes RequestFile

Defined in GI.Soup.Objects.RequestFile

type ParentTypes RequestFile

Defined in GI.Soup.Objects.RequestFile

type ParentTypes RequestFile = Request ': (Object ': (Initable ': ([] :: [Type])))

class (GObject o, IsDescendantOf RequestFile o) => IsRequestFile o

Type class for types which can be safely cast to RequestFile, for instance with toRequestFile.

Instances

(GObject o, IsDescendantOf RequestFile o) => IsRequestFile o

Defined in GI.Soup.Objects.RequestFile

toRequestFile :: (MonadIO m, IsRequestFile o) => o -> m RequestFile

Cast to RequestFile, for types for which this is known to be safe. For general casts, use castTo.

noRequestFile :: Maybe RequestFile

A convenience alias for Nothing :: Maybe RequestFile.

Methods

getFile

requestFileGetFile

Arguments

:: (HasCallStack, MonadIO m, IsRequestFile a)

=> a

file: a RequestFile

-> m File

Returns: a File corresponding to file

Gets a File corresponding to file's URI

Since: 2.40