def sexa.go

yaml-for-bend@0.1.1.0 · yaml11.bend:109

import yaml-for-bend@0.1.1.0/yaml11.bend as Yaml11
import Base
import yaml-for-bend@0.1.1.0/num.bend as N

109# Base 60: each part is the next digit, "1:30" is 90.
110def sexa.go(parts: List<&2, String>, acc: List<&2, Nat>) -> List<&2, Nat>:
111  match parts:
112    case Nil{}:
113      acc
114    case Con{p, rest}:
115      sexa.go(rest, N.big.mul.add(acc, 60n, N.big.small(p, 0n)))

Uses (5)

Used by (1)