HelVM.HelMA.Automata.ETA.API.ETAImplType
defaultETAImplType :: ETAImplType #
Constructors
etaImplTypes :: NonEmpty ETAImplType #
data ETAImplType #
Type
Defined in HelVM.HelMA.Automata.ETA.API.ETAImplType
Methods
minBound :: ETAImplType #
maxBound :: ETAImplType #
succ :: ETAImplType -> ETAImplType #
pred :: ETAImplType -> ETAImplType #
toEnum :: Int -> ETAImplType #
fromEnum :: ETAImplType -> Int #
enumFrom :: ETAImplType -> [ETAImplType] #
enumFromThen :: ETAImplType -> ETAImplType -> [ETAImplType] #
enumFromTo :: ETAImplType -> ETAImplType -> [ETAImplType] #
enumFromThenTo :: ETAImplType -> ETAImplType -> ETAImplType -> [ETAImplType] #
(==) :: ETAImplType -> ETAImplType -> Bool #
(/=) :: ETAImplType -> ETAImplType -> Bool #
readsPrec :: Int -> ReadS ETAImplType #
readList :: ReadS [ETAImplType] #
readPrec :: ReadPrec ETAImplType #
readListPrec :: ReadPrec [ETAImplType] #
showsPrec :: Int -> ETAImplType -> ShowS #
show :: ETAImplType -> String #
showList :: [ETAImplType] -> ShowS #