def tabulate

stelliferous@0.0.2.0 · math_sequence.bend:40

import Base

40def tabulate(~Element: Data,~Context: Data,~sample: Context -> Nat -> Element,length: Nat,+offset: Nat,+context: Context) -> Values(Element,length):
41  match length:
42    case 0n: Unit{}
43    case 1n+rest:
44      Elements{sample(context,offset),tabulate(~Element,~Context,~sample,rest,1n+offset,context)}