Generic Haskell
のやつで、
mapE{|∀f::*→*.(Functor f)⇒t|}ρ = mapE{|t|}ρ(f:=liftE)
というのがあったけど、Haskellってbounded quantificationって使えるの?
-
-
- -
-
「やつ」ってこれね。http://lethevert.blogspot.com/2006/10/verious-types.html
のやつで、
mapE{|∀f::*→*.(Functor f)⇒t|}ρ = mapE{|t|}ρ(f:=liftE)
というのがあったけど、Haskellってbounded quantificationって使えるの?
「やつ」ってこれね。http://lethevert.blogspot.com/2006/10/verious-types.html