Contravariant.md

id	title
Contravariant	Module Contravariant

← Index

Source

Contravariant

Signature (type class) Source

export interface Contravariant<F> {
  readonly URI: F
  readonly contramap: <A, B>(fa: HKT<F, A>, f: (b: B) => A) => HKT<F, B>
}

Added in v1.0.0

lift

Signature (function) Source

export function lift<F>(contravariant: Contravariant<F>): <A, B>(f: (b: B) => A) => (fa: HKT<F, A>) => HKT<F, B>  { ... }

Added in v1.0.0