def read_when

stelliferous@0.0.2.0 · storage_buffer.bend:67

import stelliferous@0.0.2.0/storage_buffer.bend as StorageBuffer

import Base

67def read_when(~Element: Data,fallback: Element,valid: Bool,storage: Array<Element>,index: U32) -> Array<Element> & Element:
68  match valid:
69    case False{}: (storage,fallback)
70    case True{}: Array.get(Element,storage,index)

Uses (6)

Used by (20)