Language.Parser.Ptera.Data.HEnum
type T = HEnum Source #
newtype HEnum (as :: [k]) Source #
Constructors
Fields
Defined in Language.Parser.Ptera.Data.HEnum
Methods
showsPrec :: Int -> HEnum as -> ShowS #
show :: HEnum as -> String #
showList :: [HEnum as] -> ShowS #
(==) :: HEnum as -> HEnum as -> Bool #
(/=) :: HEnum as -> HEnum as -> Bool #
henum :: forall a as. Membership as a -> HEnum as Source #
henumA :: forall a as. Member as a => HEnum as Source #
unHEnum :: forall a as. Membership as a -> HEnum as -> Bool Source #