assoc.egi

assertEqual "toAssoc"
  (toAssoc [x, x, y, z])
  [(x, 2), (y, 1), (z, 1)]

assertEqual "toAssoc"
  (toAssoc [x, y, x])
  [(x, 1), (y, 1), (x, 1)]

assertEqual "fromAssoc"
  (fromAssoc [(x, 2), (y, 1)])
  [x, x, y]

assertEqual "assocList"
  (matchAll [(x, 2), (y, 1)] as assocList something with
    | $a :: _ -> a)
  [x]

assertEqual "assocList"
  (matchAll [(x, 3), (y, 2), (z, 1)] as assocList something with
    | ncons $a #2 $r -> (a, r))
  [(x, [(x, 1), (y, 2), (z, 1)])]

assertEqual "assocList"
  (matchAll [(x, 1), (y, 2), (z, 3)] as assocList something with
    | ncons $a #2 $r -> (a, r))
  []

assertEqual "assocList"
  (matchAll [(x, 3), (y, 2), (z, 1)] as assocList something with
    | ncons $a $n $r -> (a, n, r))
  [(x, 3, [(y, 2), (z, 1)])]

assertEqual "assocList"
  (matchAll [(x, 3), (y, 2), (z, 1)] as assocList something with
    | ncons $a $n $r -> (a, n, r))
  [(x, 3, [(y, 2), (z, 1)])]

assertEqual "assocMultiset"
  (matchAll [(x, 2), (y, 1)] as assocMultiset something with
    | $a :: _ -> a)
  [x, y]

assertEqual "assocMultiset"
  (matchAll [(x, 3), (y, 2), (z, 1)] as assocMultiset something with
    | ncons #z $n $r -> (n, r))
  [(1, [(x, 3), (y, 2)])]

assertEqual "assocMultiset"
  (matchAll [(x, 3), (y, 2), (z, 1)] as assocMultiset something with
    | ncons $a #2 $r -> (a, r))
  [(x, [(x, 1), (y, 2), (z, 1)]), (y, [(x, 3), (z, 1)])]

assertEqual "assocMultiset"
  (matchAll [(x, 3), (y, 2), (z, 1)] as assocMultiset something with
    | ncons #y #1 $r -> r)
  [[(x, 3), (y, 1), (z, 1)]]

assertEqual "assocMultiset"
  (matchAll [(x, 3), (y, 2), (z, 1)] as assocMultiset something with
    | ncons $a $n $r -> (a, n, r))
  [(x, 3, [(y, 2), (z, 1)]), (y, 2, [(x, 3), (z, 1)]), (z, 1, [(x, 3), (y, 2)])]

assertEqual "AC.intersect"
  (AC.intersect [(x, 2), (y, 1)] [(x, 1), (y, 2)])
  [(x, 1), (y, 1)]

assertEqual "AC.intersect"
  (AC.intersect [(x, 2), (y, 2)] [(x, 1), (y, 1)])
  [(x, 1), (y, 1)]

assertEqual "AC.intersect"
  (AC.intersect [(x, 1), (y, 1)] [(x, 2), (y, 2)])
  [(x, 1), (y, 1)]