Idris2Doc : Data.CheckedEmpty.List.Lazy.Properties

Data.CheckedEmpty.List.Lazy.Properties

(source)

Reexports

importpublic Data.CheckedEmpty.List.Lazy.Properties.Map
importpublic Data.CheckedEmpty.List.Lazy.Properties.Quantifiers