singletons-2.4: tests/compile-and-dump/Singletons/EnumDeriving.hs

module Singletons.EnumDeriving where

import Data.Singletons.TH

$(singletons [d|
  data Foo = Bar | Baz | Bum
    deriving Enum
  data Quux = Q1 | Q2
  |])

$(singEnumInstance ''Quux)