| Copyright | Will Thompson, Iñaki García Etxebarria and Jonas Platte |
|---|---|
| License | LGPL-2.1 |
| Maintainer | Iñaki García Etxebarria (garetxe@gmail.com) |
| Safe Haskell | None |
| Language | Haskell2010 |
GI.GtkSource.Objects.File
Contents
Description
- newtype File = File (ForeignPtr File)
- class GObject o => FileK o
- toFile :: FileK o => o -> IO File
- noFile :: Maybe File
- data FileCheckFileOnDiskMethodInfo
- fileCheckFileOnDisk :: (MonadIO m, FileK a) => a -> m ()
- data FileGetCompressionTypeMethodInfo
- fileGetCompressionType :: (MonadIO m, FileK a) => a -> m CompressionType
- data FileGetEncodingMethodInfo
- fileGetEncoding :: (MonadIO m, FileK a) => a -> m Encoding
- data FileGetLocationMethodInfo
- fileGetLocation :: (MonadIO m, FileK a) => a -> m File
- data FileGetNewlineTypeMethodInfo
- fileGetNewlineType :: (MonadIO m, FileK a) => a -> m NewlineType
- data FileIsDeletedMethodInfo
- fileIsDeleted :: (MonadIO m, FileK a) => a -> m Bool
- data FileIsExternallyModifiedMethodInfo
- fileIsExternallyModified :: (MonadIO m, FileK a) => a -> m Bool
- data FileIsLocalMethodInfo
- fileIsLocal :: (MonadIO m, FileK a) => a -> m Bool
- data FileIsReadonlyMethodInfo
- fileIsReadonly :: (MonadIO m, FileK a) => a -> m Bool
- fileNew :: MonadIO m => m File
- data FileSetLocationMethodInfo
- fileSetLocation :: (MonadIO m, FileK a, FileK b) => a -> Maybe b -> m ()
- data FileCompressionTypePropertyInfo
- fileCompressionType :: AttrLabelProxy "compressionType"
- getFileCompressionType :: (MonadIO m, FileK o) => o -> m CompressionType
- data FileEncodingPropertyInfo
- fileEncoding :: AttrLabelProxy "encoding"
- getFileEncoding :: (MonadIO m, FileK o) => o -> m Encoding
- data FileLocationPropertyInfo
- clearFileLocation :: (MonadIO m, FileK o) => o -> m ()
- constructFileLocation :: FileK a => a -> IO ([Char], GValue)
- fileLocation :: AttrLabelProxy "location"
- getFileLocation :: (MonadIO m, FileK o) => o -> m File
- setFileLocation :: (MonadIO m, FileK o, FileK a) => o -> a -> m ()
- data FileNewlineTypePropertyInfo
- fileNewlineType :: AttrLabelProxy "newlineType"
- getFileNewlineType :: (MonadIO m, FileK o) => o -> m NewlineType
- data FileReadOnlyPropertyInfo
- fileReadOnly :: AttrLabelProxy "readOnly"
- getFileReadOnly :: (MonadIO m, FileK o) => o -> m Bool
Exported types
Constructors
| File (ForeignPtr File) |
Instances
| GObject File Source | |
| ((~) * info (ResolveFileMethod t File), MethodInfo * info File p) => IsLabelProxy t (File -> p) Source | |
| type ParentTypes File Source | |
| type AttributeList File Source | |
| type SignalList File Source |
Methods
fileCheckFileOnDisk
data FileCheckFileOnDiskMethodInfo Source
Instances
| ((~) * signature (m ()), MonadIO m, FileK a) => MethodInfo * FileCheckFileOnDiskMethodInfo a signature Source |
fileCheckFileOnDisk :: (MonadIO m, FileK a) => a -> m () Source
fileGetCompressionType
data FileGetCompressionTypeMethodInfo Source
Instances
| ((~) * signature (m CompressionType), MonadIO m, FileK a) => MethodInfo * FileGetCompressionTypeMethodInfo a signature Source |
fileGetCompressionType :: (MonadIO m, FileK a) => a -> m CompressionType Source
fileGetEncoding
data FileGetEncodingMethodInfo Source
Instances
| ((~) * signature (m Encoding), MonadIO m, FileK a) => MethodInfo * FileGetEncodingMethodInfo a signature Source |
fileGetEncoding :: (MonadIO m, FileK a) => a -> m Encoding Source
fileGetLocation
data FileGetLocationMethodInfo Source
Instances
| ((~) * signature (m File), MonadIO m, FileK a) => MethodInfo * FileGetLocationMethodInfo a signature Source |
fileGetLocation :: (MonadIO m, FileK a) => a -> m File Source
fileGetNewlineType
data FileGetNewlineTypeMethodInfo Source
Instances
| ((~) * signature (m NewlineType), MonadIO m, FileK a) => MethodInfo * FileGetNewlineTypeMethodInfo a signature Source |
fileGetNewlineType :: (MonadIO m, FileK a) => a -> m NewlineType Source
fileIsDeleted
data FileIsDeletedMethodInfo Source
Instances
| ((~) * signature (m Bool), MonadIO m, FileK a) => MethodInfo * FileIsDeletedMethodInfo a signature Source |
fileIsDeleted :: (MonadIO m, FileK a) => a -> m Bool Source
fileIsExternallyModified
data FileIsExternallyModifiedMethodInfo Source
Instances
| ((~) * signature (m Bool), MonadIO m, FileK a) => MethodInfo * FileIsExternallyModifiedMethodInfo a signature Source |
fileIsExternallyModified :: (MonadIO m, FileK a) => a -> m Bool Source
fileIsLocal
data FileIsLocalMethodInfo Source
Instances
| ((~) * signature (m Bool), MonadIO m, FileK a) => MethodInfo * FileIsLocalMethodInfo a signature Source |
fileIsLocal :: (MonadIO m, FileK a) => a -> m Bool Source
fileIsReadonly
data FileIsReadonlyMethodInfo Source
Instances
| ((~) * signature (m Bool), MonadIO m, FileK a) => MethodInfo * FileIsReadonlyMethodInfo a signature Source |
fileIsReadonly :: (MonadIO m, FileK a) => a -> m Bool Source
fileNew
fileSetLocation
data FileSetLocationMethodInfo Source
Instances
| ((~) * signature (Maybe b -> m ()), MonadIO m, FileK a, FileK b) => MethodInfo * FileSetLocationMethodInfo a signature Source |
Properties
CompressionType
data FileCompressionTypePropertyInfo Source
Instances
| AttrInfo FileCompressionTypePropertyInfo Source | |
| type AttrLabel FileCompressionTypePropertyInfo = "compression-type" Source | |
| type AttrGetType FileCompressionTypePropertyInfo = CompressionType Source | |
| type AttrBaseTypeConstraint FileCompressionTypePropertyInfo = FileK Source | |
| type AttrSetTypeConstraint FileCompressionTypePropertyInfo = * ~ () Source | |
| type AttrAllowedOps FileCompressionTypePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) Source |
fileCompressionType :: AttrLabelProxy "compressionType" Source
getFileCompressionType :: (MonadIO m, FileK o) => o -> m CompressionType Source
Encoding
data FileEncodingPropertyInfo Source
Instances
| AttrInfo FileEncodingPropertyInfo Source | |
| type AttrLabel FileEncodingPropertyInfo = "encoding" Source | |
| type AttrGetType FileEncodingPropertyInfo = Encoding Source | |
| type AttrBaseTypeConstraint FileEncodingPropertyInfo = FileK Source | |
| type AttrSetTypeConstraint FileEncodingPropertyInfo = * ~ () Source | |
| type AttrAllowedOps FileEncodingPropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)) Source |
fileEncoding :: AttrLabelProxy "encoding" Source
getFileEncoding :: (MonadIO m, FileK o) => o -> m Encoding Source
Location
data FileLocationPropertyInfo Source
Instances
| AttrInfo FileLocationPropertyInfo Source | |
| type AttrLabel FileLocationPropertyInfo = "location" Source | |
| type AttrGetType FileLocationPropertyInfo = File Source | |
| type AttrBaseTypeConstraint FileLocationPropertyInfo = FileK Source | |
| type AttrSetTypeConstraint FileLocationPropertyInfo = FileK Source | |
| type AttrAllowedOps FileLocationPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)))) Source |
clearFileLocation :: (MonadIO m, FileK o) => o -> m () Source
fileLocation :: AttrLabelProxy "location" Source
getFileLocation :: (MonadIO m, FileK o) => o -> m File Source
setFileLocation :: (MonadIO m, FileK o, FileK a) => o -> a -> m () Source
NewlineType
data FileNewlineTypePropertyInfo Source
Instances
| AttrInfo FileNewlineTypePropertyInfo Source | |
| type AttrLabel FileNewlineTypePropertyInfo = "newline-type" Source | |
| type AttrGetType FileNewlineTypePropertyInfo = NewlineType Source | |
| type AttrBaseTypeConstraint FileNewlineTypePropertyInfo = FileK Source | |
| type AttrSetTypeConstraint FileNewlineTypePropertyInfo = * ~ () Source | |
| type AttrAllowedOps FileNewlineTypePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) Source |
fileNewlineType :: AttrLabelProxy "newlineType" Source
getFileNewlineType :: (MonadIO m, FileK o) => o -> m NewlineType Source
ReadOnly
data FileReadOnlyPropertyInfo Source
Instances
| AttrInfo FileReadOnlyPropertyInfo Source | |
| type AttrLabel FileReadOnlyPropertyInfo = "read-only" Source | |
| type AttrGetType FileReadOnlyPropertyInfo = Bool Source | |
| type AttrBaseTypeConstraint FileReadOnlyPropertyInfo = FileK Source | |
| type AttrSetTypeConstraint FileReadOnlyPropertyInfo = * ~ () Source | |
| type AttrAllowedOps FileReadOnlyPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) Source |
fileReadOnly :: AttrLabelProxy "readOnly" Source
getFileReadOnly :: (MonadIO m, FileK o) => o -> m Bool Source