Safe Haskell	None
Language	Haskell2010

Language.Haskell.Brittany

Synopsis

parsePrintModule :: Config -> Text -> IO (Either [BrittanyError] Text)
staticDefaultConfig :: Config
forwardOptionsSyntaxExtsEnabled :: ForwardOptions
userConfigPath :: IO FilePath
findLocalConfigPath :: FilePath -> IO (Maybe FilePath)
readConfigs :: CConfig Option -> [FilePath] -> MaybeT IO Config
readConfigsWithUserConfig :: CConfig Option -> [FilePath] -> MaybeT IO Config
type Config = CConfig Identity
data CConfig f = Config {
- _conf_version :: f (Last Int)
- _conf_debug :: CDebugConfig f
- _conf_layout :: CLayoutConfig f
- _conf_errorHandling :: CErrorHandlingConfig f
- _conf_forward :: CForwardOptions f
- _conf_preprocessor :: CPreProcessorConfig f
- _conf_roundtrip_exactprint_only :: f (Last Bool)
- _conf_obfuscate :: f (Last Bool)
}
data CDebugConfig f = DebugConfig {
- _dconf_dump_config :: f (Last Bool)
- _dconf_dump_annotations :: f (Last Bool)
- _dconf_dump_ast_unknown :: f (Last Bool)
- _dconf_dump_ast_full :: f (Last Bool)
- _dconf_dump_bridoc_raw :: f (Last Bool)
- _dconf_dump_bridoc_simpl_alt :: f (Last Bool)
- _dconf_dump_bridoc_simpl_floating :: f (Last Bool)
- _dconf_dump_bridoc_simpl_par :: f (Last Bool)
- _dconf_dump_bridoc_simpl_columns :: f (Last Bool)
- _dconf_dump_bridoc_simpl_indent :: f (Last Bool)
- _dconf_dump_bridoc_final :: f (Last Bool)
- _dconf_roundtrip_exactprint_only :: f (Last Bool)
}
data CLayoutConfig f = LayoutConfig {
- _lconfig_cols :: f (Last Int)
- _lconfig_indentPolicy :: f (Last IndentPolicy)
- _lconfig_indentAmount :: f (Last Int)
- _lconfig_indentWhereSpecial :: f (Last Bool)
- _lconfig_indentListSpecial :: f (Last Bool)
- _lconfig_importColumn :: f (Last Int)
- _lconfig_importAsColumn :: f (Last Int)
- _lconfig_altChooser :: f (Last AltChooser)
- _lconfig_columnAlignMode :: f (Last ColumnAlignMode)
- _lconfig_alignmentLimit :: f (Last Int)
- _lconfig_alignmentBreakOnMultiline :: f (Last Bool)
- _lconfig_hangingTypeSignature :: f (Last Bool)
- _lconfig_reformatModulePreamble :: f (Last Bool)
- _lconfig_allowSingleLineExportList :: f (Last Bool)
- _lconfig_allowHangingQuasiQuotes :: f (Last Bool)
}
data CErrorHandlingConfig f = ErrorHandlingConfig {
- _econf_produceOutputOnErrors :: f (Last Bool)
- _econf_Werror :: f (Last Bool)
- _econf_ExactPrintFallback :: f (Last ExactPrintFallbackMode)
- _econf_omit_output_valid_check :: f (Last Bool)
}
data CForwardOptions f = ForwardOptions {
- _options_ghc :: f [String]
}
data CPreProcessorConfig f = PreProcessorConfig {
- _ppconf_CPPMode :: f (Last CPPMode)
- _ppconf_hackAroundIncludes :: f (Last Bool)
}
data BrittanyError
- = ErrorInput String
- | ErrorUnusedComment String
- | ErrorMacroConfig String String
- | LayoutWarning String
- | Data ast => ErrorUnknownNode String (GenLocated SrcSpan ast)
- | ErrorOutputCheck

Documentation

parsePrintModule :: Config -> Text -> IO (Either [BrittanyError] Text) Source #

Exposes the transformation in an pseudo-pure fashion. The signature contains IO due to the GHC API not exposing a pure parsing function, but there should be no observable effects.

Note that this function ignores/resets all config values regarding debugging, i.e. it will never use trace/write to stderr.

Note that the ghc parsing function used internally currently is wrapped in mask_, so cannot be killed easily. If you don't control the input, you may wish to put some proper upper bound on the input's size as a timeout won't do.

staticDefaultConfig :: Config Source #

forwardOptionsSyntaxExtsEnabled :: ForwardOptions Source #

userConfigPath :: IO FilePath Source #

Looks for a user-global config file and return its path. If there is no global config in a system, one will be created.

findLocalConfigPath :: FilePath -> IO (Maybe FilePath) Source #

Searches for a local (per-project) brittany config starting from a given directory

readConfigs Source #

Arguments

:: CConfig Option	Explicit options, take highest priority
-> [FilePath]	List of config files to load and merge, highest priority first
-> MaybeT IO Config

