export declare const Contravariant: Contravariant1<URI>
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const getMonoidAll: <A = never>() => Monoid<Predicate<A>>
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const getMonoidAny: <A = never>() => Monoid<Predicate<A>>
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const getSemigroupAll: <A = never>() => Semigroup<Predicate<A>>
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const getSemigroupAny: <A = never>() => Semigroup<Predicate<A>>
- MIT – Copyright (c) 2017-present Giulio Canti
export type URI = typeof URI
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const URI = 'Predicate'
- MIT – Copyright (c) 2017-present Giulio Canti
export interface Predicate<A> {
(a: A): boolean
}
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const and: <A>(second: Predicate<A>) => (first: Predicate<A>) => Predicate<A>
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const contramap: <B, A>(f: (b: B) => A) => (predicate: Predicate<A>) => Predicate<B>
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const not: <A>(predicate: Predicate<A>) => Predicate<A>
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const or: <A>(second: Predicate<A>) => (first: Predicate<A>) => Predicate<A>
- MIT – Copyright (c) 2017-present Giulio Canti