def scan_settle_case

cli@0.2.0.0 · cli.bend:3098

import Base

3098def scan_settle_case(resting: Bool, issue: Maybe<&2, ScanFault>,
3099    scope: Scope, events: List<&2, ScanEvent>, positional_count: Nat,
3100    external: Maybe<&2, ExternalArgs>) -> Mode:
3101  match resting issue:
3102    case True{} None{}:
3103      Operands{ScanState{scope, events, True{}, positional_count, external,
3104        None{}}, False{}}
3105    case True{} Some{fault}:
3106      Operands{ScanState{scope, events, True{}, positional_count, external,
3107        Some{fault}}, False{}}
3108    case False{} None{}:
3109      Open{ScanState{scope, events, False{}, positional_count, external,
3110        None{}}}
3111    case False{} Some{fault}:
3112      Closed{Faulted{ScanState{scope, events, False{}, positional_count,
3113        external, Some{fault}}}}