| 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 | |
| ((~) * info (ResolveFileMethod t File), MethodInfo * info File p) => IsLabelProxy t (File -> p) | |
| type ParentTypes File | |
| type AttributeList File | |
| type SignalList File |
Methods
fileCheckFileOnDisk
data FileCheckFileOnDiskMethodInfo Source
Instances
| ((~) * signature (m ()), MonadIO m, FileK a) => MethodInfo * FileCheckFileOnDiskMethodInfo a signature |
fileCheckFileOnDisk :: (MonadIO m, FileK a) => a -> m () Source
fileGetCompressionType
data FileGetCompressionTypeMethodInfo Source
Instances
| ((~) * signature (m CompressionType), MonadIO m, FileK a) => MethodInfo * FileGetCompressionTypeMethodInfo a signature |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Properties
CompressionType
data FileCompressionTypePropertyInfo Source
Instances
| AttrInfo FileCompressionTypePropertyInfo | |
| type AttrLabel FileCompressionTypePropertyInfo = "compression-type" | |
| type AttrGetType FileCompressionTypePropertyInfo = CompressionType | |
| type AttrBaseTypeConstraint FileCompressionTypePropertyInfo = FileK | |
| type AttrSetTypeConstraint FileCompressionTypePropertyInfo = * ~ () | |
| type AttrAllowedOps FileCompressionTypePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
fileCompressionType :: AttrLabelProxy "compressionType" Source
getFileCompressionType :: (MonadIO m, FileK o) => o -> m CompressionType Source
Encoding
data FileEncodingPropertyInfo Source
Instances
| AttrInfo FileEncodingPropertyInfo | |
| type AttrLabel FileEncodingPropertyInfo = "encoding" | |
| type AttrGetType FileEncodingPropertyInfo = Encoding | |
| type AttrBaseTypeConstraint FileEncodingPropertyInfo = FileK | |
| type AttrSetTypeConstraint FileEncodingPropertyInfo = * ~ () | |
| type AttrAllowedOps FileEncodingPropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)) |
fileEncoding :: AttrLabelProxy "encoding" Source
getFileEncoding :: (MonadIO m, FileK o) => o -> m Encoding Source
Location
data FileLocationPropertyInfo Source
Instances
| AttrInfo FileLocationPropertyInfo | |
| type AttrLabel FileLocationPropertyInfo = "location" | |
| type AttrGetType FileLocationPropertyInfo = File | |
| type AttrBaseTypeConstraint FileLocationPropertyInfo = FileK | |
| type AttrSetTypeConstraint FileLocationPropertyInfo = FileK | |
| type AttrAllowedOps FileLocationPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)))) |
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 | |
| type AttrLabel FileNewlineTypePropertyInfo = "newline-type" | |
| type AttrGetType FileNewlineTypePropertyInfo = NewlineType | |
| type AttrBaseTypeConstraint FileNewlineTypePropertyInfo = FileK | |
| type AttrSetTypeConstraint FileNewlineTypePropertyInfo = * ~ () | |
| type AttrAllowedOps FileNewlineTypePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
fileNewlineType :: AttrLabelProxy "newlineType" Source
getFileNewlineType :: (MonadIO m, FileK o) => o -> m NewlineType Source
ReadOnly
data FileReadOnlyPropertyInfo Source
Instances
| AttrInfo FileReadOnlyPropertyInfo | |
| type AttrLabel FileReadOnlyPropertyInfo = "read-only" | |
| type AttrGetType FileReadOnlyPropertyInfo = Bool | |
| type AttrBaseTypeConstraint FileReadOnlyPropertyInfo = FileK | |
| type AttrSetTypeConstraint FileReadOnlyPropertyInfo = * ~ () | |
| type AttrAllowedOps FileReadOnlyPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
fileReadOnly :: AttrLabelProxy "readOnly" Source
getFileReadOnly :: (MonadIO m, FileK o) => o -> m Bool Source