Language Extensions

################### ブラックリスト ##################	
# - AllowAmbiguousTypes	
# - DatatypeContexts	
# - DeriveAnyClass	
# - DisambiguateRecordFields	
# - DuplicateRecordFields	
# - ImplicitParams	
# - ImpredicativeTypes	
# - IncoherentInstances	
# - MagicHash	
# - NPlusKPatterns	
# - OverlappingInstances	
# - PolyKinds	
# - Strict	
# - TemplateHaskell	
# - TypeSynonymInstances	
# - UnboxedSums	
# - UnboxedTuples	
###########################################################	

 ############### 他の拡張で有効になるため不必要 #################	
# - GADTSyntax	
# - Rank2Types	
###########################################################	

 default-extensions:	
####### Disable ########	
- NoStarIsType	
- NoImplicitPrelude	

 ####### Enable ########	
# - ApplicativeDo	
- BangPatterns	
# - BinaryLiterals	
- BlockArguments	
# - CApiFFI	
# - ConstrainedClassMethods	
- ConstraintKinds	
# - CPP	
- DataKinds	
# - DefaultSignatures	
##############################	
- DeriveDataTypeable	
- DeriveFoldable	
- DeriveFunctor	
- DeriveGeneric	
- DeriveLift	
- DeriveTraversable	
- DerivingStrategies	
- DerivingVia	
# - EmptyCase	
# - EmptyDataDecls	
- ExistentialQuantification	
- ExplicitForAll	
- ExplicitNamespaces	
- ExtendedDefaultRules	
- FlexibleContexts	
- FlexibleInstances	
# - ForeignFunctionInterface	
# - FunctionalDependencies	
- GADTs	
- GeneralisedNewtypeDeriving	
# - HexFloatLiterals	
- InstanceSigs	
# - InterruptibleFFI	
- KindSignatures	
- LambdaCase	
# - LiberalTypeSynonyms	
# - MonadComprehensions	
# - MonadFailDesugaring	
# - MonoLocalBinds	
# - MonomorphismRestriction	
- MultiParamTypeClasses	
- MultiWayIf	
# - NamedFieldPuns	
# - NamedWildCards	
# - NegativeLiterals	
# - NullaryTypeClasses	
# - NumDecimals	
- NumericUnderscores	
- OverloadedLabels	
# - OverloadedLists	
- OverloadedStrings	
- PackageImports	
# - ParallelListComp	
# - PartialTypeSignatures	
# - PatternGuards	
- PatternSynonyms	
# - PostfixOperators	
# - QuantifiedConstraints	
- QuasiQuotes	
- RankNTypes	
# - RebindableSyntax	
- RecordWildCards	
# - RecursiveDo	
# - RoleAnnotations	
# - Safe	
- ScopedTypeVariables	
- StandaloneDeriving	
# - StaticPointers	
- StrictData	
# - TemplateHaskellQuotes	
# - TraditionalRecordSyntax	
# - TransformListComp	
# - Trustworthy	
- TupleSections	
- TypeApplications	
- TypeFamilies	
# - TypeFamilyDependencies	
# - TypeInType	
- TypeOperators	
# - UndecidableInstances	
# - UndecidableSuperClasses	
# - UnicodeSyntax	
# - Unsafe	
- ViewPatterns