可能重複: What’s the 「|」 for in a Haskell class definition? 在下面的(從Data.HList.HListPrelude,我怎麼解釋| l l' -> l''部分 class HAppend l l' l'' | l l' -> l''
where
hAppend :: l -> l' -> l''
而且是標準的Haskell的一部
對於數據的方便分析數據的樹輸出我想使用這對於下面的代碼庫: data SomeType = A [String] Int | B | C Int deriving (Eq, Ord, Show)
main = do
let theData = A ["a", "b", "c"] 9 : C 3 : B : []
putStr $ treeString theData --
我正在嘗試擁有一個UArray Int (Complex Double)。此簽名很好,但是當我嘗試使用(!)訪問特定索引時,我收到一條錯誤消息。這裏是我嘗試使用代碼: test :: UArray Int (Complex Double) -> Complex Double
test arr = arr ! 0
,我得到的錯誤: No instance for (IArray UArray
你知道任何哈斯克爾庫 提供了一些簡化備案驗證和(!) 作品與埃宋的? 我知道我可以寫一些構造函數,但是我想在不重新發明輪子的情況下擦除樣板。 我所尋找的是以下幾點: 我想定義每個領域的「合同」。例如: data Person = Person {
age :: Integer
,email :: Text
,projects :: [Project]}
現在,我想
我是學生,在編程課程中我們必須學習Haskell。所以我是新手,並沒有那麼多的經驗。此外,我不熟悉在論壇中發佈問題。 所以首先我將張貼在圖書館,我有工作。 (DA:確定性自動機) type State = Integer
type DA = (State, State -> Char -> State, State -> Bool)
type ListDA = (State, [((State
編譯 考慮一下下面是我的代碼 import Data.Char
import Data.List
-- square
square :: Int -> Int
square n = n * n
雖然這個廣場的功能看起來整潔而清晰,當我運行它 ghci ./square.hs
它返回 [1 of 1] Compiling Main (./LabSheet1-solns.hs,