never executed always true always false

    1 module HelVM.HelMA.Automaton.Types.LabelType where
    2 
    3 -- | Constructors
    4 defaultFormatType ∷ LabelType
    5 defaultFormatType = minBound
    6 
    7 formatTypes ∷ NonEmpty LabelType
    8 formatTypes = universeNonEmpty
    9 
   10 -- | Types
   11 data LabelType
   12   = BinaryLabel
   13   | TextLabel
   14   deriving stock (Bounded, Enum, Eq, Read, Show)