~/jendhub

def write_branch

bendvy-ecs-core@0.1.0.3 · execution_reservation_materialization.bend:87

import bendvy-ecs-core@0.1.0.3/execution_reservation_materialization.bend as ExecutionReservationMaterialization
import Base
import bendvy-ecs-core@0.1.0.3/chunk_column.bend as Column

87def write_branch(~S:Data,-P:Type,writeLeft:Maybe<&1,P> -> Column.Column<S,P> & Maybe<&1,P>,writeRight:Maybe<&1,P> -> Column.Column<S,P> & Maybe<&1,P>,half:U32,incoming:P,first:Bool) -> Column.Column<S,P> & Maybe<&1,P>:
88  match first:
89    case True{}:branch_results(~S,P,half,writeLeft(Some{incoming}),writeRight(None{}),True{})
90    case False{}:branch_results(~S,P,half,writeLeft(None{}),writeRight(Some{incoming}),False{})

Uses (6)

Used by (1)