包装状态会导致公正

Question

我在我的Prolog解释器分配中有一个Haskell函数，它可以读取

renames :: Rule -> State ExecState [(Term, Term)]

它产生(几乎) Prolog规则中变量的替换(以便变量名在统一期间不会发生冲突)。

这个函数产生的对是表单(Variable "X", Variable "X_11")，这意味着变量X应该重命名为X_11等等(重命名的计数器包含在ExecState中)。

问题是我定义了一个替换

type Subst = Maybe [(Term, Term)]

这是有道理的，因为有时无法找到将两个术语统一起来的替代词。(但是总是可以找到重命名变量的替代方法。)

我试过了

renames' :: Rule -> State ExecState Subst
renames' rule = Just $ renames rule

但这显然行不通，因为我将State封装在Just中，而不是计算结果。

如何在[(Term, Term)]中包装实际的Just结果？我想做的事有什么名字吗？

谢谢!

Answer 1

您可以使用Just <$> renames rule，其中<$>操作是fmap。