diff options
Diffstat (limited to 'assignment-12/cashModel.icl')
| -rw-r--r-- | assignment-12/cashModel.icl | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/assignment-12/cashModel.icl b/assignment-12/cashModel.icl index 5c11b31..c1200be 100644 --- a/assignment-12/cashModel.icl +++ b/assignment-12/cashModel.icl @@ -75,26 +75,26 @@ Start = , ["prop_plus_minus_is_identity: ": test prop_plus_minus_is_identity] ] where - prop_plus_zero_is_identity :: Euro -> Equals Euro + prop_plus_zero_is_identity :: Euro -> Property prop_plus_zero_is_identity e = e + zero =.= e - prop_plus_is_commutative :: Euro Euro -> Equals Euro + prop_plus_is_commutative :: Euro Euro -> Property prop_plus_is_commutative a b = a + b =.= b + a - prop_minus_zero_is_identity :: Euro -> Equals Euro + prop_minus_zero_is_identity :: Euro -> Property prop_minus_zero_is_identity e = e - zero =.= e - prop_plus_minus_is_identity :: Euro Euro -> Equals Euro + prop_plus_minus_is_identity :: Euro Euro -> Property prop_plus_minus_is_identity a b = a =.= a - b + b - prop_double_neg_is_identity :: Euro -> Equals Euro + prop_double_neg_is_identity :: Euro -> Property prop_double_neg_is_identity e = ~(~e) =.= e - prop_neg_is_not_identity :: Euro -> Implies + prop_neg_is_not_identity :: Euro -> Property prop_neg_is_not_identity e = e <> zero ==> e <> ~e - prop_minus_is_plus_after_neg :: Euro Euro -> Equals Euro + prop_minus_is_plus_after_neg :: Euro Euro -> Property prop_minus_is_plus_after_neg a b = a - b =.= a + ~b - prop_neg_distributes_over_plus :: Euro Euro -> Equals Euro + prop_neg_distributes_over_plus :: Euro Euro -> Property prop_neg_distributes_over_plus a b = ~(a + b) =.= ~a + ~b |