可以從術語級別對提升的種類使用模式匹配嗎？
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
module CatLib.SO.SO_KProduct where
-- | Cartesian Product
data CartProd a b = MkCartProd a b
type family Proj1 (asd :: CartProd a b) where
Proj1 ('MkCartProd a b) = a
type family Proj2 (asd :: CartProd a b) where
Proj2 ('MkCartProd a b) = b
map :: forall k1 k2 (ax :: CartProd k1 k2) (m :: k1 -> k2 -> *). m (Proj1 ax) (Proj2 ax)
map = __
-- -- I would prefer...
mapPM :: forall k1 k2 ('MkCartProd a x :: CartProd k1 k2) (m :: k1 -> k2 -> *). m a x
mapPM = __
uj5u.com熱心網友回復：
一種方法是使用型別相等約束：
mapPM :: forall k1 k2 (p :: CartProd k1 k2) (m :: k1 -> k2 -> *) a x.
(p ~ 'MkCartProd a x) => m a x
轉載請註明出處，本文鏈接：https://www.uj5u.com/houduan/431379.html
標籤：哈斯克尔
上一篇：`Num`的哪個實體與文字一起使用，例如在`print1`中？
下一篇：haskell中的同類產品