Idris2Doc : Deriving.DepTyCheck.Gen.ForOneType.Impl

Deriving.DepTyCheck.Gen.ForOneType.Impl

(source)
Main implementation of the derivator core interface

Reexports

import public Data.Either
import public Deriving.DepTyCheck.Gen.Labels
import public Deriving.DepTyCheck.Gen.ForOneTypeCon.Impl
import public Deriving.DepTyCheck.Gen.ForOneType.Interface

Definitions

canonicDefaultLHS' : (Name -> Name) -> GenSignature -> Name -> Name -> TTImp
Totality: total
Visibility: export
canonicDefaultRHS' : (Name -> Name) -> GenSignature -> Name -> TTImp -> TTImp
Totality: total
Visibility: export
canonicDefaultLHS : GenSignature -> Name -> Name -> TTImp
Totality: total
Visibility: export
canonicDefaultRHS : GenSignature -> Name -> TTImp -> TTImp
Totality: total
Visibility: export
MainCoreDerivator : DeriveBodyRhsForCon => DeriveBodyForType
Totality: total
Visibility: export