Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
only β†’ multi and reflow, closes #1783
  • Loading branch information
JJ committed Mar 30, 2019
1 parent 3ea709a commit ec2b724
Showing 1 changed file with 30 additions and 41 deletions.
71 changes: 30 additions & 41 deletions doc/Language/setbagmix.pod6
Expand Up @@ -40,17 +40,6 @@ The types L<Mix|/type/Mix> and L<MixHash|/type/MixHash> are similar
to L<Bag|/type/Bag> and L<BagHash|/type/BagHash>, but they also
allow B<fractional and negative weights>.
=begin comment
=defn Bag or BagHash
Collection of distinct objects mapped to integer weights
=defn Mix or MixHash
Collection of distinct objects mapped to real-number weights
=end comment
=for comment
L<Set|/type/Set>, L<Bag|/type/Bag>, and L<Mix|/type/Mix> are I<immutable> types.
Use the mutable variants L<SetHash|/type/SetHash>, L<BagHash|/type/BagHash>,
and L<MixHash|/type/MixHash> if you want to add or remove elements after the
Expand Down Expand Up @@ -116,15 +105,15 @@ Returns C<True> if C<$a> is an B<element> of C<$b>.
=head3 infix ∈
only sub infix:<∈>($a, $b --> Bool)
multi sub infix:<∈>($a, $b --> Bool)
Alternate membership operator.
Equivalent to LΒ«(elem)|/routine/(elem)Β», at codepoint U+2208 (ELEMENT OF).
=head3 infix βˆ‰
only sub infix:<βˆ‰>($a, $b --> Bool)
multi sub infix:<βˆ‰>($a, $b --> Bool)
X<Non-membership operator>.
Expand All @@ -148,15 +137,16 @@ Returns C<True> if C<$a> B<contains> C<$b> as an element.
=head3 infix βˆ‹
only sub infix:<βˆ‹>($a, $b --> Bool)
multi sub infix:<βˆ‹>($a, $b --> Bool)
Alternate contains operator.
Equivalent to LΒ«(cont)|/routine/(cont)Β», at codepoint U+220B (CONTAINS AS MEMBER).
Equivalent to LΒ«(cont)|/routine/(cont)Β», at codepoint U+220B (C<CONTAINS AS
MEMBER>).
=head3 infix ∌
only sub infix:<∌>($a, $b --> Bool)
multi sub infix:<∌>($a, $b --> Bool)
X<Does not contain operator>.
Expand All @@ -183,15 +173,14 @@ sized set than C<$b>.
=head3 infix βŠ†
only sub infix:<βŠ†>($a, $b --> Bool)
Alternate subset of or equal to operator.
multi sub infix:<βŠ†>($a, $b --> Bool)
Equivalent to LΒ«(<=)Β», at codepoint U+2286 (SUBSET OF OR EQUAL TO).
Alternate subset of or equal to operator; equivalent to LΒ«(<=)Β», at codepoint
U+2286 (C<SUBSET OF OR EQUAL TO>).
=head3 infix ⊈
only sub infix:<⊈>($a, $b --> Bool)
multi sub infix:<⊈>($a, $b --> Bool)
X<Neither subset of nor equal to operator>.
Expand All @@ -217,15 +206,15 @@ C<$b>.
=head3 infix βŠ‚
only sub infix:<βŠ‚>($a, $b --> Bool)
multi sub infix:<βŠ‚>($a, $b --> Bool)
Alternate subset of operator.
Equivalent to LΒ«(<)Β», at codepoint U+2282 (SUBSET OF).
=head3 infix βŠ„
only sub infix:<βŠ„>($a, $b --> Bool)
multi sub infix:<βŠ„>($a, $b --> Bool)
X<Not a subset of operator>.
Expand All @@ -250,15 +239,15 @@ B<superset> of or equal to C<$b>.
=head3 infix βŠ‡
only sub infix:<βŠ‡>($a, $b --> Bool)
multi sub infix:<βŠ‡>($a, $b --> Bool)
Alternate superset of or equal to operator.
Equivalent to LΒ«(>=)Β», at codepoint U+2287 (SUPERSET OF OR EQUAL TO).
=head3 infix βŠ‰
only sub infix:<βŠ‰>($a, $b --> Bool)
multi sub infix:<βŠ‰>($a, $b --> Bool)
X<Neither a superset of nor equal to operator>.
Expand All @@ -284,15 +273,15 @@ B<strict superset> of C<$b>.
=head3 infix βŠƒ
only sub infix:<βŠƒ>($a, $b --> Bool)
multi sub infix:<βŠƒ>($a, $b --> Bool)
Alternate superset of operator.
Equivalent to LΒ«(>)Β», at codepoint U+2283 (SUPERSET OF).
=head3 infix βŠ…
only sub infix:<βŠ…>($a, $b --> Bool)
multi sub infix:<βŠ…>($a, $b --> Bool)
X<Not a superset of operator>.
Expand All @@ -305,7 +294,7 @@ Equivalent to CΒ«!(>)Β», at codepoint U+2285 (NOT A SUPERSET OF).
=head3 infix (|)
only sub infix:<(|)>(**@p)
multi sub infix:<(|)>(**@p)
X<Union operator>. It is of precedence "Junctive Or".
Expand All @@ -323,15 +312,15 @@ appeared for that element.
=head3 infix βˆͺ
only sub infix:<βˆͺ>(|p)
multi sub infix:<βˆͺ>(|p)
Alternate union operator. It is of precedence "Junctive or".
Equivalent to LΒ«(V<|>)Β», at codepoint U+222A (UNION).
=head3 infix (&)
only sub infix:<(&)>(**@p)
multi sub infix:<(&)>(**@p)
X<Intersection operator>. It is of precedence "Junctive and".
Expand All @@ -353,15 +342,15 @@ is the minimum of the weights of that element over all arguments).
=head3 infix ∩
only sub infix:<∩>(|p)
multi sub infix:<∩>(|p)
Alternate intersection operator. It is of precedence "Junctive and".
Equivalent to LΒ«(&)Β», at codepoint U+2229 (INTERSECTION).
=head3 infix (-)
only sub infix:<(-)>(**@p)
multi sub infix:<(-)>(**@p)
X<Set difference operator>. It is of precedence "Junctive or".
Expand All @@ -382,7 +371,7 @@ that element in each of the other arguments.
=head3 infix βˆ–
only sub infix:<<"\x2216">>(|p)
multi sub infix:<<"\x2216">>(|p)
Alternate set difference operator. It is of precedence "Junctive or".
Expand All @@ -403,15 +392,15 @@ $a)>.
=head3 infix βŠ–
only sub infix:<βŠ–>($a, $b --> Setty)
multi sub infix:<βŠ–>($a, $b --> Setty)
Alternate symmetric set difference operator. It is of precedence "Junctive or".
Equivalent to LΒ«(^)Β», at codepoint U+2296 (CIRCLED MINUS).
=head3 infix (.)
only sub infix:<(.)>(**@p)
multi sub infix:<(.)>(**@p)
X<Baggy multiplication operator>. It is of precedence "Junctive and".
Expand All @@ -426,29 +415,29 @@ across the arguments multiplied together to get the new weight.
=head3 infix ⊍
only sub infix:<⊍>(|p)
multi sub infix:<⊍>(|p)
Alternate baggy multiplication operator. It is of precedence "Junctive and".
Equivalent to LΒ«infix (.)|(.)Β», at codepoint U+228D (MULTISET MULTIPLICATION).
=head3 infix (+)
only sub infix:<(+)>(**@p)
multi sub infix:<(+)>(**@p)
X<Baggy addition operator>. It is of precedence "Junctive or".
Returns the Baggy B<addition> of its arguments, i.e., a C<Bag> that contains
each element of the arguments with the weights of the element across the
arguments added together to get the new weight.
=begin code
bag(<a a b c a d>) (+) bag(<a a b c c>) === ("a"=>5,"c"=>3,"b"=>2,"d"=>1).Bag
=end code
=begin code
bag(<a a b c a d>) (+) bag(<a a b c c>) === ("a"=>5,"c"=>3,"b"=>2,"d"=>1).Bag
=end code
=head3 infix ⊎
only sub infix:<⊎>(|p)
multi sub infix:<⊎>(|p)
Alternate baggy addition operator. It is of precedence "Junctive or".
Expand Down

0 comments on commit ec2b724

Please sign in to comment.