Overview of package dryad/type-check/invoke (API)

      
        
      
      
      
    

Statistics


General
Lines of code 979
SDF
Module number 6 (100% documented)
Production number 0
Stratego
Module number 6 (100% documented)
Constructor number 5 (80% documented)
Overlay number 0
Strategy number 44 (77% documented)
Rule number 34 (23% documented)
DynamicRule number 0


Modules


ConstraintReduction 15 ConstraintReduction.str
Constraints 15 Constraints.str
InferringTypeArguments 15 InferringTypeArguments.str
StepAppropriate 15 StepAppropriate.str
StepSearch 15 StepSearch.str
StepSignature 15 StepSignature.str