Mercurial > urweb
view tests/foldm.ur @ 817:4585f744574a
ccheckbox
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 21 May 2009 10:34:56 -0400 |
parents | 71bafe66dbe1 |
children |
line wrap: on
line source
con currier = fold (fn nm => fn t => fn acc => t -> acc) {} signature S = sig type t val x : t con rs :: {Type} val create : currier rs -> t end functor Currier (M : sig con rs :: {Type} end) : S where con rs = M.rs = struct val currier : rs :: {Type} -> currier rs = fold [currier] (fn nm :: Name => fn t :: Type => fn rest :: {Type} => fn acc => fn x : t => acc) {} type t = currier M.rs val x = currier [M.rs] con rs = M.rs val create : t -> t = fn x => x end structure ChefsSpecial = Currier(struct con rs = [A = int, B = float] end) val main = ChefsSpecial.x