Language.Haskell.TH.LanguageExtensions · template-haskell-2.22.0.0

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.

Cpp OverlappingInstances UndecidableInstances IncoherentInstances UndecidableSuperClasses MonomorphismRestriction MonoLocalBinds DeepSubsumption RelaxedPolyRec ExtendedDefaultRules ForeignFunctionInterface UnliftedFFITypes InterruptibleFFI CApiFFI GHCForeignImportPrim JavaScriptFFI ParallelArrays Arrows TemplateHaskell TemplateHaskellQuotes QualifiedDo QuasiQuotes ImplicitParams ImplicitPrelude ScopedTypeVariables AllowAmbiguousTypes UnboxedTuples UnboxedSums UnliftedNewtypes UnliftedDatatypes BangPatterns TypeFamilies TypeFamilyDependencies TypeInType OverloadedStrings OverloadedLists NumDecimals DisambiguateRecordFields RecordWildCards NamedFieldPuns ViewPatterns GADTs GADTSyntax NPlusKPatterns DoAndIfThenElse BlockArguments RebindableSyntax ConstraintKinds PolyKinds DataKinds TypeData InstanceSigs ApplicativeDo LinearTypes RequiredTypeArguments StandaloneDeriving DeriveDataTypeable AutoDeriveTypeable DeriveFunctor DeriveTraversable DeriveFoldable DeriveGeneric DefaultSignatures DeriveAnyClass DeriveLift DerivingStrategies DerivingVia TypeSynonymInstances FlexibleContexts FlexibleInstances ConstrainedClassMethods MultiParamTypeClasses NullaryTypeClasses FunctionalDependencies UnicodeSyntax ExistentialQuantification MagicHash EmptyDataDecls KindSignatures RoleAnnotations ParallelListComp TransformListComp MonadComprehensions GeneralizedNewtypeDeriving RecursiveDo PostfixOperators TupleSections PatternGuards LiberalTypeSynonyms RankNTypes ImpredicativeTypes TypeOperators ExplicitNamespaces PackageImports ExplicitForAll AlternativeLayoutRule AlternativeLayoutRuleTransitional DatatypeContexts NondecreasingIndentation RelaxedLayout TraditionalRecordSyntax LambdaCase MultiWayIf BinaryLiterals NegativeLiterals HexFloatLiterals DuplicateRecordFields OverloadedLabels EmptyCase PatternSynonyms PartialTypeSignatures NamedWildCards StaticPointers TypeApplications Strict StrictData EmptyDataDeriving NumericUnderscores QuantifiedConstraints StarIsType ImportQualifiedPost CUSKs StandaloneKindSignatures LexicalNegation FieldSelectors OverloadedRecordDot OverloadedRecordUpdate TypeAbstractions ExtendedLiterals ListTuplePuns

