Safe Haskell	None
Language	Haskell2010

Language.Haskell.Brittany.Internal.Config.Types

Documentation

confUnpack :: Coercible a b => Identity a -> b Source #

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 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 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 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 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)))))))

type DebugConfig = CDebugConfig Identity Source #

type LayoutConfig = CLayoutConfig Identity Source #

type ForwardOptions = CForwardOptions Identity Source #

type ErrorHandlingConfig = CErrorHandlingConfig Identity Source #

type Config = CConfig Identity Source #

data IndentPolicy Source #

Constructors

IndentPolicyLeft
IndentPolicyFree
IndentPolicyMultiple

Instances

Data IndentPolicy Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IndentPolicy -> c IndentPolicy # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IndentPolicy # toConstr :: IndentPolicy -> Constr # dataTypeOf :: IndentPolicy -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c IndentPolicy) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IndentPolicy) # gmapT :: (forall b. Data b => b -> b) -> IndentPolicy -> IndentPolicy # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IndentPolicy -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IndentPolicy -> r # gmapQ :: (forall d. Data d => d -> u) -> IndentPolicy -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> IndentPolicy -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> IndentPolicy -> m IndentPolicy # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IndentPolicy -> m IndentPolicy # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IndentPolicy -> m IndentPolicy #
Show IndentPolicy Source #
Methods showsPrec :: Int -> IndentPolicy -> ShowS # show :: IndentPolicy -> String # showList :: [IndentPolicy] -> ShowS #
Generic IndentPolicy Source #
Associated Types type Rep IndentPolicy :: * -> * # Methods from :: IndentPolicy -> Rep IndentPolicy x # to :: Rep IndentPolicy x -> IndentPolicy #
type Rep IndentPolicy Source #
type Rep IndentPolicy = D1 (MetaData "IndentPolicy" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.8.0.3-eyztTfIAhe8P8eKq6LZ3s" False) ((:+:) (C1 (MetaCons "IndentPolicyLeft" PrefixI False) U1) ((:+:) (C1 (MetaCons "IndentPolicyFree" PrefixI False) U1) (C1 (MetaCons "IndentPolicyMultiple" PrefixI False) U1)))

data AltChooser Source #

Constructors

AltChooserSimpleQuick
AltChooserShallowBest
AltChooserBoundedSearch Int

Instances

Data AltChooser Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AltChooser -> c AltChooser # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AltChooser # toConstr :: AltChooser -> Constr # dataTypeOf :: AltChooser -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c AltChooser) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AltChooser) # gmapT :: (forall b. Data b => b -> b) -> AltChooser -> AltChooser # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AltChooser -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AltChooser -> r # gmapQ :: (forall d. Data d => d -> u) -> AltChooser -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AltChooser -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AltChooser -> m AltChooser # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AltChooser -> m AltChooser # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AltChooser -> m AltChooser #
Show AltChooser Source #
Methods showsPrec :: Int -> AltChooser -> ShowS # show :: AltChooser -> String # showList :: [AltChooser] -> ShowS #
Generic AltChooser Source #
Associated Types type Rep AltChooser :: * -> * # Methods from :: AltChooser -> Rep AltChooser x # to :: Rep AltChooser x -> AltChooser #
type Rep AltChooser Source #
type Rep AltChooser = D1 (MetaData "AltChooser" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.8.0.3-eyztTfIAhe8P8eKq6LZ3s" False) ((:+:) (C1 (MetaCons "AltChooserSimpleQuick" PrefixI False) U1) ((:+:) (C1 (MetaCons "AltChooserShallowBest" PrefixI False) U1) (C1 (MetaCons "AltChooserBoundedSearch" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))))

data ColumnAlignMode Source #

Constructors

ColumnAlignModeDisabled	Make no column alignments whatsoever
ColumnAlignModeUnanimously	Make column alignments only if it does not cause overflow for any of the affected lines.
ColumnAlignModeMajority Float	If at least (ratio::Float) of the aligned elements have sufficient space for the alignment, act like ColumnAlignModeAnimously; otherwise act like ColumnAlignModeDisabled.
ColumnAlignModeAnimouslyScale Int	Scale back columns to some degree if their sum leads to overflow. This is done in a linear fashion. The Int specifies additional columns to be added to column maximum for scaling calculation purposes.
ColumnAlignModeAnimously	Decide on a case-by-case basis if alignment would cause overflow. If it does, cancel all alignments for this (nested) column description. ColumnAlignModeAnimouslySome -- potentially to implement
ColumnAlignModeAlways	Always respect column alignments, even if it makes stuff overflow.

Instances

Data ColumnAlignMode Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ColumnAlignMode -> c ColumnAlignMode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ColumnAlignMode # toConstr :: ColumnAlignMode -> Constr # dataTypeOf :: ColumnAlignMode -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ColumnAlignMode) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ColumnAlignMode) # gmapT :: (forall b. Data b => b -> b) -> ColumnAlignMode -> ColumnAlignMode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ColumnAlignMode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ColumnAlignMode -> r # gmapQ :: (forall d. Data d => d -> u) -> ColumnAlignMode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ColumnAlignMode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ColumnAlignMode -> m ColumnAlignMode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnAlignMode -> m ColumnAlignMode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnAlignMode -> m ColumnAlignMode #
Show ColumnAlignMode Source #
Methods showsPrec :: Int -> ColumnAlignMode -> ShowS # show :: ColumnAlignMode -> String # showList :: [ColumnAlignMode] -> ShowS #
Generic ColumnAlignMode Source #
Associated Types type Rep ColumnAlignMode :: * -> * # Methods from :: ColumnAlignMode -> Rep ColumnAlignMode x # to :: Rep ColumnAlignMode x -> ColumnAlignMode #
type Rep ColumnAlignMode Source #
type Rep ColumnAlignMode = D1 (MetaData "ColumnAlignMode" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.8.0.3-eyztTfIAhe8P8eKq6LZ3s" False) ((:+:) ((:+:) (C1 (MetaCons "ColumnAlignModeDisabled" PrefixI False) U1) ((:+:) (C1 (MetaCons "ColumnAlignModeUnanimously" PrefixI False) U1) (C1 (MetaCons "ColumnAlignModeMajority" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Float))))) ((:+:) (C1 (MetaCons "ColumnAlignModeAnimouslyScale" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) ((:+:) (C1 (MetaCons "ColumnAlignModeAnimously" PrefixI False) U1) (C1 (MetaCons "ColumnAlignModeAlways" PrefixI False) U1))))

data CPPMode Source #

Constructors

CPPModeAbort
CPPModeWarn
CPPModeNowarn

Instances

Data CPPMode Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CPPMode -> c CPPMode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CPPMode # toConstr :: CPPMode -> Constr # dataTypeOf :: CPPMode -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c CPPMode) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CPPMode) # gmapT :: (forall b. Data b => b -> b) -> CPPMode -> CPPMode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CPPMode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CPPMode -> r # gmapQ :: (forall d. Data d => d -> u) -> CPPMode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CPPMode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CPPMode -> m CPPMode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CPPMode -> m CPPMode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CPPMode -> m CPPMode #
Show CPPMode Source #
Methods showsPrec :: Int -> CPPMode -> ShowS # show :: CPPMode -> String # showList :: [CPPMode] -> ShowS #
Generic CPPMode Source #
Associated Types type Rep CPPMode :: * -> * # Methods from :: CPPMode -> Rep CPPMode x # to :: Rep CPPMode x -> CPPMode #
type Rep CPPMode Source #
type Rep CPPMode = D1 (MetaData "CPPMode" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.8.0.3-eyztTfIAhe8P8eKq6LZ3s" False) ((:+:) (C1 (MetaCons "CPPModeAbort" PrefixI False) U1) ((:+:) (C1 (MetaCons "CPPModeWarn" PrefixI False) U1) (C1 (MetaCons "CPPModeNowarn" PrefixI False) U1)))

data ExactPrintFallbackMode Source #

Constructors

ExactPrintFallbackModeNever
ExactPrintFallbackModeInline
ExactPrintFallbackModeRisky

Instances

Data ExactPrintFallbackMode Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExactPrintFallbackMode -> c ExactPrintFallbackMode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExactPrintFallbackMode # toConstr :: ExactPrintFallbackMode -> Constr # dataTypeOf :: ExactPrintFallbackMode -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ExactPrintFallbackMode) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExactPrintFallbackMode) # gmapT :: (forall b. Data b => b -> b) -> ExactPrintFallbackMode -> ExactPrintFallbackMode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExactPrintFallbackMode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExactPrintFallbackMode -> r # gmapQ :: (forall d. Data d => d -> u) -> ExactPrintFallbackMode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExactPrintFallbackMode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExactPrintFallbackMode -> m ExactPrintFallbackMode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExactPrintFallbackMode -> m ExactPrintFallbackMode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExactPrintFallbackMode -> m ExactPrintFallbackMode #
Show ExactPrintFallbackMode Source #
Methods showsPrec :: Int -> ExactPrintFallbackMode -> ShowS # show :: ExactPrintFallbackMode -> String # showList :: [ExactPrintFallbackMode] -> ShowS #
Generic ExactPrintFallbackMode Source #
Associated Types type Rep ExactPrintFallbackMode :: * -> * # Methods from :: ExactPrintFallbackMode -> Rep ExactPrintFallbackMode x # to :: Rep ExactPrintFallbackMode x -> ExactPrintFallbackMode #
type Rep ExactPrintFallbackMode Source #
type Rep ExactPrintFallbackMode = D1 (MetaData "ExactPrintFallbackMode" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.8.0.3-eyztTfIAhe8P8eKq6LZ3s" False) ((:+:) (C1 (MetaCons "ExactPrintFallbackModeNever" PrefixI False) U1) ((:+:) (C1 (MetaCons "ExactPrintFallbackModeInline" PrefixI False) U1) (C1 (MetaCons "ExactPrintFallbackModeRisky" PrefixI False) U1)))

cMap :: CZipWith k => (forall a. f a -> g a) -> k f -> k g Source #