Module
Test.Abides.Data.HeytingAlgebra
- Package
- purescript-abides
- Repository
- athanclark/purescript-abides
#associative Source
associative :: forall a. HeytingAlgebra a => Eq a => a -> a -> a -> Boolean#commutative Source
commutative :: forall a. HeytingAlgebra a => Eq a => a -> a -> Boolean#absorption Source
absorption :: forall a. HeytingAlgebra a => Eq a => a -> a -> Boolean#idempotent Source
idempotent :: forall a. HeytingAlgebra a => Eq a => a -> Boolean#implication Source
implication :: forall a. HeytingAlgebra a => Eq a => a -> a -> a -> Boolean#distributive Source
distributive :: forall a. HeytingAlgebra a => Eq a => a -> a -> a -> Boolean#complement Source
complement :: forall a. HeytingAlgebra a => Eq a => a -> Boolean- Modules
- Test.
Abides. Control. Alt - Test.
Abides. Control. Alternative - Test.
Abides. Control. Applicative - Test.
Abides. Control. Apply - Test.
Abides. Control. Bind - Test.
Abides. Control. Category - Test.
Abides. Control. Comonad - Test.
Abides. Control. Extend - Test.
Abides. Control. Monad - Test.
Abides. Control. MonadPlus - Test.
Abides. Control. MonadZero - Test.
Abides. Control. Plus - Test.
Abides. Control. Semigroupoid - Test.
Abides. Data. BooleaneanAlgebra - Test.
Abides. Data. Bounded - Test.
Abides. Data. BoundedEnum - Test.
Abides. Data. CommutativeRing - Test.
Abides. Data. DivisionRing - Test.
Abides. Data. Eq - Test.
Abides. Data. EuclideanRing - Test.
Abides. Data. Foldable - Test.
Abides. Data. Functor - Test.
Abides. Data. HeytingAlgebra - Test.
Abides. Data. Monoid - Test.
Abides. Data. Ord - Test.
Abides. Data. Ring - Test.
Abides. Data. Semigroup - Test.
Abides. Data. Semiring - Test.
Abides. Properties