git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4132 from Melvar/deshadow-data-string
4fa3c29Ahmad Salim Al-Sibahi
libs/contrib/Data/String.idr → libs/contrib/Data/String/Extra.idrrenamed+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−module Data.String
1+module Data.String.Extra
2
2
3infixl 5 +>
3infixl 5 +>
4infixr 5 <+
4infixr 5 <+
libs/contrib/contrib.ipkg+1
@@ -38,6 +38,7 @@ modules = CFFI
38 , Data.SortedSet
38 , Data.SortedSet
39 , Data.Storable
39 , Data.Storable
40 , Data.Stream.Extra
40 , Data.Stream.Extra
41+ , Data.String.Extra
41 , Data.ZZ
42 , Data.ZZ
42 , Decidable.Decidable
43 , Decidable.Decidable
43 , Decidable.Order
44 , Decidable.Order