def pad_valid

stelliferous@0.0.2.0 · tensor_layout.bend:552

import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors

552def pad_valid(~Element: Data,+border: Border<Element>,status: Tensors.Status,valid: Bool,tensor: Tensors.Tensor<Element>,shape: List<&2,U32>,
553  before: List<&2,U32>,after: List<&2,U32>,padded: Maybe<&2,List<&2,U32>>) -> Tensors.Tensor<Element>:
554  match status valid:
555    case Tensors.Usable{} True{}: pad_border(~Element,border,tensor,before,after,padded)
556    case Tensors.Usable{} False{}: Tensors.with_status(~Element,Tensors.Failed{Tensors.Problem{border_name(~Element,border),Tensors.InvalidArgument{shape}}},tensor)
557    case Tensors.Failed{problem} valid: tensor