小编Nic*_*FAU的帖子

我是 Haskell 的新手，我正在尝试使用模式匹配做一些事情。我什至不知道这种方式是否可行。我有一个数据 Fml ：

    data Fml a = And (Fml a) (Fml a)
    | NAnd (Fml a) (Fml a)
    | Or (Fml a) (Fml a)
    | NOr (Fml a) (Fml a)
    | XOr (Fml a) (Fml a)
    | XNOr (Fml a) (Fml a)
    | Imply (Fml a) (Fml a)
    | Equiv (Fml a) (Fml a)
    | Not (Fml a)
    | Final (Var.Var a)
    deriving (Show)

Var 只是一个值（例如：1）我正在尝试制作一个简单的函数来将所有 Var 合并到一个数组中。我已经这样做了：

getVar :: (Eq a) => Fml a -> [Fml a] …