Language.Haskell.Brittany

Documentation

parsePrintModule :: Config -> Text -> IO (Either [BrittanyError] Text)

Exposes the transformation in an pseudo-pure fashion. The signature contains IO due to the GHC API not exposing a pure parsing function, but there should be no observable effects.

Note that this function ignores/resets all config values regarding debugging, i.e. it will never use trace/write to stderr.

Note that the ghc parsing function used internally currently is wrapped in mask_, so cannot be killed easily. If you don't control the input, you may wish to put some proper upper bound on the input's size as a timeout won't do.

staticDefaultConfig :: Config

forwardOptionsSyntaxExtsEnabled :: ForwardOptions

userConfigPath :: IO FilePath

Looks for a user-global config file and return its path. If there is no global config in a system, one will be created.

findLocalConfigPath :: FilePath -> IO (Maybe FilePath)

Searches for a local (per-project) brittany config starting from a given directory

readConfigs

Arguments

:: CConfig Option

Explicit options, take highest priority

-> [FilePath]

List of config files to load and merge, highest priority first

-> MaybeT IO Config

Reads specified configs.

readConfigsWithUserConfig

Arguments

:: CConfig Option

Explicit options, take highest priority

-> [FilePath]

List of config files to load and merge, highest priority first

-> MaybeT IO Config

Reads provided configs but also applies the user default configuration (with lowest priority)

type Config = CConfig Identity

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
• _conf_roundtrip_exactprint_only :: f (Last Bool)

  this field is somewhat of a duplicate of the one in DebugConfig. It is used for per-declaration disabling by the inline config implementation. Could have re-used the existing field, but felt risky to use a "debug" labeled field for non-debug functionality.

• _conf_disable_formatting :: f (Last Bool)

  Used for inline config that disables brittany entirely for this module. Useful for wildcard application (`find -name "*.hs" | xargs brittany --write-mode inplace` or something in that direction).

• _conf_obfuscate :: f (Last Bool)

Instances

CFunctor CConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cMap :: (forall a. f a -> g a) -> CConfig f -> CConfig g

CZipWith CConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cZipWith :: (forall a. g a -> h a -> i a) -> CConfig g -> CConfig h -> CConfig i

Data (CConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CConfig Option -> c (CConfig Option)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CConfig Option)

toConstr :: CConfig Option -> Constr

dataTypeOf :: CConfig Option -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CConfig Option))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CConfig Option))

gmapT :: (forall b. Data b => b -> b) -> CConfig Option -> CConfig Option

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CConfig Option -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CConfig Option -> r

gmapQ :: (forall d. Data d => d -> u) -> CConfig Option -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CConfig Option -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CConfig Option -> m (CConfig Option)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CConfig Option -> m (CConfig Option)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CConfig Option -> m (CConfig Option)

