AlphaSucc

class AlphaSucc (curr :: Symbol) (next :: Symbol) | curr -> next, next -> curr

Instances

• AlphaSucc "a" "b"
• AlphaSucc "b" "c"
• AlphaSucc "c" "d"
• AlphaSucc "d" "e"
• AlphaSucc "e" "f"
• AlphaSucc "f" "g"
• AlphaSucc "g" "h"
• AlphaSucc "h" "i"
• AlphaSucc "i" "j"
• AlphaSucc "j" "k"
• AlphaSucc "k" "l"
• AlphaSucc "l" "m"
• AlphaSucc "m" "n"
• AlphaSucc "n" "o"
• AlphaSucc "o" "p"
• AlphaSucc "p" "q"
• AlphaSucc "q" "r"
• AlphaSucc "r" "s"
• AlphaSucc "s" "t"
• AlphaSucc "t" "u"
• AlphaSucc "u" "v"
• AlphaSucc "v" "w"
• AlphaSucc "w" "x"
• AlphaSucc "x" "y"
• AlphaSucc "y" "z"