type Status
import bendtorch-core@0.1.0.0/src/tensor/math_totality.bend as MathTotalityimport Base
6type Status<-error: Data, -value: Type, -result: Result<&2, &1, error, value>> is Data:
7 Status{-successful: {Result.is_done(&2, &1, error, value, result) == True{} : Bool}}
Uses (3)
Used by (27)
- bendtorch-core@0.1.0.0/src/tensor/reduction_PROOF:success
- bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF:allocated_status
- bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF:created_status
- bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF:dot_decision_status
- bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF:dot_left_status
- …