github logo

damianfral/ghcaniuse

v1.0.0.0

Language Extensions

GHC-9.8.2

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

AllowAmbiguousTypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
AlternativeLayoutRuleyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
AlternativeLayoutRuleTransitionalyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ApplicativeDoyesyesyesyesyesyesyesyesyesyesyesyesnonononono
Arrowsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
AutoDeriveTypeableyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
BangPatternsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
BinaryLiteralsyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
BlockArgumentsyesyesyesyesyesyesyesyesyesnononononononono
CApiFFIyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
CPPyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
CUSKsyesyesyesyesyesyesyesnononononononononono
ConstrainedClassMethodsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ConstraintKindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DataKindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DatatypeContextsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeepSubsumptionyesyesyesyesyesnononononononononononono
DefaultSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DeriveAnyClassyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
DeriveDataTypeableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeriveFoldableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeriveFunctoryesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeriveGenericyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DeriveLiftyesyesyesyesyesyesyesyesyesyesyesyesnonononono
DeriveTraversableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DerivingStrategiesyesyesyesyesyesyesyesyesyesyesyesnononononono
DerivingViayesyesyesyesyesyesyesyesyesnononononononono
DisambiguateRecordFieldsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DoAndIfThenElseyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DoRecyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DuplicateRecordFieldsyesyesyesyesyesyesyesyesyesyesyesyesnonononono
EmptyCaseyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
EmptyDataDeclsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
EmptyDataDerivingyesyesyesyesyesyesyesyesyesyesnonononononono
ExistentialQuantificationyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ExplicitForAllyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ExplicitNamespacesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
ExtendedDefaultRulesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ExtendedLiteralsyesyesnonononononononononononononono
FieldSelectorsyesyesyesyesyesnononononononononononono
FlexibleContextsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
FlexibleInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ForeignFunctionInterfaceyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
FunctionalDependenciesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
GADTSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
GADTsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
GHC2021yesyesyesyesyesnononononononononononono
GHC2024yesnononononononononononononononono
GHCForeignImportPrimyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
GeneralisedNewtypeDerivingyesyesyesyesyesyesyesyesyesnononononononono
GeneralizedNewtypeDerivingyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Genericsnonononononononononononononononoyes
Haskell2010yesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Haskell98yesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
HexFloatLiteralsyesyesyesyesyesyesyesyesyesyesnonononononono
ImplicitParamsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ImplicitPreludeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ImportQualifiedPostyesyesyesyesyesyesyesnononononononononono
ImpredicativeTypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
IncoherentInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
InstanceSigsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
InterruptibleFFIyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
JavaScriptFFInonoyesyesyesyesyesyesyesyesyesyesyesyesnonono
KindSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
LambdaCaseyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
LexicalNegationyesyesyesyesyesyesnonononononononononono
LiberalTypeSynonymsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
LinearTypesyesyesyesyesyesyesnonononononononononono
ListTuplePunsyesnononononononononononononononono
MagicHashyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MonadComprehensionsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
MonadFailDesugaringnononononoyesyesyesyesyesyesyesnonononono
MonoLocalBindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MonoPatBindsnononononoyesyesyesyesyesyesyesyesyesyesyesyes
MonomorphismRestrictionyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MultiParamTypeClassesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MultiWayIfyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
NPlusKPatternsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
NamedFieldPunsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
NamedWildCardsyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
NegativeLiteralsyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
NewQualifiedOperatorsnonononononononononononononononoyes
NoImplicitPreludeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
NondecreasingIndentationyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
NullaryTypeClassesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
NumDecimalsyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
NumericUnderscoresyesyesyesyesyesyesyesyesyesnononononononono
OverlappingInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
OverloadedLabelsyesyesyesyesyesyesyesyesyesyesyesyesnonononono
OverloadedListsyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
OverloadedRecordDotyesyesyesyesyesnononononononononononono
OverloadedRecordUpdateyesyesyesyesyesnononononononononononono
OverloadedStringsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PArrnonononononononononononononononoyes
PackageImportsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ParallelArraysyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
ParallelListCompyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PartialTypeSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
PatternGuardsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PatternSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PatternSynonymsyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
PolyKindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
PolymorphicComponentsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PostfixOperatorsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
QualifiedDoyesyesyesyesyesyesnonononononononononono
QuantifiedConstraintsyesyesyesyesyesyesyesyesyesnononononononono
QuasiQuotesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Rank2Typesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RankNTypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RebindableSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RecordPunsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RecordWildCardsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RecursiveDoyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RelaxedLayoutyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
RelaxedPolyRecyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RequiredTypeArgumentsyesnononononononononononononononono
RoleAnnotationsyesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
Safeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
ScopedTypeVariablesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
StandaloneDerivingyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
StandaloneKindSignaturesyesyesyesyesyesyesyesnononononononononono
StarIsTypeyesyesyesyesyesyesyesyesyesnononononononono
StaticPointersyesyesyesyesyesyesyesyesyesyesyesyesyesnononono
Strictyesyesyesyesyesyesyesyesyesyesyesyesnonononono
StrictDatayesyesyesyesyesyesyesyesyesyesyesyesnonononono
TemplateHaskellyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TemplateHaskellQuotesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
TraditionalRecordSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
TransformListCompyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Trustworthyyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
TupleSectionsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TypeAbstractionsyesyesnonononononononononononononono
TypeApplicationsyesyesyesyesyesyesyesyesyesyesyesyesnonononono
TypeDatayesyesyesnononononononononononononono
TypeFamiliesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TypeFamilyDependenciesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
TypeInTypeyesyesyesyesyesyesyesyesyesyesyesyesnonononono
TypeOperatorsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TypeSynonymInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UnboxedSumsyesyesyesyesyesyesyesyesyesyesyesnononononono
UnboxedTuplesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UndecidableInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UndecidableSuperClassesyesyesyesyesyesyesyesyesyesyesyesyesnonononono
UnicodeSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UnliftedDatatypesyesyesyesyesyesnononononononononononono
UnliftedFFITypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UnliftedNewtypesyesyesyesyesyesyesyesnononononononononono
Unsafeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
ViewPatternsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes