Predicate

declare const Contravariant: contravariant.Contravariant<Predicate.PredicateTypeLambda>;

declare function getMonoidEqv<A>(): Monoid<Predicate<A>>;

declare function getMonoidEvery<A>(): Monoid<Predicate<A>>;

declare function getMonoidSome<A>(): Monoid<Predicate<A>>;

declare function getMonoidXor<A>(): Monoid<Predicate<A>>;

declare function getSemigroupEqv<A>(): Semigroup<Predicate<A>>;

declare function getSemigroupEvery<A>(): Semigroup<Predicate<A>>;

declare function getSemigroupSome<A>(): Semigroup<Predicate<A>>;

declare function getSemigroupXor<A>(): Semigroup<Predicate<A>>;

declare const Invariant: invariant.Invariant<Predicate.PredicateTypeLambda>;

declare const Of: of_.Of<Predicate.PredicateTypeLambda>;

declare const Product: product_.Product<Predicate.PredicateTypeLambda>;

declare const SemiProduct: semiProduct.SemiProduct<Predicate.PredicateTypeLambda>;