Functional Programming - 32: Covariant and Contravariant Functors

Functional Programming - 32: Covariant and Contravariant Functors

619 Lượt nghe
Functional Programming - 32: Covariant and Contravariant Functors
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