0d4d8db · Idris-dev · git.iko.soy

libs/base/base.ipkg+2−4

compare with master

unifiedsplit

@@ -7,8 +7,6 @@ modules = System,

7

8 System.Info,

9

10− Providers,

11−

12 Language.Reflection.Utils,

10 Language.Reflection.Utils,

13

11

14 Syntax.PreorderReasoning,

12 Syntax.PreorderReasoning,

@@ -19,12 +17,12 @@ modules = System,

19 Data.BoundedList,

17 Data.BoundedList,

20 Data.Fin, Data.Vect, Data.VectType,

18 Data.Fin, Data.Vect, Data.VectType,

21 Data.HVect, Data.Vect.Quantifiers,

19 Data.HVect, Data.Vect.Quantifiers,

22− Data.Floats, Data.Complex, Data.Heap,

20+ Data.Floats, Data.Complex,

23 Data.Erased,

21 Data.Erased,

24 Data.List, Data.Hash, Data.Matrix,

22 Data.List, Data.Hash, Data.Matrix,

25 Data.So,

23 Data.So,

26

24

27− Control.Isomorphism, Control.Isomorphism.Primitives,

25+ Control.Isomorphism,

28 Control.Monad.Identity,

26 Control.Monad.Identity,

29 Control.Monad.RWS,

27 Control.Monad.RWS,

30 Control.Monad.Trans,

28 Control.Monad.Trans,

libs/base/Control/Isomorphism/Primitives.idr → libs/contrib/Control/Isomorphism/Primitives.idrrenamed

The content is the same.

libs/base/Data/Heap.idr → libs/contrib/Data/Heap.idrrenamed

The content is the same.

libs/contrib/contrib.ipkg+5−3

@@ -1,11 +1,13 @@

1package contrib

2

3−opts = "--nobaselibs --total -i ../prelude -i ../base"

3+opts = "--nobasepkgs --total -i ../prelude -i ../base"

4+modules = Control.Isomorphism.Primitives,

4−modules = Data.Fun, Data.Rel, Data.Buffer,

5+ Data.Fun, Data.Rel, Data.Buffer,

6+ Data.Heap,

5 Data.SortedMap, Data.SortedSet,

7 Data.SortedMap, Data.SortedSet,

6

8

7 Decidable.Decidable, Decidable.Order,

9 Decidable.Decidable, Decidable.Order,

8

10

9− Network.Cgi, Network.Socket

11+ Network.Cgi, Network.Socket,

10

12

11 System.Concurrency.Process

13 System.Concurrency.Process

libs/prelude/Prelude.idr+1−1

@@ -23,7 +23,7 @@ import public Prelude.Bits

23import public Prelude.Uninhabited

24import public Prelude.Pairs

25import public Prelude.Stream

26−

26+import public Prelude.Providers

27import public Decidable.Equality

28import public Language.Reflection

29import public Language.Reflection.Errors

libs/base/Providers.idr → libs/prelude/Prelude/Providers.idrrenamed+5−1

@@ -1,4 +1,8 @@

1−module Providers

1+module Prelude.Providers

2+

3+import Prelude.Functor

4+import Prelude.Applicative

5+import Prelude.Monad

2

6

3||| Type providers must build one of these in an IO computation.

7||| Type providers must build one of these in an IO computation.

4public

8public

libs/prelude/prelude.ipkg+1−1

@@ -8,7 +8,7 @@ modules = Builtins, Prelude, IO,

8 Prelude.Maybe, Prelude.Monad, Prelude.Applicative, Prelude.Either,

9 Prelude.Strings, Prelude.Chars, Prelude.Functor,

10 Prelude.Foldable, Prelude.Traversable, Prelude.Bits, Prelude.Stream,

11− Prelude.Uninhabited, Prelude.Pairs,

11+ Prelude.Uninhabited, Prelude.Pairs, Prelude.Providers,

12

13 Language.Reflection, Language.Reflection.Errors, Language.Reflection.Tactical,

14