OptionT

📁 Source: Batteries/Control/OptionT.lean

Statistics

Metric	Count
Definitions	0
Theorems instLawfulMonadStateOfOfLawfulMonad, run_mapConst, run_monadLift	3
Total	3

OptionT

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instLawfulMonadStateOfOfLawfulMonad 📖	mathematical	—	LawfulMonadStateOf	—	LawfulMonadStateOf.modifyGet_eq run_monadLift LawfulMonadStateOf.get_bind_const LawfulMonadStateOf.get_bind_get_bind LawfulMonadStateOf.get_bind_set_bind LawfulMonadStateOf.set_bind_map_get LawfulMonadStateOf.set_bind_map_set
run_mapConst 📖	—	—	—	—	—
run_monadLift 📖	—	—	—	—	—

---

← Back to Index