Package deptycheck - Namespaces

• Deriving.DepTyCheck.Gen

  Derivation interface for an end-point user
• Deriving.DepTyCheck.Gen.ConsRecs
• Deriving.DepTyCheck.Gen.ForAllNeededTypes.Impl

  A bridge between a single act of derivation (for a single type) and a user derivation task
• Deriving.DepTyCheck.Gen.ForAllNeededTypes.Interface
• Deriving.DepTyCheck.Gen.ForOneType.Impl

  Main implementation of the derivator core interface
• Deriving.DepTyCheck.Gen.ForOneType.Interface
• Deriving.DepTyCheck.Gen.ForOneTypeCon.Impl

  Derivation of the outer layer of a constructor-generating function, performing GADT indices check of given arguments.
• Deriving.DepTyCheck.Gen.ForOneTypeConRhs.Impl

  Several tactics for derivation of particular generators for a constructor regarding to how they use externals
• Deriving.DepTyCheck.Gen.ForOneTypeConRhs.Interface
• Deriving.DepTyCheck.Gen.Labels
• Deriving.DepTyCheck.Gen.Signature
• Deriving.DepTyCheck.Gen.Tuning
• Deriving.DepTyCheck.Util.ArgsPerm
• Deriving.DepTyCheck.Util.DeepConsApp
• Deriving.DepTyCheck.Util.Primitives
• Test.DepTyCheck.Gen
• Test.DepTyCheck.Gen.Coverage

  Definitions and functions for working with model coverage of a bunch of generated values.
• Test.DepTyCheck.Gen.Emptiness
• Test.DepTyCheck.Gen.Labels