是否可以为值构造函数定义别名?上下文是这样的:我正在编写一个程序,它将原始递归函数实现为图灵机。为此,我正在使用一元整数编码。我的图灵机类型定义如下:
-- definition of a Turing machine
data TuringMachine a = TuringMachine
State -- q0
(Set State) -- F
(Set State) -- Q
(Set (Symbol a)) -- Gamma
(Set (Symbol a)) -- Sigma
(Map (State, Symbol a) (State, Symbol a, Instruction)) -- delta
deriving (Show)
我的符号类型定义如下:
data Symbol a = Symbol a | Blank | Delim | Final | One deriving (Eq, Ord)
I have One
为了方便,所以我不需要写Symbol 1
到处。但这有点不整洁。我想在类型之外定义一个别名Symbol
, like
alias One = Symbol 1
and
alias Zero = Blank
这样的事情可能吗?
{-# Language PatternSynonyms #-}
pattern Zero :: Symbol a
pattern Zero = Blank
pattern One :: (Eq a, Num a) => Symbol a
pattern One = Symbol 1
作品(双向模式同义词)
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)