~/bend-docscommunity

domain/architecture/system/effects.bend relies on unsafe/foreign

raw source on the hub · import 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/effects.bend as Effects

23 imports
import Base
import bend-kit-files@0.1.0.0/files.bend as Fs
import ./effs/io.bend as X
import ../type.bend as A
import ../ops.bend as O
import ./container/effects.bend as CtE
import ./deployment/type.bend as D
import ./deployment/ops.bend as DO
import ./deployment/azure/effects.bend as AzE
import ./deployment/nix_darwin/type.bend as ND
import ./deployment/nix_darwin/ops.bend as NDO
import ./deployment/nix_darwin/effects.bend as NDE
import ./deployment/nix_darwin/setting/type.bend as St
import ./deployment/nix_darwin/setting/ops.bend as StO
import ./deployment/nix_darwin/brew/type.bend as Br
import ./deployment/nix_darwin/setting/effects.bend as StE
import ./deployment/nix_darwin/brew/effects.bend as BrE
import ./deployment/nix_darwin/service/ops.bend as SvO
import ./release/type.bend as Rl
import ./release/ops.bend as RlO
import ./plan/type.bend as P
import ./plan/ops.bend as PO
import ./ops.bend as SO

Definitions

def files source · line 30 · raw

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

---- the repository's files ----

def second_word source · line 36 · raw

@+t:String -> String

---- what an entry reaches: it and every file it imports, followed in Bend ----

def unquote source · line 39 · raw

@+w:String -> String

def import_of source · line 43 · raw

@+line:String -> @+dir:String -> String

The file a line imports, relative to the repository, or "" when it imports none of the repository's.

def imports source · line 48 · raw

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

def reach source · line 56 · raw

@fuel:Nat -> @+todo:List<&2, String> -> @+seen:List<&2, String> -> @+root:String -> IO(List<&2, String>)

Each step reads one file; the number of files squared bounds the walk.

def differing source · line 71 · raw

@fs:List<&2, String> -> @+local:String -> @+hub:String -> IO(String)

---- the Bend hub: has it published this package, with these exact files? ----

def hub_of source · line 81 · raw

@+published:String -> @+f:String -> 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Hub

def fetch_if source · line 86 · raw

@missing:Bool -> @+home:String -> @+n:String -> @+v:String -> @+e:String -> @+cached:String -> IO(String)

The package's hash, as Bend's local cache names it. A package not cached yet is fetched first by checking a file that imports it: the hub has it exactly when that succeeds.

def fetched source · line 96 · raw

@+home:String -> @+n:String -> @+v:String -> @+e:String -> @+cached:String -> IO(String)

def hub_state source · line 99 · raw

@+home:String -> @+root:String -> @p:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Package -> IO(0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Hub)

def hub_states source · line 109 · raw

@+home:String -> @+root:String -> @ps:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Package> -> IO(List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Hub>)

def first_word source · line 120 · raw

@+t:String -> String

---- GitHub ----

def pushed source · line 123 · raw

@+root:String -> @+sha:String -> IO(Bool)

def remote source · line 126 · raw

@+root:String -> @r:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Repository -> IO(0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Remote)

def root source · line 138 · raw

IO(String)

---- a snapshot: everything a plan needs ----

def observe source · line 144 · raw

@+root:String -> @+entry:String -> @r:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Release -> IO(0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Observed)

The files, what the packages' entries and the system's own entry reach, the hub, and GitHub.

def apply source · line 156 · raw

@+root:String -> @+bend:String -> @s:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step -> IO(Unit)

---- a deploy: carry out a plan with nothing blocked ----

def apply_all source · line 184 · raw

@+root:String -> @+bend:String -> @ss:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step> -> IO(Unit)

def deploy_if source · line 193 · raw

@blocked:Bool -> @+root:String -> @+ss:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step> -> IO(Unit)

def deploy source · line 202 · raw

@+root:String -> @+ss:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step> -> IO(Unit)

def has_change source · line 207 · raw

@ss:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step> -> Bool

---- the whole plan: the release, the stack, each deployment node, and what the deploy would break ---- ---- a nix-darwin node: its checks, what a rebuild would change, and the rebuild when anything would ----

def mac_of source · line 218 · raw

@nd:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/nix_darwin/type.NixDarwin -> String

def host_of source · line 223 · raw

@nd:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/nix_darwin/type.NixDarwin -> String

def rebuild_if source · line 228 · raw

@c:Bool -> @+h:String -> @+fl:String -> @+mac:String -> List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step>

def differs source · line 236 · raw

@+path:String -> @+text:String -> IO(Bool)

Whether a generated file differs from the one in the repository (compared by cmp, not in memory).

def darwin_steps source · line 242 · raw

@+root:String -> @+k:String -> @+nd:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/nix_darwin/type.NixDarwin -> IO(List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step>)

def platform_steps source · line 254 · raw

@p:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Platform -> @+root:String -> @+k:String -> @+a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/type.Architecture -> IO(List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step>)

def node_steps source · line 263 · raw

@ns:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Node> -> @+root:String -> @+a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/type.Architecture -> IO(List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step>)

def deployed_path source · line 276 · raw

@+root:String -> String

def breaks_step source · line 279 · raw

@+bs:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break> -> @+d:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Deployment -> List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step>

def deployed_steps source · line 284 · raw

@+root:String -> @+d:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Deployment -> IO(List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step>)

What the deploy would break, against what this repository last deployed (recorded in .git, never committed).

def plan_all source · line 289 · raw

@+root:String -> @+entry:String -> @+a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/type.Architecture -> IO(List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/plan/type.Step>)

def deploy_all source · line 298 · raw

@+root:String -> @+entry:String -> @+a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/type.Architecture -> IO(Unit)

A deploy of the whole plan; afterwards it records the deployment, so the next plan compares against it.

def import_node source · line 305 · raw

@p:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Platform -> @+root:String -> IO(Unit)

---- import: each nix-darwin node's Mac as it is now, as Bend to declare it with ----

def import_nodes source · line 318 · raw

@ns:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Node> -> @+root:String -> IO(Unit)

def import_all source · line 330 · raw

@+root:String -> @a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/type.Architecture -> IO(Unit)