github logo

damianfral/ghcaniuse

v1.0.0.0

Language Extensions

GHC-9.8.4

GHC-9.6.5

GHC-9.4.6

GHC-9.2.8

GHC-9.0.2

GHC-8.8.4

GHC-8.6.5

GHC-8.4.4

GHC-8.2.2

GHC-8.0.2

GHC-7.8.4

GHC-7.6.3

GHC-7.4.2

GHC-7.0.4

AllowAmbiguousTypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
AlternativeLayoutRuleyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
AlternativeLayoutRuleTransitionalyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ApplicativeDoyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
Arrowsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
AutoDeriveTypeableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
BangPatternsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
BinaryLiteralsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
BlockArgumentsyesyesyesyesyesyesyesyesyesyesyesnononononononono
CApiFFIyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
CPPyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
CUSKsyesyesyesyesyesyesyesyesyesnononononononononono
ConstrainedClassMethodsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ConstraintKindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DataKindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DatatypeContextsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeepSubsumptionyesyesyesyesyesyesyesnononononononononononono
DefaultSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DeriveAnyClassyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
DeriveDataTypeableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeriveFoldableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeriveFunctoryesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeriveGenericyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DeriveLiftyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
DeriveTraversableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DerivingStrategiesyesyesyesyesyesyesyesyesyesyesyesyesyesnononononono
DerivingViayesyesyesyesyesyesyesyesyesyesyesnononononononono
DisambiguateRecordFieldsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DoAndIfThenElseyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DoRecyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DuplicateRecordFieldsyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
EmptyCaseyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
EmptyDataDeclsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
EmptyDataDerivingyesyesyesyesyesyesyesyesyesyesyesyesnonononononono
ExistentialQuantificationyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ExplicitForAllyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ExplicitLevelImportsyesnononononononononononononononononono
ExplicitNamespacesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
ExtendedDefaultRulesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ExtendedLiteralsyesyesyesyesnonononononononononononononono
FieldSelectorsyesyesyesyesyesyesyesnononononononononononono
FlexibleContextsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
FlexibleInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ForeignFunctionInterfaceyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
FunctionalDependenciesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
GADTSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
GADTsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
GHC2021yesyesyesyesyesyesyesnononononononononononono
GHC2024yesyesyesnononononononononononononononono
GHCForeignImportPrimyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
GeneralisedNewtypeDerivingyesyesyesyesyesyesyesyesyesyesyesnononononononono
GeneralizedNewtypeDerivingyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Genericsnonononononononononononononononononoyes
Haskell2010yesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Haskell98yesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
HexFloatLiteralsyesyesyesyesyesyesyesyesyesyesyesyesnonononononono
ImplicitParamsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ImplicitPreludeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ImplicitStagePersistenceyesnononononononononononononononononono
ImportQualifiedPostyesyesyesyesyesyesyesyesyesnononononononononono
ImpredicativeTypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
IncoherentInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
InstanceSigsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
InterruptibleFFIyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
JavaScriptFFInonononoyesyesyesyesyesyesyesyesyesyesyesyesnonono
KindSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
LambdaCaseyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
LexicalNegationyesyesyesyesyesyesyesyesnonononononononononono
LiberalTypeSynonymsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
LinearTypesyesyesyesyesyesyesyesyesnonononononononononono
ListTuplePunsyesyesyesnononononononononononononononono
MagicHashyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MonadComprehensionsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
MonadFailDesugaringnononononononoyesyesyesyesyesyesyesnonononono
MonoLocalBindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MonoPatBindsnononononononoyesyesyesyesyesyesyesyesyesyesyesyes
MonomorphismRestrictionyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MultiParamTypeClassesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MultiWayIfyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
MultilineStringsyesyesnonononononononononononononononono
NPlusKPatternsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
NamedDefaultsyesyesnonononononononononononononononono
NamedFieldPunsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
NamedWildCardsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
NegativeLiteralsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
NewQualifiedOperatorsnonononononononononononononononononoyes
NoImplicitPreludeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
NondecreasingIndentationyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
NullaryTypeClassesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
NumDecimalsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
NumericUnderscoresyesyesyesyesyesyesyesyesyesyesyesnononononononono
OrPatternsyesyesnonononononononononononononononono
OverlappingInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
OverloadedLabelsyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
OverloadedListsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
OverloadedRecordDotyesyesyesyesyesyesyesnononononononononononono
OverloadedRecordUpdateyesyesyesyesyesyesyesnononononononononononono
OverloadedStringsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PArrnonononononononononononononononononoyes
PackageImportsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ParallelArraysyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
ParallelListCompyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PartialTypeSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
PatternGuardsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PatternSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PatternSynonymsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
PolyKindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
PolymorphicComponentsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PostfixOperatorsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
QualifiedDoyesyesyesyesyesyesyesyesnonononononononononono
QuantifiedConstraintsyesyesyesyesyesyesyesyesyesyesyesnononononononono
QuasiQuotesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Rank2Typesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RankNTypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RebindableSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RecordPunsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RecordWildCardsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RecursiveDoyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RelaxedLayoutyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
RelaxedPolyRecyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RequiredTypeArgumentsyesyesyesnononononononononononononononono
RoleAnnotationsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
Safeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
ScopedTypeVariablesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
StandaloneDerivingyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
StandaloneKindSignaturesyesyesyesyesyesyesyesyesyesnononononononononono
StarIsTypeyesyesyesyesyesyesyesyesyesyesyesnononononononono
StaticPointersyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
Strictyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
StrictDatayesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
TemplateHaskellyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TemplateHaskellQuotesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
TraditionalRecordSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
TransformListCompyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Trustworthyyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
TupleSectionsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TypeAbstractionsyesyesyesyesnonononononononononononononono
TypeApplicationsyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
TypeDatayesyesyesyesyesnononononononononononononono
TypeFamiliesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TypeFamilyDependenciesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
TypeInTypeyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
TypeOperatorsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TypeSynonymInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UnboxedSumsyesyesyesyesyesyesyesyesyesyesyesyesyesnononononono
UnboxedTuplesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UndecidableInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UndecidableSuperClassesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
UnicodeSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UnliftedDatatypesyesyesyesyesyesyesyesnononononononononononono
UnliftedFFITypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UnliftedNewtypesyesyesyesyesyesyesyesyesyesnononononononononono
Unsafeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
ViewPatternsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes