Generated by
sema docfromcrates/sema-runtime/assets/stdlib/sema/files.sema. Import withfrom std.files import …. For a narrative introduction see std.files.
Project-confined native path and filesystem helpers.
def join
Section titled “def join”def join(parts: list[str]) -> str !{}Parameters
| name | type |
|---|---|
parts |
list[str] |
Returns str
Effects !{}
def basename
Section titled “def basename”def basename(pathname: str) -> str !{}Parameters
| name | type |
|---|---|
pathname |
str |
Returns str
Effects !{}
def dirname
Section titled “def dirname”def dirname(pathname: str) -> str !{}Parameters
| name | type |
|---|---|
pathname |
str |
Returns str
Effects !{}
def extension
Section titled “def extension”def extension(pathname: str) -> str !{}Parameters
| name | type |
|---|---|
pathname |
str |
Returns str
Effects !{}
def stem
Section titled “def stem”def stem(pathname: str) -> str !{}Parameters
| name | type |
|---|---|
pathname |
str |
Returns str
Effects !{}
def normalize
Section titled “def normalize”def normalize(pathname: str) -> str !{}Parameters
| name | type |
|---|---|
pathname |
str |
Returns str
Effects !{}
def read_text
Section titled “def read_text”def read_text(pathname: str) -> Any !{fs.read}Parameters
| name | type |
|---|---|
pathname |
str |
Returns Any
Effects !{fs.read}
def read_bytes
Section titled “def read_bytes”def read_bytes(pathname: str) -> Any !{fs.read}Parameters
| name | type |
|---|---|
pathname |
str |
Returns Any
Effects !{fs.read}
def write_text
Section titled “def write_text”def write_text(pathname: str, text: str) -> Any !{fs.write}Parameters
| name | type |
|---|---|
pathname |
str |
text |
str |
Returns Any
Effects !{fs.write}
def write_bytes
Section titled “def write_bytes”def write_bytes(pathname: str, data: list[int]) -> Any !{fs.write}Parameters
| name | type |
|---|---|
pathname |
str |
data |
list[int] |
Returns Any
Effects !{fs.write}
def exists
Section titled “def exists”def exists(pathname: str) -> Any !{fs.read}Parameters
| name | type |
|---|---|
pathname |
str |
Returns Any
Effects !{fs.read}
def mkdir
Section titled “def mkdir”def mkdir(pathname: str) -> Any !{fs.write}Parameters
| name | type |
|---|---|
pathname |
str |
Returns Any
Effects !{fs.write}