Predicate overview

Added in v2.11.0

---

Table of contents

• instances
  • Contravariant
  • getMonoidAll
  • getMonoidAny
  • getSemigroupAll
  • getSemigroupAny
• type lambdas
  • URI
  • URI (type alias)
• utils
  • Predicate (interface)
  • and
  • contramap
  • not
  • or

---

instances

Contravariant

Signature

export declare const Contravariant: Contravariant1<'Predicate'>

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

type lambdas

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

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

contramap

Signature

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

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