domain/architecture/system/release/ops.bend checks
raw source on the hub · import 0x0826261f6dc5a61da47ff8908a941ce1/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:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Package -> Bool
def packages_ok source · line 32 · raw
@ps:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Package> -> Bool
def packages source · line 39 · raw
@r:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Release -> List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Package>
def repository source · line 44 · raw
@r:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Release -> 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Repository
def is_public source · line 49 · raw
@r:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Release -> Bool
def shipped_components source · line 57 · raw
@ps:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Package> -> List<&2, String>
Every component any package ships.
def entries source · line 67 · raw
@ps:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/system/release/type.Package> -> List<&2, String>
Every package's entry file.
def is_source source · line 78 · 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 81 · raw
@f:String -> String
def allowed source · line 85 · raw
@+f:String -> Bool
A file that is neither Bend source nor an effect: only licenses, the readme and the ignore list may be.
def bend_only source · line 88 · raw
@fs:List<&2, String> -> Bool
def no_dead_code source · line 96 · 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 104 · raw
@fs:List<&2, String> -> @+reached:List<&2, String> -> String
The first source file nothing reaches, "" when there is none.
def not_bend source · line 112 · raw
@fs:List<&2, String> -> String
The first file that is not Bend, "" when there is none.
def name_char source · line 121 · raw
@+c:Char -> @first:Bool -> Bool
---- 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 124 · raw
@cs:List<&2, Char> -> @first:Bool -> Bool
def stem source · line 131 · raw
@+f:String -> String
def segments_ok source · line 136 · raw
@ss:List<&2, String> -> Bool
def hub_path_ok source · line 147 · raw
@+f:String -> Bool
def hub_refused source · line 151 · raw
@fs:List<&2, String> -> String
The first file the hub would refuse, "" when there is none.