git.iko.soy/Idris-dev
on master help sign in
Tidy up iPKG module listings.

Whitespace is free, so let's use it to break long lists down into readable pieces.

commit38f826b117d7f5163d57407d18508b2d2d2c81f7 authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk> dateThu 9 Nov 2017, 15:37 (9 years ago) parentf863dd2
5 files changed+30−2
compare with master
unifiedsplit
libs/base/base.ipkg+10 libs/contrib/contrib.ipkg+5 libs/effects/effects.ipkg+5−2 libs/prelude/prelude.ipkg+5 libs/pruviloj/pruviloj.ipkg+5
libs/base/base.ipkg+10
@@ -7,12 +7,14 @@ modules = Control.Arrow
77 , Control.Category
88 , Control.IOExcept
99 , Control.Isomorphism
10+
1011 , Control.Monad.Identity
1112 , Control.Monad.Reader
1213 , Control.Monad.RWS
1314 , Control.Monad.State
1415 , Control.Monad.Trans
1516 , Control.Monad.Writer
17+
1618 , Data.Bits
1719 , Data.Buffer
1820 , Data.Complex
@@ -20,23 +22,31 @@ modules = Control.Arrow
2022 , Data.Fin
2123 , Data.HVect
2224 , Data.IORef
25+
2326 , Data.List
2427 , Data.List.Quantifiers
2528 , Data.List.Views
29+
2630 , Data.Mod2
2731 , Data.Morphisms
2832 , Data.Nat.Views
2933 , Data.Primitives.Views
3034 , Data.So
35+
3136 , Data.String
3237 , Data.String.Views
38+
3339 , Data.Vect
3440 , Data.Vect.Quantifiers
3541 , Data.Vect.Views
42+
3643 , Debug.Error
3744 , Debug.Trace
45+
3846 , Language.Reflection.Utils
47+
3948 , Syntax.PreorderReasoning
49+
4050 , System
4151 , System.Concurrency.Channels
4252 , System.Concurrency.Raw
libs/contrib/contrib.ipkg+5
@@ -33,11 +33,14 @@ modules = CFFI
3333 , Data.Heap
3434 , Data.IOArray
3535 , Data.List.Zipper
36+
3637 , Data.Matrix
3738 , Data.Matrix.Algebraic
3839 , Data.Matrix.Numeric
40+
3941 , Data.Nat.DivMod
4042 , Data.Nat.DivMod.IteratedSubtraction
43+
4144 , Data.Pairs.Implicit
4245 , Data.Rel
4346 , Data.Sign
@@ -63,7 +66,9 @@ modules = CFFI
6366
6467 , Text.Lexer
6568 , Text.Lexer.Core
69+
6670 , Text.Literate
71+
6772 , Text.Parser
6873 , Text.Parser.Core
6974
libs/effects/effects.ipkg+5−2
@@ -2,12 +2,16 @@ package effects
22
33opts = "--nobasepkgs --partial-eval --typeintype -i ../prelude -i ../base"
44
5−modules = Effect.Default
5+modules = Effects
6+
7+ , Effect.Default
68 , Effect.Exception
79 , Effect.File
10+
811 , Effect.Logging.Category
912 , Effect.Logging.Default
1013 , Effect.Logging.Level
14+
1115 , Effect.Memory
1216 , Effect.Monad
1317 , Effect.Perf
@@ -17,4 +21,3 @@ modules = Effect.Default
1721 , Effect.StdIO
1822 , Effect.System
1923 , Effect.Trans
20− , Effects
libs/prelude/prelude.ipkg+5
@@ -3,12 +3,17 @@ package prelude
33opts = "--nobuiltins --total --no-elim-deprecation-warnings --partial-eval"
44
55modules = Builtins
6+
67 , Decidable.Equality
8+
79 , IO
10+
811 , Language.Reflection
912 , Language.Reflection.Elab
1013 , Language.Reflection.Errors
14+
1115 , Prelude
16+
1217 , Prelude.Algebra
1318 , Prelude.Applicative
1419 , Prelude.Basics
libs/pruviloj/pruviloj.ipkg+5
@@ -3,12 +3,17 @@ package pruviloj
33opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"
44
55modules = Pruviloj
6+
67 , Pruviloj.Core
8+
79 , Pruviloj.Derive.DecEq
810 , Pruviloj.Derive.Eliminators
11+
912 , Pruviloj.Disjoint
1013 , Pruviloj.Induction
1114 , Pruviloj.Injective
15+
1216 , Pruviloj.Internals
1317 , Pruviloj.Internals.TyConInfo
18+
1419 , Pruviloj.Renamers