cli/project.bend relies on unsafe/foreign

raw source on the hub · import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.bend as Project

3 imports

import Base
import ../lib/effs/io.bend as X
import ../lib/vstr.bend as S

Types

type Facts source · line 17 · raw

Data

---- the project's facts (facts.bend): where V's library is, its targets, services and packages ----

Facts

@vlib:String -> @targets:List<&2, String> -> @labels:List<&2, String> -> @ports:List<&2, String> -> @packages:List<&2, String> -> @sources:List<&2, String> -> Facts

Definitions

def run_bend source · line 9 · raw

@+file:String -> IO(String)

Compile one of the project's Bend programs to a native binary, then run it; answers its output.

def check_bend source · line 13 · raw

@file:String -> IO(String)

Type-check a Bend file (the laws); nothing is run.

def fact_values source · line 20 · raw

@+k:String -> @ls:List<&2, String> -> List<&2, String>

def read_facts source · line 27 · raw

IO(Facts)

def vlib_of source · line 33 · raw

@f:Facts -> String

def targets_of source · line 38 · raw

@f:Facts -> List<&2, String>

def labels_of source · line 43 · raw

@f:Facts -> List<&2, String>

def ports_of source · line 48 · raw

@f:Facts -> List<&2, String>

def packages_of source · line 53 · raw

@f:Facts -> List<&2, String>

def sources_of source · line 58 · raw

@f:Facts -> List<&2, String>

def target_hit source · line 63 · raw

@+name:String -> @ts:List<&2, String> -> Bool

def has_target source · line 71 · raw

@+f:Facts -> @+name:String -> Bool

Whether the project declares a target ("nix-darwin", "tailscale-serve", "bend-hub").

def host_in source · line 74 · raw

@+name:String -> @ts:List<&2, String> -> String

def flake_host source · line 82 · raw

@+f:Facts -> String

The nix-darwin flake host ("" without a nix-darwin target).

def github_repo source · line 85 · raw

@+f:Facts -> String

def target_arg source · line 88 · raw

@+name:String -> @+index:Nat -> @ts:List<&2, String> -> String

def github_visibility source · line 95 · raw

@+f:Facts -> String

def azure_organization source · line 98 · raw

@+f:Facts -> String

def azure_project source · line 101 · raw

@+f:Facts -> String

def when source · line 104 · raw

@c:Bool -> @act:IO(Unit) -> IO(Unit)