domain/architecture/system/deployment/ops.bend checks

raw source on the hub · import 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/ops.bend as Ops

2 imports

import Base
import ./type.bend as D

Definitions

def address source · line 5 · raw

@d:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Deployment -> String

---- what a deploy breaks: compared with what was deployed before (its address and stores) ----

def stores source · line 10 · raw

@d:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Deployment -> List<&2, String>

def accepted source · line 15 · raw

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

def keep_break source · line 20 · raw

@present:Bool -> @+o:String -> @rest:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break> -> List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break>

def removed source · line 27 · raw

@olds:List<&2, String> -> @+news:List<&2, String> -> List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break>

def breaks source · line 35 · raw

@+before:String -> @olds:List<&2, String> -> @+d:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Deployment -> List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break>

The address changing, then each store the new deployment drops. A first deploy (no address before) breaks nothing.

def break_eq source · line 40 · raw

@a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break -> @b:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break -> Bool

def breaks_eq source · line 49 · raw

@a:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break> -> @b:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break> -> Bool

def show_break source · line 60 · raw

@b:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break -> String

def shown source · line 67 · raw

@bs:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break> -> List<&2, String>

def show_breaks source · line 74 · raw

@bs:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Break> -> String

def store_lines source · line 77 · raw

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

def record source · line 85 · raw

@+d:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/deployment/type.Deployment -> String

What a deploy records as deployed: the address, then one store per line.

def keep_rest source · line 88 · raw

@c:Bool -> @+prefix:String -> @l:String -> @rest:List<&2, String> -> List<&2, String>

def after source · line 96 · raw

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

The lines that start with a prefix, without it.

def recorded_address source · line 104 · raw

@+text:String -> String

The address and stores in a record ("" and [] when nothing was deployed).

def recorded_stores source · line 107 · raw

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