Mercurial > urweb
diff src/mono_util.sig @ 1800:38297294cf98
New NameJs phase, still needing some debugging
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 02 Aug 2012 18:12:37 -0400 |
parents | 7bb8c560f23d |
children | 8958b580d026 |
line wrap: on
line diff
--- a/src/mono_util.sig Thu Aug 02 16:33:25 2012 -0400 +++ b/src/mono_util.sig Thu Aug 02 18:12:37 2012 -0400 @@ -107,6 +107,11 @@ decl : Mono.decl' -> Mono.decl'} -> Mono.decl -> Mono.decl + val foldMap : {typ : Mono.typ' * 'state -> Mono.typ' * 'state, + exp : Mono.exp' * 'state -> Mono.exp' * 'state, + decl : Mono.decl' * 'state -> Mono.decl' * 'state} + -> 'state -> Mono.decl -> Mono.decl * 'state + val foldMapB : {typ : Mono.typ' * 'state -> Mono.typ' * 'state, exp : 'context * Mono.exp' * 'state -> Mono.exp' * 'state, decl : 'context * Mono.decl' * 'state -> Mono.decl' * 'state,