git.iko.soy/Idris-dev
on 106eced help sign in
Idris-dev/lib/base.ipkg
32 lines 994 B history raw
1package base
3opts = "--noprelude --total"
4modules = Builtins, Prelude, IO, System,
6 Prelude.Algebra, Prelude.Cast, Prelude.Nat, Prelude.Fin,
7 Prelude.List, Prelude.Maybe, Prelude.Monad, Prelude.Applicative,
8 Prelude.Either, Prelude.Vect, Prelude.Strings, Prelude.Chars,
9 Prelude.Heap, Prelude.Complex, Prelude.Functor,
11 Network.Cgi,
12 Debug.Trace,
14 System.Concurrency.Raw, System.Concurrency.Process,
16 Decidable.Equality, Decidable.Decidable, Decidable.Order,
18 Uninhabited,
20 Providers,
22 Language.Reflection, Language.Reflection.Utils,
24 Data.Morphisms,
25 Data.Bits, Data.Mod2,
26 Data.Z, Data.Sign,
27 Data.SortedMap, Data.SortedSet, Data.BoundedList,
28 Data.Vect, Data.HVect, Data.Vect.Quantifiers,
30 Control.Monad.Identity, Control.Monad.State, Control.Category,
31 Control.Arrow,
32 Control.Catchable, Control.IOExcept