Reads specified configs.

readConfigsWithUserConfig Source #

Arguments

:: CConfig Option	Explicit options, take highest priority
-> [FilePath]	List of config files to load and merge, highest priority first
-> MaybeT IO Config

Reads provided configs but also applies the user default configuration (with lowest priority)

type Config = CConfig Identity Source #

data CConfig f Source #

Constructors

Config

Fields

_conf_version :: f (Last Int)
_conf_debug :: CDebugConfig f
_conf_layout :: CLayoutConfig f
_conf_errorHandling :: CErrorHandlingConfig f
_conf_forward :: CForwardOptions f
_conf_preprocessor :: CPreProcessorConfig f
_conf_roundtrip_exactprint_only :: f (Last Bool)
_conf_obfuscate :: f (Last Bool)
this field is somewhat of a duplicate of the one in DebugConfig. It is used for per-declaration disabling by the inline config implementation. Could have re-used the existing field, but felt risky to use a "debug" labeled field for non-debug functionality.

Instances

CFunctor CConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cMap :: (forall a. f a -> g a) -> CConfig f -> CConfig g #
CZipWith CConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cZipWith :: (forall a. g a -> h a -> i a) -> CConfig g -> CConfig h -> CConfig i #
Data (CConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CConfig Option -> c (CConfig Option) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CConfig Option) # toConstr :: CConfig Option -> Constr # dataTypeOf :: CConfig Option -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CConfig Option)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CConfig Option)) # gmapT :: (forall b. Data b => b -> b) -> CConfig Option -> CConfig Option # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CConfig Option -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CConfig Option -> r # gmapQ :: (forall d. Data d => d -> u) -> CConfig Option -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CConfig Option -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CConfig Option -> m (CConfig Option) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CConfig Option -> m (CConfig Option) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CConfig Option -> m (CConfig Option) #
Data (CConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CConfig Identity -> c (CConfig Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CConfig Identity) # toConstr :: CConfig Identity -> Constr # dataTypeOf :: CConfig Identity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CConfig Identity)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CConfig Identity)) # gmapT :: (forall b. Data b => b -> b) -> CConfig Identity -> CConfig Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CConfig Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CConfig Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> CConfig Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CConfig Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CConfig Identity -> m (CConfig Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CConfig Identity -> m (CConfig Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CConfig Identity -> m (CConfig Identity) #
Show (CConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CConfig Option -> ShowS # show :: CConfig Option -> String # showList :: [CConfig Option] -> ShowS #
Show (CConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CConfig Identity -> ShowS # show :: CConfig Identity -> String # showList :: [CConfig Identity] -> ShowS #
Generic (CConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Associated Types type Rep (CConfig f) :: Type -> Type # Methods from :: CConfig f -> Rep (CConfig f) x # to :: Rep (CConfig f) x -> CConfig f #
Semigroup (CConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CConfig Option -> CConfig Option -> CConfig Option # sconcat :: NonEmpty (CConfig Option) -> CConfig Option # stimes :: Integral b => b -> CConfig Option -> CConfig Option #
Semigroup (CConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CConfig Identity -> CConfig Identity -> CConfig Identity # sconcat :: NonEmpty (CConfig Identity) -> CConfig Identity # stimes :: Integral b => b -> CConfig Identity -> CConfig Identity #
Monoid (CConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods mempty :: CConfig Option # mappend :: CConfig Option -> CConfig Option -> CConfig Option # mconcat :: [CConfig Option] -> CConfig Option #
ToJSON (CConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CConfig Maybe -> Value # toEncoding :: CConfig Maybe -> Encoding # toJSONList :: [CConfig Maybe] -> Value # toEncodingList :: [CConfig Maybe] -> Encoding #
ToJSON (CConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CConfig Option -> Value # toEncoding :: CConfig Option -> Encoding # toJSONList :: [CConfig Option] -> Value # toEncodingList :: [CConfig Option] -> Encoding #
FromJSON (CConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CConfig Maybe) # parseJSONList :: Value -> Parser [CConfig Maybe] #
FromJSON (CConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CConfig Option) # parseJSONList :: Value -> Parser [CConfig Option] #
type Rep (CConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types type Rep (CConfig f) = D1 (MetaData "CConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.12.0.0-Ae6A1ZKrLwuFcYNLsC0ym4" False) (C1 (MetaCons "Config" PrefixI True) (((S1 (MetaSel (Just "_conf_version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Int))) :: S1 (MetaSel (Just "_conf_debug") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CDebugConfig f))) :: (S1 (MetaSel (Just "_conf_layout") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CLayoutConfig f)) :: S1 (MetaSel (Just "_conf_errorHandling") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CErrorHandlingConfig f)))) :: ((S1 (MetaSel (Just "_conf_forward") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CForwardOptions f)) :: S1 (MetaSel (Just "_conf_preprocessor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CPreProcessorConfig f))) :: (S1 (MetaSel (Just "_conf_roundtrip_exactprint_only") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 (MetaSel (Just "_conf_obfuscate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool)))))))

data CDebugConfig f Source #

Constructors

DebugConfig

Fields

_dconf_dump_config :: f (Last Bool)
_dconf_dump_annotations :: f (Last Bool)
_dconf_dump_ast_unknown :: f (Last Bool)
_dconf_dump_ast_full :: f (Last Bool)
_dconf_dump_bridoc_raw :: f (Last Bool)
_dconf_dump_bridoc_simpl_alt :: f (Last Bool)
_dconf_dump_bridoc_simpl_floating :: f (Last Bool)
_dconf_dump_bridoc_simpl_par :: f (Last Bool)
_dconf_dump_bridoc_simpl_columns :: f (Last Bool)
_dconf_dump_bridoc_simpl_indent :: f (Last Bool)
_dconf_dump_bridoc_final :: f (Last Bool)
_dconf_roundtrip_exactprint_only :: f (Last Bool)

Instances

CFunctor CDebugConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cMap :: (forall a. f a -> g a) -> CDebugConfig f -> CDebugConfig g #
CZipWith CDebugConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cZipWith :: (forall a. g a -> h a -> i a) -> CDebugConfig g -> CDebugConfig h -> CDebugConfig i #
Data (CDebugConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CDebugConfig Option -> c (CDebugConfig Option) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CDebugConfig Option) # toConstr :: CDebugConfig Option -> Constr # dataTypeOf :: CDebugConfig Option -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CDebugConfig Option)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CDebugConfig Option)) # gmapT :: (forall b. Data b => b -> b) -> CDebugConfig Option -> CDebugConfig Option # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CDebugConfig Option -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CDebugConfig Option -> r # gmapQ :: (forall d. Data d => d -> u) -> CDebugConfig Option -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CDebugConfig Option -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CDebugConfig Option -> m (CDebugConfig Option) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CDebugConfig Option -> m (CDebugConfig Option) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CDebugConfig Option -> m (CDebugConfig Option) #
Data (CDebugConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CDebugConfig Identity -> c (CDebugConfig Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CDebugConfig Identity) # toConstr :: CDebugConfig Identity -> Constr # dataTypeOf :: CDebugConfig Identity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CDebugConfig Identity)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CDebugConfig Identity)) # gmapT :: (forall b. Data b => b -> b) -> CDebugConfig Identity -> CDebugConfig Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CDebugConfig Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CDebugConfig Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> CDebugConfig Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CDebugConfig Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CDebugConfig Identity -> m (CDebugConfig Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CDebugConfig Identity -> m (CDebugConfig Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CDebugConfig Identity -> m (CDebugConfig Identity) #
Show (CDebugConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CDebugConfig Option -> ShowS # show :: CDebugConfig Option -> String # showList :: [CDebugConfig Option] -> ShowS #
Show (CDebugConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CDebugConfig Identity -> ShowS # show :: CDebugConfig Identity -> String # showList :: [CDebugConfig Identity] -> ShowS #
Generic (CDebugConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Associated Types type Rep (CDebugConfig f) :: Type -> Type # Methods from :: CDebugConfig f -> Rep (CDebugConfig f) x # to :: Rep (CDebugConfig f) x -> CDebugConfig f #
Semigroup (CDebugConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CDebugConfig Option -> CDebugConfig Option -> CDebugConfig Option # sconcat :: NonEmpty (CDebugConfig Option) -> CDebugConfig Option # stimes :: Integral b => b -> CDebugConfig Option -> CDebugConfig Option #
Semigroup (CDebugConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CDebugConfig Identity -> CDebugConfig Identity -> CDebugConfig Identity # sconcat :: NonEmpty (CDebugConfig Identity) -> CDebugConfig Identity # stimes :: Integral b => b -> CDebugConfig Identity -> CDebugConfig Identity #
Monoid (CDebugConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods mempty :: CDebugConfig Option # mappend :: CDebugConfig Option -> CDebugConfig Option -> CDebugConfig Option # mconcat :: [CDebugConfig Option] -> CDebugConfig Option #
ToJSON (CDebugConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CDebugConfig Maybe -> Value # toEncoding :: CDebugConfig Maybe -> Encoding # toJSONList :: [CDebugConfig Maybe] -> Value # toEncodingList :: [CDebugConfig Maybe] -> Encoding #
ToJSON (CDebugConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CDebugConfig Option -> Value # toEncoding :: CDebugConfig Option -> Encoding # toJSONList :: [CDebugConfig Option] -> Value # toEncodingList :: [CDebugConfig Option] -> Encoding #
FromJSON (CDebugConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CDebugConfig Maybe) # parseJSONList :: Value -> Parser [CDebugConfig Maybe] #
FromJSON (CDebugConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CDebugConfig Option) # parseJSONList :: Value -> Parser [CDebugConfig Option] #
type Rep (CDebugConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types type Rep (CDebugConfig f) = D1 (MetaData "CDebugConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.12.0.0-Ae6A1ZKrLwuFcYNLsC0ym4" False) (C1 (MetaCons "DebugConfig" PrefixI True) (((S1 (MetaSel (Just "_dconf_dump_config") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: (S1 (MetaSel (Just "_dconf_dump_annotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: S1 (MetaSel (Just "_dconf_dump_ast_unknown") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))))) :: (S1 (MetaSel (Just "_dconf_dump_ast_full") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: (S1 (MetaSel (Just "_dconf_dump_bridoc_raw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: S1 (MetaSel (Just "_dconf_dump_bridoc_simpl_alt") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool)))))) :: ((S1 (MetaSel (Just "_dconf_dump_bridoc_simpl_floating") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: (S1 (MetaSel (Just "_dconf_dump_bridoc_simpl_par") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: S1 (MetaSel (Just "_dconf_dump_bridoc_simpl_columns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))))) :: (S1 (MetaSel (Just "_dconf_dump_bridoc_simpl_indent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: (S1 (MetaSel (Just "_dconf_dump_bridoc_final") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 (MetaSel (Just "_dconf_roundtrip_exactprint_only") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))))))))

data CLayoutConfig f Source #

Constructors

LayoutConfig

Fields

_lconfig_cols :: f (Last Int)
_lconfig_indentPolicy :: f (Last IndentPolicy)
_lconfig_indentAmount :: f (Last Int)
_lconfig_indentWhereSpecial :: f (Last Bool)
_lconfig_indentListSpecial :: f (Last Bool)
_lconfig_importColumn :: f (Last Int)
for import statement layouting, column at which to align the elements to be imported from a module. It is expected that importAsColumn >= importCol.
_lconfig_importAsColumn :: f (Last Int)
for import statement layouting, column at which put the module's "as" name (which also affects the positioning of the "as" keyword). It is expected that importAsColumn >= importCol.
_lconfig_altChooser :: f (Last AltChooser)
_lconfig_columnAlignMode :: f (Last ColumnAlignMode)
_lconfig_alignmentLimit :: f (Last Int)
_lconfig_alignmentBreakOnMultiline :: f (Last Bool)
_lconfig_hangingTypeSignature :: f (Last Bool)
_lconfig_reformatModulePreamble :: f (Last Bool)
_lconfig_allowSingleLineExportList :: f (Last Bool)
_lconfig_allowHangingQuasiQuotes :: f (Last Bool)

Instances

CFunctor CLayoutConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cMap :: (forall a. f a -> g a) -> CLayoutConfig f -> CLayoutConfig g #
CZipWith CLayoutConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cZipWith :: (forall a. g a -> h a -> i a) -> CLayoutConfig g -> CLayoutConfig h -> CLayoutConfig i #
Data (CLayoutConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CLayoutConfig Option -> c (CLayoutConfig Option) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CLayoutConfig Option) # toConstr :: CLayoutConfig Option -> Constr # dataTypeOf :: CLayoutConfig Option -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CLayoutConfig Option)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CLayoutConfig Option)) # gmapT :: (forall b. Data b => b -> b) -> CLayoutConfig Option -> CLayoutConfig Option # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CLayoutConfig Option -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CLayoutConfig Option -> r # gmapQ :: (forall d. Data d => d -> u) -> CLayoutConfig Option -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CLayoutConfig Option -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CLayoutConfig Option -> m (CLayoutConfig Option) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CLayoutConfig Option -> m (CLayoutConfig Option) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CLayoutConfig Option -> m (CLayoutConfig Option) #
Data (CLayoutConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CLayoutConfig Identity -> c (CLayoutConfig Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CLayoutConfig Identity) # toConstr :: CLayoutConfig Identity -> Constr # dataTypeOf :: CLayoutConfig Identity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CLayoutConfig Identity)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CLayoutConfig Identity)) # gmapT :: (forall b. Data b => b -> b) -> CLayoutConfig Identity -> CLayoutConfig Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CLayoutConfig Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CLayoutConfig Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> CLayoutConfig Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CLayoutConfig Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CLayoutConfig Identity -> m (CLayoutConfig Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CLayoutConfig Identity -> m (CLayoutConfig Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CLayoutConfig Identity -> m (CLayoutConfig Identity) #
Show (CLayoutConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CLayoutConfig Option -> ShowS # show :: CLayoutConfig Option -> String # showList :: [CLayoutConfig Option] -> ShowS #
Show (CLayoutConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CLayoutConfig Identity -> ShowS # show :: CLayoutConfig Identity -> String # showList :: [CLayoutConfig Identity] -> ShowS #
Generic (CLayoutConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Associated Types type Rep (CLayoutConfig f) :: Type -> Type # Methods from :: CLayoutConfig f -> Rep (CLayoutConfig f) x # to :: Rep (CLayoutConfig f) x -> CLayoutConfig f #
Semigroup (CLayoutConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CLayoutConfig Option -> CLayoutConfig Option -> CLayoutConfig Option # sconcat :: NonEmpty (CLayoutConfig Option) -> CLayoutConfig Option # stimes :: Integral b => b -> CLayoutConfig Option -> CLayoutConfig Option #
Semigroup (CLayoutConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CLayoutConfig Identity -> CLayoutConfig Identity -> CLayoutConfig Identity # sconcat :: NonEmpty (CLayoutConfig Identity) -> CLayoutConfig Identity # stimes :: Integral b => b -> CLayoutConfig Identity -> CLayoutConfig Identity #
Monoid (CLayoutConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods mempty :: CLayoutConfig Option # mappend :: CLayoutConfig Option -> CLayoutConfig Option -> CLayoutConfig Option # mconcat :: [CLayoutConfig Option] -> CLayoutConfig Option #
ToJSON (CLayoutConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CLayoutConfig Maybe -> Value # toEncoding :: CLayoutConfig Maybe -> Encoding # toJSONList :: [CLayoutConfig Maybe] -> Value # toEncodingList :: [CLayoutConfig Maybe] -> Encoding #
ToJSON (CLayoutConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CLayoutConfig Option -> Value # toEncoding :: CLayoutConfig Option -> Encoding # toJSONList :: [CLayoutConfig Option] -> Value # toEncodingList :: [CLayoutConfig Option] -> Encoding #
FromJSON (CLayoutConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CLayoutConfig Maybe) # parseJSONList :: Value -> Parser [CLayoutConfig Maybe] #
FromJSON (CLayoutConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CLayoutConfig Option) # parseJSONList :: Value -> Parser [CLayoutConfig Option] #
type Rep (CLayoutConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types type Rep (CLayoutConfig f) = D1 (MetaData "CLayoutConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.12.0.0-Ae6A1ZKrLwuFcYNLsC0ym4" False) (C1 (MetaCons "LayoutConfig" PrefixI True) (((S1 (MetaSel (Just "_lconfig_cols") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Int))) :: (S1 (MetaSel (Just "_lconfig_indentPolicy") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last IndentPolicy))) :: S1 (MetaSel (Just "_lconfig_indentAmount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Int))))) :: ((S1 (MetaSel (Just "_lconfig_indentWhereSpecial") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: S1 (MetaSel (Just "_lconfig_indentListSpecial") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool)))) :: (S1 (MetaSel (Just "_lconfig_importColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Int))) :: S1 (MetaSel (Just "_lconfig_importAsColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Int)))))) :: (((S1 (MetaSel (Just "_lconfig_altChooser") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last AltChooser))) :: S1 (MetaSel (Just "_lconfig_columnAlignMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last ColumnAlignMode)))) :: (S1 (MetaSel (Just "_lconfig_alignmentLimit") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Int))) :: S1 (MetaSel (Just "_lconfig_alignmentBreakOnMultiline") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))))) :: ((S1 (MetaSel (Just "_lconfig_hangingTypeSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: S1 (MetaSel (Just "_lconfig_reformatModulePreamble") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool)))) :: (S1 (MetaSel (Just "_lconfig_allowSingleLineExportList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: S1 (MetaSel (Just "_lconfig_allowHangingQuasiQuotes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))))))))

data CErrorHandlingConfig f Source #

Constructors

ErrorHandlingConfig

Fields

_econf_produceOutputOnErrors :: f (Last Bool)
_econf_Werror :: f (Last Bool)
_econf_ExactPrintFallback :: f (Last ExactPrintFallbackMode)
Determines when to fall back on the exactprint'ed output when syntactical constructs are encountered which are not yet handled by brittany. Note that the "risky" setting is risky because even with the check of the syntactic validity of the brittany output, at least in theory there may be cases where the output is syntactically/semantically valid but has different semantics than the code pre-transformation.
_econf_omit_output_valid_check :: f (Last Bool)

Instances

CFunctor CErrorHandlingConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cMap :: (forall a. f a -> g a) -> CErrorHandlingConfig f -> CErrorHandlingConfig g #
CZipWith CErrorHandlingConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cZipWith :: (forall a. g a -> h a -> i a) -> CErrorHandlingConfig g -> CErrorHandlingConfig h -> CErrorHandlingConfig i #
Data (CErrorHandlingConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CErrorHandlingConfig Option -> c (CErrorHandlingConfig Option) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CErrorHandlingConfig Option) # toConstr :: CErrorHandlingConfig Option -> Constr # dataTypeOf :: CErrorHandlingConfig Option -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CErrorHandlingConfig Option)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CErrorHandlingConfig Option)) # gmapT :: (forall b. Data b => b -> b) -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CErrorHandlingConfig Option -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CErrorHandlingConfig Option -> r # gmapQ :: (forall d. Data d => d -> u) -> CErrorHandlingConfig Option -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CErrorHandlingConfig Option -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CErrorHandlingConfig Option -> m (CErrorHandlingConfig Option) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CErrorHandlingConfig Option -> m (CErrorHandlingConfig Option) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CErrorHandlingConfig Option -> m (CErrorHandlingConfig Option) #
Data (CErrorHandlingConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CErrorHandlingConfig Identity -> c (CErrorHandlingConfig Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CErrorHandlingConfig Identity) # toConstr :: CErrorHandlingConfig Identity -> Constr # dataTypeOf :: CErrorHandlingConfig Identity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CErrorHandlingConfig Identity)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CErrorHandlingConfig Identity)) # gmapT :: (forall b. Data b => b -> b) -> CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CErrorHandlingConfig Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CErrorHandlingConfig Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> CErrorHandlingConfig Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CErrorHandlingConfig Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CErrorHandlingConfig Identity -> m (CErrorHandlingConfig Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CErrorHandlingConfig Identity -> m (CErrorHandlingConfig Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CErrorHandlingConfig Identity -> m (CErrorHandlingConfig Identity) #
Show (CErrorHandlingConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CErrorHandlingConfig Option -> ShowS # show :: CErrorHandlingConfig Option -> String # showList :: [CErrorHandlingConfig Option] -> ShowS #
Show (CErrorHandlingConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CErrorHandlingConfig Identity -> ShowS # show :: CErrorHandlingConfig Identity -> String # showList :: [CErrorHandlingConfig Identity] -> ShowS #
Generic (CErrorHandlingConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Associated Types type Rep (CErrorHandlingConfig f) :: Type -> Type # Methods from :: CErrorHandlingConfig f -> Rep (CErrorHandlingConfig f) x # to :: Rep (CErrorHandlingConfig f) x -> CErrorHandlingConfig f #
Semigroup (CErrorHandlingConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CErrorHandlingConfig Option -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option # sconcat :: NonEmpty (CErrorHandlingConfig Option) -> CErrorHandlingConfig Option # stimes :: Integral b => b -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option #
Semigroup (CErrorHandlingConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity # sconcat :: NonEmpty (CErrorHandlingConfig Identity) -> CErrorHandlingConfig Identity # stimes :: Integral b => b -> CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity #
Monoid (CErrorHandlingConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods mempty :: CErrorHandlingConfig Option # mappend :: CErrorHandlingConfig Option -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option # mconcat :: [CErrorHandlingConfig Option] -> CErrorHandlingConfig Option #
ToJSON (CErrorHandlingConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CErrorHandlingConfig Maybe -> Value # toEncoding :: CErrorHandlingConfig Maybe -> Encoding # toJSONList :: [CErrorHandlingConfig Maybe] -> Value # toEncodingList :: [CErrorHandlingConfig Maybe] -> Encoding #
ToJSON (CErrorHandlingConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CErrorHandlingConfig Option -> Value # toEncoding :: CErrorHandlingConfig Option -> Encoding # toJSONList :: [CErrorHandlingConfig Option] -> Value # toEncodingList :: [CErrorHandlingConfig Option] -> Encoding #
FromJSON (CErrorHandlingConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CErrorHandlingConfig Maybe) # parseJSONList :: Value -> Parser [CErrorHandlingConfig Maybe] #
FromJSON (CErrorHandlingConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CErrorHandlingConfig Option) # parseJSONList :: Value -> Parser [CErrorHandlingConfig Option] #
type Rep (CErrorHandlingConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types type Rep (CErrorHandlingConfig f) = D1 (MetaData "CErrorHandlingConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.12.0.0-Ae6A1ZKrLwuFcYNLsC0ym4" False) (C1 (MetaCons "ErrorHandlingConfig" PrefixI True) ((S1 (MetaSel (Just "_econf_produceOutputOnErrors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))) :: S1 (MetaSel (Just "_econf_Werror") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool)))) :: (S1 (MetaSel (Just "_econf_ExactPrintFallback") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last ExactPrintFallbackMode))) :*: S1 (MetaSel (Just "_econf_omit_output_valid_check") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool))))))

data CForwardOptions f Source #

Constructors

ForwardOptions
Fields _options_ghc :: f [String]

Instances

CFunctor CForwardOptions Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cMap :: (forall a. f a -> g a) -> CForwardOptions f -> CForwardOptions g #
CZipWith CForwardOptions Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cZipWith :: (forall a. g a -> h a -> i a) -> CForwardOptions g -> CForwardOptions h -> CForwardOptions i #
Data (CForwardOptions Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CForwardOptions Option -> c (CForwardOptions Option) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CForwardOptions Option) # toConstr :: CForwardOptions Option -> Constr # dataTypeOf :: CForwardOptions Option -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CForwardOptions Option)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CForwardOptions Option)) # gmapT :: (forall b. Data b => b -> b) -> CForwardOptions Option -> CForwardOptions Option # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CForwardOptions Option -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CForwardOptions Option -> r # gmapQ :: (forall d. Data d => d -> u) -> CForwardOptions Option -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CForwardOptions Option -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CForwardOptions Option -> m (CForwardOptions Option) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CForwardOptions Option -> m (CForwardOptions Option) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CForwardOptions Option -> m (CForwardOptions Option) #
Data (CForwardOptions Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CForwardOptions Identity -> c (CForwardOptions Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CForwardOptions Identity) # toConstr :: CForwardOptions Identity -> Constr # dataTypeOf :: CForwardOptions Identity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CForwardOptions Identity)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CForwardOptions Identity)) # gmapT :: (forall b. Data b => b -> b) -> CForwardOptions Identity -> CForwardOptions Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CForwardOptions Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CForwardOptions Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> CForwardOptions Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CForwardOptions Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CForwardOptions Identity -> m (CForwardOptions Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CForwardOptions Identity -> m (CForwardOptions Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CForwardOptions Identity -> m (CForwardOptions Identity) #
Show (CForwardOptions Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CForwardOptions Option -> ShowS # show :: CForwardOptions Option -> String # showList :: [CForwardOptions Option] -> ShowS #
Show (CForwardOptions Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CForwardOptions Identity -> ShowS # show :: CForwardOptions Identity -> String # showList :: [CForwardOptions Identity] -> ShowS #
Generic (CForwardOptions f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Associated Types type Rep (CForwardOptions f) :: Type -> Type # Methods from :: CForwardOptions f -> Rep (CForwardOptions f) x # to :: Rep (CForwardOptions f) x -> CForwardOptions f #
Semigroup (CForwardOptions Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CForwardOptions Option -> CForwardOptions Option -> CForwardOptions Option # sconcat :: NonEmpty (CForwardOptions Option) -> CForwardOptions Option # stimes :: Integral b => b -> CForwardOptions Option -> CForwardOptions Option #
Semigroup (CForwardOptions Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CForwardOptions Identity -> CForwardOptions Identity -> CForwardOptions Identity # sconcat :: NonEmpty (CForwardOptions Identity) -> CForwardOptions Identity # stimes :: Integral b => b -> CForwardOptions Identity -> CForwardOptions Identity #
Monoid (CForwardOptions Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods mempty :: CForwardOptions Option # mappend :: CForwardOptions Option -> CForwardOptions Option -> CForwardOptions Option # mconcat :: [CForwardOptions Option] -> CForwardOptions Option #
ToJSON (CForwardOptions Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CForwardOptions Maybe -> Value # toEncoding :: CForwardOptions Maybe -> Encoding # toJSONList :: [CForwardOptions Maybe] -> Value # toEncodingList :: [CForwardOptions Maybe] -> Encoding #
ToJSON (CForwardOptions Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CForwardOptions Option -> Value # toEncoding :: CForwardOptions Option -> Encoding # toJSONList :: [CForwardOptions Option] -> Value # toEncodingList :: [CForwardOptions Option] -> Encoding #
FromJSON (CForwardOptions Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CForwardOptions Maybe) # parseJSONList :: Value -> Parser [CForwardOptions Maybe] #
FromJSON (CForwardOptions Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CForwardOptions Option) # parseJSONList :: Value -> Parser [CForwardOptions Option] #
type Rep (CForwardOptions f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types type Rep (CForwardOptions f) = D1 (MetaData "CForwardOptions" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.12.0.0-Ae6A1ZKrLwuFcYNLsC0ym4" False) (C1 (MetaCons "ForwardOptions" PrefixI True) (S1 (MetaSel (Just "_options_ghc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f [String]))))

data CPreProcessorConfig f Source #

Constructors

PreProcessorConfig
Fields _ppconf_CPPMode :: f (Last CPPMode) _ppconf_hackAroundIncludes :: f (Last Bool)

Instances

CFunctor CPreProcessorConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cMap :: (forall a. f a -> g a) -> CPreProcessorConfig f -> CPreProcessorConfig g #
CZipWith CPreProcessorConfig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods cZipWith :: (forall a. g a -> h a -> i a) -> CPreProcessorConfig g -> CPreProcessorConfig h -> CPreProcessorConfig i #
Data (CPreProcessorConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CPreProcessorConfig Option -> c (CPreProcessorConfig Option) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CPreProcessorConfig Option) # toConstr :: CPreProcessorConfig Option -> Constr # dataTypeOf :: CPreProcessorConfig Option -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CPreProcessorConfig Option)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CPreProcessorConfig Option)) # gmapT :: (forall b. Data b => b -> b) -> CPreProcessorConfig Option -> CPreProcessorConfig Option # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CPreProcessorConfig Option -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CPreProcessorConfig Option -> r # gmapQ :: (forall d. Data d => d -> u) -> CPreProcessorConfig Option -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CPreProcessorConfig Option -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CPreProcessorConfig Option -> m (CPreProcessorConfig Option) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CPreProcessorConfig Option -> m (CPreProcessorConfig Option) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CPreProcessorConfig Option -> m (CPreProcessorConfig Option) #
Data (CPreProcessorConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CPreProcessorConfig Identity -> c (CPreProcessorConfig Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CPreProcessorConfig Identity) # toConstr :: CPreProcessorConfig Identity -> Constr # dataTypeOf :: CPreProcessorConfig Identity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CPreProcessorConfig Identity)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CPreProcessorConfig Identity)) # gmapT :: (forall b. Data b => b -> b) -> CPreProcessorConfig Identity -> CPreProcessorConfig Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CPreProcessorConfig Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CPreProcessorConfig Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> CPreProcessorConfig Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CPreProcessorConfig Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CPreProcessorConfig Identity -> m (CPreProcessorConfig Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CPreProcessorConfig Identity -> m (CPreProcessorConfig Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CPreProcessorConfig Identity -> m (CPreProcessorConfig Identity) #
Show (CPreProcessorConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CPreProcessorConfig Option -> ShowS # show :: CPreProcessorConfig Option -> String # showList :: [CPreProcessorConfig Option] -> ShowS #
Show (CPreProcessorConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods showsPrec :: Int -> CPreProcessorConfig Identity -> ShowS # show :: CPreProcessorConfig Identity -> String # showList :: [CPreProcessorConfig Identity] -> ShowS #
Generic (CPreProcessorConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Associated Types type Rep (CPreProcessorConfig f) :: Type -> Type # Methods from :: CPreProcessorConfig f -> Rep (CPreProcessorConfig f) x # to :: Rep (CPreProcessorConfig f) x -> CPreProcessorConfig f #
Semigroup (CPreProcessorConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CPreProcessorConfig Option -> CPreProcessorConfig Option -> CPreProcessorConfig Option # sconcat :: NonEmpty (CPreProcessorConfig Option) -> CPreProcessorConfig Option # stimes :: Integral b => b -> CPreProcessorConfig Option -> CPreProcessorConfig Option #
Semigroup (CPreProcessorConfig Identity) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods (<>) :: CPreProcessorConfig Identity -> CPreProcessorConfig Identity -> CPreProcessorConfig Identity # sconcat :: NonEmpty (CPreProcessorConfig Identity) -> CPreProcessorConfig Identity # stimes :: Integral b => b -> CPreProcessorConfig Identity -> CPreProcessorConfig Identity #
Monoid (CPreProcessorConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types Methods mempty :: CPreProcessorConfig Option # mappend :: CPreProcessorConfig Option -> CPreProcessorConfig Option -> CPreProcessorConfig Option # mconcat :: [CPreProcessorConfig Option] -> CPreProcessorConfig Option #
ToJSON (CPreProcessorConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CPreProcessorConfig Maybe -> Value # toEncoding :: CPreProcessorConfig Maybe -> Encoding # toJSONList :: [CPreProcessorConfig Maybe] -> Value # toEncodingList :: [CPreProcessorConfig Maybe] -> Encoding #
ToJSON (CPreProcessorConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods toJSON :: CPreProcessorConfig Option -> Value # toEncoding :: CPreProcessorConfig Option -> Encoding # toJSONList :: [CPreProcessorConfig Option] -> Value # toEncodingList :: [CPreProcessorConfig Option] -> Encoding #
FromJSON (CPreProcessorConfig Maybe) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CPreProcessorConfig Maybe) # parseJSONList :: Value -> Parser [CPreProcessorConfig Maybe] #
FromJSON (CPreProcessorConfig Option) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances Methods parseJSON :: Value -> Parser (CPreProcessorConfig Option) # parseJSONList :: Value -> Parser [CPreProcessorConfig Option] #
type Rep (CPreProcessorConfig f) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Config.Types type Rep (CPreProcessorConfig f) = D1 (MetaData "CPreProcessorConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.12.0.0-Ae6A1ZKrLwuFcYNLsC0ym4" False) (C1 (MetaCons "PreProcessorConfig" PrefixI True) (S1 (MetaSel (Just "_ppconf_CPPMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last CPPMode))) :*: S1 (MetaSel (Just "_ppconf_hackAroundIncludes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (Last Bool)))))

data BrittanyError Source #

Constructors

ErrorInput String	parsing failed
ErrorUnusedComment String	internal error: some comment went missing
ErrorMacroConfig String String	in-source config string parsing error; first argument is the parser output and second the corresponding, ill-formed input.
LayoutWarning String	some warning
Data ast => ErrorUnknownNode String (GenLocated SrcSpan ast)	internal error: pretty-printing is not implemented for type of node in the syntax-tree
ErrorOutputCheck	checking the output for syntactic validity failed