Реализация этой монады/типа в Haskell?

Question

Я действительно не могу понять синтаксис, необходимый для этого, и, вероятно, это связано с отсутствием понимания того, как работают типы.

Я хочу тип DataPoint, который хранит либо кортеж (x, dataval) или два поля х и dataval (где х представляет собой Double и dataval является Complex Double

Я хочу Monad случая, когда он идет что-то вроде:.

instance Monad (DataPoint x dataval) where 
    return dataval = DataPoint 0.0 dataval 
    DataPoint x dataval >>= f = DataPoint x (f dataval) 

в принципе, «значение» монады dataval, и х является лишь частью контейнера.

Я не думаю, что мой синтаксис правильно ты GH. Если я определяю DataPoint как

data DataPoint x dataval = DataPoint { x  :: Double 
            , dataval :: Complex Double } 

тогда он должен работать, не так ли?

только я получаю «рода несоответствие»

The first argument of `Monad' should have kind `* -> *', 
but `DataPoint x dataval' has kind `*' 

Может кто-нибудь помочь мне получить функциональность/монады Я пытаюсь для того чтобы достигнуть?

Answer 1

С точки зрения синтаксиса, это

instance Monad (DataPoint x) where 
    -- etc 

Хотя я разделяю озабоченность Хаммар и думаю, что вы должны пытаться сделать его Functor вместо:

instance Functor (DataPoint x) where 
    -- etc 

Ошибка вид вы получаете

The first argument of `Monad' should have kind `* -> *', 
but `DataPoint x dataval' has kind `*' 

является то, что Monad и Functor являются товарными знаками th при применении к более высоким типам заказов (сравните с Monoid, класс типа, который применяется к простым типам).

например. IO Int - не Монада; IO() - не a monad; IOявляется Монада.

---

Я хочу тип DataPoint, который хранит либо кортеж (x, dataval) или два поля x и dataval (где x является Double и dataval является Complex Double.

data DataPoint a = DataPoint {x :: Double, 
           dataval :: a} 

instance Functor DataPoint where 
    fmap f dataPoint = DataPoint {x = x dataPoint, 
            dataval = f (dataval dataPoint)}