Version number 0.1 (new library, split off from base).

The newArray_ method returns a deterministic result in the ST monad, and behaves as before in other contexts. The old newArray_ is now called unsafeNewArray_; the MArray class therefore has one more method than before.

In order to avoid problems where unusual Ix instances could cause the array code to access memory it shouldn't, a number of changes have been made:

Version number 3.0 (was 2.1.1).

A new function

System.Timeout.timeout :: Int -> IO a -> IO (Maybe a)

allows a computation to be timed out after a given number of microseconds.

There is a new module Data.String, which defines the new IsString(fromString) class. This class is used by the new overloaded strings extension (see Section 8.6.4, “Overloaded string literals ”).

The Data.List module now exports a function

stripPrefix :: Eq a => [a] -> [a] -> Maybe [a]

which drops the given prefix from a list.

The System.IO.Error module now exports new functions ioeGetLocation and ioeSetLocation, for manipulating the “location” of an IOError.

The functions throwErrnoPath, throwErrnoPathIf, throwErrnoPathIf_, throwErrnoPathIfNull, throwErrnoPathIfMinus1, throwErrnoPathIfMinus1_ have moved from unix:System.Posix.Error to Foreign.C.Error.

The System.Posix.Signals module has moved to the unix package.

The Text.Printf.printf function now handles

The hash functions in Data.HashTable have been improved.

The Kleisli composition functions

(>=>) :: (Monad m) => (a -> m b) -> (b -> m c) -> (a -> m c)
(<=<) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c)

together with the combinator

forever :: (Monad m) => m a -> m ()

have been added to Control.Monad.

There is now a Monoid instance for the Maybe type.

Data.Monoid now includes two types First and Last, which both newtype Maybe and return the first and last Just respectively when used a a Monoid.

Data.Monoid.Dual now derives Eq, Ord, Read, Show and Bounded.

We no longer put stdin, stdout and stderr into non-blocking mode, so piping Haskell program output through programs like tee works properly.

The type of Data.Generics.Schemes.synthesize has been generalised from

s -> (s -> s -> s) -> GenericQ (s -> s) -> GenericQ s

to

s -> (t -> s -> s) -> GenericQ (s -> t) -> GenericQ t

GHC.Exts now exports uncheckedShiftL64#, uncheckedShiftRL64#, uncheckedIShiftL64# and uncheckedIShiftRA64#.

GHC.Exts no longer defines the Splittable(split) class, which used to be used for linear implicit parameters.

The new value GHC.Conc.numCapabilities :: Int is the argument of the +RTS -N flag, i.e. the number of Haskell threads that can run simultaneously.

The new function GHC.Environment.getFullArgs returns the complete arguments that the program was invoked with, including any +RTS arguments etc.

GHC.Handle.openFd has been renamed to GHC.Handle.fdToHandle' to avoid confusion with System.Posix.IO.openFd.

Version number 0.9 (new library, split off from base).

Data.ByteString.packCStringLen is no longer a pure function; its signature has changed from

packCStringLen :: Foreign.C.String.CStringLen -> ByteString

to

packCStringLen :: Foreign.C.String.CStringLen -> IO ByteString

