git.iko.soy/Idris-dev
on 4ef6ff8 help sign in
Idris-dev/lib/Prelude
17 files
../ Algebra.idruppercase modulenames Applicative.idrAdd Traversable and instance for List Cast.idrExpand integer primitive unification to encompass bigints Chars.idrAdd isNL/lines Complex.idrAdd Fin.strengthen Either.idrAdded typeclass for decidable equality plus instances for commonly-used datatypes Fin.idrrename fO into fZ Foldable.idrAdd more folds and a Foldable instance for (Vect n) Functor.idrrename fmap to map Heap.idrReadd toList as working on any Foldable List.idrReadd toList as working on any Foldable Maybe.idrAdd instance Foldable Maybe Monad.idrRemove "return" from Monad Nat.idrCompile Nat as Int, (and plus/mult/fromInteger) Strings.idrDefault to Integer instead of Int, and adjust fromInteger accordingly Traversable.idrAdd Traversable and instance for List Vect.idrAdd more folds and a Foldable instance for (Vect n)