blob: 41f44d3ab3960932993636e692d4ac8f289e86a8 (
plain)
1
2
3
4
5
6
7
|
fun exec [m ::: Type -> Type] (_ : monad m) [ts ::: {Type}] r (fd : folder ts) =
foldR [m] [fn ts => m $ts]
(fn [nm :: Name] [v :: Type] [rest :: {Type}] [[nm] ~ rest] action acc =>
this <- action;
others <- acc;
return ({nm = this} ++ others))
(return {}) [ts] fd r
|
