domain/architecture/system/release/ops.bend checks
raw source on the hub · import 0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/ops.bend as Ops
2 imports
import Base import ./type.bend as Rl
Definitions
def digits_only source · line 5 · raw
@cs:List<&2, Char> -> Bool
---- the hub's rules: a name is 12 to 64 characters of a-z, 0-9 and -; a version is four numbers ----
def all_numbers source · line 12 · raw
@xs:List<&2, String> -> Bool
def name_chars source · line 19 · raw
@cs:List<&2, Char> -> Bool
def package_ok source · line 26 · raw
@p:0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Package -> Bool
def packages_ok source · line 32 · raw
@ps:List<&2, 0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Package> -> Bool
def packages source · line 39 · raw
@r:0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Release -> List<&2, 0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Package>
def plugins source · line 44 · raw
@r:0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Release -> List<&2, 0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Plugin>
def repository source · line 49 · raw
@r:0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Release -> 0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Repository
def is_public source · line 54 · raw
@r:0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Release -> Bool
def shipped_components source · line 62 · raw
@ps:List<&2, 0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Package> -> List<&2, String>
Every component any package ships.
def entries source · line 72 · raw
@ps:List<&2, 0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Package> -> List<&2, String>
Every package's entry file.
def plugin_entries source · line 82 · raw
@gs:List<&2, 0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Plugin> -> List<&2, String>
Every plugin's entry file.
def plugin_components source · line 92 · raw
@gs:List<&2, 0x1fc67b41fabeabde819cdaa647758be1/domain/architecture/system/release/type.Plugin> -> List<&2, String>
Every component any plugin ships.
def is_source source · line 103 · raw
@+f:String -> Bool
---- the repository: Bend only, and no dead code ---- Bend, or a foreign effect in C or JavaScript (Bend's two lanes).
def base_name source · line 106 · raw
@f:String -> String
def no_dead_code source · line 110 · raw
@fs:List<&2, String> -> @+reached:List<&2, String> -> Bool
Every source file is reachable from an entry: a package's, or the system's own.
def dead source · line 118 · raw
@fs:List<&2, String> -> @+reached:List<&2, String> -> String
The first source file nothing reaches, "" when there is none.
def name_char source · line 128 · raw
@+c:Char -> @first:Bool -> Bool
The first file that is not Bend, "" when there is none. ---- the hub's path rule: every segment is [A-Za-z_][A-Za-z0-9_]* (the file name also ends in .bend, .c or .js, or is a LICENSE), under 256 characters ----
def name_chars_ok source · line 131 · raw
@cs:List<&2, Char> -> @first:Bool -> Bool
def stem source · line 138 · raw
@+f:String -> String
def segments_ok source · line 143 · raw
@ss:List<&2, String> -> Bool
def hub_path_ok source · line 154 · raw
@+f:String -> Bool
def hub_refused source · line 158 · raw
@fs:List<&2, String> -> String
The first file the hub would refuse, "" when there is none.