Safe Haskell	None
Language	Haskell2010

Language.Haskell.Brittany.Internal.Config.Types

Documentation

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

data CDebugConfig f #

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 #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CDebugConfig g -> CDebugConfig h -> CDebugConfig i #
Data (CDebugConfig Identity) #
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) #
Methods showsPrec :: Int -> CDebugConfig Option -> ShowS # show :: CDebugConfig Option -> String # showList :: [CDebugConfig Option] -> ShowS #
Show (CDebugConfig Identity) #
Methods showsPrec :: Int -> CDebugConfig Identity -> ShowS # show :: CDebugConfig Identity -> String # showList :: [CDebugConfig Identity] -> ShowS #
Generic (CDebugConfig f) #
Associated Types type Rep (CDebugConfig f) :: * -> * # Methods from :: CDebugConfig f -> Rep (CDebugConfig f) x # to :: Rep (CDebugConfig f) x -> CDebugConfig f #
Semigroup (CDebugConfig Option) #
Methods (<>) :: CDebugConfig Option -> CDebugConfig Option -> CDebugConfig Option # sconcat :: NonEmpty (CDebugConfig Option) -> CDebugConfig Option # stimes :: Integral b => b -> CDebugConfig Option -> CDebugConfig Option #
Semigroup (CDebugConfig Identity) #
Methods (<>) :: CDebugConfig Identity -> CDebugConfig Identity -> CDebugConfig Identity # sconcat :: NonEmpty (CDebugConfig Identity) -> CDebugConfig Identity # stimes :: Integral b => b -> CDebugConfig Identity -> CDebugConfig Identity #
Monoid (CDebugConfig Option) #
Methods mempty :: CDebugConfig Option # mappend :: CDebugConfig Option -> CDebugConfig Option -> CDebugConfig Option # mconcat :: [CDebugConfig Option] -> CDebugConfig Option #
type Rep (CDebugConfig f) #
type Rep (CDebugConfig f) = D1 * (MetaData "CDebugConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" 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 #

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 #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CLayoutConfig g -> CLayoutConfig h -> CLayoutConfig i #
Data (CLayoutConfig Identity) #
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) #
Methods showsPrec :: Int -> CLayoutConfig Option -> ShowS # show :: CLayoutConfig Option -> String # showList :: [CLayoutConfig Option] -> ShowS #
Show (CLayoutConfig Identity) #
Methods showsPrec :: Int -> CLayoutConfig Identity -> ShowS # show :: CLayoutConfig Identity -> String # showList :: [CLayoutConfig Identity] -> ShowS #
Generic (CLayoutConfig f) #
Associated Types type Rep (CLayoutConfig f) :: * -> * # Methods from :: CLayoutConfig f -> Rep (CLayoutConfig f) x # to :: Rep (CLayoutConfig f) x -> CLayoutConfig f #
Semigroup (CLayoutConfig Option) #
Methods (<>) :: CLayoutConfig Option -> CLayoutConfig Option -> CLayoutConfig Option # sconcat :: NonEmpty (CLayoutConfig Option) -> CLayoutConfig Option # stimes :: Integral b => b -> CLayoutConfig Option -> CLayoutConfig Option #
Semigroup (CLayoutConfig Identity) #
Methods (<>) :: CLayoutConfig Identity -> CLayoutConfig Identity -> CLayoutConfig Identity # sconcat :: NonEmpty (CLayoutConfig Identity) -> CLayoutConfig Identity # stimes :: Integral b => b -> CLayoutConfig Identity -> CLayoutConfig Identity #
Monoid (CLayoutConfig Option) #
Methods mempty :: CLayoutConfig Option # mappend :: CLayoutConfig Option -> CLayoutConfig Option -> CLayoutConfig Option # mconcat :: [CLayoutConfig Option] -> CLayoutConfig Option #
type Rep (CLayoutConfig f) #
type Rep (CLayoutConfig f) = D1 * (MetaData "CLayoutConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" 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 CForwardOptions f #

Constructors

ForwardOptions
Fields _options_ghc :: f [String]

Instances

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

data CErrorHandlingConfig f #

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 #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CErrorHandlingConfig g -> CErrorHandlingConfig h -> CErrorHandlingConfig i #
Data (CErrorHandlingConfig Identity) #
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) #
Methods showsPrec :: Int -> CErrorHandlingConfig Option -> ShowS # show :: CErrorHandlingConfig Option -> String # showList :: [CErrorHandlingConfig Option] -> ShowS #
Show (CErrorHandlingConfig Identity) #
Methods showsPrec :: Int -> CErrorHandlingConfig Identity -> ShowS # show :: CErrorHandlingConfig Identity -> String # showList :: [CErrorHandlingConfig Identity] -> ShowS #
Generic (CErrorHandlingConfig f) #
Associated Types type Rep (CErrorHandlingConfig f) :: * -> * # Methods from :: CErrorHandlingConfig f -> Rep (CErrorHandlingConfig f) x # to :: Rep (CErrorHandlingConfig f) x -> CErrorHandlingConfig f #
Semigroup (CErrorHandlingConfig Option) #
Methods (<>) :: CErrorHandlingConfig Option -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option # sconcat :: NonEmpty (CErrorHandlingConfig Option) -> CErrorHandlingConfig Option # stimes :: Integral b => b -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option #
Semigroup (CErrorHandlingConfig Identity) #
Methods (<>) :: CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity # sconcat :: NonEmpty (CErrorHandlingConfig Identity) -> CErrorHandlingConfig Identity # stimes :: Integral b => b -> CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity #
Monoid (CErrorHandlingConfig Option) #
Methods mempty :: CErrorHandlingConfig Option # mappend :: CErrorHandlingConfig Option -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option # mconcat :: [CErrorHandlingConfig Option] -> CErrorHandlingConfig Option #
type Rep (CErrorHandlingConfig f) #
type Rep (CErrorHandlingConfig f) = D1 * (MetaData "CErrorHandlingConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" 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 #

Constructors

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

Instances

CZipWith CPreProcessorConfig #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CPreProcessorConfig g -> CPreProcessorConfig h -> CPreProcessorConfig i #
Data (CPreProcessorConfig Identity) #
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) #
Methods showsPrec :: Int -> CPreProcessorConfig Option -> ShowS # show :: CPreProcessorConfig Option -> String # showList :: [CPreProcessorConfig Option] -> ShowS #
Show (CPreProcessorConfig Identity) #
Methods showsPrec :: Int -> CPreProcessorConfig Identity -> ShowS # show :: CPreProcessorConfig Identity -> String # showList :: [CPreProcessorConfig Identity] -> ShowS #
Generic (CPreProcessorConfig f) #
Associated Types type Rep (CPreProcessorConfig f) :: * -> * # Methods from :: CPreProcessorConfig f -> Rep (CPreProcessorConfig f) x # to :: Rep (CPreProcessorConfig f) x -> CPreProcessorConfig f #
Semigroup (CPreProcessorConfig Option) #
Methods (<>) :: CPreProcessorConfig Option -> CPreProcessorConfig Option -> CPreProcessorConfig Option # sconcat :: NonEmpty (CPreProcessorConfig Option) -> CPreProcessorConfig Option # stimes :: Integral b => b -> CPreProcessorConfig Option -> CPreProcessorConfig Option #
Semigroup (CPreProcessorConfig Identity) #
Methods (<>) :: CPreProcessorConfig Identity -> CPreProcessorConfig Identity -> CPreProcessorConfig Identity # sconcat :: NonEmpty (CPreProcessorConfig Identity) -> CPreProcessorConfig Identity # stimes :: Integral b => b -> CPreProcessorConfig Identity -> CPreProcessorConfig Identity #
Monoid (CPreProcessorConfig Option) #
Methods mempty :: CPreProcessorConfig Option # mappend :: CPreProcessorConfig Option -> CPreProcessorConfig Option -> CPreProcessorConfig Option # mconcat :: [CPreProcessorConfig Option] -> CPreProcessorConfig Option #
type Rep (CPreProcessorConfig f) #
type Rep (CPreProcessorConfig f) = D1 * (MetaData "CPreProcessorConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" 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 #

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 #
Methods cZipWith :: (forall a. g a -> h a -> i a) -> CConfig g -> CConfig h -> CConfig i #
Data (CConfig Identity) #
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) #
Methods showsPrec :: Int -> CConfig Option -> ShowS # show :: CConfig Option -> String # showList :: [CConfig Option] -> ShowS #
Show (CConfig Identity) #
Methods showsPrec :: Int -> CConfig Identity -> ShowS # show :: CConfig Identity -> String # showList :: [CConfig Identity] -> ShowS #
Generic (CConfig f) #
Associated Types type Rep (CConfig f) :: * -> * # Methods from :: CConfig f -> Rep (CConfig f) x # to :: Rep (CConfig f) x -> CConfig f #
Semigroup (CConfig Option) #
Methods (<>) :: CConfig Option -> CConfig Option -> CConfig Option # sconcat :: NonEmpty (CConfig Option) -> CConfig Option # stimes :: Integral b => b -> CConfig Option -> CConfig Option #
Semigroup (CConfig Identity) #
Methods (<>) :: CConfig Identity -> CConfig Identity -> CConfig Identity # sconcat :: NonEmpty (CConfig Identity) -> CConfig Identity # stimes :: Integral b => b -> CConfig Identity -> CConfig Identity #
Monoid (CConfig Option) #
Methods mempty :: CConfig Option # mappend :: CConfig Option -> CConfig Option -> CConfig Option # mconcat :: [CConfig Option] -> CConfig Option #
type Rep (CConfig f) #
type Rep (CConfig f) = D1 * (MetaData "CConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" 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 #

type LayoutConfig = CLayoutConfig Identity #

type ForwardOptions = CForwardOptions Identity #

type ErrorHandlingConfig = CErrorHandlingConfig Identity #

type Config = CConfig Identity #

data IndentPolicy #

Constructors

IndentPolicyLeft
IndentPolicyFree
IndentPolicyMultiple

Instances

Eq IndentPolicy #
Methods (==) :: IndentPolicy -> IndentPolicy -> Bool # (/=) :: IndentPolicy -> IndentPolicy -> Bool #
Data IndentPolicy #
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 #
Methods showsPrec :: Int -> IndentPolicy -> ShowS # show :: IndentPolicy -> String # showList :: [IndentPolicy] -> ShowS #
Generic IndentPolicy #
Associated Types type Rep IndentPolicy :: * -> * # Methods from :: IndentPolicy -> Rep IndentPolicy x # to :: Rep IndentPolicy x -> IndentPolicy #
type Rep IndentPolicy #
type Rep IndentPolicy = D1 * (MetaData "IndentPolicy" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" False) ((:+:) * (C1 * (MetaCons "IndentPolicyLeft" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "IndentPolicyFree" PrefixI False) (U1 )) (C1 (MetaCons "IndentPolicyMultiple" PrefixI False) (U1 *))))

data AltChooser #

Constructors

AltChooserSimpleQuick
AltChooserShallowBest
AltChooserBoundedSearch Int

Instances

Data AltChooser #
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 #
Methods showsPrec :: Int -> AltChooser -> ShowS # show :: AltChooser -> String # showList :: [AltChooser] -> ShowS #
Generic AltChooser #
Associated Types type Rep AltChooser :: * -> * # Methods from :: AltChooser -> Rep AltChooser x # to :: Rep AltChooser x -> AltChooser #
type Rep AltChooser #
type Rep AltChooser = D1 * (MetaData "AltChooser" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" 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 #

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 #
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 #
Methods showsPrec :: Int -> ColumnAlignMode -> ShowS # show :: ColumnAlignMode -> String # showList :: [ColumnAlignMode] -> ShowS #
Generic ColumnAlignMode #
Associated Types type Rep ColumnAlignMode :: * -> * # Methods from :: ColumnAlignMode -> Rep ColumnAlignMode x # to :: Rep ColumnAlignMode x -> ColumnAlignMode #
type Rep ColumnAlignMode #
type Rep ColumnAlignMode = D1 * (MetaData "ColumnAlignMode" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" 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 #

Constructors

CPPModeAbort
CPPModeWarn
CPPModeNowarn

Instances

Data CPPMode #
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 #
Methods showsPrec :: Int -> CPPMode -> ShowS # show :: CPPMode -> String # showList :: [CPPMode] -> ShowS #
Generic CPPMode #
Associated Types type Rep CPPMode :: * -> * # Methods from :: CPPMode -> Rep CPPMode x # to :: Rep CPPMode x -> CPPMode #
type Rep CPPMode #
type Rep CPPMode = D1 * (MetaData "CPPMode" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" False) ((:+:) * (C1 * (MetaCons "CPPModeAbort" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "CPPModeWarn" PrefixI False) (U1 )) (C1 (MetaCons "CPPModeNowarn" PrefixI False) (U1 *))))

data ExactPrintFallbackMode #

Constructors

ExactPrintFallbackModeNever
ExactPrintFallbackModeInline
ExactPrintFallbackModeRisky

Instances

Data ExactPrintFallbackMode #
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 #
Methods showsPrec :: Int -> ExactPrintFallbackMode -> ShowS # show :: ExactPrintFallbackMode -> String # showList :: [ExactPrintFallbackMode] -> ShowS #
Generic ExactPrintFallbackMode #
Associated Types type Rep ExactPrintFallbackMode :: * -> * # Methods from :: ExactPrintFallbackMode -> Rep ExactPrintFallbackMode x # to :: Rep ExactPrintFallbackMode x -> ExactPrintFallbackMode #
type Rep ExactPrintFallbackMode #
type Rep ExactPrintFallbackMode = D1 * (MetaData "ExactPrintFallbackMode" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.9.0.1-IBaf6gG5llN9jLu9mbxj2j" 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 #