所以我创建了一个有区别的联合: data UpperBound a = UpperBound a | DoNotCare deriving (Eq, Read, Show) 然后,我手动派生了几个有用的类型类实例UpperBound a -> BoolisWithinBound x (UpperBound b) = x <= b typeclass实例看起来与Maybe (Just x -> UpperBound x,Nothing -&
我有一个C++类A具有方法,而其中一些方法使用另一个C++类B的实例作为参数,还有一些方法返回另一个C++类C的实例。如何用C语言正确包装类A及其所有方法?我不认为我的问题是重复的,因为所有现有的示例都显示了一个简单C++类的C包装器(头和源),其中的方法具有参数或返回简单数据类型的值,如int、char*等。SetSomething() returns an instance of class &