files.bend relies on unsafe/foreign

raw source on the hub · import bend-kit-files@0.1.1.1/files.bend as Files

POSIX paths plus directory and metadata effects. Source: https://github.com/paymog/bend-kit/tree/main/files

2 imports

import Base
import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes

Types

type FileType source · line 129 · raw

Data

Regular
```
FileType
```
Directory
```
FileType
```
Other
```
FileType
```

type Info source · line 135 · raw

Data

mtime is whole seconds since the Unix epoch. size and mtime wrap at 2^32.

Info

@kind:FileType -> @size:U32 -> @mtime:U32 -> Info

Definitions

def path.is_absolute source · line 9 · raw

@p:String -> Bool

def path.join.rel source · line 12 · raw

@bare:Bool -> @a:String -> @b:String -> String

def path.join.if source · line 19 · raw

@abs:Bool -> @+a:String -> @b:String -> String

def path.join source · line 27 · raw

@a:String -> @+b:String -> String

b when b is absolute; otherwise b under a.

def path.norm.pop.if source · line 30 · raw

@up:Bool -> @h:String -> @t:List<&2, String> -> List<&2, String>

def path.norm.pop source · line 39 · raw

@stack:List<&2, String> -> @abs:Bool -> List<&2, String>

A ".." above the root is dropped; above a relative start it is kept.

def path.norm.step source · line 46 · raw

@skip:Bool -> @up:Bool -> @s:String -> @stack:List<&2, String> -> @abs:Bool -> List<&2, String>

def path.norm.go source · line 60 · raw

@segs:List<&2, String> -> @stack:List<&2, String> -> @+abs:Bool -> List<&2, String>

The kept segments, last first.

def path.norm.fin source · line 71 · raw

@abs:Bool -> @body:String -> String

def path.normalize source · line 84 · raw

@+p:String -> String

Drops empty and "." segments and resolves "..", as POSIX normpath does (RFC 3986 §5.2.4 for paths), but always to one leading "/".

def path.parent source · line 90 · raw

@p:String -> String

def path.file_name.fin source · line 96 · raw

@m:Maybe<&2, String> -> String

def path.file_name source · line 104 · raw

@p:String -> String

The last segment of the normalized path; "" for "/" and ".".

def path.extension.fin source · line 107 · raw

@bare:Bool -> @ext:String -> String

def path.extension.go source · line 114 · raw

@rev:List<&2, String> -> String

def path.extension source · line 126 · raw

@p:String -> String

The text after the file name's last ".", without the dot. A leading dot does not start one: ".bashrc" has none.

def read_bytes.wrap source · line 176 · raw

@result:Result<&1, &1, Pair(U32, String), Pair(U32, Array<U32>)> -> Result<&1, &1, Pair(U32, String), 0xb7603dcfa1d7f60d01e06c928738cc73/bytes.Bytes>

def read_bytes.pair source · line 184 · raw

@pair:Pair(File, Result<&1, &1, Pair(U32, String), Pair(U32, Array<U32>)>) -> Pair(File, Result<&1, &1, Pair(U32, String), 0xb7603dcfa1d7f60d01e06c928738cc73/bytes.Bytes>)

def read_bytes source · line 191 · raw

@file:File -> @max:U32 -> IO(Pair(File, Result<&1, &1, Pair(U32, String), 0xb7603dcfa1d7f60d01e06c928738cc73/bytes.Bytes>))

The existing Bytes layout, without an octet List or String.

def write_bytes source · line 204 · raw

@file:File -> @data:0xb7603dcfa1d7f60d01e06c928738cc73/bytes.Bytes -> IO(Pair(File, Result<&1, &1, Pair(U32, String), Unit>))

def list_dir.fin source · line 209 · raw

@r:Result<&1, &1, Pair(U32, String), String> -> Result<&1, &1, Pair(U32, String), List<&2, String>>

def list_dir source · line 220 · raw

@path:String -> IO(Result<&1, &1, Pair(U32, String), List<&2, String>>)

Entry names, without "." and "..", sorted.

def stat.kind source · line 226 · raw

@+k:U32 -> FileType

def stat.fin source · line 230 · raw

@r:Result<&1, &1, Pair(U32, String), Pair(U32, Pair(U32, U32))> -> Result<&1, &1, Pair(U32, String), Info>

def stat source · line 238 · raw

@path:String -> IO(Result<&1, &1, Pair(U32, String), Info>)

def exists source · line 243 · raw

@path:String -> IO(Bool)

def mkdir_all.dir source · line 248 · raw

@r:Result<&1, &1, Pair(U32, String), Info> -> Result<&1, &1, Pair(U32, String), Unit>

def mkdir_all.fail source · line 258 · raw

@exists:Bool -> @e:Pair(U32, String) -> @k:IO(Result<&1, &1, Pair(U32, String), Unit>) -> IO(Result<&1, &1, Pair(U32, String), Unit>)

def mkdir_all.step source · line 267 · raw

@r:Result<&1, &1, Pair(U32, String), Unit> -> @k:IO(Result<&1, &1, Pair(U32, String), Unit>) -> IO(Result<&1, &1, Pair(U32, String), Unit>)

def mkdir_all.go source · line 276 · raw

@segs:List<&2, String> -> @+at:String -> IO(Result<&1, &1, Pair(U32, String), Unit>)

def mkdir_all source · line 291 · raw

@+path:String -> IO(Result<&1, &1, Pair(U32, String), Unit>)

Creates the directory and any missing parents. Succeeds when it is already a directory; fails if a component is not a directory.