git.iko.soy/jibb
on ab6fdc1 help sign in
jibb/tests/lib
46 files
../ jibb-api-evidence.hoonAnalyze API supporting definitions jibb-api-paths.hoonAnalyze API paths and import Ford union marks jibb-arithmetic-guards.hoonInfer source-backed arithmetic without loobeans jibb-ask-guards.hoonAdd source-backed transparent requests jibb-bridge.hoonDiagnose source-proven Hoon union overlaps jibb-cell-branch.hoonCheck empty molds and contextual cell branches jibb-closed-gate-guards.hoonInfer the todo API request interfaces jibb-constructor-fit-guards.hoonCompare constructor heads by noun value jibb-deferred-context.hoonReport alias overlaps and retain deferred branch context jibb-deferred-resolver.hoonKeep deferred call fits stable across substitutions jibb-deferred.hoonResolve bounded deferred constructor constraints jibb-direct-gate-guards.hoonInfer direct higher-order gates from source jibb-direct-gate-source.hoonInfer direct higher-order gates from source jibb-empty.hoonCheck empty molds and contextual cell branches jibb-full-overlap-basic.hoonPreserve full-module overlap source evidence jibb-full-overlap-graph.hoonPreserve full-module overlap source evidence jibb-gate-free-guards.hoonAnalyze gate-free source molds jibb-gate-free-source.hoonAnalyze gate-free source molds jibb-generic-alias.hoonPreserve public generic union alias names jibb-generic-construction.hoonCheck source-proven recursive tree construction jibb-generic-pattern.hoonResolve bounded deferred constructor constraints jibb-generic-recursion.hoonCheck source-proven recursive tree patterns jibb-hole-guards.hoonInfer supported annotation holes and prelude list aliases jibb-import-default.hoonRecognize default-wrapped imported unions jibb-import-diagnostic.hoonReport nested imported mold errors jibb-import-overlap.hoonDiagnose source-proven Hoon union overlaps jibb-import-structural.hoonProve structural Hoon union overlaps jibb-import.hoonTrack recursive import origins and local molds jibb-list-alias-guards.hoonInfer supported annotation holes and prelude list aliases jibb-mark-bridge.hoonCache library interfaces and import record faces jibb-module-scope.hoonImport recursive Tlon unions and prepare comparison interface jibb-nested-union-guards.hoonInfer nested tagged-union payloads from context jibb-poke-bridge.hoonExpose transparent poke from internal prelude jibb-positional-face-guards.hoonAdd source-backed like result mapping jibb-proj-guards.hoonInfer single-field record projections jibb-qath-fuel.hoonAdd source-defined qath inference and explicit proj decision jibb-qath-source.hoonAdd source-backed transparent requests jibb-request-guards.hoonInfer a source-backed API request gate jibb-sub-guards.hoonCompare constructor heads by noun value jibb-tlon-bridge.hoonContextualize union branches and report nested tags jibb-todo-api.hoonInfer the todo API request interfaces jibb-todo-partial.hoonAdd source-backed list length and todo regression jibb-typecheck.hoonStart type inference and Hoon imports jibb-union-alias-overlap.hoonReport alias overlaps and retain deferred branch context jibb-union-source.hoonProve source-backed generic union case tags jibb.hoonAdd source-backed text conversion wrappers