Instances7Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded ExtensionDefined in ghc-boot-th-9.10.3 · GHC.LanguageExtensions.Type
Enum ExtensionDefined in ghc-boot-th-9.10.3 · GHC.LanguageExtensions.Type
Eq ExtensionDefined in ghc-boot-th-9.10.3 · GHC.LanguageExtensions.Type
Ord ExtensionDefined in ghc-boot-th-9.10.3 · GHC.LanguageExtensions.Type
Show ExtensionDefined in ghc-boot-th-9.10.3 · GHC.LanguageExtensions.Type
Generic ExtensionDefined in ghc-boot-th-9.10.3 · GHC.LanguageExtensions.Type
type Rep Extension = D1 ('MetaData "Extension" "GHC.LanguageExtensions.Type" "ghc-boot-th-9.10.3-9652" 'False) (((((((C1 ('MetaCons "Cpp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OverlappingInstances" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "UndecidableInstances" 'PrefixI 'False) U1 :+: C1 ('MetaCons "IncoherentInstances" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "UndecidableSuperClasses" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MonomorphismRestriction" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "MonoLocalBinds" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DeepSubsumption" 'PrefixI 'False) U1))) :+: (((C1 ('MetaCons "RelaxedPolyRec" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ExtendedDefaultRules" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "ForeignFunctionInterface" 'PrefixI 'False) U1 :+: C1 ('MetaCons "UnliftedFFITypes" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "InterruptibleFFI" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CApiFFI" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "GHCForeignImportPrim" 'PrefixI 'False) U1 :+: C1 ('MetaCons "JavaScriptFFI" 'PrefixI 'False) U1)))) :+: ((((C1 ('MetaCons "ParallelArrays" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Arrows" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "TemplateHaskell" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TemplateHaskellQuotes" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "QualifiedDo" 'PrefixI 'False) U1 :+: C1 ('MetaCons "QuasiQuotes" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "ImplicitParams" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ImplicitPrelude" 'PrefixI 'False) U1))) :+: (((C1 ('MetaCons "ScopedTypeVariables" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AllowAmbiguousTypes" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "UnboxedTuples" 'PrefixI 'False) U1 :+: C1 ('MetaCons "UnboxedSums" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "UnliftedNewtypes" 'PrefixI 'False) U1 :+: C1 ('MetaCons "UnliftedDatatypes" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "BangPatterns" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TypeFamilies" 'PrefixI 'False) U1))))) :+: (((((C1 ('MetaCons "TypeFamilyDependencies" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TypeInType" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "OverloadedStrings" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OverloadedLists" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "NumDecimals" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DisambiguateRecordFields" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "RecordWildCards" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NamedFieldPuns" 'PrefixI 'False) U1))) :+: (((C1 ('MetaCons "ViewPatterns" 'PrefixI 'False) U1 :+: C1 ('MetaCons "GADTs" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "GADTSyntax" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NPlusKPatterns" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "DoAndIfThenElse" 'PrefixI 'False) U1 :+: C1 ('MetaCons "BlockArguments" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "RebindableSyntax" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ConstraintKinds" 'PrefixI 'False) U1)))) :+: ((((C1 ('MetaCons "PolyKinds" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DataKinds" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "TypeData" 'PrefixI 'False) U1 :+: C1 ('MetaCons "InstanceSigs" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "ApplicativeDo" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LinearTypes" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "RequiredTypeArguments" 'PrefixI 'False) U1 :+: C1 ('MetaCons "StandaloneDeriving" 'PrefixI 'False) U1))) :+: (((C1 ('MetaCons "DeriveDataTypeable" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AutoDeriveTypeable" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "DeriveFunctor" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DeriveTraversable" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "DeriveFoldable" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DeriveGeneric" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "DefaultSignatures" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DeriveAnyClass" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DeriveLift" 'PrefixI 'False) U1))))))) :+: ((((((C1 ('MetaCons "DerivingStrategies" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DerivingVia" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "TypeSynonymInstances" 'PrefixI 'False) U1 :+: C1 ('MetaCons "FlexibleContexts" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "FlexibleInstances" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ConstrainedClassMethods" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "MultiParamTypeClasses" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NullaryTypeClasses" 'PrefixI 'False) U1))) :+: (((C1 ('MetaCons "FunctionalDependencies" 'PrefixI 'False) U1 :+: C1 ('MetaCons "UnicodeSyntax" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "ExistentialQuantification" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MagicHash" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "EmptyDataDecls" 'PrefixI 'False) U1 :+: C1 ('MetaCons "KindSignatures" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "RoleAnnotations" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ParallelListComp" 'PrefixI 'False) U1)))) :+: ((((C1 ('MetaCons "TransformListComp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MonadComprehensions" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "GeneralizedNewtypeDeriving" 'PrefixI 'False) U1 :+: C1 ('MetaCons "RecursiveDo" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "PostfixOperators" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TupleSections" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "PatternGuards" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LiberalTypeSynonyms" 'PrefixI 'False) U1))) :+: (((C1 ('MetaCons "RankNTypes" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ImpredicativeTypes" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "TypeOperators" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ExplicitNamespaces" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "PackageImports" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ExplicitForAll" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "AlternativeLayoutRule" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AlternativeLayoutRuleTransitional" 'PrefixI 'False) U1))))) :+: (((((C1 ('MetaCons "DatatypeContexts" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NondecreasingIndentation" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "RelaxedLayout" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TraditionalRecordSyntax" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "LambdaCase" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MultiWayIf" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "BinaryLiterals" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NegativeLiterals" 'PrefixI 'False) U1))) :+: (((C1 ('MetaCons "HexFloatLiterals" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DuplicateRecordFields" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "OverloadedLabels" 'PrefixI 'False) U1 :+: C1 ('MetaCons "EmptyCase" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "PatternSynonyms" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PartialTypeSignatures" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "NamedWildCards" 'PrefixI 'False) U1 :+: C1 ('MetaCons "StaticPointers" 'PrefixI 'False) U1)))) :+: ((((C1 ('MetaCons "TypeApplications" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Strict" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "StrictData" 'PrefixI 'False) U1 :+: C1 ('MetaCons "EmptyDataDeriving" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "NumericUnderscores" 'PrefixI 'False) U1 :+: C1 ('MetaCons "QuantifiedConstraints" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "StarIsType" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ImportQualifiedPost" 'PrefixI 'False) U1))) :+: (((C1 ('MetaCons "CUSKs" 'PrefixI 'False) U1 :+: C1 ('MetaCons "StandaloneKindSignatures" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "LexicalNegation" 'PrefixI 'False) U1 :+: C1 ('MetaCons "FieldSelectors" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "OverloadedRecordDot" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OverloadedRecordUpdate" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "TypeAbstractions" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ExtendedLiterals" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ListTuplePuns" 'PrefixI 'False) U1))))))))Defined in ghc-boot-th-9.10.3 · GHC.LanguageExtensions.Type