Haskell：在类型类之间转换
对于此数据：Haskell：在类型类之间转换,haskell,Haskell,对于此数据： data A = A data B = B class C1 a where repr :: a -> String instance C1 A where repr _ = "A" instance C1 B where repr _ = "B" class C2 a instance C2 A 有没有一种方法可以实现这种类型的功能 conv :: (C1 a, C2 b) => a -> Maybe b 它应该返回Just。id用于作为C2实例的类型的
data A = A
data B = B
class C1 a where repr :: a -> String
instance C1 A where repr _ = "A"
instance C1 B where repr _ = "B"
class C2 a
instance C2 A
conv :: (C1 a, C2 b) => a -> Maybe b
Just。idC2NothingreprC2C1C2conv:：c1a=>a->可能是a
conv a=案例报告a
“A”->只是一个
_->没有
repr编辑：以下是如何以您想要的方式实现
conv{-#语言类型族}
conv:：（c1a，c2b，a~b）=>a->Maybe b
conv a=案例报告a
“A”->只是一个
_->没有
请注意，等式约束
a~babTypeFamiliesC2conv:：c1a=>a->可能是a
conv a=案例报告a
“A”->只是一个
_->没有
repr编辑：以下是如何以您想要的方式实现
conv{-#语言类型族}
conv:：（c1a，c2b，a~b）=>a->Maybe b
conv a=案例报告a
“A”->只是一个
_->没有
请注意，等式约束
a~babTypeFamiliesC2C2convC2C2convC2C2C2convC2C2convC2convconvconv实例c2bshow（conv B）