~/jendhub

def ls.take

emerging-ezaudio@0.4.0.0 · main.bend:113

import emerging-ezaudio@0.4.0.0/main.bend as EmergingEzaudio
import Base

113def ls.take(hop: Nat, xs: List<&2, U32>, acc: List<&2, U32>) -> List<&2, U32>:
114  match hop:
115    case 0n:
116      List.reverse(&2, U32, acc)
117    case 1n+p:
118      match xs:
119        case Nil{}:
120          List.reverse(&2, U32, acc)
121        case +hd <> tl:
122          ls.take(p, tl, hd <> acc)

Uses (4)

Used by (1)