bolt/walk/disk.bend relies on unsafe/foreign
raw source on the hub · import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/walk/disk.bend as Disk
walk/disk: the real file system, through a foreign effect (dir.c, dir.js) that lists one directory: its names, one a line, a directory's name ending in "/".
2 imports
import Base import ./service.bend as S
Definitions
def named source · line 13 · raw
@ls:List<&2, String> -> List<&2, String>
the named lines: the text ends in a newline, so the last line is empty
def entries source · line 22 · raw
@dir:String -> IO(List<&2, String>)
the service's field takes a plain path; quantities are part of its type
def new source · line 28 · raw
0x729eecea86ea5a2cdba3a2856a313bca/bolt/walk/service.Walk
the real file system
Effects (foreign code)
effect walkdir.entries source · line 8 · raw
@dir:String -> IO(String)
every name directly in the directory, one a line
foreign: bolt/walk/dir.c, bolt/walk/dir.js