Skip to main content

Predicate

Instances​

Type lambdas​

Utilities​

Instances​

Contravariant​

Signature​

export declare const Contravariant: Contravariant1<URI>

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

getMonoidAll​

Signature​

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

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

getMonoidAny​

Signature​

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

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

getSemigroupAll​

Signature​

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

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

getSemigroupAny​

Signature​

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

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

Type lambdas​

URI​

Signature​

export type URI = typeof URI

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

URI​

Signature​

export declare const URI = 'Predicate'

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

Utilities​

Predicate​

Signature​

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

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

and​

Signature​

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

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

contramap​

Signature​

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

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

not​

Signature​

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

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

or​

Signature​

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

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti