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.

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 Identity) Source #
Methods showsPrec :: Int -> CConfig Identity -> ShowS # show :: CConfig Identity -> String # showList :: [CConfig Identity] -> ShowS #
Show (CConfig Option) Source #
Methods showsPrec :: Int -> CConfig Option -> ShowS # show :: CConfig Option -> String # showList :: [CConfig Option] -> 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 Identity) Source #
Methods (<>) :: CConfig Identity -> CConfig Identity -> CConfig Identity # sconcat :: NonEmpty (CConfig Identity) -> CConfig Identity # stimes :: Integral b => b -> CConfig Identity -> CConfig Identity #
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 #
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.8.0.3-eyztTfIAhe8P8eKq6LZ3s" 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 Identity) Source #
Methods showsPrec :: Int -> CDebugConfig Identity -> ShowS # show :: CDebugConfig Identity -> String # showList :: [CDebugConfig Identity] -> ShowS #
Show (CDebugConfig Option) Source #
Methods showsPrec :: Int -> CDebugConfig Option -> ShowS # show :: CDebugConfig Option -> String # showList :: [CDebugConfig Option] -> 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 Identity) Source #
Methods (<>) :: CDebugConfig Identity -> CDebugConfig Identity -> CDebugConfig Identity # sconcat :: NonEmpty (CDebugConfig Identity) -> CDebugConfig Identity # stimes :: Integral b => b -> CDebugConfig Identity -> CDebugConfig Identity #
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 #
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.8.0.3-eyztTfIAhe8P8eKq6LZ3s" 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)

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 Identity) Source #
Methods showsPrec :: Int -> CLayoutConfig Identity -> ShowS # show :: CLayoutConfig Identity -> String # showList :: [CLayoutConfig Identity] -> ShowS #
Show (CLayoutConfig Option) Source #
Methods showsPrec :: Int -> CLayoutConfig Option -> ShowS # show :: CLayoutConfig Option -> String # showList :: [CLayoutConfig Option] -> 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 Identity) Source #
Methods (<>) :: CLayoutConfig Identity -> CLayoutConfig Identity -> CLayoutConfig Identity # sconcat :: NonEmpty (CLayoutConfig Identity) -> CLayoutConfig Identity # stimes :: Integral b => b -> CLayoutConfig Identity -> CLayoutConfig Identity #
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 #
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.8.0.3-eyztTfIAhe8P8eKq6LZ3s" 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)))))))))

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 Identity) Source #
Methods showsPrec :: Int -> CErrorHandlingConfig Identity -> ShowS # show :: CErrorHandlingConfig Identity -> String # showList :: [CErrorHandlingConfig Identity] -> ShowS #
Show (CErrorHandlingConfig Option) Source #
Methods showsPrec :: Int -> CErrorHandlingConfig Option -> ShowS # show :: CErrorHandlingConfig Option -> String # showList :: [CErrorHandlingConfig Option] -> 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 Identity) Source #
Methods (<>) :: CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity # sconcat :: NonEmpty (CErrorHandlingConfig Identity) -> CErrorHandlingConfig Identity # stimes :: Integral b => b -> CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity #
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 #
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.8.0.3-eyztTfIAhe8P8eKq6LZ3s" 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 Identity) Source #
Methods showsPrec :: Int -> CForwardOptions Identity -> ShowS # show :: CForwardOptions Identity -> String # showList :: [CForwardOptions Identity] -> ShowS #
Show (CForwardOptions Option) Source #
Methods showsPrec :: Int -> CForwardOptions Option -> ShowS # show :: CForwardOptions Option -> String # showList :: [CForwardOptions Option] -> 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 Identity) Source #
Methods (<>) :: CForwardOptions Identity -> CForwardOptions Identity -> CForwardOptions Identity # sconcat :: NonEmpty (CForwardOptions Identity) -> CForwardOptions Identity # stimes :: Integral b => b -> CForwardOptions Identity -> CForwardOptions Identity #
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 #
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.8.0.3-eyztTfIAhe8P8eKq6LZ3s" 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 Identity) Source #
Methods showsPrec :: Int -> CPreProcessorConfig Identity -> ShowS # show :: CPreProcessorConfig Identity -> String # showList :: [CPreProcessorConfig Identity] -> ShowS #
Show (CPreProcessorConfig Option) Source #
Methods showsPrec :: Int -> CPreProcessorConfig Option -> ShowS # show :: CPreProcessorConfig Option -> String # showList :: [CPreProcessorConfig Option] -> 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 Identity) Source #
Methods (<>) :: CPreProcessorConfig Identity -> CPreProcessorConfig Identity -> CPreProcessorConfig Identity # sconcat :: NonEmpty (CPreProcessorConfig Identity) -> CPreProcessorConfig Identity # stimes :: Integral b => b -> CPreProcessorConfig Identity -> CPreProcessorConfig Identity #
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 #
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.8.0.3-eyztTfIAhe8P8eKq6LZ3s" 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