Module conjunctive 

A newtype wrapper whose Semigroup and Monoid instances use conjunction from HeytingAlgebra.

Examples

use fp_library::{
	functions::*,
	types::Conjunctive,
};

assert_eq!(append(Conjunctive(true), Conjunctive(false)), Conjunctive(false));
assert_eq!(empty::<Conjunctive<bool>>(), Conjunctive(true));

Structs

Conjunctive

A newtype wrapper whose Semigroup instance uses HeytingAlgebra::conjoin.