Data (CConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

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 :: forall r r'. (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)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CConfig Option -> ShowS

show :: CConfig Option -> String

showList :: [CConfig Option] -> ShowS

Show (CConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CConfig Identity -> ShowS

show :: CConfig Identity -> String

showList :: [CConfig Identity] -> ShowS

Generic (CConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Associated Types

type Rep (CConfig f) :: Type -> Type

Methods

from :: CConfig f -> Rep (CConfig f) x

to :: Rep (CConfig f) x -> CConfig f

Semigroup (CConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CConfig Option -> CConfig Option -> CConfig Option

sconcat :: NonEmpty (CConfig Option) -> CConfig Option

stimes :: Integral b => b -> CConfig Option -> CConfig Option

Semigroup (CConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CConfig Identity -> CConfig Identity -> CConfig Identity

sconcat :: NonEmpty (CConfig Identity) -> CConfig Identity

stimes :: Integral b => b -> CConfig Identity -> CConfig Identity

Monoid (CConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

mempty :: CConfig Option

mappend :: CConfig Option -> CConfig Option -> CConfig Option

mconcat :: [CConfig Option] -> CConfig Option

ToJSON (CConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CConfig Maybe -> Value

toEncoding :: CConfig Maybe -> Encoding

toJSONList :: [CConfig Maybe] -> Value

toEncodingList :: [CConfig Maybe] -> Encoding

ToJSON (CConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CConfig Option -> Value

toEncoding :: CConfig Option -> Encoding

toJSONList :: [CConfig Option] -> Value

toEncodingList :: [CConfig Option] -> Encoding

FromJSON (CConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CConfig Maybe)

parseJSONList :: Value -> Parser [CConfig Maybe]

FromJSON (CConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CConfig Option)

parseJSONList :: Value -> Parser [CConfig Option]

type Rep (CConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

type Rep (CConfig f) = D1 ('MetaData "CConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.13.1.1-Jy7sLKH71HuBBZp3S53aXI" 'False) (C1 ('MetaCons "Config" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_conf_version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Int))) :*: S1 ('MetaSel ('Just "_conf_debug") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CDebugConfig f))) :*: (S1 ('MetaSel ('Just "_conf_layout") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CLayoutConfig f)) :*: S1 ('MetaSel ('Just "_conf_errorHandling") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CErrorHandlingConfig f)))) :*: ((S1 ('MetaSel ('Just "_conf_forward") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CForwardOptions f)) :*: S1 ('MetaSel ('Just "_conf_preprocessor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CPreProcessorConfig f))) :*: (S1 ('MetaSel ('Just "_conf_roundtrip_exactprint_only") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: (S1 ('MetaSel ('Just "_conf_disable_formatting") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_conf_obfuscate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))))))))

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

CFunctor CDebugConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cMap :: (forall a. f a -> g a) -> CDebugConfig f -> CDebugConfig g

CZipWith CDebugConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cZipWith :: (forall a. g a -> h a -> i a) -> CDebugConfig g -> CDebugConfig h -> CDebugConfig i

Data (CDebugConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CDebugConfig Option -> c (CDebugConfig Option)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CDebugConfig Option)

toConstr :: CDebugConfig Option -> Constr

dataTypeOf :: CDebugConfig Option -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CDebugConfig Option))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CDebugConfig Option))

gmapT :: (forall b. Data b => b -> b) -> CDebugConfig Option -> CDebugConfig Option

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CDebugConfig Option -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CDebugConfig Option -> r

gmapQ :: (forall d. Data d => d -> u) -> CDebugConfig Option -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CDebugConfig Option -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CDebugConfig Option -> m (CDebugConfig Option)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CDebugConfig Option -> m (CDebugConfig Option)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CDebugConfig Option -> m (CDebugConfig Option)

Data (CDebugConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

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 :: forall r r'. (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)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CDebugConfig Option -> ShowS

show :: CDebugConfig Option -> String

showList :: [CDebugConfig Option] -> ShowS

Show (CDebugConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CDebugConfig Identity -> ShowS

show :: CDebugConfig Identity -> String

showList :: [CDebugConfig Identity] -> ShowS

Generic (CDebugConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Associated Types

type Rep (CDebugConfig f) :: Type -> Type

Methods

from :: CDebugConfig f -> Rep (CDebugConfig f) x

to :: Rep (CDebugConfig f) x -> CDebugConfig f

Semigroup (CDebugConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CDebugConfig Option -> CDebugConfig Option -> CDebugConfig Option

sconcat :: NonEmpty (CDebugConfig Option) -> CDebugConfig Option

stimes :: Integral b => b -> CDebugConfig Option -> CDebugConfig Option

Semigroup (CDebugConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CDebugConfig Identity -> CDebugConfig Identity -> CDebugConfig Identity

sconcat :: NonEmpty (CDebugConfig Identity) -> CDebugConfig Identity

stimes :: Integral b => b -> CDebugConfig Identity -> CDebugConfig Identity

Monoid (CDebugConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

mempty :: CDebugConfig Option

mappend :: CDebugConfig Option -> CDebugConfig Option -> CDebugConfig Option

mconcat :: [CDebugConfig Option] -> CDebugConfig Option

ToJSON (CDebugConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CDebugConfig Maybe -> Value

toEncoding :: CDebugConfig Maybe -> Encoding

toJSONList :: [CDebugConfig Maybe] -> Value

toEncodingList :: [CDebugConfig Maybe] -> Encoding

ToJSON (CDebugConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CDebugConfig Option -> Value

toEncoding :: CDebugConfig Option -> Encoding

toJSONList :: [CDebugConfig Option] -> Value

toEncodingList :: [CDebugConfig Option] -> Encoding

FromJSON (CDebugConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CDebugConfig Maybe)

parseJSONList :: Value -> Parser [CDebugConfig Maybe]

FromJSON (CDebugConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CDebugConfig Option)

parseJSONList :: Value -> Parser [CDebugConfig Option]

type Rep (CDebugConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

type Rep (CDebugConfig f) = D1 ('MetaData "CDebugConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.13.1.1-Jy7sLKH71HuBBZp3S53aXI" 'False) (C1 ('MetaCons "DebugConfig" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_dconf_dump_config") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: (S1 ('MetaSel ('Just "_dconf_dump_annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_dconf_dump_ast_unknown") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))))) :*: (S1 ('MetaSel ('Just "_dconf_dump_ast_full") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: (S1 ('MetaSel ('Just "_dconf_dump_bridoc_raw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_dconf_dump_bridoc_simpl_alt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool)))))) :*: ((S1 ('MetaSel ('Just "_dconf_dump_bridoc_simpl_floating") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: (S1 ('MetaSel ('Just "_dconf_dump_bridoc_simpl_par") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_dconf_dump_bridoc_simpl_columns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))))) :*: (S1 ('MetaSel ('Just "_dconf_dump_bridoc_simpl_indent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: (S1 ('MetaSel ('Just "_dconf_dump_bridoc_final") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_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)

  for import statement layouting, column at which to align the elements to be imported from a module. It is expected that importAsColumn >= importCol.

• _lconfig_importAsColumn :: f (Last Int)

  for import statement layouting, column at which put the module's "as" name (which also affects the positioning of the "as" keyword). It is expected that importAsColumn >= importCol.

• _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)
• _lconfig_reformatModulePreamble :: f (Last Bool)
• _lconfig_allowSingleLineExportList :: f (Last Bool)
• _lconfig_allowHangingQuasiQuotes :: f (Last Bool)
• _lconfig_experimentalSemicolonNewlines :: f (Last Bool)

Instances

CFunctor CLayoutConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cMap :: (forall a. f a -> g a) -> CLayoutConfig f -> CLayoutConfig g

CZipWith CLayoutConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cZipWith :: (forall a. g a -> h a -> i a) -> CLayoutConfig g -> CLayoutConfig h -> CLayoutConfig i

Data (CLayoutConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CLayoutConfig Option -> c (CLayoutConfig Option)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CLayoutConfig Option)

toConstr :: CLayoutConfig Option -> Constr

dataTypeOf :: CLayoutConfig Option -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CLayoutConfig Option))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CLayoutConfig Option))

gmapT :: (forall b. Data b => b -> b) -> CLayoutConfig Option -> CLayoutConfig Option

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CLayoutConfig Option -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CLayoutConfig Option -> r

gmapQ :: (forall d. Data d => d -> u) -> CLayoutConfig Option -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CLayoutConfig Option -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CLayoutConfig Option -> m (CLayoutConfig Option)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CLayoutConfig Option -> m (CLayoutConfig Option)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CLayoutConfig Option -> m (CLayoutConfig Option)

Data (CLayoutConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

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 :: forall r r'. (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)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CLayoutConfig Option -> ShowS

show :: CLayoutConfig Option -> String

showList :: [CLayoutConfig Option] -> ShowS

Show (CLayoutConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CLayoutConfig Identity -> ShowS

show :: CLayoutConfig Identity -> String

showList :: [CLayoutConfig Identity] -> ShowS

Generic (CLayoutConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Associated Types

type Rep (CLayoutConfig f) :: Type -> Type

Methods

from :: CLayoutConfig f -> Rep (CLayoutConfig f) x

to :: Rep (CLayoutConfig f) x -> CLayoutConfig f

Semigroup (CLayoutConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CLayoutConfig Option -> CLayoutConfig Option -> CLayoutConfig Option

sconcat :: NonEmpty (CLayoutConfig Option) -> CLayoutConfig Option

stimes :: Integral b => b -> CLayoutConfig Option -> CLayoutConfig Option

Semigroup (CLayoutConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CLayoutConfig Identity -> CLayoutConfig Identity -> CLayoutConfig Identity

sconcat :: NonEmpty (CLayoutConfig Identity) -> CLayoutConfig Identity

stimes :: Integral b => b -> CLayoutConfig Identity -> CLayoutConfig Identity

Monoid (CLayoutConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

mempty :: CLayoutConfig Option

mappend :: CLayoutConfig Option -> CLayoutConfig Option -> CLayoutConfig Option

mconcat :: [CLayoutConfig Option] -> CLayoutConfig Option

ToJSON (CLayoutConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CLayoutConfig Maybe -> Value

toEncoding :: CLayoutConfig Maybe -> Encoding

toJSONList :: [CLayoutConfig Maybe] -> Value

toEncodingList :: [CLayoutConfig Maybe] -> Encoding

ToJSON (CLayoutConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CLayoutConfig Option -> Value

toEncoding :: CLayoutConfig Option -> Encoding

toJSONList :: [CLayoutConfig Option] -> Value

toEncodingList :: [CLayoutConfig Option] -> Encoding

FromJSON (CLayoutConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CLayoutConfig Maybe)

parseJSONList :: Value -> Parser [CLayoutConfig Maybe]

FromJSON (CLayoutConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CLayoutConfig Option)

parseJSONList :: Value -> Parser [CLayoutConfig Option]

type Rep (CLayoutConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

type Rep (CLayoutConfig f) = D1 ('MetaData "CLayoutConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.13.1.1-Jy7sLKH71HuBBZp3S53aXI" 'False) (C1 ('MetaCons "LayoutConfig" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "_lconfig_cols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Int))) :*: S1 ('MetaSel ('Just "_lconfig_indentPolicy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last IndentPolicy)))) :*: (S1 ('MetaSel ('Just "_lconfig_indentAmount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Int))) :*: S1 ('MetaSel ('Just "_lconfig_indentWhereSpecial") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))))) :*: ((S1 ('MetaSel ('Just "_lconfig_indentListSpecial") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_lconfig_importColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Int)))) :*: (S1 ('MetaSel ('Just "_lconfig_importAsColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Int))) :*: S1 ('MetaSel ('Just "_lconfig_altChooser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last AltChooser)))))) :*: (((S1 ('MetaSel ('Just "_lconfig_columnAlignMode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last ColumnAlignMode))) :*: S1 ('MetaSel ('Just "_lconfig_alignmentLimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Int)))) :*: (S1 ('MetaSel ('Just "_lconfig_alignmentBreakOnMultiline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_lconfig_hangingTypeSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))))) :*: ((S1 ('MetaSel ('Just "_lconfig_reformatModulePreamble") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_lconfig_allowSingleLineExportList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool)))) :*: (S1 ('MetaSel ('Just "_lconfig_allowHangingQuasiQuotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_lconfig_experimentalSemicolonNewlines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))))))))

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

CFunctor CErrorHandlingConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cMap :: (forall a. f a -> g a) -> CErrorHandlingConfig f -> CErrorHandlingConfig g

CZipWith CErrorHandlingConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cZipWith :: (forall a. g a -> h a -> i a) -> CErrorHandlingConfig g -> CErrorHandlingConfig h -> CErrorHandlingConfig i

Data (CErrorHandlingConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CErrorHandlingConfig Option -> c (CErrorHandlingConfig Option)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CErrorHandlingConfig Option)

toConstr :: CErrorHandlingConfig Option -> Constr

dataTypeOf :: CErrorHandlingConfig Option -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CErrorHandlingConfig Option))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CErrorHandlingConfig Option))

gmapT :: (forall b. Data b => b -> b) -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CErrorHandlingConfig Option -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CErrorHandlingConfig Option -> r

gmapQ :: (forall d. Data d => d -> u) -> CErrorHandlingConfig Option -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CErrorHandlingConfig Option -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CErrorHandlingConfig Option -> m (CErrorHandlingConfig Option)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CErrorHandlingConfig Option -> m (CErrorHandlingConfig Option)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CErrorHandlingConfig Option -> m (CErrorHandlingConfig Option)

Data (CErrorHandlingConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

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 :: forall r r'. (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)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CErrorHandlingConfig Option -> ShowS

show :: CErrorHandlingConfig Option -> String

showList :: [CErrorHandlingConfig Option] -> ShowS

Show (CErrorHandlingConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CErrorHandlingConfig Identity -> ShowS

show :: CErrorHandlingConfig Identity -> String

showList :: [CErrorHandlingConfig Identity] -> ShowS

Generic (CErrorHandlingConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Associated Types

type Rep (CErrorHandlingConfig f) :: Type -> Type

Methods

from :: CErrorHandlingConfig f -> Rep (CErrorHandlingConfig f) x

to :: Rep (CErrorHandlingConfig f) x -> CErrorHandlingConfig f

Semigroup (CErrorHandlingConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CErrorHandlingConfig Option -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option

sconcat :: NonEmpty (CErrorHandlingConfig Option) -> CErrorHandlingConfig Option

stimes :: Integral b => b -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option

Semigroup (CErrorHandlingConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity

sconcat :: NonEmpty (CErrorHandlingConfig Identity) -> CErrorHandlingConfig Identity

stimes :: Integral b => b -> CErrorHandlingConfig Identity -> CErrorHandlingConfig Identity

Monoid (CErrorHandlingConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

mempty :: CErrorHandlingConfig Option

mappend :: CErrorHandlingConfig Option -> CErrorHandlingConfig Option -> CErrorHandlingConfig Option

mconcat :: [CErrorHandlingConfig Option] -> CErrorHandlingConfig Option

ToJSON (CErrorHandlingConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CErrorHandlingConfig Maybe -> Value

toEncoding :: CErrorHandlingConfig Maybe -> Encoding

toJSONList :: [CErrorHandlingConfig Maybe] -> Value

toEncodingList :: [CErrorHandlingConfig Maybe] -> Encoding

ToJSON (CErrorHandlingConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CErrorHandlingConfig Option -> Value

toEncoding :: CErrorHandlingConfig Option -> Encoding

toJSONList :: [CErrorHandlingConfig Option] -> Value

toEncodingList :: [CErrorHandlingConfig Option] -> Encoding

FromJSON (CErrorHandlingConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CErrorHandlingConfig Maybe)

parseJSONList :: Value -> Parser [CErrorHandlingConfig Maybe]

FromJSON (CErrorHandlingConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CErrorHandlingConfig Option)

parseJSONList :: Value -> Parser [CErrorHandlingConfig Option]

type Rep (CErrorHandlingConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

type Rep (CErrorHandlingConfig f) = D1 ('MetaData "CErrorHandlingConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.13.1.1-Jy7sLKH71HuBBZp3S53aXI" 'False) (C1 ('MetaCons "ErrorHandlingConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_econf_produceOutputOnErrors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))) :*: S1 ('MetaSel ('Just "_econf_Werror") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool)))) :*: (S1 ('MetaSel ('Just "_econf_ExactPrintFallback") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last ExactPrintFallbackMode))) :*: S1 ('MetaSel ('Just "_econf_omit_output_valid_check") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool))))))

data CForwardOptions f

Constructors

ForwardOptions

Fields

• _options_ghc :: f [String]

Instances

CFunctor CForwardOptions

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cMap :: (forall a. f a -> g a) -> CForwardOptions f -> CForwardOptions g

CZipWith CForwardOptions

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cZipWith :: (forall a. g a -> h a -> i a) -> CForwardOptions g -> CForwardOptions h -> CForwardOptions i

Data (CForwardOptions Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CForwardOptions Option -> c (CForwardOptions Option)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CForwardOptions Option)

toConstr :: CForwardOptions Option -> Constr

dataTypeOf :: CForwardOptions Option -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CForwardOptions Option))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CForwardOptions Option))

gmapT :: (forall b. Data b => b -> b) -> CForwardOptions Option -> CForwardOptions Option

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CForwardOptions Option -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CForwardOptions Option -> r

gmapQ :: (forall d. Data d => d -> u) -> CForwardOptions Option -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CForwardOptions Option -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CForwardOptions Option -> m (CForwardOptions Option)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CForwardOptions Option -> m (CForwardOptions Option)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CForwardOptions Option -> m (CForwardOptions Option)

Data (CForwardOptions Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

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 :: forall r r'. (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)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CForwardOptions Option -> ShowS

show :: CForwardOptions Option -> String

showList :: [CForwardOptions Option] -> ShowS

Show (CForwardOptions Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CForwardOptions Identity -> ShowS

show :: CForwardOptions Identity -> String

showList :: [CForwardOptions Identity] -> ShowS

Generic (CForwardOptions f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Associated Types

type Rep (CForwardOptions f) :: Type -> Type

Methods

from :: CForwardOptions f -> Rep (CForwardOptions f) x

to :: Rep (CForwardOptions f) x -> CForwardOptions f

Semigroup (CForwardOptions Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CForwardOptions Option -> CForwardOptions Option -> CForwardOptions Option

sconcat :: NonEmpty (CForwardOptions Option) -> CForwardOptions Option

stimes :: Integral b => b -> CForwardOptions Option -> CForwardOptions Option

Semigroup (CForwardOptions Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CForwardOptions Identity -> CForwardOptions Identity -> CForwardOptions Identity

sconcat :: NonEmpty (CForwardOptions Identity) -> CForwardOptions Identity

stimes :: Integral b => b -> CForwardOptions Identity -> CForwardOptions Identity

Monoid (CForwardOptions Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

mempty :: CForwardOptions Option

mappend :: CForwardOptions Option -> CForwardOptions Option -> CForwardOptions Option

mconcat :: [CForwardOptions Option] -> CForwardOptions Option

ToJSON (CForwardOptions Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CForwardOptions Maybe -> Value

toEncoding :: CForwardOptions Maybe -> Encoding

toJSONList :: [CForwardOptions Maybe] -> Value

toEncodingList :: [CForwardOptions Maybe] -> Encoding

ToJSON (CForwardOptions Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CForwardOptions Option -> Value

toEncoding :: CForwardOptions Option -> Encoding

toJSONList :: [CForwardOptions Option] -> Value

toEncodingList :: [CForwardOptions Option] -> Encoding

FromJSON (CForwardOptions Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CForwardOptions Maybe)

parseJSONList :: Value -> Parser [CForwardOptions Maybe]

FromJSON (CForwardOptions Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CForwardOptions Option)

parseJSONList :: Value -> Parser [CForwardOptions Option]

type Rep (CForwardOptions f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

type Rep (CForwardOptions f) = D1 ('MetaData "CForwardOptions" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.13.1.1-Jy7sLKH71HuBBZp3S53aXI" 'False) (C1 ('MetaCons "ForwardOptions" 'PrefixI 'True) (S1 ('MetaSel ('Just "_options_ghc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f [String]))))

data CPreProcessorConfig f

Constructors

PreProcessorConfig

Fields

• _ppconf_CPPMode :: f (Last CPPMode)
• _ppconf_hackAroundIncludes :: f (Last Bool)

Instances

CFunctor CPreProcessorConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cMap :: (forall a. f a -> g a) -> CPreProcessorConfig f -> CPreProcessorConfig g

CZipWith CPreProcessorConfig

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

cZipWith :: (forall a. g a -> h a -> i a) -> CPreProcessorConfig g -> CPreProcessorConfig h -> CPreProcessorConfig i

Data (CPreProcessorConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CPreProcessorConfig Option -> c (CPreProcessorConfig Option)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CPreProcessorConfig Option)

toConstr :: CPreProcessorConfig Option -> Constr

dataTypeOf :: CPreProcessorConfig Option -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CPreProcessorConfig Option))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CPreProcessorConfig Option))

gmapT :: (forall b. Data b => b -> b) -> CPreProcessorConfig Option -> CPreProcessorConfig Option

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CPreProcessorConfig Option -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CPreProcessorConfig Option -> r

gmapQ :: (forall d. Data d => d -> u) -> CPreProcessorConfig Option -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CPreProcessorConfig Option -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CPreProcessorConfig Option -> m (CPreProcessorConfig Option)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CPreProcessorConfig Option -> m (CPreProcessorConfig Option)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CPreProcessorConfig Option -> m (CPreProcessorConfig Option)

Data (CPreProcessorConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

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 :: forall r r'. (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)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CPreProcessorConfig Option -> ShowS

show :: CPreProcessorConfig Option -> String

showList :: [CPreProcessorConfig Option] -> ShowS

Show (CPreProcessorConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

showsPrec :: Int -> CPreProcessorConfig Identity -> ShowS

show :: CPreProcessorConfig Identity -> String

showList :: [CPreProcessorConfig Identity] -> ShowS

Generic (CPreProcessorConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Associated Types

type Rep (CPreProcessorConfig f) :: Type -> Type

Methods

from :: CPreProcessorConfig f -> Rep (CPreProcessorConfig f) x

to :: Rep (CPreProcessorConfig f) x -> CPreProcessorConfig f

Semigroup (CPreProcessorConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CPreProcessorConfig Option -> CPreProcessorConfig Option -> CPreProcessorConfig Option

sconcat :: NonEmpty (CPreProcessorConfig Option) -> CPreProcessorConfig Option

stimes :: Integral b => b -> CPreProcessorConfig Option -> CPreProcessorConfig Option

Semigroup (CPreProcessorConfig Identity)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

(<>) :: CPreProcessorConfig Identity -> CPreProcessorConfig Identity -> CPreProcessorConfig Identity

sconcat :: NonEmpty (CPreProcessorConfig Identity) -> CPreProcessorConfig Identity

stimes :: Integral b => b -> CPreProcessorConfig Identity -> CPreProcessorConfig Identity

Monoid (CPreProcessorConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types

Methods

mempty :: CPreProcessorConfig Option

mappend :: CPreProcessorConfig Option -> CPreProcessorConfig Option -> CPreProcessorConfig Option

mconcat :: [CPreProcessorConfig Option] -> CPreProcessorConfig Option

ToJSON (CPreProcessorConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CPreProcessorConfig Maybe -> Value

toEncoding :: CPreProcessorConfig Maybe -> Encoding

toJSONList :: [CPreProcessorConfig Maybe] -> Value

toEncodingList :: [CPreProcessorConfig Maybe] -> Encoding

ToJSON (CPreProcessorConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

toJSON :: CPreProcessorConfig Option -> Value

toEncoding :: CPreProcessorConfig Option -> Encoding

toJSONList :: [CPreProcessorConfig Option] -> Value

toEncodingList :: [CPreProcessorConfig Option] -> Encoding

FromJSON (CPreProcessorConfig Maybe)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CPreProcessorConfig Maybe)

parseJSONList :: Value -> Parser [CPreProcessorConfig Maybe]

FromJSON (CPreProcessorConfig Option)

Defined in Language.Haskell.Brittany.Internal.Config.Types.Instances

Methods

parseJSON :: Value -> Parser (CPreProcessorConfig Option)

parseJSONList :: Value -> Parser [CPreProcessorConfig Option]

type Rep (CPreProcessorConfig f)

Defined in Language.Haskell.Brittany.Internal.Config.Types

type Rep (CPreProcessorConfig f) = D1 ('MetaData "CPreProcessorConfig" "Language.Haskell.Brittany.Internal.Config.Types" "brittany-0.13.1.1-Jy7sLKH71HuBBZp3S53aXI" 'False) (C1 ('MetaCons "PreProcessorConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ppconf_CPPMode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last CPPMode))) :*: S1 ('MetaSel ('Just "_ppconf_hackAroundIncludes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Last Bool)))))

data BrittanyError

Constructors

ErrorInput String

parsing failed

ErrorUnusedComment String

internal error: some comment went missing

ErrorMacroConfig String String

in-source config string parsing error; first argument is the parser output and second the corresponding, ill-formed input.

LayoutWarning String

some warning

forall ast.Data ast => ErrorUnknownNode String (GenLocated SrcSpan ast)

internal error: pretty-printing is not implemented for type of node in the syntax-tree

ErrorOutputCheck

checking the output for syntactic validity failed