base
Basic libraries
Version on this page: | 4.16.4.0 |
LTS Haskell 22.41: | 4.18.2.1 |
Stackage Nightly 2024-11-12: | 4.19.2.0 |
Latest on Hackage: | 4.20.0.1 |
base-4.16.4.0@sha256:407ce43de8fd923cf1a1cb51b3260b3673d0a5593671da974cffcc227dcd6b0b,12005
Module documentation for 4.16.4.0
- Control
- Data
- Data.Bifoldable
- Data.Bifunctor
- Data.Bitraversable
- Data.Bits
- Data.Bool
- Data.Char
- Data.Coerce
- Data.Complex
- Data.Data
- Data.Dynamic
- Data.Either
- Data.Eq
- Data.Fixed
- Data.Foldable
- Data.Function
- Data.Functor
- Data.IORef
- Data.Int
- Data.Ix
- Data.Kind
- Data.List
- Data.Maybe
- Data.Monoid
- Data.Ord
- Data.Proxy
- Data.Ratio
- Data.STRef
- Data.Semigroup
- Data.String
- Data.Traversable
- Data.Tuple
- Data.Type
- Data.Typeable
- Data.Unique
- Data.Version
- Data.Void
- Data.Word
- Debug
- Foreign
- GHC
- GHC.Arr
- GHC.Base
- GHC.Bits
- GHC.ByteOrder
- GHC.Char
- GHC.Clock
- GHC.Conc
- GHC.ConsoleHandler
- GHC.Constants
- GHC.Desugar
- GHC.Enum
- GHC.Environment
- GHC.Err
- GHC.Event
- GHC.Exception
- GHC.ExecutionStack
- GHC.Exts
- GHC.Fingerprint
- GHC.Float
- GHC.Foreign
- GHC.ForeignPtr
- GHC.GHCi
- GHC.Generics
- GHC.IO
- GHC.IOArray
- GHC.IOPort
- GHC.IORef
- GHC.Int
- GHC.Integer
- GHC.Ix
- GHC.List
- GHC.MVar
- GHC.Maybe
- GHC.Natural
- GHC.Num
- GHC.OldList
- GHC.OverloadedLabels
- GHC.Pack
- GHC.Profiling
- GHC.Ptr
- GHC.RTS
- GHC.Read
- GHC.Real
- GHC.Records
- GHC.ResponseFile
- GHC.ST
- GHC.STRef
- GHC.Show
- GHC.Stable
- GHC.StableName
- GHC.Stack
- GHC.StaticPtr
- GHC.Stats
- GHC.Storable
- GHC.TopHandler
- GHC.TypeLits
- GHC.TypeNats
- GHC.Unicode
- GHC.Weak
- GHC.Word
- Numeric
- Prelude
- System
- Text
- Type
- Unsafe
This package contains the Standard Haskell Prelude
and its support libraries,
and a large collection of useful libraries ranging from data
structures to parsing combinators and debugging utilities.
Changes
Changelog for base
package
4.16.4.0 Nov 2022
-
Shipped with GHC 9.2.5
-
Fix races in IOManager (setNumCapabilities,closeFdWith) (#21651)
-
winio: do not re-translate input when handle is uncooked
4.16.3.0 May 2022
-
Shipped with GHC 9.2.4
-
winio: make consoleReadNonBlocking not wait for any events at all.
-
winio: Add support to console handles to handleToHANDLE
4.16.2.0 May 2022
-
Shipped with GHC 9.2.2
-
Export GHC.Event.Internal on Windows (#21245)
Documentation Fixes
4.16.1.0 Feb 2022
-
Shipped with GHC 9.2.2
-
The following Foreign C types now have an instance of
Ix
: CChar, CSChar, CUChar, CShort, CUShort, CInt, CUInt, CLong, CULong, CPtrdiff, CSize, CWchar, CSigAtomic, CLLong, CULLong, CBool, CIntPtr, CUIntPtr, CIntMax, CUIntMax.
4.16.0.0 Nov 2021
-
Shipped with GHC 9.2.1
-
The unary tuple type,
Solo
, is now exported byData.Tuple
. -
Add a
Typeable
constraint tofromStaticPtr
in the classGHC.StaticPtr.IsStatic
. -
Make it possible to promote
Natural
s and remove the separateNat
kind. For backwards compatibility,Nat
is now a type synonym forNatural
. As a consequence, one must enableTypeSynonymInstances
in order to define instances forNat
. Also, different instances forNat
andNatural
won’t typecheck anymore. -
Add
Data.Type.Ord
as a module for type-level comparison operations. The(<=?)
type operator fromGHC.TypeNats
, previously kind-specific toNat
, is now kind-polymorphic and governed by theCompare
type family inData.Type.Ord
. Note that this means GHC will no longer deduce0 <= n
for alln
any more. -
Add
cmpNat
,cmpSymbol
, andcmpChar
toGHC.TypeNats
andGHC.TypeLits
. -
Add
CmpChar
,ConsSymbol
,UnconsSymbol
,CharToNat
, andNatToChar
type families toGHC.TypeLits
. -
Add the
KnownChar
class,charVal
andcharVal'
toGHC.TypeLits
. -
Add
Semigroup
andMonoid
instances forData.Functor.Product
andData.Functor.Compose
. -
Add
Functor
,Applicative
,Monad
,MonadFix
,Foldable
,Traversable
,Eq
,Ord
,Show
,Read
,Eq1
,Ord1
,Show1
,Read1
,Generic
,Generic1
, andData
instances forGHC.Tuple.Solo
. -
Add
Eq1
,Read1
andShow1
instances forComplex
; addEq1/2
,Ord1/2
,Show1/2
andRead1/2
instances for 3 and 4-tuples. -
Remove
Data.Semigroup.Option
and the accompanyingoption
function. -
Make
allocaBytesAligned
andalloca
throw an IOError when the alignment is not a power-of-two. The underlying primopnewAlignedPinnedByteArray#
actually always assumed this but we didn’t document this fact in the user facing API until now.Generic1
, andData
instances forGHC.Tuple.Solo
. -
Under POSIX,
System.IO.openFile
will no longer leak a file descriptor if it is interrupted by an asynchronous exception (#19114, #19115). -
Additionally export
asum
fromControl.Applicative
-
fromInteger :: Integer -> Float/Double
now consistently round to the nearest value, with ties to even. -
The
Data.Int.Int{8,16,32}
(resp.Data.Word.Word{8,16,32}
) types are now represented by their associated fixed-width unlifted types rather thanInt#
(resp.Word#
). -
Additions to
Data.Bits
:-
Newtypes
And
,Ior
,Xor
andIff
which wrap their argument, and whoseSemigroup
instances are defined using(.&.)
,(.|.)
,xor
and\x y -> complement (x `xor` y)
, respectively. -
oneBits :: FiniteBits a => a
,oneBits = complement zeroBits
.
-
4.15.0.0 Feb 2021
-
openFile
now calls theopen
system call with aninterruptible
FFI call, ensuring that the call can be interrupted withSIGINT
on POSIX systems. -
Add
hGetContents'
,getContents'
, andreadFile'
inSystem.IO
: Strict IO variants ofhGetContents
,getContents
, andreadFile
. -
Add
singleton
function forData.List.NonEmpty
. -
The planned deprecation of
Data.Monoid.First
andData.Monoid.Last
is scrapped due to difficulties with the suggested migration path. -
Data.Semigroup.Option
and the accompanyingoption
function are deprecated and scheduled for removal in 4.16. -
Add
Generic
instances toFingerprint
,GiveGCStats
,GCFlags
,ConcFlags
,DebugFlags
,CCFlags
,DoHeapProfile
,ProfFlags
,DoTrace
,TraceFlags
,TickyFlags
,ParFlags
,RTSFlags
,RTSStats
,GCStats
,ByteOrder
,GeneralCategory
,SrcLoc
-
Add rules
unpackUtf8
,unpack-listUtf8
andunpack-appendUtf8
toGHC.Base
. They correspond to their ascii versions and hopefully make it easier for libraries to handle utf8 encoded strings efficiently. -
An issue with list fusion and
elem
was fixed.elem
applied to known small lists will now compile to a simple case statement more often. -
Add
MonadFix
andMonadZip
instances forComplex
-
Add
Ix
instances for tuples of size 6 through 15 -
Correct
Bounded
instance and removeEnum
andIntegral
instances forData.Ord.Down
. -
catMaybes
is now implemented usingmapMaybe
, so that it is both a “good consumer” and “good producer” for list-fusion (#18574) -
Foreign.ForeignPtr.withForeignPtr
is now less aggressively optimised, avoiding the soundness issue reported in #17760 in exchange for a small amount more allocation. If your application regresses significantly and the continuation given towithForeignPtr
will not provably diverge then the previous optimisation behavior can be recovered by instead usingGHC.ForeignPtr.unsafeWithForeignPtr
. -
Correct
Bounded
instance and removeEnum
andIntegral
instances forData.Ord.Down
. -
Data.Foldable
methodsmaximum{,By}
,minimum{,By}
,product
andsum
are now stricter by default, as well as in the class implementation for List.
4.14.0.0 Jan 2020
-
Bundled with GHC 8.10.1
-
Add a
TestEquality
instance for theCompose
newtype. -
Data.Ord.Down
now has a field name,getDown
-
Add
Bits
,Bounded
,Enum
,FiniteBits
,Floating
,Fractional
,Integral
,Ix
,Real
,RealFrac
,RealFloat
andStorable
instances toData.Ord.Down
. -
Fix the
integer-gmp
variant ofisValidNatural
: Previously it would fail to detect values<= maxBound::Word
that were incorrectly encoded using theNatJ#
constructor. -
The type of
coerce
has been generalized. It is now runtime-representation polymorphic:forall {r :: RuntimeRep} (a :: TYPE r) (b :: TYPE r). Coercible a b => a -> b
. The type argumentr
is marked asInferred
to prevent it from interfering with visible type application. -
Make
Fixed
andHasResolution
poly-kinded. -
Add
HasResolution
instances forNat
s. -
Add
Functor
,Applicative
,Monad
,Alternative
,MonadPlus
,Generic
andGeneric1
instances toKleisli
-
openTempFile
is now fully atomic and thread-safe on Windows. -
Add
isResourceVanishedError
,resourceVanishedErrorType
, andisResourceVanishedErrorType
toSystem.IO.Error
. -
Add newtypes for
CSocklen
(socklen_t
) andCNfds
(nfds_t
) toSystem.Posix.Types
. -
Add
Functor
,Applicative
andMonad
instances to(,,) a b
and(,,,) a b c
. -
Add
resizeSmallMutableArray#
toGHC.Exts
. -
Add a
Data
instance toWrappedArrow
,WrappedMonad
, andZipList
. -
Add
IsList
instance forZipList
.
4.13.0.0 July 2019
-
Bundled with GHC 8.8.1
-
The final phase of the
MonadFail
proposal has been implemented:-
The
fail
method ofMonad
has been removed in favor of the method of the same name in theMonadFail
class. -
MonadFail(fail)
is now re-exported from thePrelude
andControl.Monad
modules.
-
-
Fix
Show
instance ofData.Fixed
: Negative numbers are now parenthesized according to their surrounding context. I.e.Data.Fixed.show
produces syntactically correct Haskell for expressions likeJust (-1 :: Fixed E2)
. (#16031) -
Support the characters from recent versions of Unicode (up to v. 12) in literals (#5518).
-
The
StableName
type parameter now has a phantom role instead of a representational one. There is really no reason to care about the type of the underlying object. -
Add
foldMap'
, a strict version offoldMap
, toFoldable
. -
The
shiftL
andshiftR
methods in theBits
instances ofInt
,IntN
,Word
, andWordN
now throw an overflow exception for negative shift values (instead of being undefined behaviour). -
scanr
no longer crashes when passed a fusable, infinite list. (#16943)
4.12.0.0 21 September 2018
-
Bundled with GHC 8.6.1
-
The STM invariant-checking mechanism (
always
andalwaysSucceeds
), which was deprecated in GHC 8.4, has been removed (as proposed in https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0011-deprecate-stm-invariants.rst). This is a bit earlier than proposed in the deprecation pragma included in GHC 8.4, but due to community feedback we decided to move ahead with the early removal.Existing users are encouraged to encapsulate their STM operations in safe abstractions which can perform the invariant checking without help from the runtime system.
-
Add a new module
GHC.ResponseFile
(previously defined in thehaddock
package). (#13896) -
Move the module
Data.Functor.Contravariant
from thecontravariant
package tobase
. -
($!)
is now representation-polymorphic like($)
. -
Add
Applicative
(forK1
),Semigroup
andMonoid
instances inGHC.Generics
. (#14849) -
asinh
forFloat
andDouble
is now numerically stable in the face of non-small negative arguments and enormous arguments of either sign. (#14927) -
Numeric.showEFloat (Just 0)
now respects the user’s requested precision. (#15115) -
Data.Monoid.Alt
now hasFoldable
andTraversable
instances. (#15099) -
Data.Monoid.Ap
has been introduced -
Control.Exception.throw
is now levity polymorphic. (#15180) -
Data.Ord.Down
now has a number of new instances. These include:MonadFix
,MonadZip
,Data
,Foldable
,Traversable
,Eq1
,Ord1
,Read1
,Show1
,Generic
,Generic1
. (#15098)
4.11.1.0 19 April 2018
-
Bundled with GHC 8.4.2
-
Add the
readFieldHash
function toGHC.Read
which behaves likereadField
, but for a field that ends with a#
symbol (#14918).
4.11.0.0 8 March 2018
-
Bundled with GHC 8.4.1
-
System.IO.openTempFile
is now thread-safe on Windows. -
Deprecated
GHC.Stats.GCStats
interface has been removed. -
Add
showHFloat
toNumeric
-
Add
Div
,Mod
, andLog2
functions on type-level naturals inGHC.TypeLits
. -
Add
Alternative
instance forZipList
(#13520) -
Add instances
Num
,Functor
,Applicative
,Monad
,Semigroup
andMonoid
forData.Ord.Down
(#13097). -
Add
Semigroup
instance forEventLifetime
. -
Make
Semigroup
a superclass ofMonoid
; exportSemigroup((<>))
fromPrelude
; removeMonoid
reexport fromData.Semigroup
(#14191). -
Generalise
instance Monoid a => Monoid (Maybe a)
toinstance Semigroup a => Monoid (Maybe a)
. -
Add
infixl 9 !!
declaration forData.List.NonEmpty.!!
-
Add
<&>
operator toData.Functor
(#14029) -
Remove the deprecated
Typeable{1..7}
type synonyms (#14047) -
Make
Data.Type.Equality.==
a closed type family. It now works for all kinds out of the box. Any modules that previously declared instances of this family will need to remove them. Whereas the previous definition was somewhat ad hoc, the behavior is now completely uniform. As a result, some applications that used to reduce no longer do, and conversely. Most notably,(==)
no longer treats the*
,j -> k
, or()
kinds specially; equality is tested structurally in all cases. -
Add instances
Semigroup
andMonoid
forControl.Monad.ST
(#14107). -
The
Read
instances forProxy
,Coercion
,(:~:)
,(:~~:)
, andU1
now ignore the parsing precedence. The effect of this is thatread
will be able to successfully parse more strings containing"Proxy"
et al. without surrounding parentheses (e.g.,"Thing Proxy"
) (#12874). -
Add
iterate'
, a strict version ofiterate
, toData.List
andData.OldList
(#3474) -
Add
Data
instances forIntPtr
andWordPtr
(#13115) -
Add missing
MonadFail
instance forControl.Monad.Strict.ST.ST
-
Make
zipWith
andzipWith3
inlinable (#14224) -
Type.Reflection.App
now matches on function types (fixes #14236) -
Type.Reflection.withTypeable
is now polymorphic in theRuntimeRep
of its result. -
Add
installSEHHandlers
toMiscFlags
inGHC.RTS.Flags
to determine if exception handling is enabled. -
The deprecated functions
isEmptyChan
andunGetChan
inControl.Concurrent.Chan
have been removed (#13561). -
Add
generateCrashDumpFile
toMiscFlags
inGHC.RTS.Flags
to determine if a core dump will be generated on crashes. -
Add
generateStackTrace
toMiscFlags
inGHC.RTS.Flags
to determine if stack traces will be generated on unhandled exceptions by the RTS. -
getExecutablePath
now resolves symlinks on Windows (#14483) -
Deprecated STM invariant checking primitives (
checkInv
,always
, andalwaysSucceeds
) inGHC.Conc.Sync
(#14324). -
Add a
FixIOException
data type toControl.Exception.Base
, and changefixIO
to throw that instead of aBlockedIndefinitelyOnMVar
exception (#14356).
4.10.1.0 November 2017
-
Bundled with GHC 8.2.2
-
The file locking primitives provided by
GHC.IO.Handle
now use Linux open file descriptor locking if available. -
Fixed bottoming definition of
clearBit
forNatural
4.10.0.0 July 2017
-
Bundled with GHC 8.2.1
-
Data.Type.Bool.Not
given a type family dependency (#12057). -
Foreign.Ptr
now exports the constructors forIntPtr
andWordPtr
(#11983) -
Generic1
, as well as the associated datatypes and typeclasses inGHC.Generics
, are now poly-kinded (#10604) -
New modules
Data.Bifoldableand
Data.Bitraversable(previously defined in the
bifunctors` package) (#10448) -
Data.Either
now providesfromLeft
andfromRight
(#12402) -
Data.Type.Coercion
now providesgcoerceWith
(#12493) -
New methods
liftReadList(2)
andliftReadListPrec(2)
in theRead1
/Read2
classes that are defined in terms ofReadPrec
instead ofReadS
, as well as related combinators, have been added toData.Functor.Classes
(#12358) -
Add
Semigroup
instance forIO
, as well as forEvent
andLifetime
fromGHC.Event
(#12464) -
Add
Data
instance forConst
(#12438) -
Added
Eq1
,Ord1
,Read1
andShow1
instances forNonEmpty
. -
Add wrappers for
blksize_t
,blkcnt_t
,clockid_t
,fsblkcnt_t
,fsfilcnt_t
,id_t
,key_t
, andtimer_t
to System.Posix.Types (#12795) -
Add
CBool
, a wrapper around C’sbool
type, toForeign.C.Types
(#13136) -
Raw buffer operations in
GHC.IO.FD
are now strict in the buffer, offset, and length operations (#9696) -
Add
plusForeignPtr
toForeign.ForeignPtr
. -
Add
type family AppendSymbol (m :: Symbol) (n :: Symbol) :: Symbol
toGHC.TypeLits
(#12162) -
Add
GHC.TypeNats
module withNatural
-basedKnownNat
. TheNat
operations inGHC.TypeLits
are a thin compatibility layer on top. Note: theKnownNat
evidence is changed from anInteger
to aNatural
. -
The type of
asProxyTypeOf
inData.Proxy
has been generalized (#12805) -
liftA2
is now a method of theApplicative
class.liftA2
and<*>
each have a default implementation based on the other. Various library functions have been updated to useliftA2
where it might offer some benefit.liftA2
is not yet in thePrelude
, and must currently be imported fromControl.Applicative
. It is likely to be added to thePrelude
in the future. (#13191) -
A new module,
Type.Reflection
, exposing GHC’s new type-indexed type representation mechanism is now provided. -
Data.Dynamic
now exports theDyn
data constructor, enabled by the new type-indexed type representation mechanism. -
Data.Type.Equality
now provides a kind heterogeneous type equality evidence type,(:~~:)
. -
The
CostCentresXML
constructor ofGHC.RTS.Flags.DoCostCentres
has been replaced byCostCentresJSON
due to the new JSON export format supported by the cost centre profiler. -
The
ErrorCall
pattern synonym has been given aCOMPLETE
pragma so that functions which solely match againErrorCall
do not produce non-exhaustive pattern-match warnings (#8779) -
Change the implementations of
maximumBy
andminimumBy
fromData.Foldable
to usefoldl1
instead offoldr1
. This makes them run in constant space when applied to lists. (#10830) -
mkFunTy
,mkAppTy
, andmkTyConApp
fromData.Typeable
no longer exist. This functionality is superceded by the interfaces provided byType.Reflection
. -
mkTyCon3
is no longer exported byData.Typeable
. This function is replaced byType.Reflection.Unsafe.mkTyCon
. -
Data.List.NonEmpty.unfold
has been deprecated in favor ofunfoldr
, which is functionally equivalent.
4.9.0.0 May 2016
-
Bundled with GHC 8.0
-
error
andundefined
now print a partial stack-trace alongside the error message. -
New
errorWithoutStackTrace
function throws an error without printing the stack trace. -
The restore operation provided by
mask
anduninterruptibleMask
now restores the previous masking state whatever the current masking state is. -
New
GHC.Generics.packageName
operation -
Redesigned
GHC.Stack.CallStack
data type. As a result,CallStack
’sShow
instance produces different output, andCallStack
no longer has anEq
instance. -
New
GHC.Generics.packageName
operation -
New
GHC.Stack.Types
module now contains the definition ofCallStack
andSrcLoc
-
New
GHC.Stack.Types.emptyCallStack
function builds an emptyCallStack
-
New
GHC.Stack.Types.freezeCallStack
function freezes aCallStack
preventing futurepushCallStack
operations from having any effect -
New
GHC.Stack.Types.pushCallStack
function pushes a call-site onto aCallStack
-
New
GHC.Stack.Types.fromCallSiteList
function creates aCallStack
from a list of call-sites (i.e.,[(String, SrcLoc)]
) -
GHC.SrcLoc
has been removed -
GHC.Stack.showCallStack
andGHC.SrcLoc.showSrcLoc
are now calledGHC.Stack.prettyCallStack
andGHC.Stack.prettySrcLoc
respectively -
add
Data.List.NonEmpty
andData.Semigroup
(to become super-class ofMonoid
in the future). These modules were provided by thesemigroups
package previously. (#10365) -
Add
selSourceUnpackedness
,selSourceStrictness
, andselDecidedStrictness
, three functions which look up strictness information of a field in a data constructor, to theSelector
type class inGHC.Generics
(#10716) -
Add
URec
,UAddr
,UChar
,UDouble
,UFloat
,UInt
, andUWord
toGHC.Generics
as part of making GHC generics capable of handling unlifted types (#10868) -
The
Eq
,Ord
,Read
, andShow
instances forU1
now use lazier pattern-matching -
Keep
shift{L,R}
onInteger
with negative shift-arguments from segfaulting (#10571) -
Add
forkOSWithUnmask
toControl.Concurrent
, which is likeforkIOWithUnmask
, but the child is run in a bound thread. -
The
MINIMAL
definition ofArrow
is nowarr AND (first OR (***))
. -
The
MINIMAL
definition ofArrowChoice
is nowleft OR (+++)
. -
Exported
GiveGCStats
,DoCostCentres
,DoHeapProfile
,DoTrace
,RtsTime
, andRtsNat
fromGHC.RTS.Flags
-
New function
GHC.IO.interruptible
used to correctly implementControl.Exception.allowInterrupt
(#9516) -
Made
PatternMatchFail
,RecSelError
,RecConError
,RecUpdError
,NoMethodError
, andAssertionFailed
newtypes (#10738) -
New module
Control.Monad.IO.Class
(previously provided bytransformers
package). (#10773) -
New modules
Data.Functor.Classes
,Data.Functor.Compose
,Data.Functor.Product
, andData.Functor.Sum
(previously provided bytransformers
package). (#11135) -
New instances for
Proxy
:Eq1
,Ord1
,Show1
,Read1
. All of the classes are fromData.Functor.Classes
(#11756). -
New module
Control.Monad.Fail
providing newMonadFail(fail)
class (#10751) -
Add
GHC.TypeLits.TypeError
andErrorMessage
to allow users to define custom compile-time error messages. -
Redesign
GHC.Generics
to use type-level literals to represent the metadata of generic representation types (#9766) -
The
IsString
instance for[Char]
has been modified to eliminate ambiguity arising from overloaded strings and functions like(++)
. -
Move
Const
fromControl.Applicative
to its own module inData.Functor.Const
. (#11135) -
Re-export
Const
fromControl.Applicative
for backwards compatibility. -
Expand
Floating
class to include operations that allow for better precision:log1p
,expm1
,log1pexp
andlog1mexp
. These are not available fromPrelude
, but the full class is exported fromNumeric
. -
New
Control.Exception.TypeError
datatype, which is thrown when an expression fails to typecheck when run using-fdefer-type-errors
(#10284) -
The
bitSize
method ofData.Bits.Bits
now has a (partial!) default implementation based onbitSizeMaybe
. (#12970)
New instances
-
Alt
,Dual
,First
,Last
,Product
, andSum
now haveData
,MonadZip
, andMonadFix
instances -
The datatypes in
GHC.Generics
now haveEnum
,Bounded
,Ix
,Functor
,Applicative
,Monad
,MonadFix
,MonadPlus
,MonadZip
,Foldable
,Foldable
,Traversable
,Generic1
, andData
instances as appropriate. -
Maybe
now has aMonadZip
instance -
All
andAny
now haveData
instances -
Dual
,First
,Last
,Product
, andSum
now haveFoldable
andTraversable
instances -
Dual
,Product
, andSum
now haveFunctor
,Applicative
, andMonad
instances -
(,) a
now has aMonad
instance -
ZipList
now hasFoldable
andTraversable
instances -
Identity
now hasSemigroup
andMonoid
instances -
Identity
andConst
now haveBits
,Bounded
,Enum
,FiniteBits
,Floating
,Fractional
,Integral
,IsString
,Ix
,Num
,Real
,RealFloat
,RealFrac
andStorable
instances. (#11210, #11790) -
()
now has aStorable
instance -
Complex
now hasGeneric
,Generic1
,Functor
,Foldable
,Traversable
,Applicative
, andMonad
instances -
System.Exit.ExitCode
now has aGeneric
instance -
Data.Version.Version
now has aGeneric
instance -
IO
now has aMonoid
instance -
Add
MonadPlus IO
andAlternative IO
instances (previously orphans intransformers
) (#10755) -
CallStack
now has anIsList
instance -
The field
spInfoName
ofGHC.StaticPtr.StaticPtrInfo
has been removed. The value is no longer available when constructing theStaticPtr
. -
VecElem
andVecCount
now haveEnum
andBounded
instances.
Generalizations
-
Generalize
Debug.Trace.{traceM, traceShowM}
fromMonad
toApplicative
(#10023) -
Redundant typeclass constraints have been removed:
Data.Ratio.{denominator,numerator}
have noIntegral
constraint anymore- TODO
-
Generalise
forever
fromMonad
toApplicative
-
Generalize
filterM
,mapAndUnzipM
,zipWithM
,zipWithM_
,replicateM
,replicateM_
fromMonad
toApplicative
(#10168) -
The
Generic
instance forProxy
is now poly-kinded (#10775) -
Enable
PolyKinds
in theData.Functor.Const
module to giveConst
the kind* -> k -> *
. (#10039)
4.8.2.0 Oct 2015
-
Bundled with GHC 7.10.3
-
The restore operation provided by
mask
anduninterruptibleMask
now restores the previous masking state whatever the current masking state is. -
Exported
GiveGCStats
,DoCostCentres
,DoHeapProfile
,DoTrace
,RtsTime
, andRtsNat
fromGHC.RTS.Flags
4.8.1.0 Jul 2015
-
Bundled with GHC 7.10.2
-
Lifetime
is now exported fromGHC.Event
-
Implicit-parameter based source location support exposed in
GHC.SrcLoc
andGHC.Stack
. See GHC User’s Manual for more information.
4.8.0.0 Mar 2015
-
Bundled with GHC 7.10.1
-
Make
Applicative
a superclass ofMonad
-
Add reverse application operator
Data.Function.(&)
-
Add
Data.List.sortOn
sorting function -
Add
System.Exit.die
-
Deprecate
versionTags
field ofData.Version.Version
. AddmakeVersion :: [Int] -> Version
constructor function to aid migration to a futureversionTags
-lessVersion
. -
Add
IsList Version
instance -
Weaken RealFloat constraints on some
Data.Complex
functions -
Add
Control.Monad.(<$!>)
as a strict version of(<$>)
-
The
Data.Monoid
module now has thePolyKinds
extension enabled, so that theMonoid
instance forProxy
are polykinded likeProxy
itself is. -
Make
abs
andsignum
handle (-0.0) correctly per IEEE-754. -
Re-export
Data.Word.Word
fromPrelude
-
Add
countLeadingZeros
andcountTrailingZeros
methods toData.Bits.FiniteBits
class -
Add
Data.List.uncons
list destructor (#9550) -
Export
Monoid(..)
fromPrelude
-
Export
Foldable(..)
fromPrelude
(hidingfold
,foldl'
,foldr'
, andtoList
) -
Export
Traversable(..)
fromPrelude
-
Set fixity for
Data.Foldable.{elem,notElem}
to match the conventional one set forData.List.{elem,notElem}
(#9610) -
Turn
toList
,elem
,sum
,product
,maximum
, andminimum
intoFoldable
methods (#9621) -
Replace the
Data.List
-exported functionsall, and, any, concat, concatMap, elem, find, product, sum, mapAccumL, mapAccumR
by re-exports of their generalised
Data.Foldable
/Data.Traversable
counterparts. In other words, unqualified imports ofData.List
andData.Foldable
/Data.Traversable
no longer lead to conflicting definitions. (#9586) -
New (unofficial) module
GHC.OldList
containing only list-specialised versions of the functions fromData.List
(in other words,GHC.OldList
corresponds tobase-4.7.0.2
’sData.List
) -
Replace the
Control.Monad
-exported functionssequence_, msum, mapM_, forM_, forM, mapM, sequence
by re-exports of their generalised
Data.Foldable
/Data.Traversable
counterparts. In other words, unqualified imports ofControl.Monad
andData.Foldable
/Data.Traversable
no longer lead to conflicting definitions. (#9586) -
Generalise
Control.Monad.{when,unless,guard}
fromMonad
toApplicative
and fromMonadPlus
toAlternative
respectively. -
Generalise
Control.Monad.{foldM,foldM_}
toFoldable
-
scanr
,mapAccumL
andfilterM
now take part in list fusion (#9355, #9502, #9546) -
Remove deprecated
Data.OldTypeable
(#9639) -
New module
Data.Bifunctor
providing theBifunctor(bimap,first,second)
class (previously defined inbifunctors
package) (#9682) -
New module
Data.Void
providing the canonical uninhabited typeVoid
(previously defined invoid
package) (#9814) -
Update Unicode class definitions to Unicode version 7.0
-
Add
Alt
, anAlternative
wrapper, toData.Monoid
. (#9759) -
Add
isSubsequenceOf
toData.List
(#9767) -
The arguments to
==
andeq
inData.List.nub
andData.List.nubBy
are swapped, such thatData.List.nubBy (<) [1,2]
now returns[1]
instead of[1,2]
(#2528, #3280, #7913) -
New module
Data.Functor.Identity
(previously provided bytransformers
package). (#9664) -
Add
scanl'
, a strictly accumulating version ofscanl
, toData.List
andData.OldList
. (#9368) -
Add
fillBytes
toForeign.Marshal.Utils
. -
Add new
displayException
method toException
typeclass. (#9822) -
Add
Data.Bits.toIntegralSized
, a size-checked version offromIntegral
. (#9816) -
New module
Numeric.Natural
providing newNatural
type representing non-negative arbitrary-precision integers. TheGHC.Natural
module exposes additional GHC-specific primitives. (#9818) -
Add
(Storable a, Integeral a) => Storable (Ratio a)
instance (#9826) -
Add
Storable a => Storable (Complex a)
instance (#9826) -
New module
GHC.RTS.Flags
that provides accessors to runtime flags. -
Expose functions for per-thread allocation counters and limits in
GHC.Conc
disableAllocationLimit :: IO () enableAllocationLimit :: IO () getAllocationCounter :: IO Int64 setAllocationCounter :: Int64 -> IO ()
together with a new exception
AllocationLimitExceeded
. -
Make
read . show = id
forData.Fixed
(#9240) -
Add
calloc
andcallocBytes
toForeign.Marshal.Alloc
. (#9859) -
Add
callocArray
andcallocArray0
toForeign.Marshal.Array
. (#9859) -
Restore invariant in
Data (Ratio a)
instance (#10011) -
Add/expose
rnfTypeRep
,rnfTyCon
,typeRepFingerprint
, andtyConFingerprint
helpers toData.Typeable
. -
Define proper
MINIMAL
pragma forclass Ix
. (#10142)
4.7.0.2 Dec 2014
-
Bundled with GHC 7.8.4
-
Fix performance bug in
Data.List.inits
(#9345) -
Fix handling of null bytes in
Debug.Trace.trace
(#9395)
4.7.0.1 Jul 2014
-
Bundled with GHC 7.8.3
-
Unhide
Foreign.ForeignPtr
in Haddock (#8475) -
Fix recomputation of
TypeRep
inTypeable
type-application instance (#9203) -
Fix regression in Data.Fixed Read instance (#9231)
-
Fix
fdReady
to honorFD_SETSIZE
(#9168)
4.7.0.0 Apr 2014
-
Bundled with GHC 7.8.1
-
Add
/Since: 4.[4567].0.0/
Haddock annotations to entities denoting the package version, when the given entity was introduced (or its type signature changed in a non-compatible way) -
The
Control.Category
module now has thePolyKinds
extension enabled, meaning that instances ofCategory
no longer need be of kind* -> * -> *
. -
There are now
Foldable
andTraversable
instances forEither a
,Const r
, and(,) a
. -
There are now
Show
,Read
,Eq
,Ord
,Monoid
,Generic
, andGeneric1
instances forConst
. -
There is now a
Data
instance forData.Version
. -
A new
Data.Bits.FiniteBits
class has been added to represent types with fixed bit-count. The existingBits
class is extended with abitSizeMaybe
method to replace the now obsoletebitsize
method. -
Data.Bits.Bits
gained a newzeroBits
method which completes theBits
API with a direct way to introduce a value with all bits cleared. -
There are now
Bits
andFiniteBits
instances forBool
. -
There are now
Eq
,Ord
,Show
,Read
,Generic
. andGeneric1
instances forZipList
. -
There are now
Eq
,Ord
,Show
andRead
instances forDown
. -
There are now
Eq
,Ord
,Show
,Read
andGeneric
instances for types in GHC.Generics (U1
,Par1
,Rec1
,K1
,M1
,(:+:)
,(:*:)
,(:.:)
). -
Data.Monoid
: There are nowGeneric
instances forDual
,Endo
,All
,Any
,Sum
,Product
,First
, andLast
; as well asGeneric1
instances forDual
,Sum
,Product
,First
, andLast
. -
The
Data.Monoid.{Product,Sum}
newtype wrappers now haveNum
instances. -
There are now
Functor
instances forSystem.Console.GetOpt
’sArgOrder
,OptDescr
, andArgDescr
. -
A zero-width unboxed poly-kinded
Proxy#
was added toGHC.Prim
. It can be used to make it so that there is no the operational overhead for passing around proxy arguments to model type application. -
New
Data.Proxy
module providing a concrete, poly-kinded proxy type. -
New
Data.Coerce
module which exports the newCoercible
class together with thecoerce
primitive which provide safe coercion (wrt role checking) between types with same representation. -
Control.Concurrent.MVar
has a new implementation ofreadMVar
, which fixes a long-standing bug wherereadMVar
is only atomic if there are no other threads runningputMVar
.readMVar
now is atomic, and is guaranteed to return the value from the firstputMVar
. There is also a newtryReadMVar
which is a non-blocking version. -
New
Control.Concurrent.MVar.withMVarMasked
which executesIO
action with asynchronous exceptions masked in the same style as the existingmodifyMVarMasked
andmodifyMVarMasked_
. -
New
threadWait{Read,Write}STM :: Fd -> IO (STM (), IO ())
functions added toControl.Concurrent
for waiting on FD readiness with STM actions. -
Expose
Data.Fixed.Fixed
’s constructor. -
There are now byte endian-swapping primitives
byteSwap{16,32,64}
available inData.Word
, which use optimized machine instructions when available. -
Data.Bool
now exportsbool :: a -> a -> Bool -> a
, analogously tomaybe
andeither
in their respective modules. -
Data.Either
now exportsisLeft, isRight :: Either a b -> Bool
. -
Debug.Trace
now exportstraceId
,traceShowId
,traceM
, andtraceShowM
. -
Data.Functor
now exports($>)
andvoid
. -
Rewrote portions of
Text.Printf
, and made changes toNumeric
(addedNumeric.showFFloatAlt
andNumeric.showGFloatAlt
) andGHC.Float
(addedformatRealFloatAlt
) to support it. The rewritten version is extensible to user types, adds a “generic” format specifier “%v
”, extends theprintf
spec to support much of C’sprintf(3)
functionality, and fixes the spurious warnings about usingText.Printf.printf
at(IO a)
while ignoring the return value. These changes were contributed by Bart Massey. -
The minimal complete definitions for all type-classes with cyclic default implementations have been explicitly annotated with the new
{-# MINIMAL #-}
pragma. -
Control.Applicative.WrappedMonad
, which can be used to convert aMonad
to anApplicative
, has now aMonad m => Monad (WrappedMonad m)
instance. -
There is now a
Generic
and aGeneric1
instance forWrappedMonad
andWrappedArrow
. -
Handle
ExitFailure (-sig)
on Unix by killing process with signalsig
. -
New module
Data.Type.Bool
providing operations on type-level booleans. -
Expose
System.Mem.performMinorGC
for triggering minor GCs. -
New
System.Environment.{set,unset}Env
for manipulating environment variables. -
Add
Typeable
instance for(->)
andRealWorld
. -
Declare CPP header
<Typeable.h>
officially obsolete as GHC 7.8+ does not support hand-writtenTypeable
instances anymore. -
Remove (unmaintained) Hugs98 and NHC98 specific code.
-
Optimize
System.Timeout.timeout
for the threaded RTS. -
Remove deprecated functions
unsafeInterleaveST
,unsafeIOToST
, andunsafeSTToIO
fromControl.Monad.ST
. -
Add a new superclass
SomeAsyncException
for all asynchronous exceptions and makes the existingAsyncException
andTimeout
exception children ofSomeAsyncException
in the hierarchy. -
Remove deprecated functions
blocked
,unblock
, andblock
fromControl.Exception
. -
Remove deprecated function
forkIOUnmasked
fromControl.Concurrent
. -
Remove deprecated function
unsafePerformIO
export fromForeign
(still available viaSystem.IO.Unsafe.unsafePerformIO
). -
Various fixes and other improvements (see Git history for full details).