main.bend relies on unsafe/foreign

def starter.main source · line 10 · raw

String

def starter.laws source · line 18 · raw

String

def starter.proof source · line 28 · raw

String

def starter.agents source · line 38 · raw

String

def starter.readme source · line 47 · raw

String

def write.done source · line 66 · raw

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

def write source · line 72 · raw

@path:String -> @data:String -> IO(Unit)

def generate source · line 79 · raw

@+name:String -> IO(Unit)

def invalid_name source · line 89 · raw

@+name:String -> Bool

def create.go source · line 93 · raw

@name:String -> @invalid:Bool -> IO(Unit)

def create source · line 100 · raw

@+name:String -> IO(Unit)

def help source · line 103 · raw

IO(Unit)

def one_arg.go source · line 112 · raw

@name:String -> @wants_help:Bool -> IO(Unit)

def one_arg source · line 119 · raw

@+name:String -> IO(Unit)

def with_args source · line 122 · raw

@args:List<&1, String> -> IO(Unit)

def main source · line 131 · raw

IO(Unit)

effect Dir.make source · line 5 · raw

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

foreign: effs/dir_make.c, effs/dir_make.js