def prepend_axis

stelliferous@0.0.2.0 · tensor_view.bend:157

import Base

157def prepend_axis(axis: Maybe<&2,Axis>,view: Maybe<&2,View>) -> Maybe<&2,View>:
158  match axis view:
159    case Some{item} Some{View{axes,offset}}: Some{View{item <> axes,offset}}
160    case axis view: None{}