HORIZON HASKELLDocsmaster5ff592b2026-10-19Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · master · 5ff592b · 2026-10-19

Moduleghc-boot-th-10.0.0.20260917Haskell2010

GHC.LanguageExtensions.Type

A data type defining the language extensions supported by GHC.

  • 1 type
datadata Extension
#

The language extensions known to GHC.

Note that there is an orphan Binary instance for this type supplied by the GHC.LanguageExtensions module provided by ghc-boot. We can't provide here as this would require adding transitive dependencies to the template-haskell package, which must have a minimal dependency set.

CppOverlappingInstancesUndecidableInstancesIncoherentInstancesUndecidableSuperClassesMonomorphismRestrictionMonoLocalBindsDeepSubsumptionRelaxedPolyRecExtendedDefaultRulesNamedDefaultsForeignFunctionInterfaceUnliftedFFITypesInterruptibleFFICApiFFIGHCForeignImportPrimJavaScriptFFIParallelArraysArrowsTemplateHaskellTemplateHaskellQuotesQualifiedDoQuasiQuotesImplicitParamsImplicitPreludeScopedTypeVariablesAllowAmbiguousTypesUnboxedTuplesUnboxedSumsUnliftedNewtypesUnliftedDatatypesBangPatternsTypeFamiliesTypeFamilyDependenciesTypeInTypeOverloadedStringsOverloadedListsNumDecimalsDisambiguateRecordFieldsRecordWildCardsNamedFieldPunsViewPatternsOrPatternsGADTsGADTSyntaxNPlusKPatternsDoAndIfThenElseBlockArgumentsRebindableSyntaxConstraintKindsPolyKindsDataKindsTypeDataInstanceSigsApplicativeDoLinearTypesModifiersRequiredTypeArgumentsStandaloneDerivingDeriveDataTypeableAutoDeriveTypeableDeriveFunctorDeriveTraversableDeriveFoldableDeriveGenericDefaultSignaturesDeriveAnyClassDeriveLiftDerivingStrategiesDerivingViaTypeSynonymInstancesFlexibleContextsFlexibleInstancesConstrainedClassMethodsMultiParamTypeClassesNullaryTypeClassesFunctionalDependenciesUnicodeSyntaxExistentialQuantificationMagicHashEmptyDataDeclsKindSignaturesRoleAnnotationsParallelListCompTransformListCompMonadComprehensionsGeneralizedNewtypeDerivingRecursiveDoPostfixOperatorsTupleSectionsPatternGuardsLiberalTypeSynonymsRankNTypesImpredicativeTypesTypeOperatorsExplicitNamespacesPackageImportsExplicitForAllAlternativeLayoutRuleAlternativeLayoutRuleTransitionalDatatypeContextsNondecreasingIndentationRelaxedLayoutTraditionalRecordSyntaxLambdaCaseMultiWayIfBinaryLiteralsNegativeLiteralsHexFloatLiteralsDuplicateRecordFieldsOverloadedLabelsEmptyCasePatternSynonymsPartialTypeSignaturesNamedWildCardsStaticPointersTypeApplicationsStrictStrictDataEmptyDataDerivingNumericUnderscoresQuantifiedConstraintsStarIsTypeImportQualifiedPostCUSKsStandaloneKindSignaturesLexicalNegationFieldSelectorsOverloadedRecordDotOverloadedRecordUpdateTypeAbstractionsExtendedLiteralsListTuplePunsMultilineStringsExplicitLevelImportsImplicitStagePersistenceQualifiedStrings
Instances8Bounded, Enum, Eq, Ord, Show, Generic, …