libghc-gio-doc 0.13.3.1-1 / usr / share / doc / libghc-gio-doc / html / gio.txt

-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Binding to GIO
--   
--   GIO is striving to provide a modern, easy-to-use VFS API that sits at
--   the right level in the library stack. The goal is to overcome the
--   shortcomings of GnomeVFS and provide an API that is so good that
--   developers prefer it over raw POSIX calls. Among other things that
--   means using GObject. It also means not cloning the POSIX API, but
--   providing higher-level, document-centric interfaces.
@package gio
@version 0.13.3.1


module System.GIO.Enums

-- | Flags used when querying a <tt>FileInfo</tt>.
data FileQueryInfoFlags
FileQueryInfoNone :: FileQueryInfoFlags
FileQueryInfoNofollowSymlinks :: FileQueryInfoFlags
data FileCreateFlags
FileCreateNone :: FileCreateFlags
FileCreatePrivate :: FileCreateFlags
FileCreateReplaceDestination :: FileCreateFlags

-- | Flags used when copying or moving files.
data FileCopyFlags
FileCopyNone :: FileCopyFlags
FileCopyOverwrite :: FileCopyFlags
FileCopyBackup :: FileCopyFlags
FileCopyNofollowSymlinks :: FileCopyFlags
FileCopyAllMetadata :: FileCopyFlags
FileCopyNoFallbackForMove :: FileCopyFlags
FileCopyTargetDefaultPerms :: FileCopyFlags

-- | Flags used to set what a <tt>FileMonitor</tt> will watch for.
data FileMonitorFlags
FileMonitorNone :: FileMonitorFlags
FileMonitorWatchMounts :: FileMonitorFlags
FileMonitorSendMoved :: FileMonitorFlags
FileMonitorWatchHardLinks :: FileMonitorFlags
FileMonitorWatchMoves :: FileMonitorFlags
data FilesystemPreviewType
FilesystemPreviewTypeIfAlways :: FilesystemPreviewType
FilesystemPreviewTypeIfLocal :: FilesystemPreviewType
FilesystemPreviewTypeNever :: FilesystemPreviewType

-- | Indicates the file's on-disk type.
data FileType
FileTypeUnknown :: FileType
FileTypeRegular :: FileType
FileTypeDirectory :: FileType
FileTypeSymbolicLink :: FileType
FileTypeSpecial :: FileType
FileTypeShortcut :: FileType
FileTypeMountable :: FileType

-- | Used by <tt>fileSetAttributesFromInfo</tt> when setting file
--   attributes.
data FileAttributeStatus
FileAttributeStatusUnset :: FileAttributeStatus
FileAttributeStatusSet :: FileAttributeStatus
FileAttributeStatusErrorSetting :: FileAttributeStatus

-- | Flags specifying the behaviour of an attribute.
data FileAttributeInfoFlags
FileAttributeInfoNone :: FileAttributeInfoFlags
FileAttributeInfoCopyWithFile :: FileAttributeInfoFlags
FileAttributeInfoCopyWhenMoved :: FileAttributeInfoFlags
data AskPasswordFlags
AskPasswordNeedPassword :: AskPasswordFlags
AskPasswordNeedUsername :: AskPasswordFlags
AskPasswordNeedDomain :: AskPasswordFlags
AskPasswordSavingSupported :: AskPasswordFlags
AskPasswordAnonymousSupported :: AskPasswordFlags

-- | <a>PasswordSave</a> is used to indicate the lifespan of a saved
--   password.
data PasswordSave
PasswordSaveNever :: PasswordSave
PasswordSaveForSession :: PasswordSave
PasswordSavePermanently :: PasswordSave
data MountOperationResult
MountOperationHandled :: MountOperationResult
MountOperationAborted :: MountOperationResult
MountOperationUnhandled :: MountOperationResult

-- | Error codes returned by GIO functions.
data IOErrorEnum
IoErrorFailed :: IOErrorEnum
IoErrorNotFound :: IOErrorEnum
IoErrorExists :: IOErrorEnum
IoErrorIsDirectory :: IOErrorEnum
IoErrorNotDirectory :: IOErrorEnum
IoErrorNotEmpty :: IOErrorEnum
IoErrorNotRegularFile :: IOErrorEnum
IoErrorNotSymbolicLink :: IOErrorEnum
IoErrorNotMountableFile :: IOErrorEnum
IoErrorFilenameTooLong :: IOErrorEnum
IoErrorInvalidFilename :: IOErrorEnum
IoErrorTooManyLinks :: IOErrorEnum
IoErrorNoSpace :: IOErrorEnum
IoErrorInvalidArgument :: IOErrorEnum
IoErrorPermissionDenied :: IOErrorEnum
IoErrorNotSupported :: IOErrorEnum
IoErrorNotMounted :: IOErrorEnum
IoErrorAlreadyMounted :: IOErrorEnum
IoErrorClosed :: IOErrorEnum
IoErrorCancelled :: IOErrorEnum
IoErrorPending :: IOErrorEnum
IoErrorReadOnly :: IOErrorEnum
IoErrorCantCreateBackup :: IOErrorEnum
IoErrorWrongEtag :: IOErrorEnum
IoErrorTimedOut :: IOErrorEnum
IoErrorWouldRecurse :: IOErrorEnum
IoErrorBusy :: IOErrorEnum
IoErrorWouldBlock :: IOErrorEnum
IoErrorHostNotFound :: IOErrorEnum
IoErrorWouldMerge :: IOErrorEnum
IoErrorFailedHandled :: IOErrorEnum
IoErrorTooManyOpenFiles :: IOErrorEnum
IoErrorNotInitialized :: IOErrorEnum
IoErrorAddressInUse :: IOErrorEnum
IoErrorPartialInput :: IOErrorEnum
IoErrorInvalidData :: IOErrorEnum
IoErrorDbusError :: IOErrorEnum
IoErrorHostUnreachable :: IOErrorEnum
IoErrorNetworkUnreachable :: IOErrorEnum
IoErrorConnectionRefused :: IOErrorEnum
IoErrorProxyFailed :: IOErrorEnum
IoErrorProxyAuthFailed :: IOErrorEnum
IoErrorProxyNeedAuth :: IOErrorEnum
IoErrorProxyNotAllowed :: IOErrorEnum
IoErrorBrokenPipe :: IOErrorEnum
IoErrorConnectionClosed :: IOErrorEnum
IoErrorNotConnected :: IOErrorEnum
IoErrorMessageTooLarge :: IOErrorEnum

-- | Specifies what type of event a monitor event is.
data FileMonitorEvent
FileMonitorEventChanged :: FileMonitorEvent
FileMonitorEventChangesDoneHint :: FileMonitorEvent
FileMonitorEventDeleted :: FileMonitorEvent
FileMonitorEventCreated :: FileMonitorEvent
FileMonitorEventAttributeChanged :: FileMonitorEvent
FileMonitorEventPreUnmount :: FileMonitorEvent
FileMonitorEventUnmounted :: FileMonitorEvent
FileMonitorEventMoved :: FileMonitorEvent
FileMonitorEventRenamed :: FileMonitorEvent
FileMonitorEventMovedIn :: FileMonitorEvent
FileMonitorEventMovedOut :: FileMonitorEvent

-- | Flags used when mounting a mount.
data MountMountFlags
MountMountNone :: MountMountFlags

-- | Flags used when an unmounting a mount.
data MountUnmountFlags
MountUnmountNone :: MountUnmountFlags
MountUnmountForce :: MountUnmountFlags

-- | Flags used when starting a drive.
data DriveStartFlags
DriveStartNone :: DriveStartFlags

-- | Enumeration describing how a drive can be started/stopped.
data DriveStartStopType
DriveStartStopTypeUnknown :: DriveStartStopType
DriveStartStopTypeShutdown :: DriveStartStopType
DriveStartStopTypeNetwork :: DriveStartStopType
DriveStartStopTypeMultidisk :: DriveStartStopType
DriveStartStopTypePassword :: DriveStartStopType

-- | <a>EmblemOrigin</a> is used to add information about the origin of the
--   emblem to <tt>Emblem</tt>.
data EmblemOrigin
EmblemOriginUnknown :: EmblemOrigin
EmblemOriginDevice :: EmblemOrigin
EmblemOriginLivemetadata :: EmblemOrigin
EmblemOriginTag :: EmblemOrigin

-- | Flags used when creating a <tt>AppInfo</tt>.
data AppInfoCreateFlags
AppInfoCreateNone :: AppInfoCreateFlags
AppInfoCreateNeedsTerminal :: AppInfoCreateFlags
AppInfoCreateSupportsUris :: AppInfoCreateFlags
AppInfoCreateSupportsStartupNotification :: AppInfoCreateFlags
instance GHC.Show.Show System.GIO.Enums.AppInfoCreateFlags
instance GHC.Enum.Bounded System.GIO.Enums.AppInfoCreateFlags
instance GHC.Classes.Ord System.GIO.Enums.AppInfoCreateFlags
instance GHC.Classes.Eq System.GIO.Enums.AppInfoCreateFlags
instance GHC.Show.Show System.GIO.Enums.EmblemOrigin
instance GHC.Enum.Bounded System.GIO.Enums.EmblemOrigin
instance GHC.Classes.Ord System.GIO.Enums.EmblemOrigin
instance GHC.Classes.Eq System.GIO.Enums.EmblemOrigin
instance GHC.Enum.Enum System.GIO.Enums.EmblemOrigin
instance GHC.Show.Show System.GIO.Enums.DriveStartStopType
instance GHC.Enum.Bounded System.GIO.Enums.DriveStartStopType
instance GHC.Classes.Ord System.GIO.Enums.DriveStartStopType
instance GHC.Classes.Eq System.GIO.Enums.DriveStartStopType
instance GHC.Enum.Enum System.GIO.Enums.DriveStartStopType
instance GHC.Show.Show System.GIO.Enums.DriveStartFlags
instance GHC.Enum.Bounded System.GIO.Enums.DriveStartFlags
instance GHC.Classes.Ord System.GIO.Enums.DriveStartFlags
instance GHC.Classes.Eq System.GIO.Enums.DriveStartFlags
instance GHC.Show.Show System.GIO.Enums.MountUnmountFlags
instance GHC.Enum.Bounded System.GIO.Enums.MountUnmountFlags
instance GHC.Classes.Ord System.GIO.Enums.MountUnmountFlags
instance GHC.Classes.Eq System.GIO.Enums.MountUnmountFlags
instance GHC.Show.Show System.GIO.Enums.MountMountFlags
instance GHC.Enum.Bounded System.GIO.Enums.MountMountFlags
instance GHC.Classes.Ord System.GIO.Enums.MountMountFlags
instance GHC.Classes.Eq System.GIO.Enums.MountMountFlags
instance GHC.Show.Show System.GIO.Enums.FileMonitorEvent
instance GHC.Enum.Bounded System.GIO.Enums.FileMonitorEvent
instance GHC.Classes.Ord System.GIO.Enums.FileMonitorEvent
instance GHC.Classes.Eq System.GIO.Enums.FileMonitorEvent
instance GHC.Enum.Enum System.GIO.Enums.FileMonitorEvent
instance GHC.Show.Show System.GIO.Enums.IOErrorEnum
instance GHC.Enum.Bounded System.GIO.Enums.IOErrorEnum
instance GHC.Classes.Ord System.GIO.Enums.IOErrorEnum
instance GHC.Classes.Eq System.GIO.Enums.IOErrorEnum
instance GHC.Show.Show System.GIO.Enums.MountOperationResult
instance GHC.Enum.Bounded System.GIO.Enums.MountOperationResult
instance GHC.Classes.Ord System.GIO.Enums.MountOperationResult
instance GHC.Classes.Eq System.GIO.Enums.MountOperationResult
instance GHC.Enum.Enum System.GIO.Enums.MountOperationResult
instance GHC.Show.Show System.GIO.Enums.PasswordSave
instance GHC.Enum.Bounded System.GIO.Enums.PasswordSave
instance GHC.Classes.Ord System.GIO.Enums.PasswordSave
instance GHC.Classes.Eq System.GIO.Enums.PasswordSave
instance GHC.Enum.Enum System.GIO.Enums.PasswordSave
instance GHC.Show.Show System.GIO.Enums.AskPasswordFlags
instance GHC.Enum.Bounded System.GIO.Enums.AskPasswordFlags
instance GHC.Classes.Ord System.GIO.Enums.AskPasswordFlags
instance GHC.Classes.Eq System.GIO.Enums.AskPasswordFlags
instance GHC.Show.Show System.GIO.Enums.FileAttributeInfoFlags
instance GHC.Read.Read System.GIO.Enums.FileAttributeInfoFlags
instance GHC.Enum.Bounded System.GIO.Enums.FileAttributeInfoFlags
instance GHC.Classes.Ord System.GIO.Enums.FileAttributeInfoFlags
instance GHC.Classes.Eq System.GIO.Enums.FileAttributeInfoFlags
instance GHC.Show.Show System.GIO.Enums.FileAttributeStatus
instance GHC.Enum.Bounded System.GIO.Enums.FileAttributeStatus
instance GHC.Classes.Ord System.GIO.Enums.FileAttributeStatus
instance GHC.Classes.Eq System.GIO.Enums.FileAttributeStatus
instance GHC.Show.Show System.GIO.Enums.FileType
instance GHC.Enum.Bounded System.GIO.Enums.FileType
instance GHC.Classes.Ord System.GIO.Enums.FileType
instance GHC.Classes.Eq System.GIO.Enums.FileType
instance GHC.Show.Show System.GIO.Enums.FilesystemPreviewType
instance GHC.Enum.Bounded System.GIO.Enums.FilesystemPreviewType
instance GHC.Classes.Ord System.GIO.Enums.FilesystemPreviewType
instance GHC.Classes.Eq System.GIO.Enums.FilesystemPreviewType
instance GHC.Show.Show System.GIO.Enums.FileMonitorFlags
instance GHC.Enum.Bounded System.GIO.Enums.FileMonitorFlags
instance GHC.Classes.Ord System.GIO.Enums.FileMonitorFlags
instance GHC.Classes.Eq System.GIO.Enums.FileMonitorFlags
instance GHC.Show.Show System.GIO.Enums.FileCopyFlags
instance GHC.Enum.Bounded System.GIO.Enums.FileCopyFlags
instance GHC.Classes.Ord System.GIO.Enums.FileCopyFlags
instance GHC.Classes.Eq System.GIO.Enums.FileCopyFlags
instance GHC.Show.Show System.GIO.Enums.FileCreateFlags
instance GHC.Enum.Bounded System.GIO.Enums.FileCreateFlags
instance GHC.Classes.Ord System.GIO.Enums.FileCreateFlags
instance GHC.Classes.Eq System.GIO.Enums.FileCreateFlags
instance GHC.Show.Show System.GIO.Enums.FileQueryInfoFlags
instance GHC.Enum.Bounded System.GIO.Enums.FileQueryInfoFlags
instance GHC.Classes.Ord System.GIO.Enums.FileQueryInfoFlags
instance GHC.Classes.Eq System.GIO.Enums.FileQueryInfoFlags
instance GHC.Enum.Enum System.GIO.Enums.FileQueryInfoFlags
instance System.Glib.Flags.Flags System.GIO.Enums.FileQueryInfoFlags
instance GHC.Enum.Enum System.GIO.Enums.FileCreateFlags
instance System.Glib.Flags.Flags System.GIO.Enums.FileCreateFlags
instance GHC.Enum.Enum System.GIO.Enums.FileCopyFlags
instance System.Glib.Flags.Flags System.GIO.Enums.FileCopyFlags
instance GHC.Enum.Enum System.GIO.Enums.FileMonitorFlags
instance System.Glib.Flags.Flags System.GIO.Enums.FileMonitorFlags
instance GHC.Enum.Enum System.GIO.Enums.FilesystemPreviewType
instance GHC.Enum.Enum System.GIO.Enums.FileType
instance GHC.Enum.Enum System.GIO.Enums.FileAttributeStatus
instance GHC.Enum.Enum System.GIO.Enums.FileAttributeInfoFlags
instance System.Glib.Flags.Flags System.GIO.Enums.FileAttributeInfoFlags
instance GHC.Enum.Enum System.GIO.Enums.AskPasswordFlags
instance System.Glib.Flags.Flags System.GIO.Enums.AskPasswordFlags
instance GHC.Enum.Enum System.GIO.Enums.IOErrorEnum
instance GHC.Enum.Enum System.GIO.Enums.MountMountFlags
instance System.Glib.Flags.Flags System.GIO.Enums.MountMountFlags
instance GHC.Enum.Enum System.GIO.Enums.MountUnmountFlags
instance System.Glib.Flags.Flags System.GIO.Enums.MountUnmountFlags
instance GHC.Enum.Enum System.GIO.Enums.DriveStartFlags
instance System.Glib.Flags.Flags System.GIO.Enums.DriveStartFlags
instance GHC.Enum.Enum System.GIO.Enums.AppInfoCreateFlags
instance System.Glib.Flags.Flags System.GIO.Enums.AppInfoCreateFlags


