never executed always true always false

    1 module HelVM.HelMA.Automata.ETA.API.AutomatonType where
    2 
    3 -- | Constructors
    4 defaultAutomatonType :: AutomatonType
    5 defaultAutomatonType = minBound
    6 
    7 automatonTypes:: NonEmpty AutomatonType
    8 automatonTypes = universeNonEmpty
    9 
   10 -- | Type
   11 data AutomatonType = Fast | Original
   12   deriving stock (Bounded , Enum , Eq , Read , Show)