never executed always true always false

    1 module HelVM.HelMA.Automata.Piet.Types.Extra where
    2 
    3 import           HelVM.HelIO.SwitchEnum
    4 
    5 change ∷ (Bounded e, Enum e, Enum a) ⇒ Int → Int → a → e
    6 change i n e = unsafeEnum $ (fromEnum e + n) `mod` i
    7 
    8 changeDiff ∷ (Bounded e, Enum e) ⇒ Int → e → e → e
    9 changeDiff i e1 e2 = unsafeEnum $ (fromEnum e2 - fromEnum e1) `mod` i