Language.Haskell.Liquid.Bare.DataType

Constructors

makeDataDecls

makeConTypes

makeTyConEmbeds

makeRecordSelectorSigs

meetDataConSpec

makeNumericInfo

type DataConMap

dataConMap

Tests