github logo

damianfral/ghcaniuse

v1.0.0.0

Language Extensions

GHC-9.8.1

GHC-9.6.2

GHC-9.4.5

GHC-9.2.6

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

AllowAmbiguousTypesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
AlternativeLayoutRuleyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
AlternativeLayoutRuleTransitionalyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ApplicativeDoyesyesyesyesyesyesyesyesyesyesyesnonononono
Arrowsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
AutoDeriveTypeableyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
BangPatternsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
BinaryLiteralsyesyesyesyesyesyesyesyesyesyesyesyesnononono
BlockArgumentsyesyesyesyesyesyesyesyesnononononononono
CApiFFIyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
CPPyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
CUSKsyesyesyesyesyesyesnononononononononono
ConstrainedClassMethodsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ConstraintKindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DataKindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DatatypeContextsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeepSubsumptionyesyesyesyesnononononononononononono
DefaultSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DeriveAnyClassyesyesyesyesyesyesyesyesyesyesyesyesnononono
DeriveDataTypeableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeriveFoldableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeriveFunctoryesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DeriveGenericyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
DeriveLiftyesyesyesyesyesyesyesyesyesyesyesnonononono
DeriveTraversableyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DerivingStrategiesyesyesyesyesyesyesyesyesyesyesnononononono
DerivingViayesyesyesyesyesyesyesyesnononononononono
DisambiguateRecordFieldsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DoAndIfThenElseyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DoRecyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
DuplicateRecordFieldsyesyesyesyesyesyesyesyesyesyesyesnonononono
EmptyCaseyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
EmptyDataDeclsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
EmptyDataDerivingyesyesyesyesyesyesyesyesyesnonononononono
ExistentialQuantificationyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ExplicitForAllyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ExplicitNamespacesyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
ExtendedDefaultRulesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ExtendedLiteralsyesnonononononononononononononono
FieldSelectorsyesyesyesyesnononononononononononono
FlexibleContextsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
FlexibleInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ForeignFunctionInterfaceyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
FunctionalDependenciesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
GADTSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
GADTsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
GHC2021yesyesyesyesnononononononononononono
GHCForeignImportPrimyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
GeneralisedNewtypeDerivingyesyesyesyesyesyesyesyesnononononononono
GeneralizedNewtypeDerivingyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Genericsnononononononononononononononoyes
Haskell2010yesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Haskell98yesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
HexFloatLiteralsyesyesyesyesyesyesyesyesyesnonononononono
ImplicitParamsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ImplicitPreludeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ImportQualifiedPostyesyesyesyesyesyesnononononononononono
ImpredicativeTypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
IncoherentInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
InstanceSigsyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
InterruptibleFFIyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
JavaScriptFFInoyesyesyesyesyesyesyesyesyesyesyesyesnonono
KindSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
LambdaCaseyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
LexicalNegationyesyesyesyesyesnonononononononononono
LiberalTypeSynonymsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
LinearTypesyesyesyesyesyesnonononononononononono
MagicHashyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MonadComprehensionsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
MonadFailDesugaringnonononoyesyesyesyesyesyesyesnonononono
MonoLocalBindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MonoPatBindsnonononoyesyesyesyesyesyesyesyesyesyesyesyes
MonomorphismRestrictionyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MultiParamTypeClassesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
MultiWayIfyesyesyesyesyesyesyesyesyesyesyesyesyesyesnono
NPlusKPatternsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
NamedFieldPunsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
NamedWildCardsyesyesyesyesyesyesyesyesyesyesyesyesnononono
NegativeLiteralsyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
NewQualifiedOperatorsnononononononononononononononoyes
NoImplicitPreludeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
NondecreasingIndentationyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
NullaryTypeClassesyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
NumDecimalsyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
NumericUnderscoresyesyesyesyesyesyesyesyesnononononononono
OverlappingInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
OverloadedLabelsyesyesyesyesyesyesyesyesyesyesyesnonononono
OverloadedListsyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
OverloadedRecordDotyesyesyesyesnononononononononononono
OverloadedRecordUpdateyesyesyesyesnononononononononononono
OverloadedStringsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PArrnononononononononononononononoyes
PackageImportsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
ParallelArraysyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
ParallelListCompyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PartialTypeSignaturesyesyesyesyesyesyesyesyesyesyesyesyesnononono
PatternGuardsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PatternSignaturesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PatternSynonymsyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
PolyKindsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
PolymorphicComponentsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
PostfixOperatorsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
QualifiedDoyesyesyesyesyesnonononononononononono
QuantifiedConstraintsyesyesyesyesyesyesyesyesnononononononono
QuasiQuotesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Rank2Typesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RankNTypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RebindableSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RecordPunsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RecordWildCardsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RecursiveDoyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RelaxedLayoutyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
RelaxedPolyRecyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
RoleAnnotationsyesyesyesyesyesyesyesyesyesyesyesyesyesnonono
Safeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
ScopedTypeVariablesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
StandaloneDerivingyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
StandaloneKindSignaturesyesyesyesyesyesyesnononononononononono
StarIsTypeyesyesyesyesyesyesyesyesnononononononono
StaticPointersyesyesyesyesyesyesyesyesyesyesyesyesnononono
Strictyesyesyesyesyesyesyesyesyesyesyesnonononono
StrictDatayesyesyesyesyesyesyesyesyesyesyesnonononono
TemplateHaskellyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TemplateHaskellQuotesyesyesyesyesyesyesyesyesyesyesyesnonononono
TraditionalRecordSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
TransformListCompyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
Trustworthyyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
TupleSectionsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TypeAbstractionsyesnonononononononononononononono
TypeApplicationsyesyesyesyesyesyesyesyesyesyesyesnonononono
TypeDatayesyesnononononononononononononono
TypeFamiliesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TypeFamilyDependenciesyesyesyesyesyesyesyesyesyesyesyesnonononono
TypeInTypeyesyesyesyesyesyesyesyesyesyesyesnonononono
TypeOperatorsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
TypeSynonymInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UnboxedSumsyesyesyesyesyesyesyesyesyesyesnononononono
UnboxedTuplesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UndecidableInstancesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UndecidableSuperClassesyesyesyesyesyesyesyesyesyesyesyesnonononono
UnicodeSyntaxyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UnliftedDatatypesyesyesyesyesnononononononononononono
UnliftedFFITypesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes
UnliftedNewtypesyesyesyesyesyesyesnononononononononono
Unsafeyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesno
ViewPatternsyesyesyesyesyesyesyesyesyesyesyesyesyesyesyesyes