haskell - 如何从元组到自定义数据类型？

Question

所以，我正在上这门关于变质以及其他什么的类(class)，我需要对数据类型的输入进行编码。

数据类型为

data Expr = Num Int | Bop Expr Op Expr  deriving  (Eq,Show)

并且函数必须有这个签名

inExpr :: Either Int (Op,(Expr,Expr)) -> Expr

inExpr 我认为应该是

inExpr = Either Num (Bop something)

但我想不通。

Answer 1

为什么不

inExpr ie = case ie of
  Left n -> Num n
  Right (o, (e1, e2)) -> Bop e1 o e2

?

或者如果你喜欢任一个函数

inExpr = either Num (\(o, (e1, e2)) -> Bop e1 o e2)