OverlappingInstances | |
UndecidableInstances | |
IncoherentInstances | |
RecursiveDo | |
ParallelListComp | |
MultiParamTypeClasses | |
NoMonomorphismRestriction | |
FunctionalDependencies | |
Rank2Types | |
RankNTypes | |
PolymorphicComponents | |
ExistentialQuantification | |
ScopedTypeVariables | |
PatternSignatures | Deprecated, use ScopedTypeVariables instead.
|
ImplicitParams | |
FlexibleContexts | |
FlexibleInstances | |
EmptyDataDecls | |
CPP | |
KindSignatures | |
BangPatterns | |
TypeSynonymInstances | |
TemplateHaskell | |
ForeignFunctionInterface | |
Arrows | |
Generics | |
NoImplicitPrelude | |
NamedFieldPuns | |
PatternGuards | |
GeneralizedNewtypeDeriving | |
ExtensibleRecords | |
RestrictedTypeSynonyms | |
HereDocuments | |
MagicHash | |
TypeFamilies | |
StandaloneDeriving | |
UnicodeSyntax | |
UnliftedFFITypes | |
LiberalTypeSynonyms | |
TypeOperators | |
RecordWildCards | |
RecordPuns | |
DisambiguateRecordFields | |
OverloadedStrings | |
GADTs | |
NoMonoPatBinds | |
RelaxedPolyRec | |
ExtendedDefaultRules | |
UnboxedTuples | |
DeriveDataTypeable | |
ConstrainedClassMethods | |
PackageImports | Allow imports to be qualified by the package name that the module
is intended to be imported from, e.g.
import "network" Network.Socket
|
ImpredicativeTypes | |
NewQualifiedOperators | |
PostfixOperators | |
QuasiQuotes | |
TransformListComp | |
ViewPatterns | |
XmlSyntax | Allow concrete XML syntax to be used in expressions and patterns,
as per the Haskell Server Pages extension language:
http://www.haskell.org/haskellwiki/HSP. The ideas behind it are
discussed in the paper Haskell Server Pages through Dynamic Loading
by Niklas Broberg, from Haskell Workshop '05.
|
RegularPatterns | Allow regular pattern matching over lists, as discussed in the
paper Regular Expression Patterns by Niklas Broberg, Andreas Farre
and Josef Svenningsson, from ICFP '04.
|
UnknownExtension String | |