Safe Haskell	None
Language	Haskell2010

Language.Haskell.Brittany.Internal.Config

Synopsis

Documentation

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

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

type DebugConfig = CDebugConfig Identity #

type LayoutConfig = CLayoutConfig Identity #

type Config = CConfig Identity #

configParser :: CmdParser Identity out (CConfig Option) #

staticDefaultConfig :: Config #

forwardOptionsSyntaxExtsEnabled :: ForwardOptions #

readConfig :: MonadIO m => FilePath -> MaybeT m (Maybe (CConfig Option)) #

Reads a config from a file. If the file does not exist, returns Nothing. If the file exists and parsing fails, prints to stderr and aborts the MaybeT. Otherwise succeed via Just. If the second parameter is True and the file does not exist, writes the staticDefaultConfig to the file.

writeDefaultConfig :: MonadIO m => FilePath -> m () #

showConfigYaml :: Config -> String #