Idris2Doc : Data.CheckedEmpty.List.Lazy.Properties.Map

Data.CheckedEmpty.List.Lazy.Properties.Map

(source)
Definitions
mapId : (xs : LazyLst ne a) -> map id xs = xs
  Totality: total
  Visibility: export
allMapMaybeJust : ((x : a) -> (0 {arg:7119} : IsJust (f x)) -> p (fromJust (f x))) -> All p (mapMaybe f xs)
  Totality: total
  Visibility: export