git.iko.soy/Idris-dev
on master help sign in
sort modules within .ipkg files by name
9676201Michael Morgan
libs/base/base.ipkg+39−44
compare with master
unifiedsplit
@@ -1,48 +1,43 @@
1package base
1package base
2
2
3opts = "--nobasepkgs --total --no-elim-deprecation-warnings --partial-eval -i ../prelude"
3opts = "--nobasepkgs --total --no-elim-deprecation-warnings --partial-eval -i ../prelude"
4−modules = System,
5
4
6− Debug.Error, Debug.Trace,
5+modules = Control.Arrow
7−
6+ , Control.Catchable
8− System.Info,
7+ , Control.Category
9−
8+ , Control.IOExcept
10− Language.Reflection.Utils,
9+ , Control.Isomorphism
11−
10+ , Control.Monad.Identity
12− Syntax.PreorderReasoning,
11+ , Control.Monad.Reader
13−
12+ , Control.Monad.RWS
14− Data.Morphisms,
13+ , Control.Monad.State
14+ , Control.Monad.Trans
15+ , Control.Monad.Writer
15− Data.Bits,
16+ , Data.Bits
16− Data.Mod2,
17− Data.Fin,
17+ , Data.Buffer
18− Data.Vect,
19− Data.Vect.Views,
20− Data.Vect.Quantifiers,
21− Data.HVect,
22− Data.Complex,
18+ , Data.Complex
23− Data.Erased,
19+ , Data.Erased
20+ , Data.Fin
21+ , Data.HVect
24− Data.IORef,
22+ , Data.IORef
23+ , Data.List
25− Data.List,
24+ , Data.List.Quantifiers
26− Data.List.Views,
25+ , Data.List.Views
27− Data.List.Quantifiers,
26+ , Data.Mod2
27+ , Data.Morphisms
28− Data.Nat.Views,
28+ , Data.Nat.Views
29− Data.Primitives.Views,
29+ , Data.Primitives.Views
30− Data.String.Views,
31− Data.So,
30+ , Data.So
32− Data.String,
31+ , Data.String
33− Data.Buffer,
32+ , Data.String.Views
34−
33+ , Data.Vect
35− Control.Isomorphism,
34+ , Data.Vect.Quantifiers
36− Control.Monad.Identity,
35+ , Data.Vect.Views
37− Control.Monad.RWS,
36+ , Debug.Error
38− Control.Monad.Trans,
37+ , Debug.Trace
39− Control.Monad.State,
38+ , Language.Reflection.Utils
40− Control.Monad.Writer,
39+ , Syntax.PreorderReasoning
41− Control.Monad.Reader,
40+ , System
42− Control.Category,
41+ , System.Concurrency.Channels
43− Control.Arrow,
44− Control.Catchable,
45− Control.IOExcept,
46−
47− System.Concurrency.Raw,
42+ , System.Concurrency.Raw
48− System.Concurrency.Channels
43+ , System.Info
libs/contrib/contrib.ipkg+53−42
@@ -1,46 +1,57 @@
1package contrib
1package contrib
2
2
3opts = "--nobasepkgs --partial-eval --total -i ../prelude -i ../base"
3opts = "--nobasepkgs --partial-eval --total -i ../prelude -i ../base"
4−modules = CFFI, CFFI.Types, CFFI.Memory,
5
4
5+modules = CFFI
6+ , CFFI.Memory
7+ , CFFI.Types
6− Control.Algebra,
8+ , Control.Algebra
7− Control.Algebra.Lattice, Control.Algebra.VectorSpace,
9+ , Control.Algebra.Lattice
8− Control.Algebra.NumericImplementations,
10+ , Control.Algebra.NumericImplementations
11+ , Control.Algebra.VectorSpace
9− Control.Isomorphism.Primitives,
12+ , Control.Isomorphism.Primitives
10− Control.Partial,
13+ , Control.Partial
11− Control.Pipeline,
14+ , Control.Pipeline
15+ , Control.ST
16+ , Control.ST.Exception
12− Control.ST, Control.ST.ImplicitCall, Control.ST.Exception, Control.ST.Random,
17+ , Control.ST.ImplicitCall
13−
18+ , Control.ST.Random
14− Interfaces.Correlative,
19+ , Data.BoundedList
15− Interfaces.Verified,
20+ , Data.CoList
16−
21+ , Data.Combinators
22+ , Data.Combinators.Applicative
23+ , Data.Combinators.Arrow
24+ , Data.Fin.Extra
17− Data.Fun, Data.Rel,
25+ , Data.Fun
18− Data.Hash,
26+ , Data.Hash
27+ , Data.Heap
28+ , Data.List.Zipper
29+ , Data.Matrix
19− Data.Matrix, Data.Matrix.Algebraic, Data.Matrix.Numeric,
30+ , Data.Matrix.Algebraic
31+ , Data.Matrix.Numeric
32+ , Data.Nat.DivMod
20− Data.Nat.DivMod, Data.Nat.DivMod.IteratedSubtraction,
33+ , Data.Nat.DivMod.IteratedSubtraction
34+ , Data.Pairs.Implicit
35+ , Data.Rel
21− Data.ZZ, Data.Sign,
36+ , Data.Sign
22− Data.BoundedList,
23− Data.Heap,
24− Data.SortedMap, Data.SortedSet,
37+ , Data.SortedMap
38+ , Data.SortedSet
25− Data.CoList, Data.Storable,
39+ , Data.Storable
26− Data.List.Zipper,
40+ , Data.Stream.Extra
27− Data.Pairs.Implicit,
41+ , Data.ZZ
28− Data.Combinators, Data.Combinators.Applicative, Data.Combinators.Arrow,
29−
30− Decidable.Decidable, Decidable.Order,
42+ , Decidable.Decidable
31−
43+ , Decidable.Order
44+ , Interfaces.Correlative
45+ , Interfaces.Verified
46+ , Network.Cgi
47+ , Network.Socket
48+ , Network.Socket.Data
32− Network.Cgi, Network.Socket.Data, Network.Socket.Raw, Network.Socket,
49+ , Network.Socket.Raw
33−
34− System.Concurrency.Process,
50+ , System.Concurrency.Process
35−
51+ , Text.Lexer
52+ , Text.Literate
36− Text.Lexer, Text.Parser,
53+ , Text.Parser
37−
38− Text.PrettyPrint.WL,
39− Text.PrettyPrint.WL.Core,
54+ , Text.PrettyPrint.WL
40− Text.PrettyPrint.WL.Characters,
55+ , Text.PrettyPrint.WL.Characters
41− Text.PrettyPrint.WL.Combinators,
56+ , Text.PrettyPrint.WL.Combinators
42−
57+ , Text.PrettyPrint.WL.Core
43− Text.Literate,
44−
45− Data.Fin.Extra,
46− Data.Stream.Extra
libs/effects/effects.ipkg+11−12
@@ -1,21 +1,20 @@
1package effects
1package effects
2
2
3−opts = "--nobasepkgs --partial-eval --typeintype -i ../prelude -i ../base"
3+opts = "--nobasepkgs --partial-eval --typeintype -i ../prelude -i ../base"
4−
5−modules = Effects
6− , Effect.Default
7− , Effect.Monad
8
4
5+modules = Effect.Default
9 , Effect.Exception
6 , Effect.Exception
10 , Effect.File
7 , Effect.File
11− , Effect.State
8+ , Effect.Logging.Category
9+ , Effect.Logging.Default
10+ , Effect.Logging.Level
11+ , Effect.Memory
12+ , Effect.Monad
13+ , Effect.Perf
12 , Effect.Random
14 , Effect.Random
13− , Effect.StdIO
14 , Effect.Select
15 , Effect.Select
15− , Effect.Memory
16+ , Effect.State
17+ , Effect.StdIO
16 , Effect.System
18 , Effect.System
17 , Effect.Trans
19 , Effect.Trans
18− , Effect.Logging.Level
20+ , Effects
19− , Effect.Logging.Default
20− , Effect.Logging.Category
21− , Effect.Perf
libs/prelude/prelude.ipkg+33−13
@@ -1,17 +1,37 @@
1package prelude
1package prelude
2
2
3opts = "--nobuiltins --total --no-elim-deprecation-warnings --partial-eval"
3opts = "--nobuiltins --total --no-elim-deprecation-warnings --partial-eval"
4−modules = Builtins, Prelude, IO,
5
4
5+modules = Builtins
6+ , Decidable.Equality
7+ , IO
8+ , Language.Reflection
9+ , Language.Reflection.Elab
10+ , Language.Reflection.Errors
11+ , Prelude
6− Prelude.Algebra, Prelude.Basics, Prelude.Bool, Prelude.Cast,
12+ , Prelude.Algebra
13+ , Prelude.Applicative
14+ , Prelude.Basics
15+ , Prelude.Bits
16+ , Prelude.Bool
17+ , Prelude.Cast
18+ , Prelude.Chars
19+ , Prelude.Doubles
20+ , Prelude.Either
21+ , Prelude.File
22+ , Prelude.Foldable
23+ , Prelude.Functor
24+ , Prelude.Interactive
7− Prelude.Interfaces, Prelude.Nat, Prelude.List,
25+ , Prelude.Interfaces
8− Prelude.Maybe, Prelude.Monad, Prelude.Applicative, Prelude.Either,
26+ , Prelude.List
27+ , Prelude.Maybe
28+ , Prelude.Monad
29+ , Prelude.Nat
30+ , Prelude.Pairs
31+ , Prelude.Providers
32+ , Prelude.Show
33+ , Prelude.Stream
9− Prelude.Strings, Prelude.Chars, Prelude.Show, Prelude.Functor,
34+ , Prelude.Strings
10− Prelude.Foldable, Prelude.Traversable, Prelude.Bits, Prelude.Stream,
35+ , Prelude.Traversable
11− Prelude.Uninhabited, Prelude.Pairs, Prelude.Providers,
36+ , Prelude.Uninhabited
12− Prelude.Interactive, Prelude.File, Prelude.Doubles,
13− Prelude.WellFounded,
37+ , Prelude.WellFounded
14−
15− Language.Reflection, Language.Reflection.Errors, Language.Reflection.Elab,
16−
17− Decidable.Equality
libs/pruviloj/pruviloj.ipkg+2−1
@@ -1,6 +1,7 @@
1package pruviloj
1package pruviloj
2
2
3−opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"
3+opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"
4+
4modules = Pruviloj
5modules = Pruviloj
5 , Pruviloj.Core
6 , Pruviloj.Core
6 , Pruviloj.Derive.DecEq
7 , Pruviloj.Derive.DecEq