Test.Serialization.Symbiote.Abides

Package

purescript-symbiote

Repository

athanclark/purescript-symbiote

This module provides newtypes for ensuring consistent functionality with respect to various class laws: Monoids, SemiRing, etc are all included via the <https://hackage.haskell.org/package/abides abides> library. Note: This only verifies the /consistency/ of behavior between platforms - if both platforms are broken (return False) /consistently/, the tests will pass. Prevent this by implementing a local test suite with <https://hackage.haskell.org/package/QuickCheck QuickCheck>, and use the abides property tests directly.

newtype AbidesSemigroup a

newtype AbidesMonoid a

newtype AbidesEq a

newtype AbidesOrd a

newtype AbidesEnum a

newtype AbidesSemiring a

newtype AbidesRing a

newtype AbidesCommutativeRing a

newtype AbidesDivisionRing a

newtype AbidesEuclideanRing a

newtype AbidesField a

data AbidesSemigroupOperation a

data AbidesMonoidOperation a

data AbidesEqOperation a

data AbidesOrdOperation a

data AbidesEnumOperation a

data AbidesSemiringOperation a

data AbidesRingOperation a

data AbidesCommutativeRingOperation a

data AbidesDivisionRingOperation a

data AbidesEuclideanRingOperation a

data AbidesFieldOperation a