def prepend

bendtorch-core@0.1.0.0 · src/tensor/axis_spec.bend:14

import Base

14def prepend(-A: Data, head: Maybe<&2, A>, tail: Maybe<&2, List<&2, A>>) -> Maybe<&2, List<&2, A>>:
15  match head tail:
16    case Some{value} Some{values}:
17      Some{value <> values}
18    case _ _:
19      None{}