The Data.ByteString.Base module has been split in two. The unsafe functions are now in Data.ByteString.Unsafe (now part of the stable API), and the others are in Data.ByteString.Internal (not part of the stable API.

The internal lazy bytestring representation type has changed; rather than

newtype ByteString = LPS [Strict.ByteString]

it is now

data ByteString = Empty | Chunk !Strict.ByteString ByteString

Version number 1.2.2.0 (was 1.1.6.2).

Configurations have been implemented; these allow things to be set conditionally in .cabal files.

A new --executable flag for the haddock command also builds documentation for executables.

A new --hyperlink-source flag for the haddock command makes the docs link to the source code, rendered by hscolour.

A new --html-location flag for the haddock command allows you to say where documentation for packages we depend on is.

A new field pkgconfig-depends allows you to specify C libraries you use. The pkg-config command is used to find what C flags etc are needed to use this library.

A new field build-tools allows you to specify tool dependencies such as cpphs.

The includes field now only specifes which include files are automatically included when compiling the package. A new install-includes field determines which include files are also installed.

There are new flags --docdir and --htmldir for the configure command.

The configure command now has --with-prog, --prog-option and --prog-options flags for each program prog.

A new field cpp-options is used when preprocessing Haskell modules.

Many bug fixes.

The Cabal API is not yet stable. There have been many API changes.

Version number 0.1 (new library, split off from base).

Data.Tree.Tree now has Applicative and Monad instances.

In Data.Map the old functions

minView :: Monad m => Map k a -> m (Map k a, (k, a))
maxView :: Monad m => Map k a -> m (Map k a, (k, a))

have been replaced with

minView :: Monad m => Map k a -> m (a, Map k a)
maxView :: Monad m => Map k a -> m (a, Map k a)
minViewWithKey :: Monad m => Map k a -> m ((k, a), Map k a)
maxViewWithKey :: Monad m => Map k a -> m ((k, a), Map k a)

In Data.Set the old functions

minView :: Monad m => Set a -> m (Set a, a)
maxView :: Monad m => Set a -> m (Set a, a)

have had their result orders reversed:

maxView :: Monad m => Set a -> m (a, Set a)
minView :: Monad m => Set a -> m (a, Set a)

The following are new functions in Data.IntMap:

maxView                 :: Monad m => IntMap a -> m (a, IntMap a)
minView                 :: Monad m => IntMap a -> m (a, IntMap a)
findMin                 :: IntMap a -> a
findMax                 :: IntMap a -> a
deleteMin               :: IntMap a -> IntMap a
deleteMax               :: IntMap a -> IntMap a
deleteFindMin           :: IntMap a -> (a, IntMap a)
deleteFindMax           :: IntMap a -> (a, IntMap a)
updateMin               :: (a -> a) -> IntMap a -> IntMap a
updateMax               :: (a -> a) -> IntMap a -> IntMap a
updateMinWithKey        :: (Key -> a -> a) -> IntMap a -> IntMap a
updateMaxWithKey        :: (Key -> a -> a) -> IntMap a -> IntMap a
minViewWithKey          :: (Monad m) => IntMap a -> m ((Key, a), IntMap a)
maxViewWithKey          :: (Monad m) => IntMap a -> m ((Key, a), IntMap a)

The following are new functions in Data.IntSet:

findMin       :: IntSet -> Int
findMax       :: IntSet -> Int
deleteMin     :: IntSet -> IntSet
deleteMax     :: IntSet -> IntSet
deleteFindMin :: IntSet -> (Int, IntSet)
deleteFindMax :: IntSet -> (Int, IntSet)
maxView       :: Monad m => IntSet -> m (Int, IntSet)
minView       :: Monad m => IntSet -> m (Int, IntSet)

Version number 1.0 (new library, split off from base).

The function

makeRelativeToCurrentDirectory :: FilePath -> IO FilePath

has been moved from the filepath library to System.Directory.

Version number 1.1 (was 1.0).

Removed makeRelativeToCurrentDirectory (it has moved to directory:System.Directory).

A number of driver-related functions have been added:

            splitDrive :: FilePath -> (FilePath, FilePath)
            joinDrive  :: FilePath -> FilePath -> FilePath
            takeDrive  :: FilePath -> FilePath
            hasDrive   :: FilePath -> Bool
            dropDrive  :: FilePath -> FilePath
            isDrive    :: FilePath -> Bool

Version number 1.0.1 (was 1.0).

No other change.

Version number 0.5 (new library).

Version number 1.0 (new library, split off from base).

No other change.

Version number 1.0 (new library, split off from base).

No other change.

Version number 0.1 (new library, split off from base).

There is now a Data instance for the PackedString type.

Version number 1.0 (new library, split off from base).

No other change.

Version number 1.0 (new library, split off from base).

No other change.

Version number 1.0 (new library, split off from base).

No other change.

Version number 1.0.1 (was 1.0).

No other change.

Version number 2.2 (was 2.1).

We now derive Data and Typeable instances for all the TH types.

There is now a Functor instance for Q, and Quasi instances have a Functor constraint.

Version number 2.2 (was 2.1).

System.Posix.Unistd now exports

nanosleep :: Integer -> IO ()

(which throws an exception if the OS doesn't provide it).

System.Posix.Files now exports

fileTypeModes        :: FileMode
blockSpecialMode     :: FileMode
characterSpecialMode :: FileMode
namedPipeMode        :: FileMode
regularFileMode      :: FileMode
directoryMode        :: FileMode
symbolicLinkMode     :: FileMode
socketMode           :: FileMode

for use with functions like createDevice.

There is a new module System.Posix.Semaphore providing POSIX named semaphore support.

There is a new module System.Posix.SharedMem providing POSIX shared memory support.

System.Posix.Terminal now exports

openPseudoTerminal :: IO (Fd, Fd)
getSlaveTerminalName :: Fd -> IO FilePath

The functions throwErrnoPath, throwErrnoPathIf, throwErrnoPathIf_, throwErrnoPathIfNull, throwErrnoPathIfMinus1, throwErrnoPathIfMinus1_ have been removed from System.Posix.Error; they are now available from base:Foreign.C.Error.

The System.Posix.Signals module has been moved here from the base package.

Version number 2.2 (was 2.1.1).

There is a new module System.Win32.Security providing POSIX shared memory support.