Sampleable
📁 Source: Plausible/Sampleable.lean
Statistics
| Metric | Count |
|---|---|
DefinitionssampleableExt, shrinkable, shrinkable, shrinkable, shrinkable, shrinkable, shrinkable, sampleableExt, shrinkable, shrink, shrinkable, NoShrink, arbitrary, get, inhabited, mk, repr, sampleableExt, shrinkable, sampleableExt, shrinkable, sampleableExt, shrinkable, sampleableExt, SampleableExt, interp, interpSample, mkSelfContained, proxy, proxyRepr, sample, selfContained, shrink, Shrinkable, shrink, shrinkable, shrinkable, shrinkable, SampleableExt, shrinkable, shrinkable, shrinkable, shrinkable, sampleableExt, shrinkable, shrinkable, shrinkable, arbitraryProxy, instSampleableExtSigma, instShrinkableSum, «command#sample_» | 51 |
| Theorems | 0 |
| Total | 51 |
Plausible
Definitions
| Name | Category | Theorems |
|---|---|---|
NoShrink 📖 | CompOp | — |
SampleableExt 📖 | CompData | — |
Shrinkable 📖 | CompData | — |
arbitraryProxy 📖 | CompOp | — |
instSampleableExtSigma 📖 | CompOp | — |
instShrinkableSum 📖 | CompOp | — |
«command#sample_» 📖 | CompOp | — |
Plausible.Array
Definitions
| Name | Category | Theorems |
|---|---|---|
sampleableExt 📖 | CompOp | — |
shrinkable 📖 | CompOp | — |
Plausible.BitVec
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.Bool
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.Char
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.Fin
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.Int
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.List
Definitions
| Name | Category | Theorems |
|---|---|---|
sampleableExt 📖 | CompOp | — |
shrinkable 📖 | CompOp | — |
Plausible.Nat
Definitions
| Name | Category | Theorems |
|---|---|---|
shrink 📖 | CompOp | — |
shrinkable 📖 | CompOp | — |
Plausible.NoShrink
Definitions
| Name | Category | Theorems |
|---|---|---|
arbitrary 📖 | CompOp | — |
get 📖 | CompOp | — |
inhabited 📖 | CompOp | — |
mk 📖 | CompOp | — |
repr 📖 | CompOp | — |
sampleableExt 📖 | CompOp | — |
shrinkable 📖 | CompOp | — |
Plausible.Option
Definitions
| Name | Category | Theorems |
|---|---|---|
sampleableExt 📖 | CompOp | — |
shrinkable 📖 | CompOp | — |
Plausible.Prod
Definitions
| Name | Category | Theorems |
|---|---|---|
sampleableExt 📖 | CompOp | — |
shrinkable 📖 | CompOp | — |
Plausible.Prop
Definitions
| Name | Category | Theorems |
|---|---|---|
sampleableExt 📖 | CompOp | — |
Plausible.SampleableExt
Definitions
| Name | Category | Theorems |
|---|---|---|
interp 📖 | CompOp | — |
interpSample 📖 | CompOp | — |
mkSelfContained 📖 | CompOp | — |
proxy 📖 | CompOp | — |
proxyRepr 📖 | CompOp | — |
sample 📖 | CompOp | — |
selfContained 📖 | CompOp | — |
shrink 📖 | CompOp | — |
Plausible.Shrinkable
Definitions
| Name | Category | Theorems |
|---|---|---|
shrink 📖 | CompOp | — |
Plausible.Sigma
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.String
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.Subtype
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.Sum
Definitions
| Name | Category | Theorems |
|---|---|---|
SampleableExt 📖 | CompOp | — |
Plausible.UInt16
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.UInt32
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.UInt64
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.UInt8
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.ULift
Definitions
| Name | Category | Theorems |
|---|---|---|
sampleableExt 📖 | CompOp | — |
shrinkable 📖 | CompOp | — |
Plausible.USize
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
Plausible.Unit
Definitions
| Name | Category | Theorems |
|---|---|---|
shrinkable 📖 | CompOp | — |
---