Variable: haskell-ghc-supported-extensions
haskell-ghc-supported-extensions is a variable defined in
haskell-ghc-support.el.
Value
Large value
("AllowAmbiguousTypes" "AlternativeLayoutRule"
"AlternativeLayoutRuleTransitional" "ApplicativeDo" "Arrows"
"AutoDeriveTypeable" "BangPatterns" "BinaryLiterals" "BlockArguments"
"CApiFFI" "CPP" "CUSKs" "ConstrainedClassMethods" "ConstraintKinds"
"DataKinds" "DatatypeContexts" "DeepSubsumption" "DefaultSignatures"
"DeriveAnyClass" "DeriveDataTypeable" "DeriveFoldable"
"DeriveFunctor" "DeriveGeneric" "DeriveLift" "DeriveTraversable"
"DerivingStrategies" "DerivingVia" "DisambiguateRecordFields"
"DoAndIfThenElse" "DoRec" "DuplicateRecordFields" "EmptyCase"
"EmptyDataDecls" "EmptyDataDeriving" "ExistentialQuantification"
"ExplicitForAll" "ExplicitNamespaces" "ExtendedDefaultRules"
"ExtendedLiterals" "FieldSelectors" "FlexibleContexts"
"FlexibleInstances" "ForeignFunctionInterface"
"FunctionalDependencies" "GADTSyntax" "GADTs" "GHC2021" "GHC2024"
"GHCForeignImportPrim" "GeneralisedNewtypeDeriving"
"GeneralizedNewtypeDeriving" "Haskell2010" "Haskell98"
"HexFloatLiterals" "ImplicitParams" "ImplicitPrelude"
"ImportQualifiedPost" "ImpredicativeTypes" "IncoherentInstances"
"InstanceSigs" "InterruptibleFFI" "JavaScriptFFI" "KindSignatures"
"LambdaCase" "LexicalNegation" "LiberalTypeSynonyms" "LinearTypes"
"ListTuplePuns" "MagicHash" "MonadComprehensions"
"MonadFailDesugaring" "MonoLocalBinds" "MonoPatBinds"
"MonomorphismRestriction" "MultiParamTypeClasses" "MultiWayIf"
"MultilineStrings" "NPlusKPatterns" "NamedDefaults" "NamedFieldPuns"
"NamedWildCards" "NegativeLiterals" "NoAllowAmbiguousTypes"
"NoAlternativeLayoutRule" "NoAlternativeLayoutRuleTransitional"
"NoApplicativeDo" "NoArrows" "NoAutoDeriveTypeable" "NoBangPatterns"
"NoBinaryLiterals" "NoBlockArguments" "NoCApiFFI" "NoCPP" "NoCUSKs"
"NoConstrainedClassMethods" "NoConstraintKinds" "NoDataKinds"
"NoDatatypeContexts" "NoDeepSubsumption" "NoDefaultSignatures"
"NoDeriveAnyClass" "NoDeriveDataTypeable" "NoDeriveFoldable"
"NoDeriveFunctor" "NoDeriveGeneric" "NoDeriveLift"
"NoDeriveTraversable" "NoDerivingStrategies" "NoDerivingVia"
"NoDisambiguateRecordFields" "NoDoAndIfThenElse" "NoDoRec"
"NoDuplicateRecordFields" "NoEmptyCase" "NoEmptyDataDecls"
"NoEmptyDataDeriving" "NoExistentialQuantification"
"NoExplicitForAll" "NoExplicitNamespaces" "NoExtendedDefaultRules"
"NoExtendedLiterals" "NoFieldSelectors" "NoFlexibleContexts"
"NoFlexibleInstances" "NoForeignFunctionInterface"
"NoFunctionalDependencies" "NoGADTSyntax" "NoGADTs"
"NoGHCForeignImportPrim" "NoGeneralisedNewtypeDeriving"
"NoGeneralizedNewtypeDeriving" "NoHexFloatLiterals"
"NoImplicitParams" "NoImplicitPrelude" "NoImportQualifiedPost"
"NoImpredicativeTypes" "NoIncoherentInstances" "NoInstanceSigs"
"NoInterruptibleFFI" "NoJavaScriptFFI" "NoKindSignatures"
"NoLambdaCase" "NoLexicalNegation" "NoLiberalTypeSynonyms"
"NoLinearTypes" "NoListTuplePuns" "NoMagicHash"
"NoMonadComprehensions" "NoMonadFailDesugaring" "NoMonoLocalBinds"
"NoMonoPatBinds" "NoMonomorphismRestriction"
"NoMultiParamTypeClasses" "NoMultiWayIf" "NoMultilineStrings"
"NoNPlusKPatterns" "NoNamedDefaults" "NoNamedFieldPuns"
"NoNamedWildCards" "NoNegativeLiterals" "NoNondecreasingIndentation"
"NoNullaryTypeClasses" "NoNumDecimals" "NoNumericUnderscores"
"NoOrPatterns" "NoOverlappingInstances" "NoOverloadedLabels"
"NoOverloadedLists" "NoOverloadedRecordDot"
"NoOverloadedRecordUpdate" "NoOverloadedStrings" "NoPackageImports"
"NoParallelArrays" "NoParallelListComp" "NoPartialTypeSignatures"
"NoPatternGuards" "NoPatternSignatures" "NoPatternSynonyms"
"NoPolyKinds" "NoPolymorphicComponents" "NoPostfixOperators"
"NoQualifiedDo" "NoQuantifiedConstraints" "NoQuasiQuotes"
"NoRank2Types" "NoRankNTypes" "NoRebindableSyntax" "NoRecordPuns"
"NoRecordWildCards" "NoRecursiveDo" "NoRelaxedLayout"
"NoRelaxedPolyRec" "NoRequiredTypeArguments" "NoRoleAnnotations"
"NoScopedTypeVariables" "NoStandaloneDeriving"
"NoStandaloneKindSignatures" "NoStarIsType" "NoStaticPointers"
"NoStrict" "NoStrictData" "NoTemplateHaskell"
"NoTemplateHaskellQuotes" "NoTraditionalRecordSyntax"
"NoTransformListComp" "NoTupleSections" "NoTypeAbstractions"
"NoTypeApplications" "NoTypeData" "NoTypeFamilies"
"NoTypeFamilyDependencies" "NoTypeInType" "NoTypeOperators"
"NoTypeSynonymInstances" "NoUnboxedSums" "NoUnboxedTuples"
"NoUndecidableInstances" "NoUndecidableSuperClasses"
"NoUnicodeSyntax" "NoUnliftedDatatypes" "NoUnliftedFFITypes"
"NoUnliftedNewtypes" "NoViewPatterns" "NondecreasingIndentation"
"NullaryTypeClasses" "NumDecimals" "NumericUnderscores" "OrPatterns"
"OverlappingInstances" "OverloadedLabels" "OverloadedLists"
"OverloadedRecordDot" "OverloadedRecordUpdate" "OverloadedStrings"
"PackageImports" "ParallelArrays" "ParallelListComp"
"PartialTypeSignatures" "PatternGuards" "PatternSignatures"
"PatternSynonyms" "PolyKinds" "PolymorphicComponents"
"PostfixOperators" "QualifiedDo" "QuantifiedConstraints"
"QuasiQuotes" "Rank2Types" "RankNTypes" "RebindableSyntax"
"RecordPuns" "RecordWildCards" "RecursiveDo" "RelaxedLayout"
"RelaxedPolyRec" "RequiredTypeArguments" "RoleAnnotations" "Safe"
"ScopedTypeVariables" "StandaloneDeriving" "StandaloneKindSignatures"
"StarIsType" "StaticPointers" "Strict" "StrictData" "TemplateHaskell"
"TemplateHaskellQuotes" "TraditionalRecordSyntax" "TransformListComp"
"Trustworthy" "TupleSections" "TypeAbstractions" "TypeApplications"
"TypeData" "TypeFamilies" "TypeFamilyDependencies" "TypeInType"
"TypeOperators" "TypeSynonymInstances" "UnboxedSums" "UnboxedTuples"
"UndecidableInstances" "UndecidableSuperClasses" "UnicodeSyntax"
"UnliftedDatatypes" "UnliftedFFITypes" "UnliftedNewtypes" "Unsafe"
"ViewPatterns")
Documentation
List of language extensions supported by any known version of GHC.
This list should be updated by running haskell-update-ghc-support.
Source Code
;; Defined in /nix/store/9lz2mhw95f9fqxr9mnq46k3f6qz3aq83-emacs-packages-deps/share/emacs/site-lisp/elpa/haskell-mode-20260904.1042/haskell-ghc-support.el
;;; haskell-ghc-support.el --- GHC specific code -*- coding: utf-8; lexical-binding: t -*-
;; Copyright © 2016 Haskell Mode
;; Author: 2016 Gracjan Polak
;; This file is not part of GNU Emacs.
;; This file is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation; either version 3, or (at your option)
;; any later version.
;; This file is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;; GNU General Public License for more details.
;; You should have received a copy of the GNU General Public License
;; along with this program. If not, see <http://www.gnu.org/licenses/>.
;;; Commentary:
;; This file contains GHC specific constants and information.
;;; Code:
(defvar haskell-ghc-supported-extensions
'(
;;; BEGIN haskell-ghc-supported-extensions
"AllowAmbiguousTypes"
"AlternativeLayoutRule"
"AlternativeLayoutRuleTransitional"
"ApplicativeDo"
"Arrows"
"AutoDeriveTypeable"
"BangPatterns"
"BinaryLiterals"
"BlockArguments"
"CApiFFI"
"CPP"
"CUSKs"
"ConstrainedClassMethods"
"ConstraintKinds"
"DataKinds"
"DatatypeContexts"
"DeepSubsumption"
"DefaultSignatures"
"DeriveAnyClass"
"DeriveDataTypeable"
"DeriveFoldable"
"DeriveFunctor"
"DeriveGeneric"
"DeriveLift"
"DeriveTraversable"
"DerivingStrategies"
"DerivingVia"
"DisambiguateRecordFields"
"DoAndIfThenElse"
"DoRec"
"DuplicateRecordFields"
"EmptyCase"
"EmptyDataDecls"
"EmptyDataDeriving"
"ExistentialQuantification"
"ExplicitForAll"
"ExplicitNamespaces"
"ExtendedDefaultRules"
"ExtendedLiterals"
"FieldSelectors"
"FlexibleContexts"
"FlexibleInstances"
"ForeignFunctionInterface"
"FunctionalDependencies"
"GADTSyntax"
"GADTs"
"GHC2021"
"GHC2024"
"GHCForeignImportPrim"
"GeneralisedNewtypeDeriving"
"GeneralizedNewtypeDeriving"
"Haskell2010"
"Haskell98"
"HexFloatLiterals"
"ImplicitParams"
"ImplicitPrelude"
"ImportQualifiedPost"
"ImpredicativeTypes"
"IncoherentInstances"
"InstanceSigs"
"InterruptibleFFI"
"JavaScriptFFI"
"KindSignatures"
"LambdaCase"
"LexicalNegation"
"LiberalTypeSynonyms"
"LinearTypes"
"ListTuplePuns"
"MagicHash"
"MonadComprehensions"
"MonadFailDesugaring"
"MonoLocalBinds"
"MonoPatBinds"
"MonomorphismRestriction"
"MultiParamTypeClasses"
"MultiWayIf"
"MultilineStrings"
"NPlusKPatterns"
"NamedDefaults"
"NamedFieldPuns"
"NamedWildCards"
"NegativeLiterals"
"NoAllowAmbiguousTypes"
"NoAlternativeLayoutRule"
"NoAlternativeLayoutRuleTransitional"
"NoApplicativeDo"
"NoArrows"
"NoAutoDeriveTypeable"
"NoBangPatterns"
"NoBinaryLiterals"
"NoBlockArguments"
"NoCApiFFI"
"NoCPP"
"NoCUSKs"
"NoConstrainedClassMethods"
"NoConstraintKinds"
"NoDataKinds"
"NoDatatypeContexts"
"NoDeepSubsumption"
"NoDefaultSignatures"
"NoDeriveAnyClass"
"NoDeriveDataTypeable"
"NoDeriveFoldable"
"NoDeriveFunctor"
"NoDeriveGeneric"
"NoDeriveLift"
"NoDeriveTraversable"
"NoDerivingStrategies"
"NoDerivingVia"
"NoDisambiguateRecordFields"
"NoDoAndIfThenElse"
"NoDoRec"
"NoDuplicateRecordFields"
"NoEmptyCase"
"NoEmptyDataDecls"
"NoEmptyDataDeriving"
"NoExistentialQuantification"
"NoExplicitForAll"
"NoExplicitNamespaces"
"NoExtendedDefaultRules"
"NoExtendedLiterals"
"NoFieldSelectors"
"NoFlexibleContexts"
"NoFlexibleInstances"
"NoForeignFunctionInterface"
"NoFunctionalDependencies"
"NoGADTSyntax"
"NoGADTs"
"NoGHCForeignImportPrim"
"NoGeneralisedNewtypeDeriving"
"NoGeneralizedNewtypeDeriving"
"NoHexFloatLiterals"
"NoImplicitParams"
"NoImplicitPrelude"
"NoImportQualifiedPost"
"NoImpredicativeTypes"
"NoIncoherentInstances"
"NoInstanceSigs"
"NoInterruptibleFFI"
"NoJavaScriptFFI"
"NoKindSignatures"
"NoLambdaCase"
"NoLexicalNegation"
"NoLiberalTypeSynonyms"
"NoLinearTypes"
"NoListTuplePuns"
"NoMagicHash"
"NoMonadComprehensions"
"NoMonadFailDesugaring"
"NoMonoLocalBinds"
"NoMonoPatBinds"
"NoMonomorphismRestriction"
"NoMultiParamTypeClasses"
"NoMultiWayIf"
"NoMultilineStrings"
"NoNPlusKPatterns"
"NoNamedDefaults"
"NoNamedFieldPuns"
"NoNamedWildCards"
"NoNegativeLiterals"
"NoNondecreasingIndentation"
"NoNullaryTypeClasses"
"NoNumDecimals"
"NoNumericUnderscores"
"NoOrPatterns"
"NoOverlappingInstances"
"NoOverloadedLabels"
"NoOverloadedLists"
"NoOverloadedRecordDot"
"NoOverloadedRecordUpdate"
"NoOverloadedStrings"
"NoPackageImports"
"NoParallelArrays"
"NoParallelListComp"
"NoPartialTypeSignatures"
"NoPatternGuards"
"NoPatternSignatures"
"NoPatternSynonyms"
"NoPolyKinds"
"NoPolymorphicComponents"
"NoPostfixOperators"
"NoQualifiedDo"
"NoQuantifiedConstraints"
"NoQuasiQuotes"
"NoRank2Types"
"NoRankNTypes"
"NoRebindableSyntax"
"NoRecordPuns"
"NoRecordWildCards"
"NoRecursiveDo"
"NoRelaxedLayout"
"NoRelaxedPolyRec"
"NoRequiredTypeArguments"
"NoRoleAnnotations"
"NoScopedTypeVariables"
"NoStandaloneDeriving"
"NoStandaloneKindSignatures"
"NoStarIsType"
"NoStaticPointers"
"NoStrict"
"NoStrictData"
"NoTemplateHaskell"
"NoTemplateHaskellQuotes"
"NoTraditionalRecordSyntax"
"NoTransformListComp"
"NoTupleSections"
"NoTypeAbstractions"
"NoTypeApplications"
"NoTypeData"
"NoTypeFamilies"
"NoTypeFamilyDependencies"
"NoTypeInType"
"NoTypeOperators"
"NoTypeSynonymInstances"
"NoUnboxedSums"
"NoUnboxedTuples"
"NoUndecidableInstances"
"NoUndecidableSuperClasses"
"NoUnicodeSyntax"
"NoUnliftedDatatypes"
"NoUnliftedFFITypes"
"NoUnliftedNewtypes"
"NoViewPatterns"
"NondecreasingIndentation"
"NullaryTypeClasses"
"NumDecimals"
"NumericUnderscores"
"OrPatterns"
"OverlappingInstances"
"OverloadedLabels"
"OverloadedLists"
"OverloadedRecordDot"
"OverloadedRecordUpdate"
"OverloadedStrings"
"PackageImports"
"ParallelArrays"
"ParallelListComp"
"PartialTypeSignatures"
"PatternGuards"
"PatternSignatures"
"PatternSynonyms"
"PolyKinds"
"PolymorphicComponents"
"PostfixOperators"
"QualifiedDo"
"QuantifiedConstraints"
"QuasiQuotes"
"Rank2Types"
"RankNTypes"
"RebindableSyntax"
"RecordPuns"
"RecordWildCards"
"RecursiveDo"
"RelaxedLayout"
"RelaxedPolyRec"
"RequiredTypeArguments"
"RoleAnnotations"
"Safe"
"ScopedTypeVariables"
"StandaloneDeriving"
"StandaloneKindSignatures"
"StarIsType"
"StaticPointers"
"Strict"
"StrictData"
"TemplateHaskell"
"TemplateHaskellQuotes"
"TraditionalRecordSyntax"
"TransformListComp"
"Trustworthy"
"TupleSections"
"TypeAbstractions"
"TypeApplications"
"TypeData"
"TypeFamilies"
"TypeFamilyDependencies"
"TypeInType"
"TypeOperators"
"TypeSynonymInstances"
"UnboxedSums"
"UnboxedTuples"
"UndecidableInstances"
"UndecidableSuperClasses"
"UnicodeSyntax"
"UnliftedDatatypes"
"UnliftedFFITypes"
"UnliftedNewtypes"
"Unsafe"
"ViewPatterns"
;;; END haskell-ghc-supported-extensions
)
"List of language extensions supported by any known version of GHC.
This list should be updated by running `haskell-update-ghc-support'.")