def List.for_each

import Base

1216def List.for_each(
1217  ~a: Quant, ~A: Kind(a), ~f: A -> IO(Unit), xs: List<a, A>
1218) -> IO(Unit):
1219  match xs:
1220    case Nil{}:
1221      IO.pure(Unit, Unit{})
1222    case h <> t:
1223      IO.bind(Unit, Unit, f(h), u => List.for_each(~a, ~A, ~f, t))

Uses (5)

List
Unit
IO
IO.bind
IO.pure

Used by (0)

No other definition uses this definition.