git.iko.soy/Idris-dev
on master help sign in
Move List quantifiers to base

This is parallel to the Vect equivalents. Also, add it to the cabal file.

commit0b60abde5ee1d7ad93fff825a033a3a6bc733839 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateMon 30 Nov 2015, 23:30 (11 years ago) parent7a89473
4 files changed+2−1
compare with master
unifiedsplit
idris.cabal+1 libs/contrib/Data/List/Quantifiers.idr → libs/base/Data/List/Quantifiers.idr libs/base/base.ipkg+1 libs/contrib/contrib.ipkg−1
idris.cabal+1
@@ -115,6 +115,7 @@ Extra-source-files:
115115 libs/base/Control/*.idr
116116 libs/base/Control/Monad/*.idr
117117 libs/base/Data/*.idr
118+ libs/base/Data/List/*.idr
118119 libs/base/Data/Vect/*.idr
119120 libs/base/Debug/*.idr
120121 libs/base/Language/Reflection/*.idr
libs/contrib/Data/List/Quantifiers.idr → libs/base/Data/List/Quantifiers.idrrenamed

The content is the same.

libs/base/base.ipkg+1
@@ -17,6 +17,7 @@ modules = System,
1717 Data.HVect, Data.Vect.Quantifiers,
1818 Data.Complex,
1919 Data.Erased, Data.List,
20+ Data.List.Quantifiers,
2021 Data.So, Data.String,
2122
2223 Control.Isomorphism,
libs/contrib/contrib.ipkg−1
@@ -17,7 +17,6 @@ modules = Control.Algebra,
1717 Data.Heap,
1818 Data.SortedMap, Data.SortedSet,
1919 Data.CoList,
20− Data.List.Quantifiers,
2120
2221 Decidable.Decidable, Decidable.Order,
2322