git.iko.soy/Idris-dev
on 1ce70cc help sign in
Idris-dev/lib/base.ipkg
30 lines 949 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, Data.Bits, Data.Mod2, Data.Z, Data.Sign,
25 Data.SortedMap, Data.SortedSet, Data.BoundedList,
26 Data.Vect.Quantifiers,
28 Control.Monad.Identity, Control.Monad.State, Control.Category,
29 Control.Arrow,
30 Control.Catchable, Control.IOExcept