Idris2Doc : Deriving.DepTyCheck.Gen.ForOneTypeCon.Impl

Deriving.DepTyCheck.Gen.ForOneTypeCon.Impl

(source)
Derivation of the outer layer of a constructor-generating function, performing GADT indices check of given arguments.

Reexports

import public Control.Monad.Error.Either
import public Control.Monad.State
import public Control.Monad.State.Tuple
import public Control.Monad.Writer
import public Deriving.DepTyCheck.Gen.ForOneTypeConRhs.Interface
import public Deriving.DepTyCheck.Util.DeepConsApp

Definitions

canonicConsBody : DeriveBodyRhsForCon => DerivationClosure m => Elaboration m => NamesInfoInTypes => ConsRecs => GenSignature -> Name -> Con -> m (List Clause)
Totality: total
Visibility: export