cli/vdry.bend relies on unsafe/foreign

raw source on the hub · import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.bend as Vdry

6 imports

import Base
import ../lib/effs/io.bend as X
import ../lib/vstr.bend as S
import ./project.bend as P
import ./vimport.bend as I
import ./vmac.bend as V

Definitions

def pick source · line 10 · raw

@c:Bool -> @a:String -> @b:String -> String

def quoted_key source · line 15 · raw

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

---- preferences nix-darwin would write ---- The write line's domain and key: "... write DOMAIN KEY '<?xml" or "... write DOMAIN 'KEY WITH SPACES' '<?xml".

def domain_of source · line 18 · raw

@+parts:List<&2, String> -> String

def key_of source · line 21 · raw

@+parts:List<&2, String> -> String

def is_write source · line 24 · raw

@+l:String -> Bool

def pick_chars source · line 28 · raw

@c:Bool -> @a:List<&2, Char> -> @b:List<&2, Char> -> List<&2, Char>

"0.500000" -> "0.5", "0.000000" -> "0": numbers compare by value, not spelling.

def dz source · line 35 · raw

@cs:List<&2, Char> -> List<&2, Char>

def drop_zeros source · line 42 · raw

@s:String -> String

def trim_dot source · line 45 · raw

@+s:String -> String

def trim_num source · line 49 · raw

@+s:String -> String

def same source · line 52 · raw

@+now:String -> @+want:String -> Bool

def unset_or source · line 55 · raw

@+v:String -> String

def report source · line 58 · raw

@ok:Bool -> @dom:String -> @key:String -> @now:String -> @want:String -> IO(Nat)

def compare source · line 68 · raw

@+host:String -> @+dom:String -> @+key:String -> @+want:String -> IO(Nat)

def check_scalar source · line 74 · raw

@+l:String -> @rest:List<&2, String> -> IO(Nat)

def stop_at source · line 78 · raw

@stop:Bool -> @xs:List<&2, String> -> List<&2, String>

Arrays nix-darwin writes are Dock tiles: compare the paths they point at, in order.

def xml_string source · line 85 · raw

@+l:String -> String

def written_paths source · line 88 · raw

@ls:List<&2, String> -> @prev:Bool -> List<&2, String>

def paths source · line 95 · raw

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

def check_array source · line 102 · raw

@+dom:String -> @+key:String -> @rest:List<&2, String> -> IO(Nat)

def check_kind source · line 109 · raw

@arr:Bool -> @+l:String -> @rest:List<&2, String> -> IO(Nat)

def check_write source · line 116 · raw

@+l:String -> @+rest:List<&2, String> -> IO(Nat)

def one_if source · line 119 · raw

@b:Bool -> Nat

def add_pair source · line 123 · raw

@n:Nat -> @d:Nat -> @r:Pair(Nat, Nat) -> Pair(Nat, Nat)

def write_if source · line 129 · raw

@yes:Bool -> @+l:String -> @+rest:List<&2, String> -> IO(Nat)

def writes source · line 136 · raw

@ls:List<&2, String> -> IO(Pair(Nat, Nat))

def pick_idx source · line 148 · raw

@q:Bool -> Nat

---- Homebrew, checked by Homebrew against nix-darwin's own Brewfile ----

def brewfile_clean source · line 156 · raw

@+w:String -> String

def brewfile_in source · line 160 · raw

@ws:List<&2, String> -> String

def interesting source · line 167 · raw

@+l:String -> Bool

def removals source · line 170 · raw

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

def brew_check source · line 177 · raw

@+bf:String -> IO(Unit)

def drop_marker source · line 184 · raw

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

def summary source · line 191 · raw

@r:Pair(Nat, Nat) -> String

def dryrun source · line 196 · raw

IO(Unit)