def uncons

bend-lawful-stdlib@0.1.0.0 · src/list.bend:16

import Base

16def uncons(-A: Data, xs: List<&2, A>) -> Step<&2, A, List<&2, A>>:
17  match xs:
18    case Nil{}:
19      Stop{}
20    case h <> t:
21      Next{h, t}