カスタムデータ型とパラメータの比較

Question

私はHaskellを習っており、このプログラムを実装しようとしています。私はカスタムデータ型を持っています

data CalculatorInput 
    = Exit 
    | Error String 
    | Operator (Int -> Int -> Int) 
    | Number Int 

この場合、このタイプの値を返すメソッドgetInputがあります。

今、このタイプの値をディスパッチする方法が混乱しています。私は、入力が私もcaseを使用しようとしたNumber x

であるかどうかを知りたいの方法

simpleCalculator :: Int -> (Int -> Int -> Int) -> IO() 
simpleCalculator ans op = do 
    input <- getInput -- here i got the type as result 
    if input == Exit then return() 
    else if input == Number x then ans = ans op x; print ans 
    else simpleCalculator ans op 

あります

simpleCalculator :: Int -> (Int -> Int -> Int) -> IO() 
simpleCalculator ans op = do 
    input <- getInput -- here i got the type as result 
    --case input of 
    -- Exit -> return() 
    -- Error x -> print x 
    -- Number n -> ans = ans op x; print ans -- getting error here, multiple statement not possible 
    -- _ -> simpleCalculator ans op 

私もEqのインスタンスを作成しようとしましたが

instance Eq CalculatorInput where 
    (==) Exit Exit = True 
    (==) (Number x) (Number y) = x == y 
    (==) _ _ = False 

カスタムデータを比較する方法caseブランチ内にパラメータを持つ型または複数の文を持つことはできますか？

Answer 1

Eqインスタンスの場合は、derivationを使用してコンパイラに作業を依頼することができます。つまり、

data CalculatorInput 
    = Exit 
    | Error String 
    | Operator (Int -> Int -> Int) 
    | Number Int 
    deriving Eq 

Answer 2

caseを使用してください。

simpleCalculator ans op = do 
    input <- getInput -- here i got the type as result 
    case input of 
     Exit -> return() 
     Number x -> print $ans `op` x 
     _ -> simpleCalculator ans op 

機能がEqのインスタンスではありませんので、あなたはCalculatorInputためEqを導き出すことはできません。

simpleCalculator :: Int -> (Int -> Int -> Int) -> IO() 
simpleCalculator ans op = do 
    input <- getInput -- here i got the type as result 
    case input of 
     Exit -> return() 
     Error x -> print x 
     Number n -> ans = ans op x; print ans 
     _ -> simpleCalculator ans op 

あなたは、次の正しいプログラムを書くことができるように巣do表記することができます：：については

simpleCalculator :: Int -> (Int -> Int -> Int) -> IO() 
simpleCalculator ans op = do 
    input <- getInput -- here i got the type as result 
    case input of 
     Exit -> return() 
     Error x -> print x 
     Number n -> do 
     let theAns = ans op x 
     print theAns 
     _ -> simpleCalculator ans op 

をあなたの非稼働コードで正しい軌道に乗ってほとんどだ