def value_or

stelliferous@0.0.2.0 · tensor.bend:235

import stelliferous@0.0.2.0/tensor.bend as Tensor

import Base

235# The value read, or fallback when the tensor carries a failure.
236def value_or(~Value: Data,result: Result<&2,&2,Problem,Value>,fallback: Value) -> Value:
237  match result:
238    case Done{value}: value
239    case Fail{problem}: fallback

Uses (2)

Used by (2)