~/bend-docscommunity

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

raw source on the hub · import 0x635d6b0e0ec6a1b1f1319bf06aa496d9/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 -> 0x635d6b0e0ec6a1b1f1319bf06aa496d9/domain/architecture/system/plan/type.Hub

def hub_state source · line 84 · raw

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

def hub_states source · line 93 · raw

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

def first_word source · line 104 · raw

@+t:String -> String

---- GitHub ----

def pushed source · line 107 · raw

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

def remote source · line 110 · raw

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

def root source · line 122 · raw

IO(String)

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

def observe source · line 128 · raw

@+root:String -> @+entry:String -> @r:0x635d6b0e0ec6a1b1f1319bf06aa496d9/domain/architecture/system/release/type.Release -> IO(0x635d6b0e0ec6a1b1f1319bf06aa496d9/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 140 · raw

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

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

def apply_all source · line 168 · raw

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

def deploy_if source · line 177 · raw

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

def deploy source · line 186 · raw

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

def has_change source · line 191 · raw

@ss:List<&2, 0x635d6b0e0ec6a1b1f1319bf06aa496d9/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 202 · raw

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

def host_of source · line 207 · raw

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

def rebuild_if source · line 212 · raw

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

def differs source · line 220 · 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 226 · raw

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

def platform_steps source · line 238 · raw

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

def node_steps source · line 247 · raw

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

def deployed_path source · line 260 · raw

@+root:String -> String

def breaks_step source · line 263 · raw

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

def deployed_steps source · line 268 · raw

@+root:String -> @+d:0x635d6b0e0ec6a1b1f1319bf06aa496d9/domain/architecture/system/deployment/type.Deployment -> IO(List<&2, 0x635d6b0e0ec6a1b1f1319bf06aa496d9/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 273 · raw

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

def deploy_all source · line 282 · raw

@+root:String -> @+entry:String -> @+a:0x635d6b0e0ec6a1b1f1319bf06aa496d9/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 289 · raw

@p:0x635d6b0e0ec6a1b1f1319bf06aa496d9/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 302 · raw

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

def import_all source · line 314 · raw

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