../ Algebra.idruppercase modulenames14 years ago Applicative.idrMade Applicative a subclass of Functor.14 years ago Cast.idruppercase modulenames14 years ago Chars.idrAdd isNL/lines14 years ago Complex.idrAdd Fin.strengthen14 years ago Either.idruppercase modulenames14 years ago Fin.idrAdd Fin.strengthen14 years ago Functor.idrmoved Functor to its own Prelude submodule.14 years ago Heap.idruppercase modulenames14 years ago List.idrTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago Maybe.idruppercase modulenames14 years ago Monad.idrmade Monad a subclass of Applicative.14 years ago Nat.idrTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago Strings.idrMinor fixes for inlining and integer literals14 years ago Vect.idrTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago