noiioiu/nimbers - Change 6U24OB4HZGUVZZTOEHQKTBOHGV5FKEE4EQDGJF6IP3QQ3HXNNWUQC

Add tests for additive and multiplicative identities

Created by noiioiu on April 18, 2024

6U24OB4HZGUVZZTOEHQKTBOHGV5FKEE4EQDGJF6IP3QQ3HXNNWUQC

Dependencies

[2] VG2W2CCBAB7KY4FSDKB4ZLBRYO763USFRDHUOA3GQOTVNS6XQLSAC
[3] VRPOSMITS7VRSIJU6YNEBELCUBTHPMPJD6F6F5PE35R2KECS42KAC
[4] V7A5CRSQQY3WTZFNH73E6J4YOKE7YJMEW2XW7YJTM37UNTWRMZJQC

In channels

main

Change contents

Insertion in test/Main.hs at line 2 [3.22]

[3.56]

[4.2]

{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
{-# HLINT ignore "Evaluate" #-}

Insertion in test/Main.hs at line 17 [3.22]

[2.26]

[3.306]


prop_add_id :: Nimber -> Bool
prop_add_id a = (a + 0) == a && (0 + a == a)

Insertion in test/Main.hs at line 21 [3.22]

[3.307]

prop_mult_id :: Nimber -> Bool
prop_mult_id a = (a * 1) == a && (1 * a == a)

Replacement in test/Main.hs at line 40 [3.22]

B:BD[3.605] → [2.100:230]

main = check prop_neg >> check prop_assoc_add >> check prop_assoc_mul >> check prop_distrib >> check prop_recip >> check prop_inv

[3.605]

[4.415]

main = check prop_neg >> check prop_add_id >> check prop_mult_id >> check prop_assoc_add >> check prop_assoc_mul >> check prop_distrib >> check prop_recip >> check prop_inv