Rename contrib:Data.String, was shadowing base:Data.String
Also add the resulting Data.String.Extra to contrib.ipkg
commit8a559a96e22a9f4730671b96d9225bf630a77723
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateWed 18 Oct 2017, 14:51 (9 years ago)
parentde51bb0
libs/contrib/Data/String.idr → libs/contrib/Data/String/Extra.idrrenamed+1−1
@@ -1,4 +1,4 @@
1−module Data.String
1+module Data.String.Extra
22
33infixl 5 +>
44infixr 5 <+
libs/contrib/contrib.ipkg+1
@@ -38,6 +38,7 @@ modules = CFFI
3838 , Data.SortedSet
3939 , Data.Storable
4040 , Data.Stream.Extra
41+ , Data.String.Extra
4142 , Data.ZZ
4243 , Decidable.Decidable
4344 , Decidable.Order