我有一个Cassandra表Department，列name_list extends SetColumn[String] with PartitionKey和id extends StringColumn with PartitionKey。 我想获取ID所请求的名存在于NAME_LIST。 我试过下面使用此代码，但没有得到任何结果 abstract class Departments exte
假设我有某种类型的，如： newtype Foo a b = Foo { getFoo :: SomeStructure b }
即a是仅用于编译时检查的幻像类型。 但是，我不想在任何地方使用幻像类型。这在我的代码中并不普遍。所以我想做类似的事情： type FooUnrestricted b = Foo Anything b
我应该用什么来代替Anything？我需要一些语言扩展吗？ 编
我在使用幻象类型的困惑： type Words = String
type Numbers = Int
data NonPhantom = NP1 Words | NP2 Numbers deriving (Show)
data Phantom a = P1 Words | P2 Numbers deriving (Show)
nonPhantomFunction :: NonPha
鉴于哈斯克尔以下幻影类型例如从phadej： {-# LANGUAGE GeneralizedNewtypeDeriving #-}
newtype Distance a = Distance Double
deriving (Num, Show)
data Kilometer
data Mile
marathonDistance :: Distance Kilometer
我想使用创建的操作员“幻影键入”单位： newtype Length (a::UnitLength) b = Length b deriving (Eq)
data UnitLength = Meter
| KiloMeter
| Miles
deriving (Eq,Show)
class OperAdd a b c where
(<+>