Data.Type.BitRecords.Enum

BitRecordFields containing enum-like types

data EnumOf enum

type BitRecordOfEnum e

type family RenderEnumOf (e :: EnumOf enum) :: BitRecord where ...

data EnumField enum size

type BitRecordFieldOfEnumField x

data FixedEnum enum size

data ExtEnum enum size extInd extField

data SetEnum l ef v

data EnumParam label ef

data SetEnumAlt l ef v

data EnumParamAlt label ef

Composing BitRecords with enum fields

type family FromEnum enum (entry :: enum) :: Nat

data EnumValue e

enumValueProxy

fromEnumValue