ptera-0.1.0.0: A parser generator
Safe HaskellNone
LanguageHaskell2010

Language.Parser.Ptera.Data.HEnum

Documentation

type T = HEnum Source #

newtype HEnum (as :: [k]) Source #

Constructors

UnsafeHEnum 

Fields

Instances

Instances details
Eq (HEnum as) Source # 
Instance details

Defined in Language.Parser.Ptera.Data.HEnum

Methods

(==) :: HEnum as -> HEnum as -> Bool #

(/=) :: HEnum as -> HEnum as -> Bool #

Show (HEnum as) Source # 
Instance details

Defined in Language.Parser.Ptera.Data.HEnum

Methods

showsPrec :: Int -> HEnum as -> ShowS #

show :: HEnum as -> String #

showList :: [HEnum as] -> ShowS #

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 #