如何检查输入是否为特定类型?

data Term = TNull            -- null term
          | TBool Bool       -- boolean data
          | TInt Int         -- integer data
          | TSymbol String   -- symbolic data
          | TPair Term Term  -- pairs
          | TVar LVar        -- logic variable
          deriving (Show, Eq, Ord)

walk :: Term -> Substitution -> Term
walk term substitution = undefined

type Substitution = Map.Map LVar Term

我想检查一下 term 是逻辑变量。

如果它不是逻辑变量或不在替换映射中,则返回它。否则,递归调用walk来查看替换是否映射另一个逻辑变量。我如何实现它?

正如Ajfarmar提到的,我在上面尝试了模式匹配。

walk TVar substitution = if substitution Tvar
    walk (substitution Tvar) substitution
walk _ substitution = TVar

但似乎不起作用。