git.iko.soy/Idris-dev
on 08e9182 help sign in
Idris-dev/lib/base.ipkg
26 lines 769 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,
18 Uninhabited,
20 Language.Reflection,
22 Data.Morphisms, Data.Bits, Data.Mod2, Data.Z, Data.Sign,
24 Control.Monad.Identity, Control.Monad.State, Control.Category,
25 Control.Arrow,
26 Control.Catchable, Control.IOExcept