Idris2Doc : Data.CheckedEmpty.List.Properties.Map

Data.CheckedEmpty.List.Properties.Map

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