Mercurial > urweb
comparison lib/ur/monad.ur @ 1257:fd1a49b51db5
Fix C-mangling of datatype names
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 16 May 2010 15:34:24 -0400 |
parents | 79f487f51d9f |
children | f0909fb3848f |
comparison
equal
deleted
inserted
replaced
1256:d7d5b167f267 | 1257:fd1a49b51db5 |
---|---|
90 p <- acc (r -- nm); | 90 p <- acc (r -- nm); |
91 p' <- f [nm] [t] [rest] ! r.nm p.2; | 91 p' <- f [nm] [t] [rest] ! r.nm p.2; |
92 return ({nm = p'.1} ++ p.1, p'.2)) | 92 return ({nm = p'.1} ++ p.1, p'.2)) |
93 (fn _ => return ({}, i)) | 93 (fn _ => return ({}, i)) |
94 fl | 94 fl |
95 | |
96 fun appR2 [K] [m] (_ : monad m) [tf1 :: K -> Type] [tf2 :: K -> Type] | |
97 (f : nm :: Name -> t :: K -> rest :: {K} | |
98 -> [[nm] ~ rest] => | |
99 tf1 t -> tf2 t -> m unit) | |
100 [r ::: {K}] (fl : folder r) = | |
101 @Top.fold [fn r :: {K} => $(map tf1 r) -> $(map tf2 r) -> m unit] | |
102 (fn [nm :: Name] [t :: K] [rest :: {K}] [[nm] ~ rest] acc r1 r2 => | |
103 acc (r1 -- nm) (r2 -- nm); | |
104 f [nm] [t] [rest] ! r1.nm r2.nm) | |
105 (fn _ _ => return ()) | |
106 fl |