Idris2Doc : Data.SortedMap.Lens

Data.SortedMap.Lens

(source)
Reexports
import public Control.Lens
Definitions
ixDep : DecEq k => (x : k) -> Optional' (SortedDMap k p) (p x)
  Totality: total
  Visibility: public export
atDep : DecEq k => (x : k) -> Lens' (SortedDMap k p) (Maybe (p x))
  Totality: total
  Visibility: public export