Webb.File.Data.File

newtype File

Constructors

• F File_

Instances

• Eq File
• Newtype File _
• Show File

type File_ = { appending :: Boolean, fd :: Maybe Fd, id :: String, path :: AbsolutePath, position :: Int }

_path :: forall a r. Lens' { path :: a | r } a

_fd :: forall a r. Lens' { fd :: a | r } a

_id :: forall a r. Lens' { id :: a | r } a

_position :: forall a r. Lens' { position :: a | r } a

_appending :: forall a r. Lens' { appending :: a | r } a

type Fd = FileDescriptor

emptyFile :: AbsPath -> Effect File

id :: File -> String

path :: File -> AbsPath

position :: File -> Int

isAppending :: File -> Boolean

appending :: Boolean -> File -> File

updatePosition :: (Int -> Int) -> File -> File

setPosition :: Int -> File -> File

fd :: File -> Maybe Fd

isOpen :: File -> Boolean

isClosed :: File -> Boolean

loadFd :: Fd -> File -> File

unloadFd :: File -> File