Idris2Doc : Deriving.DepTyCheck.Gen.ForOneType.Interface

Deriving.DepTyCheck.Gen.ForOneType.Interface

(source)
Reexports
import public Deriving.DepTyCheck.Gen.ForAllNeededTypes.Interface
import public Deriving.DepTyCheck.Gen.Signature
Definitions
interface DeriveBodyForType : Type
  Methods:
  
canonicBody : DerivationClosure m => Elaboration m => NamesInfoInTypes => ConsRecs => GenSignature -> Name -> m (List TypeInfo, List Clause)

Implementation: 
DeriveBodyRhsForCon => DeriveBodyForType
canonicBody : DeriveBodyForType => DerivationClosure m => Elaboration m => NamesInfoInTypes => ConsRecs => GenSignature -> Name -> m (List TypeInfo, List Clause)
  Totality: total
  Visibility: public export