示例#1
0
        public static RefinementSetCases Conjunction(RefinementSetCases left, RefinementSetCases right) =>
        new RefinementSetCases(
            RefinementSet.Join(
                left.Positive,
                right.Positive,
                outer: (refinement) => refinement.ToMaybe(),
                inner: (reference, leftType, rightType) => Refinement.Conjunction(reference, leftType, rightType)
                ),

            RefinementSet.Join(
                left.Positive,
                right.Positive,
                outer: (refinement) => Maybe.None <Refinement>(),    // symbols in either left or right but not both LOSE their refinement due to the indecision
                inner: (reference, leftType, rightType) => Refinement.NegationOfConjunction(reference, leftType, rightType)
                )
            );
示例#2
0
 public static RefinementSetCases Disjunction(RefinementSetCases left, RefinementSetCases right) =>
示例#3
0
 public RefinementSetCases Disjunction(RefinementSetCases other) =>
 Disjunction(this, other);
示例#4
0
 public RefinementSetCases Conjunction(RefinementSetCases other) =>
 Conjunction(this, other);