unix-effectful-0.1: Unix-compat effects
Safe HaskellNone
LanguageGHC2021

Effectful.Posix.Files.Static

Description

Provides a static effect for System.Posix.Files.

Since: 0.1

Synopsis

Effect

data PosixFiles (a :: Type -> Type) b Source #

Provides a static effect for System.Posix.Files.

Since: 0.1

Instances

Instances details
type DispatchOf PosixFiles Source # 
Instance details

Defined in Effectful.Posix.Files.Static

type DispatchOf PosixFiles = 'Static 'WithSideEffects
data StaticRep PosixFiles Source # 
Instance details

Defined in Effectful.Posix.Files.Static

data StaticRep PosixFiles = MkPosixFiles

setFileMode :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> FileMode -> Eff es () Source #

Lifted setFileMode.

Since: 0.1

setFdMode :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => Fd -> FileMode -> Eff es () Source #

Lifted setFdMode.

Since: 0.1

setFileCreationMask :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => FileMode -> Eff es FileMode Source #

Lifted setFileCreationMask.

Since: 0.1

fileAccess :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> Bool -> Bool -> Bool -> Eff es Bool Source #

Lifted fileAccess.

Since: 0.1

fileExist :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> Eff es Bool Source #

Lifted fileExist.

Since: 0.1

getFileStatus :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> Eff es FileStatus Source #

Lifted getFileStatus.

Since: 0.1

getFdStatus :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => Fd -> Eff es FileStatus Source #

Lifted getFdStatus.

Since: 0.1

getSymbolicLinkStatus :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> Eff es FileStatus Source #

Lifted getSymbolicLinkStatus.

Since: 0.1

createNamedPipe :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> FileMode -> Eff es () Source #

Lifted createNamedPipe.

Since: 0.1

createDevice :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> FileMode -> DeviceID -> Eff es () Source #

Lifted createDevice.

Since: 0.1

createLink :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> PosixPath -> Eff es () Source #

Lifted createLink.

Since: 0.1

removeLink :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> Eff es () Source #

Lifted removeLink.

Since: 0.1

createSymbolicLink :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> PosixPath -> Eff es () Source #

Lifted createSymbolicLink.

Since: 0.1

readSymbolicLink :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> Eff es PosixPath Source #

Lifted readSymbolicLink.

Since: 0.1

rename :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> PosixPath -> Eff es () Source #

Lifted rename.

Since: 0.1

setOwnerAndGroup :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> UserID -> GroupID -> Eff es () Source #

Lifted setOwnerAndGroup.

Since: 0.1

setFdOwnerAndGroup :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => Fd -> UserID -> GroupID -> Eff es () Source #

Lifted setFdOwnerAndGroup.

Since: 0.1

setSymbolicLinkOwnerAndGroup :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> UserID -> GroupID -> Eff es () Source #

Lifted setSymbolicLinkOwnerAndGroup.

Since: 0.1

setFileTimes :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> EpochTime -> EpochTime -> Eff es () Source #

Lifted setFileTimes.

Since: 0.1

touchFile :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> Eff es () Source #

Lifted touchFile.

Since: 0.1

setFileSize :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> FileOffset -> Eff es () Source #

Lifted setFileSize.

Since: 0.1

setFdSize :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => Fd -> FileOffset -> Eff es () Source #

Lifted setFdSize.

Since: 0.1

getPathVar :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> PathVar -> Eff es Limit Source #

Lifted getPathVar.

Since: 0.1

getFdPathVar :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => Fd -> PathVar -> Eff es Limit Source #

Lifted getFdPathVar.

Since: 0.1

Handler

runPosixFiles :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (PosixFiles ': es) a -> Eff es a Source #

Runs a PosixFiles effect.

Since: 0.1

PathType

data PathType Source #

Path type.

Since: fs-utils-0.1

Constructors

PathTypeFile

Since: fs-utils-0.1

PathTypeDirectory

Since: fs-utils-0.1

PathTypeSymbolicLink

Since: fs-utils-0.1

PathTypeOther

Since: fs-utils-0.1

Instances

Instances details
NFData PathType

Since: fs-utils-0.1

Instance details

Defined in FileSystem.PathType

Methods

rnf :: PathType -> () #

Bounded PathType

Since: fs-utils-0.1

Instance details

Defined in FileSystem.PathType

Methods

minBound :: PathType #

maxBound :: PathType #

Enum PathType

Since: fs-utils-0.1

Instance details

Defined in FileSystem.PathType

Methods

succ :: PathType -> PathType #

pred :: PathType -> PathType #

toEnum :: Int -> PathType #

fromEnum :: PathType -> Int #

enumFrom :: PathType -> [PathType] #

enumFromThen :: PathType -> PathType -> [PathType] #

enumFromTo :: PathType -> PathType -> [PathType] #

enumFromThenTo :: PathType -> PathType -> PathType -> [PathType] #

Generic PathType 
Instance details

Defined in FileSystem.PathType

Associated Types

type Rep PathType

Since: fs-utils-0.1

Instance details

Defined in FileSystem.PathType

type Rep PathType = D1 ('MetaData "PathType" "FileSystem.PathType" "fs-utils-0.1-539e06479b7c961598a9ab40b37c6d853cab165be3a31b07a164625401edfdce" 'False) ((C1 ('MetaCons "PathTypeFile" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PathTypeDirectory" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PathTypeSymbolicLink" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PathTypeOther" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: PathType -> Rep PathType x #

to :: Rep PathType x -> PathType #

Show PathType

Since: fs-utils-0.1

Instance details

Defined in FileSystem.PathType

Methods

showsPrec :: Int -> PathType -> ShowS #

show :: PathType -> String #

showList :: [PathType] -> ShowS #

Eq PathType

Since: fs-utils-0.1

Instance details

Defined in FileSystem.PathType

Methods

(==) :: PathType -> PathType -> Bool #

(/=) :: PathType -> PathType -> Bool #

Ord PathType

Since: fs-utils-0.1

Instance details

Defined in FileSystem.PathType

Methods

compare :: PathType -> PathType -> Ordering #

(<) :: PathType -> PathType -> Bool #

(<=) :: PathType -> PathType -> Bool #

(>) :: PathType -> PathType -> Bool #

(>=) :: PathType -> PathType -> Bool #

max :: PathType -> PathType -> PathType #

min :: PathType -> PathType -> PathType #

type Rep PathType

Since: fs-utils-0.1

Instance details

Defined in FileSystem.PathType

type Rep PathType = D1 ('MetaData "PathType" "FileSystem.PathType" "fs-utils-0.1-539e06479b7c961598a9ab40b37c6d853cab165be3a31b07a164625401edfdce" 'False) ((C1 ('MetaCons "PathTypeFile" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PathTypeDirectory" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PathTypeSymbolicLink" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PathTypeOther" 'PrefixI 'False) (U1 :: Type -> Type)))

displayPathType :: IsString a => PathType -> a Source #

String representation of PathType.

Since: fs-utils-0.1

Functions

throwIfWrongPathType :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => String -> PathType -> PosixPath -> Eff es () Source #

Throws IOException if the path does not exist or the expected path type does not match actual.

Since: 0.1

isPathType :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PathType -> PosixPath -> Eff es Bool Source #

Checks that the path type matches the expectation. Throws IOException if the path does not exist or the type cannot be detected.

Since: 0.1

getPathType :: forall (es :: [Effect]). (HasCallStack, PosixFiles :> es) => PosixPath -> Eff es PathType Source #

Returns the type for a given path without following symlinks. Throws IOException if the path does not exist or the type cannot be detected.

Since: 0.1