LawfulMonad
📁 Source: Batteries/Lean/LawfulMonad.lean
Statistics
(root)
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
instLawfulMonadBaseIO_batteries 📖 | — | — | — | — | — |
instLawfulMonadCommandElabM_batteries 📖 | — | — | — | — | — |
instLawfulMonadCoreM_batteries 📖 | — | — | — | — | — |
instLawfulMonadEIO_batteries 📖 | — | — | — | — | — |
instLawfulMonadEST_batteries 📖 | — | — | — | — | — |
instLawfulMonadIO_batteries 📖 | — | — | — | — | — |
instLawfulMonadMetaM_batteries 📖 | — | — | — | — | — |
instLawfulMonadST_batteries 📖 | — | — | — | — | — |
instLawfulMonadTacticM_batteries 📖 | — | — | — | — | — |
instLawfulMonadTermElabM_batteries 📖 | — | — | — | — | — |
---