module Deka.Dec.Shrinkers where import qualified Deka.Dec as D posNeg :: D.PosNeg -> [D.PosNeg] posNeg x = case x of D.Neg -> [D.Pos] _ -> [] sign :: D.Sign -> [D.Sign] sign x = case x of D.Sign1 -> [D.Sign0] _ -> []