Link Search Menu Expand Document

Predicate overview

Added in v2.11.0


Table of contents


Contravariant

contramap

Signature

export declare const contramap: <B, A>(f: (b: B) => A) => (predicate: Predicate<A>) => Predicate<B>

Added in v2.11.0

instances

Contravariant

Signature

export declare const Contravariant: Contravariant1<'Predicate'>

Added in v2.11.0

URI

Signature

export declare const URI: 'Predicate'

Added in v2.11.0

URI (type alias)

Signature

export type URI = typeof URI

Added in v2.11.0

getMonoidAll

Signature

export declare const getMonoidAll: <A = never>() => Monoid<Predicate<A>>

Added in v2.11.0

getMonoidAny

Signature

export declare const getMonoidAny: <A = never>() => Monoid<Predicate<A>>

Added in v2.11.0

getSemigroupAll

Signature

export declare const getSemigroupAll: <A = never>() => Semigroup<Predicate<A>>

Added in v2.11.0

getSemigroupAny

Signature

export declare const getSemigroupAny: <A = never>() => Semigroup<Predicate<A>>

Added in v2.11.0

utils

Predicate (interface)

Signature

export interface Predicate<A> {
  (a: A): boolean
}

Added in v2.11.0

and

Signature

export declare const and: <A>(second: Predicate<A>) => (first: Predicate<A>) => Predicate<A>

Added in v2.11.0

not

Signature

export declare const not: <A>(predicate: Predicate<A>) => Predicate<A>

Added in v2.11.0

or

Signature

export declare const or: <A>(second: Predicate<A>) => (first: Predicate<A>) => Predicate<A>

Added in v2.11.0