cli/vimport.bend relies on unsafe/foreign

raw source on the hub · import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.bend as Vimport

6 imports

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

Definitions

def esc source · line 12 · raw

@s:String -> String

---- escaping (in vstr.bend) ----

def drop_if source · line 15 · raw

@yes:Bool -> @s:String -> String

def unquote_end source · line 22 · raw

@+s:String -> String

def unquote source · line 25 · raw

@+s:String -> String

def pick source · line 29 · raw

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

def kind_of2 source · line 33 · raw

@+t:String -> String

---- which options, and how to read them ----

def kind_of source · line 39 · raw

@+t:String -> String

def rest_of source · line 42 · raw

@name:String -> String

def group_of source · line 45 · raw

@+name:String -> String

def key_of source · line 48 · raw

@+name:String -> String

def domain source · line 54 · raw

@+g:String -> String

defaults arguments that read a group's domain; "" for groups not imported.

def export_of source · line 76 · raw

@+d:String -> String

"read X" -> "export X", "-currentHost read X" -> "-currentHost export X".

def nix_esc_chars source · line 80 · raw

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

---- values ----

def normalize1 source · line 83 · raw

@+k:String -> @+v:String -> String

def normalize source · line 88 · raw

@+k:String -> @+v:String -> String

def one_if source · line 91 · raw

@b:Bool -> Nat

def nat_more source · line 99 · raw

@+raw:String -> Nat

def index_label source · line 103 · raw

@+raw:String -> @labels:List<&2, String> -> String

def finder_label source · line 107 · raw

@+c:String -> String

def value_for source · line 112 · raw

@+g:String -> @+key:String -> @+k:String -> @+raw:String -> String

Options whose stored value is a code for a label (nix-darwin maps label -> code with apply).

def setting_line source · line 119 · raw

@name:String -> @k:String -> @v:String -> String

def line_if source · line 122 · raw

@keep:Bool -> @l:String -> List<&2, String>

def read_value source · line 126 · raw

@r:Result<&1, &1, Pair(U32, String), String> -> String

---- reading the Mac ----

def option_read source · line 134 · raw

@+name:String -> @+k:String -> @+g:String -> IO(List<&2, String>)

One option line "name<TAB>type" -> its setting line, if the Mac has a value for it.

def option_skip source · line 140 · raw

@skip:Bool -> @+name:String -> @+k:String -> @+g:String -> IO(List<&2, String>)

def option_setting source · line 147 · raw

@+name:String -> @+k:String -> @+g:String -> IO(List<&2, String>)

def option_line source · line 150 · raw

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

def option_lines source · line 153 · raw

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

def pm_hit source · line 164 · raw

@+w:List<&2, String> -> @+key:String -> String

---- power, names, firewall ----

def first_of source · line 167 · raw

@+a:String -> @b:String -> String

def pm_get source · line 171 · raw

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

def minutes source · line 178 · raw

@+v:String -> String

def bool_of source · line 181 · raw

@+v:String -> String

def power_lines source · line 184 · raw

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

def name_line source · line 191 · raw

@opt:String -> @r:Result<&1, &1, Pair(U32, String), String> -> List<&2, String>

def names source · line 198 · raw

IO(List<&2, String>)

def count_prefix source · line 206 · raw

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

---- Homebrew ----

def mas_attr source · line 214 · raw

@+n:String -> @+id:String -> @+all:List<&2, String> -> String

mas "Numbers", id: 409203825 -> "Numbers" = 409203825; a name the Brewfile repeats gets its id added.

def brew_pick source · line 217 · raw

@+k:String -> @+n:String -> @+l:String -> @+all:List<&2, String> -> List<&2, String>

def brew_entry source · line 225 · raw

@+l:String -> @+all:List<&2, String> -> List<&2, String>

def brew_entries source · line 228 · raw

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

def mac_text source · line 236 · raw

@+vlib:String -> @title:String -> @settings:List<&2, String> -> @fw:String -> @brew:List<&2, String> -> String

---- the files ----

def before_go source · line 242 · raw

@cs:List<&2, Char> -> @+pat:String -> String

---- keeping mac.bend: declared settings stay; options seen for the first time are added as observed ----

def head_of source · line 250 · raw

@l:String -> String

A setting line's option part, which names it.

def heads source · line 253 · raw

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

def no_comma source · line 260 · raw

@+l:String -> String

def entries source · line 263 · raw

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

def unseen source · line 270 · raw

@obs:List<&2, String> -> @+known:List<&2, String> -> List<&2, String>

def after_line source · line 278 · raw

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

The declared firewall: the line after its def ("" if mac.bend has none yet).

def declared_title source · line 285 · raw

String

def write_declared source · line 288 · raw

@missing:Bool -> @+vlib:String -> @+settings:List<&2, String> -> @+fw:String -> @+brew:List<&2, String> -> IO(Unit)

def import_mac source · line 304 · raw

IO(Unit)