zm-0.3.2: Language independent, reproducible, absolute types

Safe HaskellSafe
LanguageHaskell2010

ZM.Type.Generate

Description

Generate the large constructor trees of some primitive types (Array,Word8,Word7)

Synopsis

Documentation

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