Skip to content

PRO TIP Block youtube.com at the DNS level — Pi-hole, NextDNS or your hosts file — but allow youtube-nocookie.com and i.ytimg.com. These tutorials keep playing; the rabbit hole does not.

Learning without distractions

Functional Programming – 32: Covariant and Contravariant Functors

1.1K views on YouTube

Contravariant Functors are a type of Functor that depend on the type parameter they work with. In this video we will revisit Functor and will learn that its complete name is Covariant Functor. We then try to expand our understanding of Functors as simple containers to containers that deliver or depends on a specific type. Additionally, we will review Functor laws and introduce the laws governing Contravariant Functors.

In this Video:
– Covariant Functor
– Function, Showable, Parsable structures
– Contravariant Functor
– Contravariant Functor Type Class
– Review on Covariant Functor laws
– Contravariant Functor laws