data FS :: !data SymlinkType
= FileLink
| DirLink
| JunctionLink instance showSymlinkType :: Show SymlinkTypeinstance eqSymlinkType :: Eq SymlinkTypetype Callback eff a = Either Error a -> Eff (fs :: FS | eff) Unitrename :: forall eff. FilePath -> FilePath -> Callback eff Unit -> Eff (fs :: FS | eff) Unittruncate :: forall eff. FilePath -> Number -> Callback eff Unit -> Eff (fs :: FS | eff) Unitchown :: forall eff. FilePath -> Number -> Number -> Callback eff Unit -> Eff (fs :: FS | eff) Unitchmod :: forall eff. FilePath -> Perms -> Callback eff Unit -> Eff (fs :: FS | eff) Unitstat :: forall eff. FilePath -> Callback eff Stats -> Eff (fs :: FS | eff) Unitlink :: forall eff. FilePath -> FilePath -> Callback eff Unit -> Eff (fs :: FS | eff) Unitsymlink :: forall eff. FilePath -> FilePath -> SymlinkType -> Callback eff Unit -> Eff (fs :: FS | eff) Unitreadlink :: forall eff. FilePath -> Callback eff FilePath -> Eff (fs :: FS | eff) Unitrealpath :: forall eff. FilePath -> Callback eff FilePath -> Eff (fs :: FS | eff) Unitrealpath' :: forall eff cache. FilePath -> { | cache } -> Callback eff FilePath -> Eff (fs :: FS | eff) Unitunlink :: forall eff. FilePath -> Callback eff Unit -> Eff (fs :: FS | eff) Unitrmdir :: forall eff. FilePath -> Callback eff Unit -> Eff (fs :: FS | eff) Unitmkdir :: forall eff. FilePath -> Callback eff Unit -> Eff (fs :: FS | eff) Unitmkdir' :: forall eff. FilePath -> Perms -> Callback eff Unit -> Eff (fs :: FS | eff) Unitreaddir :: forall eff. FilePath -> Callback eff [FilePath] -> Eff (fs :: FS | eff) Unitutimes :: forall eff. FilePath -> Date -> Date -> Callback eff Unit -> Eff (fs :: FS | eff) UnitreadFile :: forall eff. FilePath -> Callback eff Buffer -> Eff (fs :: FS | eff) UnitreadTextFile :: forall eff. Encoding -> FilePath -> Callback eff String -> Eff (fs :: FS | eff) UnitwriteFile :: forall eff. FilePath -> Buffer -> Callback eff Unit -> Eff (fs :: FS | eff) UnitwriteTextFile :: forall eff. Encoding -> FilePath -> String -> Callback eff Unit -> Eff (fs :: FS | eff) UnitappendFile :: forall eff. FilePath -> Buffer -> Callback eff Unit -> Eff (fs :: FS | eff) UnitappendTextFile :: forall eff. Encoding -> FilePath -> String -> Callback eff Unit -> Eff (fs :: FS | eff) Unitexists :: forall eff. FilePath -> (Boolean -> Eff eff Unit) -> Eff (fs :: FS | eff) Unitnewtype PermA Perm value specifies what is allowed to be done with a particular
file by a particular class of user β that is, whether it is
readable, writable, and/or executable. It has a semigroup instance, which
allows you to combine permissions; for example, read <> write means
"readable and writable".
instance eqPerm :: Eq Perminstance ordPerm :: Ord Perminstance showPerm :: Show Perminstance semigroupPerm :: Semigroup Permnone :: PermNo permissions. This is the identity of the Semigroup operation (<>)
for Perm.
read :: PermThe "readable" permission.
write :: PermThe "writable" permission.
execute :: PermThe "executable" permission.
all :: PermAll permissions: readable, writable, and executable.
newtype PermsA Perms value includes all the permissions information about a
particular file or directory, by storing a Perm value for each of the
file owner, the group, and any other users.
instance eqPerms :: Eq Permsinstance ordPerms :: Ord Permsinstance showPerms :: Show PermspermsFromString :: String -> Maybe PermsAttempt to parse a Perms value from a String containing an octal
integer. For example,
permsFromString "0644" == Just (mkPerms (read <> write) read read).
mkPerms :: Perm -> Perm -> Perm -> PermsCreate a Perms value. The arguments represent the owner's, group's, and
other users' permission sets, respectively.
permsToString :: Perms -> StringConvert a Perms value to an octal string, in a format similar to that
accepted by chmod. For example:
permsToString (mkPerms (read <> write) read read) == "0644"
permsToInt :: Perms -> IntConvert a Perms value to an Int, via permsToString.
type StatsObj = { isSocket :: Fn0 Boolean, isFIFO :: Fn0 Boolean, isCharacterDevice :: Fn0 Boolean, isBlockDevice :: Fn0 Boolean, isDirectory :: Fn0 Boolean, isFile :: Fn0 Boolean, ctime :: JSDate, mtime :: JSDate, atime :: JSDate, size :: Number, ino :: Number, rdev :: Number, gid :: Number, uid :: Number, nlink :: Number, mode :: Number, dev :: Number }data Stats
= Stats StatsObjinstance showStats :: Show StatsisFile :: Stats -> BooleanisDirectory :: Stats -> BooleanisBlockDevice :: Stats -> BooleanisCharacterDevice :: Stats -> BooleanisFIFO :: Stats -> BooleanisSocket :: Stats -> BooleanisSymbolicLink :: Stats -> BooleanaccessedTime :: Stats -> DatemodifiedTime :: Stats -> DatestatusChangedTime :: Stats -> Datedata FileDescriptor :: *data FileFlags
= R
| R_PLUS
| RS
| RS_PLUS
| W
| WX
| W_PLUS
| WX_PLUS
| A
| AX
| A_PLUS
| AX_PLUS type BufferLength = Numbertype BufferOffset = Numbertype ByteCount = Numbertype FileMode = Numbertype FilePosition = Numberrename :: forall eff. FilePath -> FilePath -> Eff (err :: Exception, fs :: FS | eff) Unittruncate :: forall eff. FilePath -> Number -> Eff (err :: Exception, fs :: FS | eff) Unitchown :: forall eff. FilePath -> Number -> Number -> Eff (err :: Exception, fs :: FS | eff) Unitchmod :: forall eff. FilePath -> Perms -> Eff (err :: Exception, fs :: FS | eff) Unitstat :: forall eff. FilePath -> Eff (err :: Exception, fs :: FS | eff) Statslink :: forall eff. FilePath -> FilePath -> Eff (err :: Exception, fs :: FS | eff) Unitsymlink :: forall eff. FilePath -> FilePath -> SymlinkType -> Eff (err :: Exception, fs :: FS | eff) Unitreadlink :: forall eff. FilePath -> Eff (err :: Exception, fs :: FS | eff) FilePathrealpath :: forall eff. FilePath -> Eff (err :: Exception, fs :: FS | eff) FilePathrealpath' :: forall eff cache. FilePath -> { | cache } -> Eff (err :: Exception, fs :: FS | eff) FilePathunlink :: forall eff. FilePath -> Eff (err :: Exception, fs :: FS | eff) Unitrmdir :: forall eff. FilePath -> Eff (err :: Exception, fs :: FS | eff) Unitmkdir :: forall eff. FilePath -> Eff (err :: Exception, fs :: FS | eff) Unitmkdir' :: forall eff. FilePath -> Perms -> Eff (err :: Exception, fs :: FS | eff) Unitreaddir :: forall eff. FilePath -> Eff (err :: Exception, fs :: FS | eff) [FilePath]utimes :: forall eff. FilePath -> Date -> Date -> Eff (err :: Exception, fs :: FS | eff) UnitreadFile :: forall eff. FilePath -> Eff (err :: Exception, fs :: FS | eff) BufferreadTextFile :: forall eff. Encoding -> FilePath -> Eff (err :: Exception, fs :: FS | eff) StringwriteFile :: forall eff. FilePath -> Buffer -> Eff (err :: Exception, fs :: FS | eff) UnitwriteTextFile :: forall eff. Encoding -> FilePath -> String -> Eff (err :: Exception, fs :: FS | eff) UnitappendFile :: forall eff. FilePath -> Buffer -> Eff (err :: Exception, fs :: FS | eff) UnitappendTextFile :: forall eff. Encoding -> FilePath -> String -> Eff (err :: Exception, fs :: FS | eff) Unitexists :: forall eff. FilePath -> Eff (fs :: FS | eff) BooleanfdOpen :: forall opts eff. FilePath -> FileFlags -> Maybe FileMode -> Eff (fs :: FS, err :: Exception | eff) FileDescriptorfdRead :: forall eff. FileDescriptor -> Buffer -> BufferOffset -> BufferLength -> Maybe FilePosition -> Eff (fs :: FS, err :: Exception | eff) ByteCountfdNext :: forall eff. FileDescriptor -> Buffer -> Eff (fs :: FS, err :: Exception | eff) ByteCountfdWrite :: forall eff. FileDescriptor -> Buffer -> BufferOffset -> BufferLength -> Maybe FilePosition -> Eff (fs :: FS, err :: Exception | eff) ByteCountfdAppend :: forall eff. FileDescriptor -> Buffer -> Eff (fs :: FS, err :: Exception | eff) ByteCountfdFlush :: forall eff. FileDescriptor -> Eff (fs :: FS, err :: Exception | eff) UnitfdClose :: forall eff. FileDescriptor -> Eff (fs :: FS, err :: Exception | eff) Unit