module System.GIO.File.FileAttribute
data FileAttributeType
FileAttributeTypeInvalid :: FileAttributeType
FileAttributeTypeString :: FileAttributeType
FileAttributeTypeByteString :: FileAttributeType
FileAttributeTypeBool :: FileAttributeType
FileAttributeTypeWord32 :: FileAttributeType
FileAttributeTypeInt32 :: FileAttributeType
FileAttributeTypeWord64 :: FileAttributeType
FileAttributeTypeInt64 :: FileAttributeType
FileAttributeTypeObject :: FileAttributeType
FileAttributeTypeStringList :: FileAttributeType
data FileAttributeInfo
FileAttributeInfo :: DefaultGlibString -> FileAttributeType -> [FileAttributeInfoFlags] -> FileAttributeInfo
[fileAttributeInfoName] :: FileAttributeInfo -> DefaultGlibString
[fileAttributeInfoType] :: FileAttributeInfo -> FileAttributeType
[fileAttributeInfoFlags] :: FileAttributeInfo -> [FileAttributeInfoFlags]

-- | Flags specifying the behaviour of an attribute.
data FileAttributeInfoFlags
FileAttributeInfoNone :: FileAttributeInfoFlags
FileAttributeInfoCopyWithFile :: FileAttributeInfoFlags
FileAttributeInfoCopyWhenMoved :: FileAttributeInfoFlags
fileAttributeStandardType :: String
fileAttributeStandardIsHidden :: String
fileAttributeStandardIsBackup :: String
fileAttributeStandardIsSymlink :: String
fileAttributeStandardIsVirtual :: String
fileAttributeStandardName :: String
fileAttributeStandardDisplayName :: String
fileAttributeStandardEditName :: String
fileAttributeStandardCopyName :: String
fileAttributeStandardIcon :: String
fileAttributeStandardContentType :: String
fileAttributeStandardFastContentType :: String
fileAttributeStandardSize :: String
fileAttributeStandardAllocatedSize :: String
fileAttributeStandardSymlinkTarget :: String
fileAttributeStandardTargetURI :: String
fileAttributeStandardSortOrder :: String
fileAttributeEtagValue :: String
fileAttributeIDFile :: String
fileAttributeIDFilesystem :: String
fileAttributeAccessCanRead :: String
fileAttributeAccessCanWrite :: String
fileAttributeAccessCanExecute :: String
fileAttributeAccessCanDelete :: String
fileAttributeAccessCanTrash :: String
fileAttributeAccessCanRename :: String
fileAttributeMountableCanMount :: String
fileAttributeMountableCanUnmount :: String
fileAttributeMountableCanEject :: String
fileAttributeMountableUnixDevice :: String
fileAttributeMountableUnixDeviceFile :: String
fileAttributeMountableCanStart :: String
fileAttributeMountableCanDegraded :: String
fileAttributeMountableCanStop :: String
fileAttributeMountableStartStopType :: String
fileAttributeMountableCanPoll :: String
fileAttributeMountableHalUDI :: String
fileAttributeTimeModified :: String
fileAttributeTimeModifiedUSec :: String
fileAttributeTimeAccess :: String
fileAttributeTimeAccessUSec :: String
fileAttributeTimeChanged :: String
fileAttributeTimeChangedUSec :: String
fileAttributeTimeCreated :: String
fileAttributeTimeCreatedUSec :: String
fileAttributeUnixDevice :: String
fileAttributeUnixInode :: String
fileAttributeUnixMode :: String
fileAttributeUnixNLink :: String
fileAttributeUnixUID :: String
fileAttributeUnixGID :: String
fileAttributeUnixRDev :: String
fileAttributeUnixBlockSize :: String
fileAttributeUnixBlocks :: String
fileAttributeDosIsMountpoint :: String
fileAttributeDosIsArchive :: String
fileAttributeDosIsSystem :: String
fileAttributeOwnerUser :: String
fileAttributeOwnerUserReal :: String
fileAttributeOwnerGroup :: String
fileAttributeThumbnailPath :: String
fileAttributeThumbnailingFailed :: String
fileAttributePreviewIcon :: String
fileAttributeFilesystemSize :: String
fileAttributeFilesystemFree :: String
fileAttributeFilesystemType :: String
fileAttributeFilesystemReadonly :: String
fileAttributeGVfsBackend :: String
fileAttributeSELinuxContext :: String
fileAttributeTrashItemCount :: String
fileAttributeFilesystemUsePreview :: String
fileAttributeStandardDescription :: String
fileAttributeTrashOrigPath :: String
fileAttributeTrashDeletionDate :: String
instance GHC.Show.Show System.GIO.File.FileAttribute.FileAttributeInfo
instance GHC.Read.Read System.GIO.File.FileAttribute.FileAttributeInfo
instance GHC.Classes.Eq System.GIO.File.FileAttribute.FileAttributeInfo
instance GHC.Read.Read System.GIO.File.FileAttribute.FileAttributeType
instance GHC.Show.Show System.GIO.File.FileAttribute.FileAttributeType
instance GHC.Enum.Bounded System.GIO.File.FileAttribute.FileAttributeType
instance GHC.Classes.Ord System.GIO.File.FileAttribute.FileAttributeType
instance GHC.Classes.Eq System.GIO.File.FileAttribute.FileAttributeType
instance GHC.Enum.Enum System.GIO.File.FileAttribute.FileAttributeType
instance Foreign.Storable.Storable System.GIO.File.FileAttribute.FileAttributeInfo


module System.GIO.Volumes.VolumeMonitor
newtype VolumeMonitor
VolumeMonitor :: (ForeignPtr (VolumeMonitor)) -> VolumeMonitor
class GObjectClass o => VolumeMonitorClass o

-- | Gets the volume monitor used by gio.
volumeMonitorGet :: IO VolumeMonitor

-- | Gets a list of drives connected to the system.
volumeMonitorGetConnectedDrives :: VolumeMonitorClass monitor => monitor -> IO [Drive]

-- | Gets a list of the volumes on the system.
volumeMonitorGetVolumes :: VolumeMonitorClass monitor => monitor -> IO [Drive]

-- | Gets a list of the mounts on the system.
volumeMonitorGetMounts :: VolumeMonitorClass monitor => monitor -> IO [Drive]

