Skip to content

Instantly share code, notes, and snippets.

@kalda341

kalda341/Contravariant.d.ts

Created November 16, 2021 20:56
Show Gist options
  • Save kalda341/a868efb7d83bc605f43346a25e802059 to your computer and use it in GitHub Desktop.
Save kalda341/a868efb7d83bc605f43346a25e802059 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Contravariant.d.ts
// type map = <F, A, B>(F<A>, f: (a: A) => B) => F<B>;
// type contramap = <F, A, B>(F<A>, f: (a: A) <= B) => F<B>;
// type contramap = <F, A, B>(F<A>, f: (b: B) => A) => F<B>;
// type map = <F, A, B>(F<A>, f: (a: A) => B) => F<B>;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment