Coyoneda
#Fleeting_Notes
Coyoneda
HaskellのYoneda(
米田の補題
)の双対
code:Coyoneda.hs
data Coyoneda f a where
Coyoneda :: (b -> a) -> f b -> Coyoneda f a
ref:
https://hackage.haskell.org/package/kan-extensions-5.2.6/docs/src/Data.Functor.Coyoneda.html#Coyoneda
Data.Functor.Coyoneda
パッケージ
確認用
Q. Coyoneda
メモ
Coyoneda - herp-technote
Data.Functor.Coyoneda
調査用
Google.icon
Coyoneda(日)
Google.icon
Coyoneda(英)
Wikipedia.icon
Coyoneda - Wikipedia(日)
Coyoneda(検索) - Wikipedia(日)
Wikipedia.icon
Coyoneda - Wikipedia(英)
Coyoneda(検索) - Wikipedia(英)
#Haskell