Я провел небольшое исследование о цветных сетях Петри для университетской оценки, и мне нужно реализовать их в Haskell. Я использовал этот документ в качестве отправной точки.
Когда я пытаюсь импортировать этот модуль в Haskell:
module SimpleHCPN where
import Data.List
import System.Random
data Net marking = Net {trans :: [Transition marking]}
deriving (Show)
data Transition marking = Transition { name :: String
, action :: marking -> [marking]
}
deriving (Show)
Я получаю следующую ошибку:
SimpleHCPN.hs:11:37: error:
* No instance for (Show (marking -> [marking]))
arising from the second field of `Transition'
(type `marking -> [marking]')
(maybe you haven't applied a function to enough arguments?)
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
* When deriving the instance for (Show (Transition marking))
Я все еще новичок в Haskell, поэтому небольшая помощь будет оценена.
Спасибо, Денис