zm-0.2.2: Language independent, reproducible, absolute types
ZM.Type.Generate
Description
Generate the large constructor trees of some primitive types (Array,Word8,Word7)
Synopsis
arrayCT :: Maybe (ConTree String (TypeRef QualName)) Source #
Constructor Tree for: data Array a = A0 | A1 a (Array a) .. | A255 a .. a (Array a)
word8CT :: Maybe (ConTree String ref) Source #
Constructor Tree for: data Word8 = V0 | V1 .. | V255
word7CT :: Maybe (ConTree String ref) Source #
Constructor Tree for: data Word7 = V0 | V1 .. | V127