Skip to content

Instantly share code, notes, and snippets.

@Mouq
Last active August 29, 2015 13:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Mouq/9042876 to your computer and use it in GitHub Desktop.
Save Mouq/9042876 to your computer and use it in GitHub Desktop.
diff --git a/type-graph.txt b/type-graph.txt
index 0c56466..077dd24 100644
--- a/type-graph.txt
+++ b/type-graph.txt
@@ -152,11 +152,6 @@ role TypedArray[::TValue] does Positional[TValue]
# Collections: Associative
role Associative[::T = Mu]
-role Baggy
-class Bag is Iterable does Associative does Baggy
-class KeyBag does Associative does Baggy
-class Set is Iterable does Associative
-class KeySet is Iterable does Associative
role Enumeration
role NumericEnumeration
role StringyEnumeration
@@ -166,9 +161,18 @@ class EnumMap is Iterable is Cool does Associative
class Stash is Hash
class PseudoStash is EnumMap
class Hash is EnumMap
-class KeyHash is Iterable does Associative
role TypedHash[::TValue] does Associative[TValue]
role TypedHash[::TValue, ::TKey] does Associative[TValue]
+role QuantHash does Associative
+role Setty does QuantHash
+role Baggy does QuantHash
+role Mixy does Baggy
+class Set does Setty
+class SetHash does Setty
+class Bag does Baggy
+class BagHash does Baggy
+class Mix does Mixy
+class MixHash does Mixy
### EXCEPTIONS
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment