def expected

stelliferous@0.0.2.0 · tensor.bend:580

import stelliferous@0.0.2.0/tensor.bend as Tensor

import Base

580def expected(~Element: Data,result: Result<&1,&1,Tensor<Element> & Problem,Tensor<Element>>) -> IO(Tensor<Element>):
581  match result:
582    case Done{tensor}: IO.pure(Tensor<Element>,tensor)
583    case Fail{(tensor,problem)}: IO.die(Tensor<Element>,1,describe(problem))

Uses (9)

Used by (1)

stelliferous@0.0.2.0/tensor:expect