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>