Idris2Doc : Deriving.DepTyCheck.Gen.ForOneTypeConRhs.Impl

Deriving.DepTyCheck.Gen.ForOneTypeConRhs.Impl

(source)
Several tactics for derivation of particular generators for a constructor regarding to how they use externals

Reexports

import public Control.Monad.State
import public Control.Monad.State.Tuple
import public Data.Collections.Analysis
import public Data.Either
import public Data.Fin.Map
import public Data.SortedSet.Extra
import public Data.Vect.Ex
import public Decidable.Equality
import public Deriving.DepTyCheck.Gen.ForOneTypeConRhs.Interface
import public Deriving.DepTyCheck.Gen.Labels
import public Deriving.DepTyCheck.Gen.Tuning

Definitions