-- | Finds a <a>Mount</a> object by its UUID (see <tt>mountGetUuid</tt>
volumeMonitorGetMountForUUID :: (VolumeMonitorClass monitor, GlibString string) => monitor -> string -> IO (Maybe Mount)

-- | Finds a <a>Volume</a> object by its UUID (see <tt>volumeGetUuid</tt>)
volumeMonitorGetVolumeForUUID :: (VolumeMonitorClass monitor, GlibString string) => monitor -> string -> IO (Maybe Volume)

-- | Emitted when a drive changes.
vmDriveChanged :: VolumeMonitorClass monitor => Signal monitor (Drive -> IO ())

-- | Emitted when a drive changes.
vmDriveConnected :: VolumeMonitorClass monitor => Signal monitor (Drive -> IO ())

-- | Emitted when a drive changes.
vmDriveDisconnected :: VolumeMonitorClass monitor => Signal monitor (Drive -> IO ())

-- | Emitted when the eject button is pressed on drive.
vmDriveEjectButton :: VolumeMonitorClass monitor => Signal monitor (Drive -> IO ())

-- | Emitted when the stop button is pressed on drive.
vmDriveStopButton :: VolumeMonitorClass monitor => Signal monitor (Drive -> IO ())

-- | Emitted when a mount is added.
vmMountAdded :: VolumeMonitorClass monitor => Signal monitor (Mount -> IO ())

-- | Emitted when a mount is changed.
vmMountChanged :: VolumeMonitorClass monitor => Signal monitor (Mount -> IO ())

-- | Emitted when a mount is about to be removed.
vmMountPreUnmount :: VolumeMonitorClass monitor => Signal monitor (Mount -> IO ())

-- | Emitted when a mount is removed.
vmMountRemoved :: VolumeMonitorClass monitor => Signal monitor (Mount -> IO ())

-- | Emitted when a volume is added.
vmVolumeAdded :: VolumeMonitorClass monitor => Signal monitor (Volume -> IO ())

-- | Emitted when a volume is changed.
vmVolumeChanged :: VolumeMonitorClass monitor => Signal monitor (Volume -> IO ())

-- | Emitted when a volume is removed.
vmVolumeRemoved :: VolumeMonitorClass monitor => Signal monitor (Volume -> IO ())


module System.GIO.Icons.ThemedIcon
newtype ThemedIcon
ThemedIcon :: (ForeignPtr (ThemedIcon)) -> ThemedIcon
class GObjectClass o => ThemedIconClass o

-- | Creates a new icon for a file.
themedIconNew :: ByteString -> IO ThemedIcon

-- | Creates a new themed icon for iconnames.
themedIconNewFromNames :: GlibString string => [string] -> IO ThemedIcon

-- | Prepend a name to the list of icons from within icon.
themedIconPrependName :: (ThemedIconClass icon, GlibString string) => icon -> string -> IO ()

-- | Append a name to the list of icons from within icon.
themedIconAppendName :: (ThemedIconClass icon, GlibString string) => icon -> string -> IO ()

-- | Gets the names of icons from within icon.
themedIconGetNames :: (ThemedIconClass icon, GlibString string) => icon -> IO [string]


module System.GIO.Icons.Icon
newtype Icon
Icon :: (ForeignPtr (Icon)) -> Icon
class GObjectClass o => IconClass o

-- | Checks if two icons are equal.
iconEqual :: (IconClass icon1, IconClass icon2) => icon1 -> icon2 -> IO Bool

-- | Generates a textual representation of icon that can be used for
--   serialization such as when passing icon to a different process or
--   saving it to persistent storage. Use <a>iconNewForString</a> to get
--   icon back from the returned string.
--   
--   The encoding of the returned string is proprietary to <a>Icon</a>
--   except in the following two cases
--   
--   <ul>
--   <li>If icon is a <a>FileIcon</a>, the returned string is a native path
--   (such as <i>path</i>to/my icon.png) without escaping if the
--   <a>File</a> for icon is a native file. If the file is not native, the
--   returned string is the result of <tt>fileGetUri</tt>.</li>
--   <li>If icon is a <a>ThemedIcon</a> with exactly one name, the encoding
--   is simply the name (such as network-server).</li>
--   </ul>
iconToString :: IconClass icon => icon -> IO ByteString

-- | Generate a <a>Icon</a> instance from str. This function can fail if
--   str is not valid - see <a>iconToString</a> for discussion.
--   
--   If your application or library provides one or more <a>Icon</a>
--   implementations you need to ensure that each GType is registered with
--   the type system prior to calling <a>iconNewForString</a>.
iconNewForString :: ByteString -> IO Icon


module System.GIO.Icons.FileIcon
newtype FileIcon
FileIcon :: (ForeignPtr (FileIcon)) -> FileIcon
class GObjectClass o => FileIconClass o

-- | Creates a new icon for a file.
fileIconNew :: FileClass file => file -> IO FileIcon

-- | Gets the <a>File</a> associated with the given icon.
fileIconGetFile :: FileIconClass icon => icon -> IO File


module System.GIO.Icons.EmblemedIcon
newtype EmblemedIcon
EmblemedIcon :: (ForeignPtr (EmblemedIcon)) -> EmblemedIcon
class GObjectClass o => EmblemedIconClass o

-- | Creates a new emblemed icon for icon with the emblem emblem.
emblemedIconNew :: (IconClass icon, EmblemClass emblem) => icon -> emblem -> IO EmblemedIcon

-- | Gets the main icon for emblemed.
emblemedIconGetIcon :: EmblemedIconClass emblemed => emblemed -> IO Icon

-- | Gets the list of emblems for the icon.
emblemedIconGetEmblems :: EmblemedIconClass emblemed => emblemed -> IO [Emblem]

-- | Adds emblem to the <a>Emblem</a>.
emblemedIconAddEmblem :: EmblemedIconClass emblemed => emblemed -> Emblem -> IO ()


module System.GIO.Icons.Emblem
newtype Emblem
Emblem :: (ForeignPtr (Emblem)) -> Emblem
class GObjectClass o => EmblemClass o

-- | <a>EmblemOrigin</a> is used to add information about the origin of the
--   emblem to <tt>Emblem</tt>.
data EmblemOrigin
EmblemOriginUnknown :: EmblemOrigin
EmblemOriginDevice :: EmblemOrigin
EmblemOriginLivemetadata :: EmblemOrigin
EmblemOriginTag :: EmblemOrigin

-- | Creates a new emblem for icon.
emblemNew :: IconClass icon => icon -> IO Emblem

-- | Creates a new emblem for icon.
emblemNewWithOrigin :: IconClass icon => icon -> EmblemOrigin -> IO Emblem

-- | Gives back the icon from emblem.
emblemGetIcon :: EmblemClass emblem => emblem -> IO Icon

-- | Gets the origin of the emblem.
emblemGetOrigin :: EmblemClass emblem => emblem -> IO EmblemOrigin


module System.GIO.File.MountOperation
newtype MountOperation
MountOperation :: (ForeignPtr (MountOperation)) -> MountOperation
class GObjectClass o => MountOperationClass o
data MountOperationResult
MountOperationHandled :: MountOperationResult
MountOperationAborted :: MountOperationResult
MountOperationUnhandled :: MountOperationResult
data AskPasswordFlags
AskPasswordNeedPassword :: AskPasswordFlags
AskPasswordNeedUsername :: AskPasswordFlags
AskPasswordNeedDomain :: AskPasswordFlags
AskPasswordSavingSupported :: AskPasswordFlags
AskPasswordAnonymousSupported :: AskPasswordFlags

-- | <a>PasswordSave</a> is used to indicate the lifespan of a saved
--   password.
data PasswordSave
PasswordSaveNever :: PasswordSave
PasswordSaveForSession :: PasswordSave
PasswordSavePermanently :: PasswordSave

-- | Creates a new mount operation.
mountOperationNew :: IO MountOperation

-- | Emits the "reply" signal.
mountOperationReply :: MountOperationClass op => op -> MountOperationResult -> IO ()

-- | Whether to use an anonymous user when authenticating.
--   
--   Default value: <a>False</a>
mountOperationAnonymous :: MountOperationClass op => Attr op Bool

-- | The index of the user's choice when a question is asked during the
--   mount operation. See the <tt>askQuestion</tt> signal.
--   
--   Allowed values: &gt;= 0
--   
--   Default value: 0
mountOperationChoice :: MountOperationClass op => Attr op Int

-- | The domain to use for the mount operation.
--   
--   Default value: ""
mountOperationDomain :: (MountOperationClass op, GlibString string) => Attr op string

-- | The password that is used for authentication when carrying out the
--   mount operation.
--   
--   Default value: ""
mountOperationPassword :: (MountOperationClass op, GlibString string) => Attr op string

-- | Determines if and how the password information should be saved.
--   
--   Default value: <a>PasswordSaveNever</a>
mountOperationPasswordSave :: MountOperationClass op => Attr op PasswordSave

-- | The user name that is used for authentication when carrying out the
--   mount operation.
--   
--   Default value: ""
mountOperationUsername :: (MountOperationClass op, GlibString string) => Attr op string

-- | Emitted by the backend when e.g. a device becomes unavailable while a
--   mount operation is in progress.
--   
--   Implementations of <a>MountOperation</a> should handle this signal by
--   dismissing open password dialogs.
--   
--   Since 2.20
mountOperationAborted :: MountOperationClass op => Signal op (IO ())

-- | Emitted when a mount operation asks the user for a password.
--   
--   If the message contains a line break, the first line should be
--   presented as a heading. For example, it may be used as the primary
--   text in a <tt>MessageDialog</tt>.
mountOperationAskPassword :: (MountOperationClass op, GlibString string) => Signal op (string -> string -> string -> AskPasswordFlags -> IO ())

-- | Emitted when asking the user a question and gives a list of choices
--   for the user to choose from.
--   
--   If the message contains a line break, the first line should be
--   presented as a heading. For example, it may be used as the primary
--   text in a <tt>MessageDialog</tt>. askQuestion :: MountOperationClass
--   op =&gt; Signal op (String -&gt; [String] -&gt; IO ()) askQuestion
--   Signal (after obj user -&gt; connect_GLIBSTRING_BOXED__NONE
--   "ask-question" after obj (message choicesPtr -&gt; do choices &lt;-
--   peekUTFString choicesPtr user str choices))
--   
--   Emitted when the user has replied to the mount operation.
mountOperationReplySignal :: MountOperationClass op => Signal op (MountOperationResult -> IO ())


module System.GIO.File.IOError

-- | Error codes returned by GIO functions.
data IOErrorEnum
IoErrorFailed :: IOErrorEnum
IoErrorNotFound :: IOErrorEnum
IoErrorExists :: IOErrorEnum
IoErrorIsDirectory :: IOErrorEnum
IoErrorNotDirectory :: IOErrorEnum
IoErrorNotEmpty :: IOErrorEnum
IoErrorNotRegularFile :: IOErrorEnum
IoErrorNotSymbolicLink :: IOErrorEnum
IoErrorNotMountableFile :: IOErrorEnum
IoErrorFilenameTooLong :: IOErrorEnum
IoErrorInvalidFilename :: IOErrorEnum
IoErrorTooManyLinks :: IOErrorEnum
IoErrorNoSpace :: IOErrorEnum
IoErrorInvalidArgument :: IOErrorEnum
IoErrorPermissionDenied :: IOErrorEnum
IoErrorNotSupported :: IOErrorEnum
IoErrorNotMounted :: IOErrorEnum
IoErrorAlreadyMounted :: IOErrorEnum
IoErrorClosed :: IOErrorEnum
IoErrorCancelled :: IOErrorEnum
IoErrorPending :: IOErrorEnum
IoErrorReadOnly :: IOErrorEnum
IoErrorCantCreateBackup :: IOErrorEnum
IoErrorWrongEtag :: IOErrorEnum
IoErrorTimedOut :: IOErrorEnum
IoErrorWouldRecurse :: IOErrorEnum
IoErrorBusy :: IOErrorEnum
IoErrorWouldBlock :: IOErrorEnum
IoErrorHostNotFound :: IOErrorEnum
IoErrorWouldMerge :: IOErrorEnum
IoErrorFailedHandled :: IOErrorEnum
IoErrorTooManyOpenFiles :: IOErrorEnum
IoErrorNotInitialized :: IOErrorEnum
IoErrorAddressInUse :: IOErrorEnum
IoErrorPartialInput :: IOErrorEnum
IoErrorInvalidData :: IOErrorEnum
IoErrorDbusError :: IOErrorEnum
IoErrorHostUnreachable :: IOErrorEnum
IoErrorNetworkUnreachable :: IOErrorEnum
IoErrorConnectionRefused :: IOErrorEnum
IoErrorProxyFailed :: IOErrorEnum
IoErrorProxyAuthFailed :: IOErrorEnum
IoErrorProxyNeedAuth :: IOErrorEnum
IoErrorProxyNotAllowed :: IOErrorEnum
IoErrorBrokenPipe :: IOErrorEnum
IoErrorConnectionClosed :: IOErrorEnum
IoErrorNotConnected :: IOErrorEnum
IoErrorMessageTooLarge :: IOErrorEnum

-- | Converts errno.h error codes into GIO error codes.
ioErrorFromErrno :: Int -> IO IOErrorEnum


module System.GIO.File.FileMonitor
newtype FileMonitor
FileMonitor :: (ForeignPtr (FileMonitor)) -> FileMonitor
class GObjectClass o => FileMonitorClass o

-- | Specifies what type of event a monitor event is.
data FileMonitorEvent
FileMonitorEventChanged :: FileMonitorEvent
FileMonitorEventChangesDoneHint :: FileMonitorEvent
FileMonitorEventDeleted :: FileMonitorEvent
FileMonitorEventCreated :: FileMonitorEvent
FileMonitorEventAttributeChanged :: FileMonitorEvent
FileMonitorEventPreUnmount :: FileMonitorEvent
FileMonitorEventUnmounted :: FileMonitorEvent
FileMonitorEventMoved :: FileMonitorEvent
FileMonitorEventRenamed :: FileMonitorEvent
FileMonitorEventMovedIn :: FileMonitorEvent
FileMonitorEventMovedOut :: FileMonitorEvent

-- | Cancels a file monitor.
fileMonitorCancel :: FileMonitorClass monitor => monitor -> IO Bool

-- | Returns whether the monitor is canceled.
fileMonitorIsCancelled :: FileMonitorClass monitor => monitor -> IO Bool

-- | Whether the monitor has been cancelled.
--   
--   Default value: <a>False</a>
fileMonitorCancelled :: FileMonitorClass monitor => ReadAttr monitor Bool

-- | The limit of the monitor to watch for changes, in milliseconds.
--   
--   Allowed values: &gt;= 0
--   
--   Default value: 800
fileMonitorRateLimit :: FileMonitorClass monitor => Attr monitor Int
fileMonitorChanged :: FileMonitorClass monitor => Signal monitor (Maybe File -> Maybe File -> FileMonitorEvent -> IO ())


module System.GIO.File.FileInfo
newtype FileInfo
FileInfo :: (ForeignPtr (FileInfo)) -> FileInfo
class GObjectClass o => FileInfoClass o

-- | Used by <tt>fileSetAttributesFromInfo</tt> when setting file
--   attributes.
data FileAttributeStatus
FileAttributeStatusUnset :: FileAttributeStatus
FileAttributeStatusSet :: FileAttributeStatus
FileAttributeStatusErrorSetting :: FileAttributeStatus

-- | Creates a new file info structure.
fileInfoNew :: IO FileInfo

-- | Duplicates a file info structure.
fileInfoDup :: FileInfoClass info => info -> IO FileInfo

-- | Copies all of the <tt>FileAttributes</tt> from <tt>srcInfo</tt> to
--   <tt>destInfo</tt>.
fileInfoCopyInto :: (FileInfoClass srcInfo, FileInfoClass destInfo) => srcInfo -> destInfo -> IO ()

-- | Checks if a file info structure has an attribute named attribute.
fileInfoHasAttribute :: (FileInfoClass info, GlibString string) => info -> string -> Bool

-- | Checks if a file info structure has an attribute in the specified
--   <tt>nameSpace</tt>.
fileInfoHasNamespace :: (FileInfoClass info, GlibString string) => info -> string -> Bool

-- | Lists the file info structure's attributes.
fileInfoListAttributes :: (FileInfoClass info, GlibString string) => info -> string -> IO [string]

-- | Gets the attribute type for an attribute key.
fileInfoGetAttributeType :: (FileInfoClass info, GlibString string) => info -> string -> IO FileAttributeType

-- | Removes all cases of attribute from info if it exists.
fileInfoRemoveAttribute :: (FileInfoClass info, GlibString string) => info -> string -> IO ()

-- | Gets the value of a attribute, formated as a string. This escapes
--   things as needed to make the string valid utf8.
fileInfoGetAttributeAsString :: (FileInfoClass info, GlibString string) => info -> string -> IO string

-- | Gets the attribute status for an attribute key.
fileInfoGetAttributeStatus :: (FileInfoClass info, GlibString string) => info -> string -> IO FileAttributeStatus

-- | Gets the value of a string attribute.
fileInfoGetAttributeString :: (FileInfoClass info, GlibString string) => info -> string -> IO string

-- | Gets the value of a stringv attribute. If the attribute does not
--   contain a stringv
fileInfoGetAttributeStringList :: (FileInfoClass info, GlibString string) => info -> string -> IO [string]

-- | Gets the value of a byte string attribute.
fileInfoGetAttributeByteString :: (FileInfoClass info, GlibString string) => info -> string -> IO ByteString

-- | Gets the value of a boolean attribute.
fileInfoGetAttributeBool :: (FileInfoClass info, GlibString string) => info -> string -> IO Bool

-- | Gets an Word32 contained within the attribute.
fileInfoGetAttributeWord32 :: (FileInfoClass info, GlibString string) => info -> string -> IO Word32

-- | Gets an Int32 contained within the attribute.
fileInfoGetAttributeInt32 :: (FileInfoClass info, GlibString string) => info -> string -> IO Int32

-- | Gets an Word64 contained within the attribute.
fileInfoGetAttributeWord64 :: (FileInfoClass info, GlibString string) => info -> string -> IO Word64

-- | Gets an Int64 contained within the attribute.
fileInfoGetAttributeInt64 :: (FileInfoClass info, GlibString string) => info -> string -> IO Int64

-- | Gets the value of a GObject attribute.
fileInfoGetAttributeObject :: (FileInfoClass info, GlibString string) => info -> string -> IO (Maybe GObject)

-- | Sets the attribute status for an attribute key. This is only needed by
--   external code that implement <tt>fileSetAttributesFromInfo</tt> or
--   similar functions.
--   
--   The attribute must exist in info for this to work. Otherwise
--   <a>False</a> is returned and info is unchanged.
fileInfoSetAttributeStatus :: (FileInfoClass info, GlibString string) => info -> string -> FileAttributeStatus -> IO Bool

-- | Sets the attribute to contain the given <tt>attrValue</tt>, if
--   possible.
fileInfoSetAttributeString :: (FileInfoClass info, GlibString string) => info -> string -> string -> IO ()

-- | Sets the attribute to contain the given <tt>attrValue</tt>, if
--   possible.
fileInfoSetAttributeStringList :: (FileInfoClass info, GlibString string) => info -> string -> [string] -> IO ()

-- | Sets the attribute to contain the given <tt>attrValue</tt>, if
--   possible.
fileInfoSetAttributeByteString :: (FileInfoClass info, GlibString string) => info -> string -> ByteString -> IO ()

-- | Sets the attribute to contain the given <tt>attrValue</tt>, if
--   possible.
fileInfoSetAttributeBool :: (FileInfoClass info, GlibString string) => info -> string -> Bool -> IO ()

-- | Sets the attribute to contain the given <tt>attrValue</tt>, if
--   possible.
fileInfoSetAttributeWord32 :: (FileInfoClass info, GlibString string) => info -> string -> Word32 -> IO ()

-- | Sets the attribute to contain the given <tt>attrValue</tt>, if
--   possible.
fileInfoSetAttributeInt32 :: (FileInfoClass info, GlibString string) => info -> string -> Int32 -> IO ()

-- | Sets the attribute to contain the given <tt>attrValue</tt>, if
--   possible.
fileInfoSetAttributeWord64 :: (FileInfoClass info, GlibString string) => info -> string -> Word64 -> IO ()

-- | Sets the attribute to contain the given <tt>attrValue</tt>, if
--   possible.
fileInfoSetAttributeInt64 :: (FileInfoClass info, GlibString string) => info -> string -> Int64 -> IO ()

-- | Sets the attribute to contain the given <tt>attrValue</tt>, if
--   possible.
fileInfoSetAttributeObject :: (FileInfoClass info, GlibString string) => info -> string -> GObject -> IO ()

-- | Clears the status information from info.
fileInfoClearStatus :: FileInfoClass info => info -> IO ()

-- | Gets a file's type (whether it is a regular file, symlink, etc). This
--   is different from the file's content type, see
--   <a>fileInfoGetContentType</a>.
fileInfoGetFileType :: FileInfoClass info => info -> FileType

-- | Checks if a file is hidden.
fileInfoGetIsHidden :: FileInfoClass info => info -> Bool

-- | Checks if a file is a backup file.
fileInfoGetIsBackup :: FileInfoClass info => info -> Bool

-- | Checks if a file is a symlink file.
fileInfoGetIsSymlink :: FileInfoClass info => info -> Bool

-- | Gets the name for a file.
fileInfoGetName :: FileInfoClass info => info -> Maybe ByteString

-- | Gets the display name for a file.
fileInfoGetDisplayName :: (FileInfoClass info, GlibString string) => info -> Maybe string

-- | Gets the edit name for a file.
fileInfoGetEditName :: (FileInfoClass info, GlibString string) => info -> Maybe string

-- | Gets the icon for a file.
fileInfoGetIcon :: FileInfoClass info => info -> IO Icon

-- | Gets the file's content type.
fileInfoGetContentType :: (FileInfoClass info, GlibString string) => info -> Maybe string

-- | Gets the modification time of the current info and sets it in result.
fileInfoGetModificationTime :: FileInfoClass info => info -> GTimeVal

-- | Gets the file's size.
fileInfoGetSize :: FileInfoClass info => info -> Int64

-- | Gets the symlink target for a given <a>FileInfo</a>.
fileInfoGetSymlinkTarget :: (FileInfoClass info, GlibString string) => info -> Maybe string

-- | Gets the entity tag for a given <a>FileInfo</a>. See
--   <tt>FileAttributeEtagValue</tt>.
fileInfoGetEtag :: (FileInfoClass info, GlibString string) => info -> Maybe string

-- | Gets the value of the <tt>sortOrder</tt> attribute from the
--   <a>FileInfo</a>. See <tt>FileAttributeStandardSortOrder</tt>.
fileInfoGetSortOrder :: FileInfoClass info => info -> Int

-- | Unsets a mask set by <tt>fileInfoSetAttributeMask</tt>, if one is set.
fileInfoUnsetAttributeMask :: FileInfoClass info => info -> IO ()

-- | Sets the file type in a <a>FileInfo</a> to type. See
--   <tt>FileAttributeStandardType</tt>.
fileInfoSetFileType :: FileInfoClass info => info -> FileType -> IO ()

-- | Sets the <tt>isHidden</tt> attribute in a <a>FileInfo</a> according to
--   <tt>isSymlink</tt>. See <tt>FileAttributeStandardIsHidden</tt>.
fileInfoSetIsHidden :: FileInfoClass info => info -> Bool -> IO ()

-- | Sets the <tt>isSymlink</tt> attribute in a <a>FileInfo</a> according
--   to <tt>isSymlink</tt>. See <tt>FileAttributeStandardIsSymlink</tt>.
fileInfoSetIsSymlink :: FileInfoClass info => info -> Bool -> IO ()

-- | Sets the name attribute for the current <a>FileInfo</a>. See
--   <tt>FileAttributeStandardName</tt>.
fileInfoSetName :: FileInfoClass info => info -> ByteString -> IO ()

-- | Sets the display name for the current <a>FileInfo</a>. See
--   <tt>FileAttributeStandardDisplayName</tt>.
fileInfoSetDisplayName :: (FileInfoClass info, GlibString string) => info -> string -> IO ()

-- | Sets the edit name for the current <a>FileInfo</a>. See
--   <tt>FileAttributeStandardEditName</tt>.
fileInfoSetEditName :: (FileInfoClass info, GlibString string) => info -> string -> IO ()

-- | Sets the icon for a given <a>FileInfo</a>. See
--   <tt>FileAttributeStandardIcon</tt>.
fileInfoSetIcon :: FileInfoClass info => info -> Icon -> IO ()

-- | Sets the content type attribute for a given <a>FileInfo</a>. See
--   <tt>FileAttributeStandardContentType</tt>.
fileInfoSetContentType :: (FileInfoClass info, GlibString string) => info -> string -> IO ()

-- | Sets the <tt>FileAttributeTimeModified</tt> attribute in the file info
--   to the given time value.
fileInfoSetModificationTime :: FileInfoClass info => info -> GTimeVal -> IO ()

-- | Sets the <tt>FileAttributeStandardSize</tt> attribute in the file info
--   to the given size.
fileInfoSetSize :: FileInfoClass info => info -> Int64 -> IO ()

-- | Sets the <tt>FileAttributeStandardSymlinkTarget</tt> attribute in the
--   file info to the given symlink target. fileInfoSetSymlinkTarget ::
--   FileInfoClass info =&gt; info -&gt; String -- ^ <tt>symlinkTarget</tt>
--   a static string containing a path to a symlink target. -&gt; IO ()
--   fileInfoSetSymlinkTarget info symlinkTarget = withUTFString
--   symlinkTarget $ symlinkTargetPtr -&gt; {} (toFileInfo info)
--   symlinkTargetPtr
--   
--   Sets the sort order attribute in the file info structure. See
--   <tt>FileAttributeStandardSortOrder</tt>.
fileInfoSetSortOrder :: FileInfoClass info => info -> Int -> IO ()


module System.GIO.File.ContentType

-- | Compares two content types for equality.
contentTypeEquals :: GlibString string => string -> string -> Bool

-- | Determines if type is a subset of supertype.
contentTypeIsA :: GlibString string => string -> string -> Bool

-- | Checks if the content type is the generic "unknown" type. On 1 this is
--   the "application/octet-stream" mimetype, while on win32 it is "*".
contentTypeIsUnknown :: GlibString string => string -> Bool

-- | Gets the human readable description of the content type.
contentTypeGetDescription :: GlibString string => string -> string

-- | Gets the mime-type for the content type. If one is registered
contentTypeGetMimeType :: GlibString string => string -> string

-- | Gets the icon for a content type.
contentTypeGetIcon :: GlibString string => string -> Icon

-- | Checks if a content type can be executable. Note that for instance
--   things like text files can be executables (i.e. scripts and batch
--   files).
contentTypeCanBeExecutable :: GlibString string => string -> Bool

-- | Tries to find a content type based on the mime type name.
contentTypeFromMimeType :: GlibString string => string -> string

-- | Guesses the content type based on example data. If the function is
--   uncertain, <tt>resultUncertain</tt> will be set to <a>True</a>. Either
--   filename or data may be <a>Nothing</a>, in which case the guess will
--   be based solely on the other argument.
contentTypeGuess :: (GlibFilePath fp, GlibString string) => fp -> string -> Int -> IO (Bool, string)

-- | Tries to guess the type of the tree with root root, by looking at the
--   files it contains. The result is an array of content types, with the
--   best guess coming first.
--   
--   The types returned all have the form x-content<i>foo, e.g.
--   x-content</i>audio-cdda (for audio CDs) or x-content/image-dcf (for a
--   camera memory card). See the shared-mime-info specification for more
--   on x-content types.
--   
--   This function is useful in the implementation of
--   <tt>mountGuessContentType</tt>.
contentTypeGuessForTree :: (FileClass file, GlibString string) => file -> IO [string]

-- | Gets a list of strings containing all the registered content types
--   known to the system.
contentTypesGetRegistered :: GlibString string => IO [string]


module System.GIO.File.AppInfo
data AppInfo
class GObjectClass o => AppInfoClass o
data AppLaunchContext
class FileInfoClass o => AppLaunchContextClass o

-- | Flags used when creating a <tt>AppInfo</tt>.
data AppInfoCreateFlags
AppInfoCreateNone :: AppInfoCreateFlags
AppInfoCreateNeedsTerminal :: AppInfoCreateFlags
AppInfoCreateSupportsUris :: AppInfoCreateFlags
AppInfoCreateSupportsStartupNotification :: AppInfoCreateFlags

-- | Creates a new <a>AppInfo</a> from the given information.
appInfoCreateFromCommandline :: GlibString string => string -> Maybe string -> [AppInfoCreateFlags] -> IO AppInfo

-- | Creates a duplicate of a <a>AppInfo</a>.
appInfoDup :: AppInfoClass appinfo => appinfo -> IO AppInfo

-- | Checks if two <a>AppInfo</a>s are equal.
appInfoEqual :: (AppInfoClass info1, AppInfoClass info2) => info1 -> info2 -> Bool

-- | Gets the ID of an application. An id is a string that identifies the
--   application. The exact format of the id is platform dependent. For
--   instance, on Unix this is the desktop file id from the xdg menu
--   specification.
--   
--   Note that the returned ID may be <a>Nothing</a>, depending on how the
--   appinfo has been constructed.
appInfoGetId :: (AppInfoClass appinfo, GlibString string) => appinfo -> IO (Maybe string)

-- | Gets the installed name of the application.
appInfoGetName :: AppInfoClass appinfo => appinfo -> String

-- | Gets the installed name of the application.
appInfoGetDisplayName :: (AppInfoClass appinfo, GlibString string) => appinfo -> string

-- | Gets a human-readable description of an installed application.
appInfoGetDescription :: (AppInfoClass appinfo, GlibString string) => appinfo -> Maybe string

-- | Gets the executable's name for the installed application.
appInfoGetExecutable :: (AppInfoClass appinfo, GlibString string) => appinfo -> string

-- | Gets the commandline with which the application will be started.
appInfoGetCommandline :: AppInfoClass appinfo => appinfo -> Maybe ByteString

-- | Gets the icon for the application.
appInfoGetIcon :: AppInfoClass appinfo => appinfo -> IO (Maybe Icon)

-- | Launches the application. Passes files to the launched application as
--   arguments, using the optional <tt>launchContext</tt> to get
--   information about the details of the launcher (like what screen it is
--   on). Throws a <a>GError</a> if an error occurs
--   
--   To lauch the application without arguments pass a emtpy files list.
--   
--   Note that even if the launch is successful the application launched
--   can fail to start if it runs into problems during startup. There is no
--   way to detect this.
--   
--   Some URIs can be changed when passed through a <a>File</a> (for
--   instance unsupported uris with strange formats like mailto:), so if
--   you have a textual uri you want to pass in as argument, consider using
--   <a>appInfoLaunchUris</a> instead.
appInfoLaunch :: AppInfoClass appinfo => appinfo -> [File] -> Maybe AppLaunchContext -> IO ()

-- | Checks if the application accepts files as arguments.
appInfoSupportsFiles :: AppInfoClass appinfo => appinfo -> IO Bool

-- | Checks if the application accepts uris as arguments.
appInfoSupportsUris :: AppInfoClass appinfo => appinfo -> IO Bool

-- | Launches the application. Passes uris to the launched application as
--   arguments, using the optional <tt>launchContext</tt> to get
--   information about the details of the launcher (like what screen it is
--   on). Throws a <a>GError</a> if an error occurs.
--   
--   To lauch the application without arguments pass a empty uris list.
--   
--   Note that even if the launch is successful the application launched
--   can fail to start if it runs into problems during startup. There is no
--   way to detect this.
appInfoLaunchUris :: (AppInfoClass appinfo, GlibString string) => appinfo -> [string] -> Maybe AppLaunchContext -> IO ()

-- | Checks if the application info should be shown in menus that list
--   available applications.
appInfoShouldShow :: AppInfoClass appinfo => appinfo -> IO Bool

-- | Obtains the information whether the <a>AppInfo</a> can be deleted. See
--   <a>appInfoDelete</a>.
appInfoCanDelete :: AppInfoClass appinfo => appinfo -> IO Bool

-- | Tries to delete a <a>AppInfo</a>.
--   
--   On some platforms, there may be a difference between user-defined
--   <a>AppInfo</a>s which can be deleted, and system-wide ones which
--   cannot. See <a>appInfoCanDelete</a>.
appInfoDelete :: AppInfoClass appinfo => appinfo -> IO Bool

-- | Removes all changes to the type associations done by
--   <a>appInfoSetAsDefaultForType</a>,
--   <a>appInfoSetAsDefaultForExtension</a> or
--   <a>appInfoRemoveSupportsType</a>.
appInfoResetTypeAssociations :: GlibString string => string -> IO ()

-- | Sets the application as the default handler for a given type. Throws a
--   <a>GError</a> if an error occurs.
appInfoSetAsDefaultForType :: (AppInfoClass appinfo, GlibString string) => appinfo -> string -> IO ()

-- | Sets the application as the default handler for a given extension.
--   Throws a <a>GError</a> if an error occurs.
appInfoSetAsDefaultForExtension :: (AppInfoClass appinfo, GlibString string) => appinfo -> string -> IO ()

-- | Adds a content type to the application information to indicate the
--   application is capable of opening files with the given content type.
--   Throws a <a>GError</a> if an error occurs.
appInfoAddSupportsType :: (AppInfoClass appinfo, GlibString string) => appinfo -> string -> IO ()

-- | Checks if a supported content type can be removed from an application.
appInfoCanRemoveSupportsType :: AppInfoClass appinfo => appinfo -> IO Bool

-- | Removes a supported type from an application, if possible. Throws a
--   <a>GError</a> if an error occurs.
appInfoRemoveSupportsType :: (AppInfoClass appinfo, GlibString string) => appinfo -> string -> IO ()

-- | Gets a list of all of the applications currently registered on this
--   system.
--   
--   For desktop files, this includes applications that have NoDisplay=true
--   set or are excluded from display by means of OnlyShowIn or NotShowIn.
--   See <a>appInfoShouldShow</a>. The returned list does not include
--   applications which have the Hidden key set.
appInfoGetAll :: IO [AppInfo]

-- | Gets a list of all <a>AppInfo</a>s for a given content type.
appInfoGetAllForType :: GlibString string => string -> IO [AppInfo]

-- | Gets the <a>AppInfo</a> that corresponds to a given content type.
appInfoGetDefaultForType :: GlibString string => string -> Bool -> IO (Maybe AppInfo)

-- | Gets the default application for launching applications using this URI
--   scheme. A URI scheme is the initial part of the URI, up to but not
--   including the <tt>:</tt>, e.g. "http", "ftp" or "sip".
appInfoGetDefaultForUriScheme :: GlibString string => string -> IO (Maybe AppInfo)

-- | Utility function that launches the default application registered to
--   handle the specified uri. Synchronous I/O is done on the uri to detect
--   the type of the file if required. Throws a <a>GError</a> if an error
--   occurs.
appInfoLaunchDefaultForUri :: GlibString string => string -> AppLaunchContext -> IO ()

-- | Gets the display string for the display. This is used to ensure new
--   applications are started on the same display as the launching
--   application.
appLaunchContextGetDisplay :: (AppInfoClass appinfo, GlibString string) => AppLaunchContext -> appinfo -> [File] -> IO string

-- | Initiates startup notification for the application and returns the
--   DesktopStartupId for the launched operation, if supported.
--   
--   Startup notification IDs are defined in the FreeDesktop.Org Startup
--   Notifications standard.
appLaunchContextGetStartupNotifyId :: (AppInfoClass appinfo, GlibString string) => AppLaunchContext -> appinfo -> [File] -> IO (Maybe string)

-- | Called when an application has failed to launch, so that it can cancel
--   the application startup notification started in
--   <a>appLaunchContextGetStartupNotifyId</a>.
appLaunchContextLaunchFailed :: GlibString string => AppLaunchContext -> string -> IO ()

-- | Creates a new application launch context. This is not normally used,
--   instead you instantiate a subclass of this, such as
--   <a>AppLaunchContext</a>.
appLaunchContextNew :: IO AppLaunchContext


module System.GIO.Async.Cancellable
newtype Cancellable
Cancellable :: (ForeignPtr (Cancellable)) -> Cancellable
class GObjectClass o => CancellableClass o

-- | Creates a new <a>Cancellable</a> object.
--   
--   Applications that want to start one or more operations that should be
--   cancellable should create a <a>Cancellable</a> and pass it to the
--   operations.
--   
--   One <a>Cancellable</a> can be used in multiple consecutive operations,
--   but not in multiple concurrent operations.
cancellableNew :: IO Cancellable

-- | Checks if a cancellable job has been cancelled.
cancellableIsCancelled :: Cancellable -> IO Bool

-- | If the cancellable is cancelled, throws a <a>GError</a> to notify that
--   the operation was cancelled.
cancellableThrowErrorIfCancelled :: Cancellable -> IO ()

-- | Gets the top cancellable from the stack.
cancellableGetCurrent :: IO (Maybe Cancellable)

-- | Pops cancellable off the cancellable stack (verifying that cancellable
--   is on the top of the stack).
cancellablePopCurrent :: Maybe Cancellable -> IO ()

-- | Pushes cancellable onto the cancellable stack. The current cancllable
--   can then be recieved using <a>cancellableGetCurrent</a> .
--   
--   This is useful when implementing cancellable operations in code that
--   does not allow you to pass down the cancellable object.
--   
--   This is typically called automatically by e.g. <a>File</a> operations,
--   so you rarely have to call this yourself.
cancellablePushCurrent :: Maybe Cancellable -> IO ()

-- | Resets cancellable to its uncancelled state.
cancellableReset :: Cancellable -> IO ()

-- | Will set cancellable to cancelled, and will emit the "cancelled"
--   signal. (However, see the warning about race conditions in the
--   documentation for that signal if you are planning to connect to it.)
--   
--   This function is thread-safe. In other words, you can safely call it
--   from a thread other than the one running the operation that was passed
--   the cancellable.
--   
--   The convention within gio is that cancelling an asynchronous operation
--   causes it to complete asynchronously. That is, if you cancel the
--   operation from the same thread in which it is running, then the
--   operation's <tt>AsyncReadyCallback</tt> will not be invoked until the
--   application returns to the main loop.
cancellableCancel :: Cancellable -> IO ()

-- | Emitted when the operation has been cancelled.
--   
--   Can be used by implementations of cancellable operations. If the
--   operation is cancelled from another thread, the signal will be emitted
--   in the thread that cancelled the operation, not the thread that is
--   running the operation.
--   
--   Note that disconnecting from this signal (or any signal) in a
--   multi-threaded program is prone to race conditions. For instance it is
--   possible that a signal handler may be invoked even after a call to
--   <tt>signalHandlerDisconnect</tt> for that handler has already
--   returned.
--   
--   There is also a problem when cancellation happen right before
--   connecting to the signal. If this happens the signal will unexpectedly
--   not be emitted, and checking before connecting to the signal leaves a
--   race condition where this is still happening.
cancellableCancelled :: Signal Cancellable (IO ())


module System.GIO.Async.AsyncResult
data AsyncResult
class GObjectClass o => AsyncResultClass o
type AsyncReadyCallback = GObject -> AsyncResult -> IO ()
marshalAsyncReadyCallback :: AsyncReadyCallback -> IO GAsyncReadyCallback


module System.GIO.File.File
newtype File
File :: (ForeignPtr (File)) -> File
class GObjectClass o => FileClass o
type FileProgressCallback = Offset -> Offset -> IO ()
type FileReadMoreCallback = ByteString -> IO Bool
type Offset = CLong
data FileInputStream
class InputStreamClass o => FileInputStreamClass o
data FileOutputStream
class OutputStreamClass o => FileOutputStreamClass o
data InputStream
class GObjectClass o => InputStreamClass o
data OutputStream
class GObjectClass o => OutputStreamClass o
data BufferedInputStream
class FilterInputStreamClass o => BufferedInputStreamClass o
data BufferedOutputStream
class FilterOutputStreamClass o => BufferedOutputStreamClass o
data MemoryInputStream
class InputStreamClass o => MemoryInputStreamClass o
data MemoryOutputStream
class OutputStreamClass o => MemoryOutputStreamClass o
data FilterInputStream
class InputStreamClass o => FilterInputStreamClass o
data FilterOutputStream
class OutputStreamClass o => FilterOutputStreamClass o
data DataInputStream
class BufferedInputStreamClass o => DataInputStreamClass o
data DataOutputStream
class FilterOutputStreamClass o => DataOutputStreamClass o

-- | Indicates the file's on-disk type.
data FileType
FileTypeUnknown :: FileType
FileTypeRegular :: FileType
FileTypeDirectory :: FileType
FileTypeSymbolicLink :: FileType
FileTypeSpecial :: FileType
FileTypeShortcut :: FileType
FileTypeMountable :: FileType

-- | Flags used when copying or moving files.
data FileCopyFlags
FileCopyNone :: FileCopyFlags
FileCopyOverwrite :: FileCopyFlags
FileCopyBackup :: FileCopyFlags
FileCopyNofollowSymlinks :: FileCopyFlags
FileCopyAllMetadata :: FileCopyFlags
FileCopyNoFallbackForMove :: FileCopyFlags
FileCopyTargetDefaultPerms :: FileCopyFlags

-- | Flags used when querying a <tt>FileInfo</tt>.
data FileQueryInfoFlags
FileQueryInfoNone :: FileQueryInfoFlags
FileQueryInfoNofollowSymlinks :: FileQueryInfoFlags
data FileCreateFlags
FileCreateNone :: FileCreateFlags
FileCreatePrivate :: FileCreateFlags
FileCreateReplaceDestination :: FileCreateFlags

-- | Flags used to set what a <tt>FileMonitor</tt> will watch for.
data FileMonitorFlags
FileMonitorNone :: FileMonitorFlags
FileMonitorWatchMounts :: FileMonitorFlags
FileMonitorSendMoved :: FileMonitorFlags
FileMonitorWatchHardLinks :: FileMonitorFlags
FileMonitorWatchMoves :: FileMonitorFlags

-- | Flags used when mounting a mount.
data MountMountFlags
MountMountNone :: MountMountFlags

-- | Flags used when an unmounting a mount.
data MountUnmountFlags
MountUnmountNone :: MountUnmountFlags
MountUnmountForce :: MountUnmountFlags

-- | Constructs a <a>File</a> for a given path. This operation never fails,
--   but the returned object might not support any I/O operation if path is
--   malformed.
fileFromPath :: ByteString -> File

-- | Constructs a <a>File</a> for a given URI. This operation never fails,
--   but the returned object might not support any I/O operation if uri is
--   malformed or if the uri type is not supported.
fileFromURI :: GlibString string => string -> File

-- | Creates a <a>File</a> with the given argument from the command line.
--   The value of arg can be either a URI, an absolute path or a relative
--   path resolved relative to the current working directory. This
--   operation never fails, but the returned object might not support any
--   I/O operation if arg points to a malformed path.
fileFromCommandlineArg :: ByteString -> File

-- | Constructs a <a>File</a> with the given name (i.e. something given by
--   <a>fileParseName</a>. This operation never fails, but the returned
--   object might not support any I/O operation if the <tt>parseName</tt>
--   cannot be parsed.
fileFromParseName :: GlibString string => string -> File

-- | Compare two file descriptors for equality. This test is also used to
--   implement the '(==)' function, that is, comparing two descriptions
--   will compare their content, not the pointers to the two structures.
fileEqual :: (FileClass file1, FileClass file2) => file1 -> file2 -> Bool

-- | Gets the base name (the last component of the path) for a given
--   <a>File</a>.
--   
--   If called for the top level of a system (such as the filesystem root
--   or a uri like sftp: will return a single directory separator (and on
--   Windows, possibly a drive letter).
--   
--   The base name is a byte string (*not* UTF-8). It has no defined
--   encoding or rules other than it may not contain zero bytes. If you
--   want to use filenames in a user interface you should use the display
--   name that you can get by requesting the
--   <tt>FileAttributeStandardDisplayName</tt> attribute with
--   <a>fileQueryInfo</a>.
--   
--   This call does no blocking i/o.
fileBasename :: FileClass file => file -> ByteString

-- | Gets the local pathname for <a>File</a>, if one exists.
--   
--   This call does no blocking i/o.
filePath :: FileClass file => file -> ByteString

-- | Checks if file has a parent, and optionally, if it is parent.
--   
--   If parent is <a>Nothing</a> then this function returns <a>True</a> if
--   file has any parent at all. If parent is non-<a>Nothing</a> then
--   <a>True</a> is only returned if file is a child of parent.
fileHasParent :: FileClass file => file -> Maybe File -> Bool

-- | Gets the URI for the file.
--   
--   This call does no blocking i/o.
fileURI :: (FileClass file, GlibString string) => file -> string

-- | Gets the parse name of the file. A parse name is a UTF-8 string that
--   describes the file such that one can get the <a>File</a> back using
--   <a>fileParseName</a>.
--   
--   This is generally used to show the <a>File</a> as a nice full-pathname
--   kind of string in a user interface, like in a location entry.
--   
--   For local files with names that can safely be converted to UTF8 the
--   pathname is used, otherwise the IRI is used (a form of URI that allows
--   UTF8 characters unescaped).
--   
--   This call does no blocking i/o.
fileParseName :: (FileClass file, GlibString string) => file -> string

-- | Gets a child of file with basename equal to name.
--   
--   Note that the file with that specific name might not exist, but you
--   can still have a <a>File</a> that points to it. You can use this for
--   instance to create that file.
--   
--   This call does no blocking i/o.
fileGetChild :: FileClass file => file -> ByteString -> File

-- | Gets the child of file for a given 'name (i.e. a UTF8 version of the
--   name)'. If this function fails, it throws a GError. This is very
--   useful when constructing a <a>File</a> for a new file and the user
--   entered the filename in the user interface, for instance when you
--   select a directory and type a filename in the file selector.
--   
--   This call does no blocking i/o.
fileGetChildForDisplayName :: (FileClass file, GlibString string) => file -> string -> File

-- | Checks whether file has the prefix specified by prefix. In other word,
--   if the names of inital elements of files pathname match prefix. Only
--   full pathname elements are matched, so a path like <i>foo is not
--   considered a prefix of </i>foobar, only of <i> foo</i>bar.
--   
--   This call does no i/o, as it works purely on names. As such it can
--   sometimes return <a>False</a> even if file is inside a prefix (from a
--   filesystem point of view), because the prefix of file is an alias of
--   prefix.
fileHasPrefix :: (FileClass file1, FileClass file2) => file1 -> file2 -> Bool

-- | Gets the path for descendant relative to parent.
--   
--   This call does no blocking i/o.
fileGetRelativePath :: (FileClass file1, FileClass file2) => file1 -> file2 -> Maybe ByteString

-- | Resolves a relative path for file to an absolute path.
--   
--   This call does no blocking i/o.
fileResolveRelativePath :: FileClass file => file -> ByteString -> Maybe File

-- | Checks to see if a file is native to the platform.
--   
--   A native file s one expressed in the platform-native filename format,
--   e.g. "C:Windows" or "<i>usr</i>bin/". This does not mean the file is
--   local, as it might be on a locally mounted remote filesystem.
--   
--   On some systems non-native files may be available using the native
--   filesystem via a userspace filesystem (FUSE), in these cases this call
--   will return <a>False</a>, but <tt>fileGetPath</tt> will still return a
--   native path.
--   
--   This call does no blocking i/o.
fileIsNative :: FileClass file => file -> Bool

-- | Checks to see if a <a>File</a> has a given URI scheme.
--   
--   This call does no blocking i/o.
fileHasURIScheme :: (FileClass file, GlibString string) => file -> string -> Bool

-- | Gets the URI scheme for a <a>File</a>. RFC 3986 decodes the scheme as:
--   
--   URI = scheme ":" hier-part [ "?" query ] [ "#" fragment ]
--   
--   Common schemes include "file", "http", "ftp", etc.
--   
--   This call does no blocking i/o.
fileURIScheme :: (FileClass file, GlibString string) => file -> string

-- | Opens a file for reading. The result is a <a>FileInputStream</a> that
--   can be used to read the contents of the file.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   If the file does not exist, the <a>IoErrorNotFound</a> error will be
--   returned. If the file is a directory, the <a>IoErrorIsDirectory</a>
--   error will be returned. Other errors are possible too, and depend on
--   what kind of filesystem the file is on.
fileRead :: FileClass file => file -> Maybe Cancellable -> IO FileInputStream

-- | Asynchronously opens file for reading.
--   
--   For more details, see <a>fileRead</a> which is the synchronous version
--   of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileReadFinish</a> to get the result of the operation.
fileReadAsync :: FileClass file => file -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an asynchronous file read operation started with
--   <a>fileReadAsync</a>.
fileReadFinish :: FileClass file => file -> AsyncResult -> IO FileInputStream

-- | Gets an output stream for appending data to the file. If the file
--   doesn't already exist it is created.
--   
--   By default files created are generally readable by everyone, but if
--   you pass <a>FileCreatePrivate</a> in flags the file will be made
--   readable only to the current user, to the level that is supported on
--   the target filesystem.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   Some file systems don't allow all file names, and may return an
--   <a>IoErrorInvalidFilename</a> error. If the file is a directory the
--   <a>IoErrorIsDirectory</a> error will be returned. Other errors are
--   possible too, and depend on what kind of filesystem the file is on.
fileAppendTo :: FileClass file => file -> [FileCreateFlags] -> Maybe Cancellable -> IO FileOutputStream

-- | Creates a new file and returns an output stream for writing to it. The
--   file must not already exist.
--   
--   By default files created are generally readable by everyone, but if
--   you pass <a>FileCreatePrivate</a> in flags the file will be made
--   readable only to the current user, to the level that is supported on
--   the target filesystem.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   If a file or directory with this name already exists the
--   <a>IoErrorExists</a> error will be returned. Some file systems don't
--   allow all file names, and may return an <a>IoErrorInvalidFilename</a>
--   error, and if the name is to long <a>IoErrorFilenameTooLong</a> will
--   be returned. Other errors are possible too, and depend on what kind of
--   filesystem the file is on.
fileCreate :: FileClass file => file -> [FileCreateFlags] -> Maybe Cancellable -> IO FileOutputStream

-- | Returns an output stream for overwriting the file, possibly creating a
--   backup copy of the file first. If the file doesn't exist, it will be
--   created.
--   
--   This will try to replace the file in the safest way possible so that
--   any errors during the writing will not affect an already existing copy
--   of the file. For instance, for local files it may write to a temporary
--   file and then atomically rename over the destination when the stream
--   is closed.
--   
--   By default files created are generally readable by everyone, but if
--   you pass <a>FileCreatePrivate</a> in flags the file will be made
--   readable only to the current user, to the level that is supported on
--   the target filesystem.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   If you pass in a non-<a>Nothing</a> etag value, then this value is
--   compared to the current entity tag of the file, and if they differ an
--   <a>IoErrorWrongEtag</a> error is returned. This generally means that
--   the file has been changed since you last read it. You can get the new
--   etag from <tt>fileOutputStreamGetEtag</tt> after you've finished
--   writing and closed the <a>FileOutputStream</a>. When you load a new
--   file you can use <tt>fileInputStreamQueryInfo</tt> to get the etag of
--   the file.
--   
--   If <tt>makeBackup</tt> is <a>True</a>, this function will attempt to
--   make a backup of the current file before overwriting it. If this fails
--   a <a>IoErrorCantCreateBackup</a> error will be returned. If you want
--   to replace anyway, try again with <tt>makeBackup</tt> set to
--   <a>False</a>.
--   
--   If the file is a directory the <a>IoErrorIsDirectory</a> error will be
--   returned, and if the file is some other form of non-regular file then
--   a <a>IoErrorNotRegularFile</a> error will be returned. Some file
--   systems don't allow all file names, and may return an
--   <a>IoErrorInvalidFilename</a> error, and if the name is to long
--   <a>IoErrorFilenameTooLong</a> will be returned. Other errors are
--   possible too, and depend on what kind of filesystem the file is on.
fileReplace :: (FileClass file, GlibString string) => file -> Maybe string -> Bool -> [FileCreateFlags] -> Maybe Cancellable -> IO FileOutputStream

-- | Asynchronously opens file for appending.
--   
--   For more details, see <a>fileAppendTo</a> which is the synchronous
--   version of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileAppendToFinish</a> to get the result of the operation.
fileAppendToAsync :: FileClass file => file -> [FileCreateFlags] -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an asynchronous file append operation started with
--   <a>fileAppendToAsync</a>.
fileAppendToFinish :: FileClass file => file -> AsyncResult -> IO FileOutputStream

-- | Asynchronously creates a new file and returns an output stream for
--   writing to it. The file must not already exist.
--   
--   For more details, see <a>fileCreate</a> which is the synchronous
--   version of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileCreateFinish</a> to get the result of the operation.
fileCreateAsync :: FileClass file => file -> [FileCreateFlags] -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an asynchronous file create operation started with
--   <a>fileCreateAsync</a>.
fileCreateFinish :: FileClass file => file -> AsyncResult -> IO FileOutputStream

-- | Asynchronously overwrites the file, replacing the contents, possibly
--   creating a backup copy of the file first.
--   
--   For more details, see <a>fileReplace</a> which is the synchronous
--   version of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileReplaceFinish</a> to get the result of the operation.
fileReplaceAsync :: (FileClass file, GlibString string) => file -> string -> Bool -> [FileCreateFlags] -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an asynchronous file replace operation started with
--   <a>fileReplaceAsync</a>.
fileReplaceFinish :: FileClass file => file -> AsyncResult -> IO FileOutputStream

-- | Gets the requested information about specified file. The result is a
--   <a>FileInfo</a> object that contains key-value attributes (such as the
--   type or size of the file).
--   
--   The attribute value is a string that specifies the file attributes
--   that should be gathered. It is not an error if it's not possible to
--   read a particular requested attribute from a file - it just won't be
--   set. attribute should be a comma-separated list of attribute or
--   attribute wildcards. The wildcard "*" means all attributes, and a
--   wildcard like "standard::*" means all attributes in the standard
--   namespace. An example attribute query be "standard::*,<tt>user</tt>".
--   The standard attributes are available as defines, like
--   <tt>FileAttributeStandardName</tt>.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   For symlinks, normally the information about the target of the symlink
--   is returned, rather than information about the symlink itself. However
--   if you pass <a>FileQueryInfoNofollowSymlinks</a> in flags the
--   information about the symlink itself will be returned. Also, for
--   symlinks that point to non-existing files the information about the
--   symlink itself will be returned.
--   
--   If the file does not exist, the <a>IoErrorNotFound</a> error will be
--   returned. Other errors are possible too, and depend on what kind of
--   filesystem the file is on.
fileQueryInfo :: (FileClass file, GlibString string) => file -> string -> [FileQueryInfoFlags] -> Maybe Cancellable -> IO FileInfo

-- | Asynchronously gets the requested information about specified file.
--   The result is a <a>FileInfo</a> object that contains key-value
--   attributes (such as type or size for the file).
--   
--   For more details, see <a>fileQueryInfo</a> which is the synchronous
--   version of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileQueryInfoFinish</a> to get the result of the operation.
fileQueryInfoAsync :: (FileClass file, GlibString string) => file -> string -> [FileQueryInfoFlags] -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an asynchronous file info query. See
--   <a>fileQueryInfoAsync</a>.
fileQueryInfoFinish :: FileClass file => file -> AsyncResult -> IO FileInfo

-- | Utility function to check if a particular file exists. This is
--   implemented using <a>fileQueryInfo</a> and as such does blocking I/O.
--   
--   Note that in many cases it is racy to first check for file existence
--   and then execute something based on the outcome of that, because the
--   file might have been created or removed in between the operations. The
--   general approach to handling that is to not check, but just do the
--   operation and handle the errors as they come.
--   
--   As an example of race-free checking, take the case of reading a file,
--   and if it doesn't exist, creating it. There are two racy versions:
--   read it, and on error create it; and: check if it exists, if not
--   create it. These can both result in two processes creating the file
--   (with perhaps a partially written file as the result). The correct
--   approach is to always try to create the file with <a>fileCreate</a>
--   which will either atomically create the file or fail with a
--   <a>IoErrorExists</a> error.
--   
--   However, in many cases an existence check is useful in a user
--   interface, for instance to make a menu item sensitive/ insensitive, so
--   that you don't have to fool users that something is possible and then
--   just show and error dialog. If you do this, you should make sure to
--   also handle the errors that can happen due to races when you execute
--   the operation.
fileQueryExists :: FileClass file => file -> Maybe Cancellable -> Bool

-- | Utility function to inspect the <a>FileType</a> of a file. This is
--   implemented using <a>fileQueryInfo</a> and as such does blocking I/O.
--   
--   The primary use case of this method is to check if a file is a regular
--   file, directory, or symlink.
fileQueryFileType :: FileClass file => file -> [FileQueryInfoFlags] -> Maybe Cancellable -> FileType

-- | Similar to <a>fileQueryInfo</a>, but obtains information about the
--   filesystem the file is on, rather than the file itself. For instance
--   the amount of space available and the type of the filesystem.
--   
--   The attribute value is a string that specifies the file attributes
--   that should be gathered. It is not an error if it's not possible to
--   read a particular requested attribute from a file - it just won't be
--   set. attribute should be a comma-separated list of attribute or
--   attribute wildcards. The wildcard "*" means all attributes, and a
--   wildcard like "fs:*" means all attributes in the fs namespace. The
--   standard namespace for filesystem attributes is "fs". Common
--   attributes of interest are 'FILEAttributeFilesystemSize (The Total
--   Size Of The Filesystem In Bytes)', 'FILEAttributeFilesystemFree
--   (Number Of Bytes Available)', and <tt>FileAttributeFilesystemType</tt>
--   (type of the filesystem).
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   If the file does not exist, the <a>IoErrorNotFound</a> error will be
--   returned. Other errors are possible too, and depend on what kind of
--   filesystem the file is on.
fileQueryFilesystemInfo :: (FileClass file, GlibString string) => file -> string -> Maybe Cancellable -> IO FileInfo

-- | Asynchronously gets the requested information about the filesystem
--   that the specified file is on. The result is a <a>FileInfo</a> object
--   that contains key-value attributes (such as type or size for the
--   file).
--   
--   For more details, see <a>fileQueryFilesystemInfo</a> which is the
--   synchronous version of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileQueryInfoFinish</a> to get the result of the operation.
fileQueryFilesystemInfoAsync :: (FileClass file, GlibString string) => file -> string -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an asynchronous filesystem info query. See
--   <a>fileQueryFilesystemInfoAsync</a>.
fileQueryFilesystemInfoFinish :: FileClass file => file -> AsyncResult -> IO FileInfo

-- | Returns the <a>AppInfo</a> that is registered as the default
--   application to handle the file specified by file.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileQueryDefaultHandler :: FileClass file => file -> Maybe Cancellable -> IO AppInfo

-- | Gets a <a>Mount</a> for the <a>File</a>.
--   
--   If the <tt>FileIface</tt> for file does not have a mount (e.g.
--   possibly a remote share), error will be set to <a>IoErrorNotFound</a>
--   and <a>Nothing</a> will be returned.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileFindEnclosingMount :: FileClass file => file -> Maybe Cancellable -> IO Mount

-- | Asynchronously gets the mount for the file.
--   
--   For more details, see <a>fileFindEnclosingMount</a> which is the
--   synchronous version of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileFindEnclosingMountFinish</a> to get the result of the
--   operation.
fileFindEnclosingMountAsync :: FileClass file => file -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an asynchronous find mount request. See
--   <a>fileFindEnclosingMountAsync</a>.
fileFindEnclosingMountFinish :: FileClass file => file -> AsyncResult -> IO Mount

-- | Gets the requested information about the files in a directory. The
--   result is a <a>FileEnumerator</a> object that will give out
--   <a>FileInfo</a> objects for all the files in the directory.
--   
--   The attribute value is a string that specifies the file attributes
--   that should be gathered. It is not an error if it's not possible to
--   read a particular requested attribute from a file - it just won't be
--   set. attribute should be a comma-separated list of attribute or
--   attribute wildcards. The wildcard "*" means all attributes, and a
--   wildcard like "standard::*" means all attributes in the standard
--   namespace. An example attribute query be "standard::*,<tt>user</tt>".
--   The standard attributes are available as defines, like
--   <tt>FileAttributeStandardName</tt>.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   If the file does not exist, the <a>IoErrorNotFound</a> error will be
--   returned. If the file is not a directory, the <tt>FileErrorNotdir</tt>
--   error will be returned. Other errors are possible too.
fileEnumerateChildren :: FileClass file => file -> String -> [FileQueryInfoFlags] -> Maybe Cancellable -> IO FileEnumerator

-- | Asynchronously gets the requested information about the files in a
--   directory. The result is a <a>FileEnumerator</a> object that will give
--   out <a>FileInfo</a> objects for all the files in the directory.
--   
--   For more details, see <a>fileEnumerateChildren</a> which is the
--   synchronous version of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileEnumerateChildrenFinish</a> to get the result of the
--   operation.
fileEnumerateChildrenAsync :: (FileClass file, GlibString string) => file -> string -> [FileQueryInfoFlags] -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an async enumerate children operation. See
--   <a>fileEnumerateChildrenAsync</a>.
fileEnumerateChildrenFinish :: FileClass file => file -> AsyncResult -> IO FileEnumerator

-- | Renames file to the specified display name.
--   
--   The display name is converted from UTF8 to the correct encoding for
--   the target filesystem if possible and the file is renamed to this.
--   
--   If you want to implement a rename operation in the user interface the
--   edit name (<tt>FileAttributeStandardEditName</tt>) should be used as
--   the initial value in the rename widget, and then the result after
--   editing should be passed to <a>fileSetDisplayName</a>.
--   
--   On success the resulting converted filename is returned.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileSetDisplayName :: (FileClass file, GlibString string) => file -> string -> Maybe Cancellable -> IO File

-- | Asynchronously sets the display name for a given <a>File</a>.
--   
--   For more details, see <a>fileSetDisplayName</a> which is the
--   synchronous version of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileSetDisplayNameFinish</a> to get the result of the
--   operation.
fileSetDisplayNameAsync :: (FileClass file, GlibString string) => file -> string -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes setting a display name started with
--   <a>fileSetDisplayNameAsync</a>.
fileSetDisplayNameFinish :: FileClass file => file -> AsyncResult -> IO File

-- | Deletes a file. If the file is a directory, it will only be deleted if
--   it is empty.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileDelete :: FileClass file => file -> Maybe Cancellable -> IO ()

-- | Sends file to the <a>Trashcan</a>, if possible. This is similar to
--   deleting it, but the user can recover it before emptying the trashcan.
--   Not all file systems support trashing, so this call can return the
--   <a>IoErrorNotSupported</a> error.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileTrash :: FileClass file => file -> Maybe Cancellable -> IO ()

-- | Copies the file source to the location specified by destination. Can
--   not handle recursive copies of directories.
--   
--   If the flag <a>FileCopyOverwrite</a> is specified an already existing
--   destination file is overwritten.
--   
--   If the flag <a>FileCopyNofollowSymlinks</a> is specified then symlinks
--   will be copied as symlinks, otherwise the target of the source symlink
--   will be copied.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   If <tt>progressCallback</tt> is not <a>Nothing</a>, then the operation
--   can be monitored by setting this to a <a>FileProgressCallback</a>
--   function. <tt>progressCallbackData</tt> will be passed to this
--   function. It is guaranteed that this callback will be called after all
--   data has been transferred with the total number of bytes copied during
--   the operation.
--   
--   If the source file does not exist then the <a>IoErrorNotFound</a>
--   error is returned, independent on the status of the destination.
--   
--   If <a>FileCopyOverwrite</a> is not specified and the target exists,
--   then the error <a>IoErrorExists</a> is returned.
--   
--   If trying to overwrite a file over a directory the
--   <a>IoErrorIsDirectory</a> error is returned. If trying to overwrite a
--   directory with a directory the <a>IoErrorWouldMerge</a> error is
--   returned.
--   
--   If the source is a directory and the target does not exist, or
--   <a>FileCopyOverwrite</a> is specified and the target is a file, then
--   the <a>IoErrorWouldRecurse</a> error is returned.
--   
--   If you are interested in copying the <a>File</a> object itself (not
--   the on-disk file), see <tt>fileDup</tt>.
fileCopy :: (FileClass source, FileClass destination) => source -> destination -> [FileCopyFlags] -> Maybe Cancellable -> Maybe FileProgressCallback -> IO ()

-- | Copies the file source to the location specified by destination
--   asynchronously. For details of the behaviour, see <a>fileCopy</a>.
--   
--   If <tt>progressCallback</tt> is not <a>Nothing</a>, then that function
--   that will be called just like in <a>fileCopy</a>, however the callback
--   will run in the main loop, not in the thread that is doing the I/O
--   operation.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileCopyFinish</a> to get the result of the operation.
fileCopyAsync :: (FileClass source, FileClass destination) => source -> destination -> [FileCopyFlags] -> Int -> Maybe Cancellable -> Maybe FileProgressCallback -> AsyncReadyCallback -> IO ()

-- | Finishes copying the file started with <a>fileCopyAsync</a>.
--   
--   Throws a <a>GError</a> if an error occurs.
fileCopyFinish :: FileClass file => file -> AsyncResult -> IO ()

-- | Tries to move the file or directory source to the location specified
--   by destination. If native move operations are supported then this is
--   used, otherwise a copy + delete fallback is used. The native
--   implementation may support moving directories (for instance on moves
--   inside the same filesystem), but the fallback code does not.
--   
--   If the flag <a>FileCopyOverwrite</a> is specified an already existing
--   destination file is overwritten.
--   
--   If the flag <a>FileCopyNofollowSymlinks</a> is specified then symlinks
--   will be copied as symlinks, otherwise the target of the source symlink
--   will be copied.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   If <tt>progressCallback</tt> is not <a>Nothing</a>, then the operation
--   can be monitored by setting this to a <a>FileProgressCallback</a>
--   function. <tt>progressCallbackData</tt> will be passed to this
--   function. It is guaranteed that this callback will be called after all
--   data has been transferred with the total number of bytes copied during
--   the operation.
--   
--   If the source file does not exist then the <a>IoErrorNotFound</a>
--   error is returned, independent on the status of the destination.
--   
--   If <a>FileCopyOverwrite</a> is not specified and the target exists,
--   then the error <a>IoErrorExists</a> is returned.
--   
--   If trying to overwrite a file over a directory the
--   <a>IoErrorIsDirectory</a> error is returned. If trying to overwrite a
--   directory with a directory the <a>IoErrorWouldMerge</a> error is
--   returned.
--   
--   If the source is a directory and the target does not exist, or
--   <a>FileCopyOverwrite</a> is specified and the target is a file, then
--   the <a>IoErrorWouldRecurse</a> error may be returned (if the native
--   move operation isn't available).
fileMove :: (FileClass source, FileClass destination) => source -> destination -> [FileCopyFlags] -> Maybe Cancellable -> Maybe FileProgressCallback -> IO ()

-- | Creates a directory. Note that this will only create a child directory
--   of the immediate parent directory of the path or URI given by the
--   <a>File</a>. To recursively create directories, see
--   <a>fileMakeDirectoryWithParents</a>. This function will fail if the
--   parent directory does not exist, setting error to
--   <a>IoErrorNotFound</a>. If the file system doesn't support creating
--   directories, this function will fail, setting error to
--   <a>IoErrorNotSupported</a>.
--   
--   For a local <a>File</a> the newly created directory will have the
--   default (current) ownership and permissions of the current process.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileMakeDirectory :: FileClass file => file -> Maybe Cancellable -> IO ()

-- | Creates a directory and any parent directories that may not exist
--   similar to 'mkdir -p'. If the file system does not support creating
--   directories, this function will fail, setting error to
--   <a>IoErrorNotSupported</a>.
--   
--   For a local <a>File</a> the newly created directories will have the
--   default (current) ownership and permissions of the current process.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileMakeDirectoryWithParents :: FileClass file => file -> Maybe Cancellable -> IO ()

-- | Creates a symbolic link.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileMakeSymbolicLink :: FileClass file => file -> ByteString -> Maybe Cancellable -> IO ()

-- | Obtain the list of settable attributes for the file.
--   
--   Returns the type and full attribute name of all the attributes that
--   can be set on this file. This doesn't mean setting it will always
--   succeed though, you might get an access failure, or some specific file
--   may not support a specific attribute.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileQuerySettableAttributes :: FileClass file => file -> Maybe Cancellable -> IO [FileAttributeInfo]

-- | Obtain the list of attribute namespaces where new attributes can be
--   created by a user. An example of this is extended attributes (in the
--   "xattr" namespace).
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileQueryWritableNamespaces :: FileClass file => file -> Maybe Cancellable -> IO [FileAttributeInfo]

-- | Tries to set all attributes in the <a>FileInfo</a> on the target
--   values, not stopping on the first error.
--   
--   If there is any error during this operation then error will be set to
--   the first error. Error on particular fields are flagged by setting the
--   "status" field in the attribute value to
--   <a>FileAttributeStatusErrorSetting</a>, which means you can also
--   detect further errors.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileSetAttributesFromInfo :: FileClass file => file -> FileInfo -> [FileQueryInfoFlags] -> Maybe Cancellable -> IO ()

-- | Asynchronously sets the attributes of file with info.
--   
--   For more details, see <a>fileSetAttributesFromInfo</a> which is the
--   synchronous version of this call.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileSetAttributesFinish</a> to get the result of the
--   operation.
fileSetAttributesFromInfoAsync :: FileClass file => file -> FileInfo -> [FileQueryInfoFlags] -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes setting an attribute started in
--   <tt>fileSetAttributesAsync</tt>.
--   
--   Throws a <a>GError</a> if an error occurs.
fileSetAttributesFinish :: FileClass file => file -> AsyncResult -> FileInfo -> IO ()

-- | Sets attribute of type <a>FileAttributeTypeString</a> to value. If
--   attribute is of a different type, this operation will fail.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileSetAttributeString :: (FileClass file, GlibString string) => file -> string -> string -> [FileQueryInfoFlags] -> Maybe Cancellable -> IO ()

-- | Sets attribute of type <a>FileAttributeTypeByteString</a> to value. If
--   attribute is of a different type, this operation will fail, returning
--   <a>False</a>.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileSetAttributeByteString :: (FileClass file, GlibString string) => file -> string -> string -> [FileQueryInfoFlags] -> Maybe Cancellable -> IO ()

-- | Sets attribute of type <tt>FileAttributeTypeUint32</tt> to value. If
--   attribute is of a different type, this operation will fail.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileSetAttributeWord32 :: (FileClass file, GlibString string) => file -> string -> Word32 -> [FileQueryInfoFlags] -> Maybe Cancellable -> IO ()

-- | Sets attribute of type <a>FileAttributeTypeInt32</a> to value. If
--   attribute is of a different type, this operation will fail.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileSetAttributeInt32 :: (FileClass file, GlibString string) => file -> string -> Int32 -> [FileQueryInfoFlags] -> Maybe Cancellable -> IO ()

-- | Sets attribute of type <tt>FileAttributeTypeUint64</tt> to value. If
--   attribute is of a different type, this operation will fail.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileSetAttributeWord64 :: (FileClass file, GlibString string) => file -> string -> Word64 -> [FileQueryInfoFlags] -> Maybe Cancellable -> IO ()

-- | Sets attribute of type <a>FileAttributeTypeInt64</a> to value. If
--   attribute is of a different type, this operation will fail.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileSetAttributeInt64 :: (FileClass file, GlibString string) => file -> string -> Int64 -> [FileQueryInfoFlags] -> Maybe Cancellable -> IO ()

-- | Copies the file attributes from source to destination.
--   
--   Normally only a subset of the file attributes are copied, those that
--   are copies in a normal file copy operation (which for instance does
--   not include e.g. owner). However if <a>FileCopyAllMetadata</a> is
--   specified in flags, then all the metadata that is possible to copy is
--   copied. This is useful when implementing move by copy + delete source.
fileCopyAttributes :: (FileClass source, FileClass destination) => source -> destination -> [FileCopyFlags] -> Maybe Cancellable -> IO ()

-- | Obtains a directory monitor for the given file. This may fail if
--   directory monitoring is not supported.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileMonitorDirectory :: FileClass file => file -> [FileMonitorFlags] -> Maybe Cancellable -> IO FileMonitor

-- | Obtains a file monitor for the given file. If no file notification
--   mechanism exists, then regular polling of the file is used.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileMonitorFile :: FileClass file => file -> [FileMonitorFlags] -> Maybe Cancellable -> IO FileMonitor

-- | Obtains a file or directory monitor for the given file, depending on
--   the type of the file.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileMonitor :: FileClass file => file -> [FileMonitorFlags] -> Maybe Cancellable -> IO FileMonitor

-- | Mounts a file of type <a>FileTypeMountable</a>. Using
--   <tt>mountOperation</tt>, you can request callbacks when, for instance,
--   passwords are needed during authentication.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileMountMountableFinish</a> to get the result of the
--   operation.
fileMountMountable :: FileClass file => file -> [MountMountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes a mount operation. See <a>fileMountMountable</a> for details.
--   
--   Finish an asynchronous mount operation that was started with
--   <a>fileMountMountable</a>.
fileMountMountableFinish :: FileClass file => file -> AsyncResult -> IO File

-- | Unmounts a file of type <a>FileTypeMountable</a>.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   When the operation is finished, callback will be called. You can then
--   call <tt>fileUnmountMountableFinish</tt> to get the result of the
--   operation.
fileUnmountMountableWithOperation :: FileClass file => file -> [MountUnmountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an unmount operation, see
--   <a>fileUnmountMountableWithOperation</a> for details.
--   
--   Finish an asynchronous unmount operation that was started with
--   <a>fileUnmountMountableWithOperation</a>.
--   
--   Throws a <a>GError</a> if an error occurs.
fileUnmountMountableWithOperationFinish :: FileClass file => file -> AsyncResult -> IO ()

-- | Starts an asynchronous eject on a mountable. When this operation has
--   completed, callback will be called with <tt>userUser</tt> data, and
--   the operation can be finalized with
--   <a>fileEjectMountableWithOperationFinish</a>.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileEjectMountableWithOperation :: FileClass file => file -> [MountUnmountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes an asynchronous eject operation started by
--   <a>fileEjectMountableWithOperation</a>.
--   
--   Throws a <a>GError</a> if an error occurs.
fileEjectMountableWithOperationFinish :: FileClass file => file -> AsyncResult -> IO ()

-- | Starts a file of type <a>FileTypeMountable</a>. Using
--   <tt>startOperation</tt>, you can request callbacks when, for instance,
--   passwords are needed during authentication.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileMountMountableFinish</a> to get the result of the
--   operation.
fileStartMountable :: FileClass file => file -> [DriveStartFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes a start operation. See <a>fileStartMountable</a> for details.
--   
--   Finish an asynchronous start operation that was started with
--   <a>fileStartMountable</a>.
--   
--   Throws a <a>GError</a> if an error occurs.
fileStartMountableFinish :: FileClass file => file -> AsyncResult -> IO ()

-- | Stops a file of type <a>FileTypeMountable</a>.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileStopMountableFinish</a> to get the result of the
--   operation.
fileStopMountable :: FileClass file => file -> [MountUnmountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes a stop operation. See <a>fileStopMountable</a> for details.
--   
--   Finish an asynchronous stop operation that was stoped with
--   <a>fileStopMountable</a>.
--   
--   Throws a <a>GError</a> if an error occurs.
fileStopMountableFinish :: FileClass file => file -> AsyncResult -> IO ()

-- | Polls a file of type <a>FileTypeMountable</a>.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>fileMountMountableFinish</a> to get the result of the
--   operation.
filePollMountable :: FileClass file => file -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes a poll operation. See <a>filePollMountable</a> for details.
--   
--   Finish an asynchronous poll operation that was polled with
--   <a>filePollMountable</a>.
filePollMountableFinish :: FileClass file => file -> AsyncResult -> IO Bool

-- | Starts a <tt>mountOperation</tt>, mounting the volume that contains
--   the file location.
--   
--   When this operation has completed, callback will be called with
--   <tt>userUser</tt> data, and the operation can be finalized with
--   <a>fileMountEnclosingVolumeFinish</a>.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned.
fileMountEnclosingVolume :: FileClass file => file -> [MountMountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes a mount operation started by <a>fileMountEnclosingVolume</a>.
fileMountEnclosingVolumeFinish :: FileClass file => file -> AsyncResult -> IO Bool

-- | Checks if file supports thread-default contexts. If this returns
--   <a>False</a>, you cannot perform asynchronous operations on file in a
--   thread that has a thread-default context.
fileSupportsThreadContexts :: FileClass file => file -> IO Bool
instance GHC.Classes.Eq System.GIO.Types.File


module System.GIO.File.FileEnumerator
newtype FileEnumerator
FileEnumerator :: (ForeignPtr (FileEnumerator)) -> FileEnumerator
class GObjectClass o => FileEnumeratorClass o

-- | Returns information for the next file in the enumerated object. Will
--   block until the information is available. The <a>FileInfo</a> returned
--   from this function will contain attributes that match the attribute
--   string that was passed when the <a>FileEnumerator</a> was created.
--   
--   On error, a <a>GError</a> is thrown. If the enumerator is at the end,
--   <a>Nothing</a> will be returned.
fileEnumeratorNextFile :: FileEnumeratorClass enumerator => enumerator -> Maybe Cancellable -> IO (Maybe FileInfo)

-- | Releases all resources used by this enumerator, making the enumerator
--   return GIoErrorClosed on all calls.
--   
--   This will be automatically called when the last reference is dropped,
--   but you might want to call this function to make sure resources are
--   released as early as possible.
--   
--   Throws a <a>GError</a> if an error occurs.
fileEnumeratorClose :: FileEnumeratorClass enumerator => enumerator -> Maybe Cancellable -> IO ()

-- | Request information for a number of files from the enumerator
--   asynchronously. When all i/o for the operation is finished the
--   callback will be called with the requested information.
--   
--   The callback can be called with less than <tt>numFiles</tt> files in
--   case of error or at the end of the enumerator. In case of a partial
--   error the callback will be called with any succeeding items and no
--   error, and on the next request the error will be reported. If a
--   request is cancelled the callback will be called with
--   <a>IoErrorCancelled</a>.
--   
--   During an async request no other sync and async calls are allowed, and
--   will result in <a>IoErrorPending</a> errors.
--   
--   Any outstanding i/o request with higher priority (lower numerical
--   value) will be executed before an outstanding request with lower
--   priority. Default priority is GPriorityDefault.
fileEnumeratorNextFilesAsync :: FileEnumeratorClass enumerator => enumerator -> Int -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes the asynchronous operation started with
--   <a>fileEnumeratorNextFilesAsync</a>.
fileEnumeratorNextFilesFinish :: FileEnumeratorClass enumerator => enumerator -> AsyncResult -> IO [FileInfo]

-- | Asynchronously closes the file enumerator.
--   
--   If cancellable is not <a>Nothing</a>, then the operation can be
--   cancelled by triggering the cancellable object from another thread. If
--   the operation was cancelled, the error <a>IoErrorCancelled</a> will be
--   returned in <a>fileEnumeratorCloseFinish</a>.
fileEnumeratorCloseAsync :: FileEnumeratorClass enumerator => enumerator -> Int -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes closing a file enumerator, started from
--   <a>fileEnumeratorCloseAsync</a>.
--   
--   If the file enumerator was already closed when
--   <a>fileEnumeratorCloseAsync</a> was called, then this function will
--   report GIoErrorClosed in error, and return <a>False</a>. If the file
--   enumerator had pending operation when the close operation was started,
--   then this function will report <a>IoErrorPending</a>, and return
--   <a>False</a>. If cancellable was not <a>Nothing</a>, then the
--   operation may have been cancelled by triggering the cancellable object
--   from another thread. If the operation was cancelled, the <a>GError</a>
--   <a>IoErrorCancelled</a> will be thrown.
fileEnumeratorCloseFinish :: FileEnumeratorClass enumerator => enumerator -> AsyncResult -> IO ()

-- | Checks if the file enumerator has been closed.
fileEnumeratorIsClosed :: FileEnumeratorClass enumerator => enumerator -> IO Bool

-- | Checks if the file enumerator has pending operations.
fileEnumeratorHasPending :: FileEnumeratorClass enumerator => enumerator -> IO Bool

-- | Sets the file enumerator as having pending operations.
fileEnumeratorSetPending :: FileEnumeratorClass enumerator => enumerator -> Bool -> IO ()

-- | Get the <a>File</a> container which is being enumerated.
fileEnumeratorGetContainer :: FileEnumeratorClass enumerator => enumerator -> IO File


module System.GIO.Volumes.Drive
newtype Drive
Drive :: (ForeignPtr (Drive)) -> Drive
class GObjectClass o => DriveClass o

-- | Enumeration describing how a drive can be started/stopped.
data DriveStartStopType
DriveStartStopTypeUnknown :: DriveStartStopType
DriveStartStopTypeShutdown :: DriveStartStopType
DriveStartStopTypeNetwork :: DriveStartStopType
DriveStartStopTypeMultidisk :: DriveStartStopType
DriveStartStopTypePassword :: DriveStartStopType

-- | Flags used when starting a drive.
data DriveStartFlags
DriveStartNone :: DriveStartFlags

-- | Gets the name of drive.
driveGetName :: (DriveClass drive, GlibString string) => drive -> IO string

-- | Gets the icon for drive.
driveGetIcon :: DriveClass drive => drive -> IO Icon

-- | Check if drive has any mountable volumes.
driveHasVolumes :: DriveClass drive => drive -> IO Bool

-- | Get a list of mountable volumes for drive.
driveGetVolumes :: DriveClass drive => drive -> IO [Volume]

-- | Checks if drive can be eject.
driveCanEject :: DriveClass drive => drive -> IO Bool

-- | Gets a hint about how a drive can be started/stopped.
driveGetStartStopType :: DriveClass drive => drive -> IO DriveStartStopType

-- | Checks if a drive can be started.
driveCanStart :: DriveClass drive => drive -> IO Bool

-- | Checks if a drive can be started degraded.
driveCanStartDegraded :: DriveClass drive => drive -> IO Bool

-- | Checks if a drive can be stoped.
driveCanStop :: DriveClass drive => drive -> IO Bool

-- | Checks if a drive can be polled for media changes.
driveCanPollForMedia :: DriveClass drive => drive -> IO Bool

-- | Asynchronously polls drive to see if media has been inserted or
--   removed.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>drivePollForMediaFinish</a> to obtain the result of the
--   operation.
drivePollForMedia :: DriveClass drive => drive -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Checks if the drive has media. Note that the OS may not be polling the
--   drive for media changes; see <a>driveIsMediaCheckAutomatic</a> for
--   more details.
driveHasMedia :: DriveClass drive => drive -> IO Bool

-- | Checks if drive is capabable of automatically detecting media changes.
driveIsMediaCheckAutomatic :: DriveClass drive => drive -> IO Bool

-- | Checks if the drive supports removable media.
driveIsMediaRemovable :: DriveClass drive => drive -> IO Bool

-- | Ejects a drive. This is an asynchronous operation, and is finished by
--   calling <a>driveEjectWithOperationFinish</a> with the drive and
--   <a>AsyncResult</a> data returned in the callback.
driveEjectWithOperation :: DriveClass drive => drive -> [MountUnmountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes ejecting a drive. If any errors occurred during the
--   operation, error will be set to contain the errors and <a>False</a>
--   will be returned.
--   
--   Throws a <a>GError</a> if an error occurs.
driveEjectWithOperationFinish :: DriveClass drive => drive -> AsyncResult -> IO ()

-- | Asynchronously starts a drive.
--   
--   When the operation is finished, callback will be called. You can then
--   call <a>driveStartFinish</a> to obtain the result of the operation.
driveStart :: DriveClass drive => drive -> [DriveStartFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes starting a drive.
--   
--   Throws a <a>GError</a> if an error occurs.
driveStartFinish :: DriveClass drive => drive -> AsyncResult -> IO ()

-- | Finishes stoping a drive.
--   
--   Throws a <a>GError</a> if an error occurs.
driveStopFinish :: DriveClass drive => drive -> AsyncResult -> IO ()

-- | Gets the kinds of identifiers that drive has. Use
--   <tt>driveGetIdentifer</tt> to obtain the identifiers themselves.
driveEnumerateIdentifiers :: (DriveClass drive, GlibString string) => drive -> IO [string]

-- | Gets the identifier of the given kind for drive. See the introduction
--   for more information about drive identifiers.
driveGetIdentifier :: (DriveClass drive, GlibString string) => drive -> string -> IO string

-- | Emitted when a drive changes.
driveChanged :: DriveClass drive => Signal drive (Drive -> IO ())

-- | Emitted when a drive changes.
driveDisconnected :: DriveClass drive => Signal drive (Drive -> IO ())

-- | Emitted when the eject button is pressed on drive.
driveEjectButton :: DriveClass drive => Signal drive (Drive -> IO ())

-- | Emitted when the stop button is pressed on drive.
driveStopButton :: DriveClass drive => Signal drive (Drive -> IO ())


module System.GIO.Volumes.Mount
newtype Mount
Mount :: (ForeignPtr (Mount)) -> Mount
class GObjectClass o => MountClass o

-- | Gets the name of mount.
mountGetName :: (MountClass mount, GlibString string) => mount -> IO string

-- | Gets the UUID for the mount. The reference is typically based on the
--   file system UUID for the mount in question and should be considered an
--   opaque string. Returns <a>Nothing</a> if there is no UUID available.
mountGetUUID :: (MountClass mount, GlibString string) => mount -> IO (Maybe string)

-- | Gets the icon for mount.
mountGetIcon :: MountClass mount => mount -> IO Icon

-- | Gets the drive for the mount.
--   
--   This is a convenience method for getting the <a>Volume</a> and then
--   using that object to get the <a>Drive</a>.
mountGetDrive :: MountClass mount => mount -> IO (Maybe Drive)

-- | Gets the root directory on mount.
mountGetRoot :: MountClass mount => mount -> IO File

-- | Gets the volume directory on mount.
mountGetVolume :: MountClass mount => mount -> IO (Maybe Volume)

-- | Gets the default location of mount. The default location of the given
--   mount is a path that reflects the main entry point for the user (e.g.
--   the home directory, or the root of the volume). | Gets the root
--   directory on mount.
mountGetDefaultLocation :: MountClass mount => mount -> IO File

-- | Checks if mount can be mounted.
mountCanUnmount :: MountClass mount => mount -> IO Bool

-- | Unmounts a mount. This is an asynchronous operation, and is finished
--   by calling <a>mountUnmountWithOperationFinish</a> with the mount and
--   <a>AsyncResult</a> data returned in the callback.
mountUnmountWithOperation :: MountClass mount => mount -> [MountUnmountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes unmounting a mount. If any errors occurred during the
--   operation, error will be set to contain the errors and <a>False</a>
--   will be returned.
--   
--   Throws a <a>GError</a> if an error occurs.
mountUnmountWithOperationFinish :: MountClass mount => mount -> AsyncResult -> IO ()

-- | Remounts a mount. This is an asynchronous operation, and is finished
--   by calling <a>mountRemountFinish</a> with the mount and
--   <a>AsyncResult</a>s data returned in the callback.
--   
--   Remounting is useful when some setting affecting the operation of the
--   volume has been changed, as these may need a remount to take affect.
--   While this is semantically equivalent with unmounting and then
--   remounting not all backends might need to actually be unmounted.
mountRemount :: MountClass mount => mount -> [MountMountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes remounting a mount. If any errors occurred during the
--   operation, error will be set to contain the errors and <a>False</a>
--   will be returned.
--   
--   Throws a <a>GError</a> if an error occurs.
mountRemountFinish :: MountClass mount => mount -> AsyncResult -> IO ()

-- | Checks if mount can be eject.
mountCanEject :: MountClass mount => mount -> IO Bool

-- | Ejects a mount. This is an asynchronous operation, and is finished by
--   calling <a>mountEjectWithOperationFinish</a> with the mount and
--   <a>AsyncResult</a> data returned in the callback.
mountEjectWithOperation :: MountClass mount => mount -> [MountUnmountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes ejecting a mount. If any errors occurred during the
--   operation.
--   
--   Throws a <a>GError</a> if an error occurs.
mountEjectWithOperationFinish :: MountClass mount => mount -> AsyncResult -> IO ()

-- | Tries to guess the type of content stored on mount. Returns one or
--   more textual identifiers of well-known content types (typically
--   prefixed with "x-content<i>"), e.g. x-content</i>image-dcf for camera
--   memory cards. See the shared-mime-info specification for more on
--   x-content types.
--   
--   This is an asynchronous operation (see
--   <a>mountGuessContentTypeSync</a> for the synchronous version), and is
--   finished by calling <a>mountGuessContentTypeFinish</a> with the mount
--   and <a>AsyncResult</a> data returned in the callback.
mountGuessContentType :: MountClass mount => mount -> Bool -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes guessing content types of mount. If any errors occured during
--   the operation, error will be set to contain the errors and
--   <a>False</a> will be returned. In particular, you may get an
--   <a>IoErrorNotSupported</a> if the mount does not support content
--   guessing.
mountGuessContentTypeFinish :: (MountClass mount, GlibString string) => mount -> AsyncResult -> IO [string]

-- | Tries to guess the type of content stored on mount. Returns one or
--   more textual identifiers of well-known content types (typically
--   prefixed with "x-content<i>"), e.g. x-content</i>image-dcf for camera
--   memory cards. See the shared-mime-info specification for more on
--   x-content types.
--   
--   This is an synchronous operation and as such may block doing IO; see
--   <a>mountGuessContentType</a> for the asynchronous version.
mountGuessContentTypeSync :: (MountClass mount, GlibString string) => mount -> Bool -> Maybe Cancellable -> IO [string]

-- | Determines if mount is shadowed. Applications or libraries should
--   avoid displaying mount in the user interface if it is shadowed.
--   
--   A mount is said to be shadowed if there exists one or more user
--   visible objects (currently <a>Mount</a> objects) with a root that is
--   inside the root of mount.
--   
--   One application of shadow mounts is when exposing a single file system
--   that is used to address several logical volumes. In this situation, a
--   <a>VolumeMonitor</a> implementation would create two <a>Volume</a>
--   objects (for example, one for the camera functionality of the device
--   and one for a SD card reader on the device) with activation URIs
--   gphoto2: gphoto2: mounted, said <a>VolumeMonitor</a> implementation
--   would create two <a>Mount</a> objects (each with their root matching
--   the corresponding volume activation root) that would shadow the
--   original mount.
--   
--   The proxy monitor in GVfs 2.26 and later, automatically creates and
--   manage shadow mounts (and shadows the underlying mount) if the
--   activation root on a <a>Volume</a> is set.
mountIsShadowed :: MountClass mount => mount -> IO Bool

-- | Increments the shadow count on mount. Usually used by
--   <a>VolumeMonitor</a> implementations when creating a shadow mount for
--   mount, see <a>mountIsShadowed</a> for more information. The caller
--   will need to emit the "changed" signal on mount manually.
mountShadow :: MountClass mount => mount -> IO ()

-- | Decrements the shadow count on mount. Usually used by
--   <a>VolumeMonitor</a> implementations when destroying a shadow mount
--   for mount, see <a>mountIsShadowed</a> for more information. The caller
--   will need to emit the "changed" signal on mount manually.
mountUnshadow :: MountClass mount => mount -> IO ()

-- | Emitted when the mount has been changed.
mountChanged :: MountClass mount => Signal mount (IO ())

-- | This signal is emitted when the <a>Mount</a> is about to be unmounted.
mountPreUnmount :: MountClass mount => Signal mount (IO ())

-- | This signal is emitted when the <a>Mount</a> have been unmounted. If
--   the recipient is holding references to the object they should release
--   them so the object can be finalized.
mountUnmounted :: MountClass mount => Signal mount (IO ())


module System.GIO.Volumes.Volume
newtype Volume
Volume :: (ForeignPtr (Volume)) -> Volume
class GObjectClass o => VolumeClass o

-- | Gets the name of volume.
volumeGetName :: (VolumeClass volume, GlibString string) => volume -> IO string

-- | Gets the UUID for the volume. The reference is typically based on the
--   file system UUID for the volume in question and should be considered
--   an opaque string. Returns <a>Nothing</a> if there is no UUID
--   available.
volumeGetUUID :: (VolumeClass volume, GlibString string) => volume -> IO (Maybe string)

-- | Gets the icon for volume.
volumeGetIcon :: VolumeClass volume => volume -> IO Icon

-- | Gets the drive for the volume.
volumeGetDrive :: VolumeClass volume => volume -> IO (Maybe Drive)

-- | Gets the mount for the volume.
volumeGetMount :: VolumeClass volume => volume -> IO (Maybe Mount)

-- | Checks if a volume can be mounted.
volumeCanMount :: VolumeClass volume => volume -> IO Bool

-- | Returns whether the volume should be automatically mounted.
volumeShouldAutomount :: VolumeClass volume => volume -> IO Bool

-- | Gets the activation root for a <a>Volume</a> if it is known ahead of
--   mount time. Returns <a>Nothing</a> otherwise. If not <a>Nothing</a>
--   and if volume is mounted, then the result of <tt>mountGetRoot</tt> on
--   the <a>Mount</a> object obtained from <a>volumeGetMount</a> will
--   always either be equal or a prefix of what this function returns.
volumeGetActivationRoot :: VolumeClass volume => volume -> IO (Maybe File)

-- | Mounts a volume. This is an asynchronous operation, and is finished by
--   calling <a>volumeMountFinish</a> with the volume and
--   <a>AsyncResult</a> returned in the callback.
volumeMount :: VolumeClass volume => volume -> [MountMountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes mounting a volume. If any errors occured during the
--   operation, error will be set to contain the errors and <a>False</a>
--   will be returned.
--   
--   If the mount operation succeeded, <a>volumeGetMount</a> on volume is
--   guaranteed to return the mount right after calling this function;
--   there's no need to listen for the 'mount-added' signal on
--   <a>VolumeMonitor</a>.
--   
--   Throws a <a>GError</a> if an error occurs.
volumeMountFinish :: VolumeClass volume => volume -> AsyncResult -> IO ()

-- | Checks if a volume can be ejected.
volumeCanEject :: VolumeClass volume => volume -> IO Bool

-- | Ejects a volume. This is an asynchronous operation, and is finished by
--   calling <a>volumeEjectWithOperationFinish</a> with the volume and
--   <a>AsyncResult</a> data returned in the callback.
volumeEjectWithOperation :: VolumeClass volume => volume -> [MountUnmountFlags] -> Maybe MountOperation -> Maybe Cancellable -> AsyncReadyCallback -> IO ()

-- | Finishes ejecting a volume. If any errors occurred during the
--   operation, error will be set to contain the errors and <a>False</a>
--   will be returned.
--   
--   Throws a <a>GError</a> if an error occurs.
volumeEjectWithOperationFinish :: VolumeClass volume => volume -> AsyncResult -> IO ()

-- | Gets the kinds of identifiers that volume has. Use
--   <tt>volumeGetIdentifer</tt> to obtain the identifiers themselves.
volumeEnumerateIdentifiers :: (VolumeClass volume, GlibString string) => volume -> IO [string]

-- | Gets the identifier of the given kind for volume. See the introduction
--   for more information about volume identifiers.
volumeGetIdentifier :: (VolumeClass volume, GlibString string) => volume -> string -> IO string

-- | Emitted when the volume has been changed.
volumeChanged :: VolumeClass volume => Signal volume (IO ())

-- | This signal is emitted when the <a>Volume</a> have been removed. If
--   the recipient is holding references to the object they should release
--   them so the object can be finalized.
volumeRemoved :: VolumeClass volume => Signal volume (IO ())


module System.GIO