Safe Haskell	None
Language	Haskell2010

Language.Haskell.Brittany

Synopsis

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 #

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

Instances

CZipWith CConfig Source #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CConfig g -> CConfig h -> CConfig i #
Data (CConfig Identity) Source #
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 #
Methods showsPrec :: Int -> CConfig Option -> ShowS # show :: CConfig Option -> String # showList :: [CConfig Option] -> ShowS #
Show (CConfig Identity) Source #
Methods showsPrec :: Int -> CConfig Identity -> ShowS # show :: CConfig Identity -> String # showList :: [CConfig Identity] -> ShowS #
Generic (CConfig f) Source #
Associated Types type Rep (CConfig f) :: * -> * # Methods from :: CConfig f -> Rep (CConfig f) x # to :: Rep (CConfig f) x -> CConfig f #
Semigroup (CConfig Option) Source #
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 #
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 #
Methods mempty :: CConfig Option # mappend :: CConfig Option -> CConfig Option -> CConfig Option # mconcat :: [CConfig Option] -> CConfig Option #
type Rep (CConfig f) Source #
type Rep (CConfig f) = D1 * (MetaData "CConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-LQfkzb1o8NR2qnt27g7r0g" False) (C1 * (MetaCons "Config" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_conf_version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Int)))) ((::) (S1 * (MetaSel (Just Symbol "_conf_debug") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (CDebugConfig f))) (S1 * (MetaSel (Just Symbol "_conf_layout") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (CLayoutConfig f))))) ((::) (S1 * (MetaSel (Just Symbol "_conf_errorHandling") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (CErrorHandlingConfig f))) ((::) (S1 * (MetaSel (Just Symbol "_conf_forward") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (CForwardOptions f))) (S1 * (MetaSel (Just Symbol "_conf_preprocessor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (CPreProcessorConfig f)))))))

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

CZipWith CDebugConfig Source #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CDebugConfig g -> CDebugConfig h -> CDebugConfig i #
Data (CDebugConfig Identity) Source #
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 #
Methods showsPrec :: Int -> CDebugConfig Option -> ShowS # show :: CDebugConfig Option -> String # showList :: [CDebugConfig Option] -> ShowS #
Show (CDebugConfig Identity) Source #
Methods showsPrec :: Int -> CDebugConfig Identity -> ShowS # show :: CDebugConfig Identity -> String # showList :: [CDebugConfig Identity] -> ShowS #
Generic (CDebugConfig f) Source #
Associated Types type Rep (CDebugConfig f) :: * -> * # Methods from :: CDebugConfig f -> Rep (CDebugConfig f) x # to :: Rep (CDebugConfig f) x -> CDebugConfig f #
Semigroup (CDebugConfig Option) Source #
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 #
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 #
Methods mempty :: CDebugConfig Option # mappend :: CDebugConfig Option -> CDebugConfig Option -> CDebugConfig Option # mconcat :: [CDebugConfig Option] -> CDebugConfig Option #
type Rep (CDebugConfig f) Source #
type Rep (CDebugConfig f) = D1 * (MetaData "CDebugConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-LQfkzb1o8NR2qnt27g7r0g" False) (C1 * (MetaCons "DebugConfig" PrefixI True) ((::) ((::) ((::) (S1 * (MetaSel (Just Symbol "_dconf_dump_config") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) ((::) (S1 * (MetaSel (Just Symbol "_dconf_dump_annotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) (S1 * (MetaSel (Just Symbol "_dconf_dump_ast_unknown") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))))) ((::) (S1 * (MetaSel (Just Symbol "_dconf_dump_ast_full") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) ((::) (S1 * (MetaSel (Just Symbol "_dconf_dump_bridoc_raw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) (S1 * (MetaSel (Just Symbol "_dconf_dump_bridoc_simpl_alt") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool))))))) ((::) ((::) (S1 * (MetaSel (Just Symbol "_dconf_dump_bridoc_simpl_floating") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) ((::) (S1 * (MetaSel (Just Symbol "_dconf_dump_bridoc_simpl_par") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) (S1 * (MetaSel (Just Symbol "_dconf_dump_bridoc_simpl_columns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))))) ((::) (S1 * (MetaSel (Just Symbol "_dconf_dump_bridoc_simpl_indent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) ((::) (S1 * (MetaSel (Just Symbol "_dconf_dump_bridoc_final") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) (S1 * (MetaSel (Just Symbol "_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)
_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)

Instances

CZipWith CLayoutConfig Source #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CLayoutConfig g -> CLayoutConfig h -> CLayoutConfig i #
Data (CLayoutConfig Identity) Source #
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 #
Methods showsPrec :: Int -> CLayoutConfig Option -> ShowS # show :: CLayoutConfig Option -> String # showList :: [CLayoutConfig Option] -> ShowS #
Show (CLayoutConfig Identity) Source #
Methods showsPrec :: Int -> CLayoutConfig Identity -> ShowS # show :: CLayoutConfig Identity -> String # showList :: [CLayoutConfig Identity] -> ShowS #
Generic (CLayoutConfig f) Source #
Associated Types type Rep (CLayoutConfig f) :: * -> * # Methods from :: CLayoutConfig f -> Rep (CLayoutConfig f) x # to :: Rep (CLayoutConfig f) x -> CLayoutConfig f #
Semigroup (CLayoutConfig Option) Source #
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 #
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 #
Methods mempty :: CLayoutConfig Option # mappend :: CLayoutConfig Option -> CLayoutConfig Option -> CLayoutConfig Option # mconcat :: [CLayoutConfig Option] -> CLayoutConfig Option #
type Rep (CLayoutConfig f) Source #
type Rep (CLayoutConfig f) = D1 * (MetaData "CLayoutConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-LQfkzb1o8NR2qnt27g7r0g" False) (C1 * (MetaCons "LayoutConfig" PrefixI True) ((::) ((::) ((::) (S1 * (MetaSel (Just Symbol "_lconfig_cols") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Int)))) (S1 * (MetaSel (Just Symbol "_lconfig_indentPolicy") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last IndentPolicy))))) ((::) (S1 * (MetaSel (Just Symbol "_lconfig_indentAmount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Int)))) ((::) (S1 * (MetaSel (Just Symbol "_lconfig_indentWhereSpecial") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) (S1 * (MetaSel (Just Symbol "_lconfig_indentListSpecial") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool))))))) ((::) ((::) (S1 * (MetaSel (Just Symbol "_lconfig_importColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Int)))) ((::) (S1 * (MetaSel (Just Symbol "_lconfig_altChooser") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last AltChooser)))) (S1 * (MetaSel (Just Symbol "_lconfig_columnAlignMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last ColumnAlignMode)))))) ((::) (S1 * (MetaSel (Just Symbol "_lconfig_alignmentLimit") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Int)))) ((::) (S1 * (MetaSel (Just Symbol "_lconfig_alignmentBreakOnMultiline") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) (S1 * (MetaSel (Just Symbol "_lconfig_hangingTypeSignature") 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

CZipWith CErrorHandlingConfig Source #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CErrorHandlingConfig g -> CErrorHandlingConfig h -> CErrorHandlingConfig i #
Data (CErrorHandlingConfig Identity) Source #
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 #
Methods showsPrec :: Int -> CErrorHandlingConfig Option -> ShowS # show :: CErrorHandlingConfig Option -> String # showList :: [CErrorHandlingConfig Option] -> ShowS #
Show (CErrorHandlingConfig Identity) Source #
Methods showsPrec :: Int -> CErrorHandlingConfig Identity -> ShowS # show :: CErrorHandlingConfig Identity -> String # showList :: [CErrorHandlingConfig Identity] -> ShowS #
Generic (CErrorHandlingConfig f) Source #
Associated Types type Rep (CErrorHandlingConfig f) :: * -> * # Methods from :: CErrorHandlingConfig f -> Rep (CErrorHandlingConfig f) x # to :: Rep (CErrorHandlingConfig f) x -> CErrorHandlingConfig f #
Semigroup (CErrorHandlingConfig Option) Source #
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 #
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 #
Methods mempty :: CErrorHandlingConfig Option # mappend :: CErrorHandlingConfig Option -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option # mconcat :: [CErrorHandlingConfig Option] -> CErrorHandlingConfig Option #
type Rep (CErrorHandlingConfig f) Source #
type Rep (CErrorHandlingConfig f) = D1 * (MetaData "CErrorHandlingConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-LQfkzb1o8NR2qnt27g7r0g" False) (C1 * (MetaCons "ErrorHandlingConfig" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_econf_produceOutputOnErrors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))) (S1 * (MetaSel (Just Symbol "_econf_Werror") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool))))) ((::) (S1 * (MetaSel (Just Symbol "_econf_ExactPrintFallback") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last ExactPrintFallbackMode)))) (S1 * (MetaSel (Just Symbol "_econf_omit_output_valid_check") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last Bool)))))))

data CForwardOptions f Source #

Constructors

ForwardOptions
Fields _options_ghc :: f [String]

Instances

CZipWith CForwardOptions Source #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CForwardOptions g -> CForwardOptions h -> CForwardOptions i #
Data (CForwardOptions Identity) Source #
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 #
Methods showsPrec :: Int -> CForwardOptions Option -> ShowS # show :: CForwardOptions Option -> String # showList :: [CForwardOptions Option] -> ShowS #
Show (CForwardOptions Identity) Source #
Methods showsPrec :: Int -> CForwardOptions Identity -> ShowS # show :: CForwardOptions Identity -> String # showList :: [CForwardOptions Identity] -> ShowS #
Generic (CForwardOptions f) Source #
Associated Types type Rep (CForwardOptions f) :: * -> * # Methods from :: CForwardOptions f -> Rep (CForwardOptions f) x # to :: Rep (CForwardOptions f) x -> CForwardOptions f #
Semigroup (CForwardOptions Option) Source #
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 #
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 #
Methods mempty :: CForwardOptions Option # mappend :: CForwardOptions Option -> CForwardOptions Option -> CForwardOptions Option # mconcat :: [CForwardOptions Option] -> CForwardOptions Option #
type Rep (CForwardOptions f) Source #
type Rep (CForwardOptions f) = D1 * (MetaData "CForwardOptions" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-LQfkzb1o8NR2qnt27g7r0g" False) (C1 * (MetaCons "ForwardOptions" PrefixI True) (S1 * (MetaSel (Just Symbol "_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

CZipWith CPreProcessorConfig Source #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CPreProcessorConfig g -> CPreProcessorConfig h -> CPreProcessorConfig i #
Data (CPreProcessorConfig Identity) Source #
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 #
Methods showsPrec :: Int -> CPreProcessorConfig Option -> ShowS # show :: CPreProcessorConfig Option -> String # showList :: [CPreProcessorConfig Option] -> ShowS #
Show (CPreProcessorConfig Identity) Source #
Methods showsPrec :: Int -> CPreProcessorConfig Identity -> ShowS # show :: CPreProcessorConfig Identity -> String # showList :: [CPreProcessorConfig Identity] -> ShowS #
Generic (CPreProcessorConfig f) Source #
Associated Types type Rep (CPreProcessorConfig f) :: * -> * # Methods from :: CPreProcessorConfig f -> Rep (CPreProcessorConfig f) x # to :: Rep (CPreProcessorConfig f) x -> CPreProcessorConfig f #
Semigroup (CPreProcessorConfig Option) Source #
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 #
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 #
Methods mempty :: CPreProcessorConfig Option # mappend :: CPreProcessorConfig Option -> CPreProcessorConfig Option -> CPreProcessorConfig Option # mconcat :: [CPreProcessorConfig Option] -> CPreProcessorConfig Option #
type Rep (CPreProcessorConfig f) Source #
type Rep (CPreProcessorConfig f) = D1 * (MetaData "CPreProcessorConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-LQfkzb1o8NR2qnt27g7r0g" False) (C1 * (MetaCons "PreProcessorConfig" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_ppconf_CPPMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (Last CPPMode)))) (S1 * (MetaSel (Just Symbol "_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
LayoutWarning String	some warning
Data ast => ErrorUnknownNode String ast	internal error: pretty-printing is not implemented for type of node in the syntax-tree
ErrorOutputCheck	checking the output for syntactic validity failed