Commit 2023-04-21 04:11 c7d91490

View on Github →

feat: make ListM safe (#3559) Hide the unsafe inductive powering ListM behind a safe API using implemented_by.

Estimated changes

added def ListM.asArray
added def ListM.cases'
added def ListM.concat
added def ListM.cons'
added def ListM.cons
added def ListM.drop
added def ListM.enum
added def ListM.filter
added def ListM.filterMap
added def ListM.first
added def ListM.firstM
added def ListM.fixl
added def ListM.folds
added def ListM.head
added def ListM.head?
added def ListM.isEmpty
added def ListM.map
added def ListM.monadLift
added def ListM.nil
added def ListM.ofList
added def ListM.ofListM
added def ListM.range
added def ListM.runState'
added def ListM.squash
added def ListM.takeWhile
added def ListM.uncons
added def ListM
added def l1
added def l2
added def ll