Idris2Doc : Deriving.DepTyCheck.Gen.ForOneTypeConRhs.Interface

Deriving.DepTyCheck.Gen.ForOneTypeConRhs.Interface

(source)
Reexports
import public Deriving.DepTyCheck.Gen.ForAllNeededTypes.Interface
Definitions
interface DeriveBodyRhsForCon : Type
  Methods:
  
consGenExpr : DerivationClosure m => Elaboration m => NamesInfoInTypes => ConsRecs => GenSignature -> (con : Con) -> SortedSet (Fin ((con .args) .length)) -> TTImp -> m TTImp
consGenExpr : DeriveBodyRhsForCon => DerivationClosure m => Elaboration m => NamesInfoInTypes => ConsRecs => GenSignature -> (con : Con) -> SortedSet (Fin ((con .args) .length)) -> TTImp -> m TTImp
  Totality: total
  Visibility: public export