bolt/walk/service.bend checks

raw source on the hub · import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/walk/service.bend as Service

walk: an effect service (CPU event loop only): the names directly in a directory. A name that is itself a directory ends in "/"; "." and ".." are never in the list, and a directory that cannot be opened lists as empty. Order is the file system's; bolt/glob.bend sorts what it keeps.

1 import

import Base

Types

type Walk source · line 8 · raw

Type

effect service: a directory's entry names, a directory marked by a /

Walk

@entries:(@_:String -> IO(List<&2, String>)) -> Walk

Definitions

def entries source · line 12 · raw

@w:Walk -> @dir:String -> IO(List<&2, String>)

a directory's entries, from a walk service