Gen
📁 Source: Plausible/Gen.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsGen, outOfFuel, arrayOf, backtrack, choose, chooseAny, chooseNat, chooseNatLt, down, elements, frequency, genFailure, genericFailure, getSize, inhabitedGen, listOf, oneOf, oneOfWithDefault, permutationOf, pick, printSamples, prodOf, resize, run, runUntil, sized, up, GenError, instBEqGenError, beq, instInhabitedGenError, default, instMonadErrorGen, instMonadLiftGen, instMonadLiftStateIOGen, instReprGenError, repr | 37 |
| Theorems | 0 |
| Total | 37 |
Plausible
Definitions
| Name | Category | Theorems |
|---|---|---|
Gen 📖 | CompOp | — |
GenError 📖 | CompData | — |
instBEqGenError 📖 | CompOp | — |
instInhabitedGenError 📖 | CompOp | — |
instMonadErrorGen 📖 | CompOp | — |
instMonadLiftGen 📖 | CompOp | — |
instMonadLiftStateIOGen 📖 | CompOp | — |
instReprGenError 📖 | CompOp | — |
Plausible.Gen
Definitions
| Name | Category | Theorems |
|---|---|---|
arrayOf 📖 | CompOp | — |
backtrack 📖 | CompOp | — |
choose 📖 | CompOp | — |
chooseAny 📖 | CompOp | — |
chooseNat 📖 | CompOp | — |
chooseNatLt 📖 | CompOp | — |
down 📖 | CompOp | — |
elements 📖 | CompOp | — |
frequency 📖 | CompOp | — |
genFailure 📖 | CompOp | — |
genericFailure 📖 | CompOp | — |
getSize 📖 | CompOp | — |
inhabitedGen 📖 | CompOp | — |
listOf 📖 | CompOp | — |
oneOf 📖 | CompOp | — |
oneOfWithDefault 📖 | CompOp | — |
permutationOf 📖 | CompOp | — |
pick 📖 | CompOp | — |
printSamples 📖 | CompOp | — |
prodOf 📖 | CompOp | — |
resize 📖 | CompOp | — |
run 📖 | CompOp | — |
runUntil 📖 | CompOp | — |
sized 📖 | CompOp | — |
up 📖 | CompOp | — |
Plausible.Gen.Gen
Definitions
| Name | Category | Theorems |
|---|---|---|
outOfFuel 📖 | CompOp | — |
Plausible.instBEqGenError
Definitions
| Name | Category | Theorems |
|---|---|---|
beq 📖 | CompOp | — |
Plausible.instInhabitedGenError
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
Plausible.instReprGenError
Definitions
| Name | Category | Theorems |
|---|---|---|
repr 📖 | CompOp | — |
---