
  0 | module Deriving.DepTyCheck.Gen.ForOneType.Interface
  1 | 
  2 | import public Deriving.DepTyCheck.Gen.ForAllNeededTypes.Interface
  3 | import public Deriving.DepTyCheck.Gen.Signature
  4 | 
  5 | %default total
  6 | 
  7 | ------------------------------------------------------
  8 | --- Deriving body of a generator for a single type ---
  9 | ------------------------------------------------------
 10 | 
 11 | public export
 12 | interface DeriveBodyForType where
 13 |   canonicBody : DerivationClosure m => Elaboration m => NamesInfoInTypes => ConsRecs => GenSignature -> Name -> m (List TypeInfo, List Clause)
 14 |   --                                                                                                               ^^^^^^^^^^^^^
 15 |   --                                                                                                                    /
 16 |   --                                                                                                    used types with weight functions
 17 |