Idris2Doc : Deriving.DepTyCheck.Gen.Labels

Deriving.DepTyCheck.Gen.Labels

(source)
Reexports
import public Language.Reflection.Expr
import public Language.Reflection.Syntax
import public Language.Reflection.Syntax.Ops
Definitions
data CTLabel : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkCTLabel : TTImp -> CTLabel

  Hints:
  
FromString CTLabel
  
Monoid CTLabel
  
Semigroup CTLabel
.label : String -> CTLabel
  Totality: total
  Visibility: public export
.label : TTImp -> CTLabel
  Totality: total
  Visibility: public export
labelGen : CTLabel -> TTImp -> TTImp
  Totality: total
  Visibility: export
callOneOf : CTLabel -> List TTImp -> TTImp
  Totality: total
  Visibility: export
callFrequency : CTLabel -> List (TTImp, TTImp) -> TTImp
  Totality: total
  Visibility: export