IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

2018-05-10から1日間の記事一覧

Contravariant

Data.Functor.Contravariant covariant functor ~~> produce something contravariant functor ~~> consume something (>$) = contramap . const const :: a -> b -> a contramap :: Contravariant f => (a -> b) -> f b -> f a contrampa . const = x -> y …