idris-0.9.6.1: lib/base.ipkg

package base

opts = "--noprelude --total"
modules = Builtins, Prelude, IO, System,

          Prelude.Algebra, Prelude.Cast, Prelude.Nat, Prelude.Fin,
          Prelude.List, Prelude.Maybe, Prelude.Monad, Prelude.Applicative,
          Prelude.Either, Prelude.Vect, Prelude.Strings, Prelude.Chars, 
          Prelude.Heap, Prelude.Complex, Prelude.Functor,

          Network.Cgi,
          Debug.Trace,

          System.Concurrency.Raw, System.Concurrency.Process,

          Language.Reflection,

          Data.Morphisms, Data.Bits, Data.Mod2,

          Control.Monad.Identity, Control.Monad.State, Control.Category,
          Control.Arrow