applies ept:by (map invariant) in ++map

This commit is contained in:
Joseph Bryan 2016-12-08 13:19:25 -05:00
parent b4564cc237
commit d0e379d572

View File

@ -1598,7 +1598,9 @@
++ jar |*({a/mold b/mold} (map a (list b))) :: map of lists ++ jar |*({a/mold b/mold} (map a (list b))) :: map of lists
++ jug |*({a/mold b/mold} (map a (set b))) :: map of sets ++ jug |*({a/mold b/mold} (map a (set b))) :: map of sets
++ map |* {a/mold b/mold} :: table ++ map |* {a/mold b/mold} :: table
$@($~ {n/{p/a q/b} l/(map a b) r/(map a b)}) :: %+ cork (tree (pair a b)) ::
|= c/(tree (pair a b)) ^+ c ::
?.(~(ept by c) ~ c) ::
++ qeu |* a/mold :: queue ++ qeu |* a/mold :: queue
$@($~ {n/a l/(qeu a) r/(qeu a)}) :: $@($~ {n/a l/(qeu a) r/(qeu a)}) ::
++ set |* a/mold :: set ++ set |* a/mold :: set