~/jendhub

def view_enter

cli@0.2.0.0 · cli.bend:5172

import cli@0.2.0.0/cli.bend as Cli
import Base

5172def view_enter(found: Maybe<&2, Item>, path: String, about: String,
5173    items: List<&2, Item>, globals: List<&2, Item>, root: Bool) -> View:
5174  match found:
5175    case Some{Sub{name, sub_about, children}}:
5176      View{String.concat([path, " ", name]), sub_about, children,
5177        List.append(&2, Item, globals, global_items(items)), False{}, False{}}
5178    case _: View{path, about, items, globals, root, True{}}

Uses (9)

Used by (1)