-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Generate clang-format config based on some existing code base
--   
--   Please see the README on GitHub at
--   <a>https://github.com/0xd34df00d/coformat#readme</a>
@package coformat
@version 0.2.1.0

module Clang.Coformat.Score
data Score
calcScore :: PreparedFile -> ByteString -> Score
data PreparedFile
filename :: PreparedFile -> FilePath
prepareFile :: MonadIO m => FilePath -> m PreparedFile
instance GHC.Base.Monoid Clang.Coformat.Score.Score
instance GHC.Base.Semigroup Clang.Coformat.Score.Score
instance GHC.Generics.Generic Clang.Coformat.Score.Score
instance GHC.Enum.Bounded Clang.Coformat.Score.Score
instance GHC.Classes.Ord Clang.Coformat.Score.Score
instance GHC.Classes.Eq Clang.Coformat.Score.Score
instance GHC.Classes.Eq Clang.Coformat.Score.PreparedFile
instance GHC.Show.Show Clang.Coformat.Score.Score

module Clang.Coformat.Util
data ExpectedFailure
FormatterSegfaulted :: Text -> ExpectedFailure
data UnexpectedFailure
FormatterFailure :: Int -> Text -> UnexpectedFailure
[errorCode] :: UnexpectedFailure -> Int
[errorOutput] :: UnexpectedFailure -> Text
data Failure
ExpectedFailure :: ExpectedFailure -> Failure
UnexpectedFailure :: UnexpectedFailure -> Failure
failuresAreUnexpected :: Failure -> UnexpectedFailure
checked :: (MonadError err m, CoHas UnexpectedFailure err, CoHas ExpectedFailure err, MonadIO m) => IO (ExitCode, Text, Text) -> m Text
update :: Int -> (a -> a) -> [a] -> [a]
forConcurrently' :: (MonadLoggerIO m, MonadError e m) => [a] -> (forall m'. (MonadLoggerIO m', MonadError e m') => a -> m' b) -> m [b]
forConcurrentlyPooled :: (MonadLoggerIO m, MonadError e m, MonadReader r m, Has TaskGroup r) => [a] -> (forall m'. (MonadLoggerIO m', MonadReader r m', MonadError e m') => a -> m' b) -> m [b]
convert :: MonadError e' m => (e -> e') -> ExceptT e m a -> m a
subsetsN :: Natural -> [a] -> [[a]]
instance Control.Monad.Except.CoHas.CoHas Clang.Coformat.Util.UnexpectedFailure Clang.Coformat.Util.Failure
instance Control.Monad.Except.CoHas.CoHas Clang.Coformat.Util.ExpectedFailure Clang.Coformat.Util.Failure
instance GHC.Generics.Generic Clang.Coformat.Util.Failure
instance GHC.Show.Show Clang.Coformat.Util.Failure
instance GHC.Classes.Eq Clang.Coformat.Util.Failure
instance GHC.Show.Show Clang.Coformat.Util.UnexpectedFailure
instance GHC.Classes.Eq Clang.Coformat.Util.UnexpectedFailure
instance GHC.Show.Show Clang.Coformat.Util.ExpectedFailure
instance GHC.Classes.Eq Clang.Coformat.Util.ExpectedFailure

module Clang.Format.Descr
data Stage
Parsed :: Stage
Supported :: Stage
Value :: Stage
type family CTData f ty
data ConfigTypeT f
CTInt :: CTData f Int -> ConfigTypeT f
CTUnsigned :: CTData f Natural -> ConfigTypeT f
CTBool :: CTData f Bool -> ConfigTypeT f
CTString :: CTData f Void -> ConfigTypeT f
CTStringVec :: CTData f Void -> ConfigTypeT f
CTRawStringFormats :: CTData f Void -> ConfigTypeT f
CTIncludeCats :: CTData f Void -> ConfigTypeT f
CTEnum :: [Text] -> CTData f Text -> ConfigTypeT f
[variants] :: ConfigTypeT f -> [Text]
[enumValue] :: ConfigTypeT f -> CTData f Text
data ConfigItemT f
ConfigItem :: [Text] -> ConfigTypeT f -> ConfigItemT f
[name] :: ConfigItemT f -> [Text]
[value] :: ConfigItemT f -> ConfigTypeT f
instance GHC.Show.Show (Clang.Format.Descr.ConfigTypeT 'Clang.Format.Descr.Parsed)
instance GHC.Show.Show (Clang.Format.Descr.ConfigTypeT 'Clang.Format.Descr.Supported)
instance GHC.Show.Show (Clang.Format.Descr.ConfigTypeT 'Clang.Format.Descr.Value)
instance GHC.Classes.Eq (Clang.Format.Descr.ConfigTypeT 'Clang.Format.Descr.Value)
instance GHC.Show.Show (Clang.Format.Descr.ConfigItemT 'Clang.Format.Descr.Parsed)
instance GHC.Show.Show (Clang.Format.Descr.ConfigItemT 'Clang.Format.Descr.Supported)
instance GHC.Show.Show (Clang.Format.Descr.ConfigItemT 'Clang.Format.Descr.Value)

module Clang.Coformat.Variables
data KnownVariateType
Categorical :: KnownVariateType
Integral :: KnownVariateType
class Variate a where {
    type family VariateResult a :: Type -> Type;
    type family VariateType a :: KnownVariateType;
}
variate :: Variate a => a -> VariateResult a a
varPrism :: Variate a => Prism' (ConfigTypeT  'Value) a
data Variable varTy
[MkDV] :: (Variate a, VariateType a ~ varTy, Foldable (VariateResult a)) => a -> Variable varTy
data IxedVariable varTy
IxedVariable :: Variable varTy -> Int -> IxedVariable varTy
[discreteVar] :: IxedVariable varTy -> Variable varTy
[varIdx] :: IxedVariable varTy -> Int
type CategoricalVariate a = (Variate a, VariateType a ~  'Categorical)
type CategoricalVariable = Variable  'Categorical
type IxedCategoricalVariable = IxedVariable  'Categorical
type EnumVar = ([Text], Text)
typToDV :: ConfigTypeT  'Value -> Maybe CategoricalVariable
searchSpace :: Show a => Integral a => a -> [a]
type IntegralVariate a = (Variate a, VariateType a ~  'Integral)
type IntegralVariable = Variable  'Integral
type IxedIntegralVariable = IxedVariable  'Integral
typToIV :: ConfigTypeT  'Value -> Maybe IntegralVariable
data SomeIxedVariable :: Type
[SomeIxedVariable] :: IxedVariable varTy -> SomeIxedVariable
asSome :: [IxedVariable varTy] -> [SomeIxedVariable]
instance Clang.Coformat.Variables.Variate Clang.Coformat.Variables.EnumVar
instance Clang.Coformat.Variables.Variate GHC.Types.Bool
instance Clang.Coformat.Variables.Variate GHC.Types.Int
instance Clang.Coformat.Variables.Variate GHC.Natural.Natural

module Clang.Coformat.StyOpts
data StyOpts
StyOpts :: Text -> [ConfigItemT  'Value] -> StyOpts
[basedOnStyle] :: StyOpts -> Text
[additionalOpts] :: StyOpts -> [ConfigItemT  'Value]
formatStyArg :: StyOpts -> ByteString
instance Data.Aeson.Types.ToJSON.ToJSON Clang.Coformat.StyOpts.StyOpts

module Clang.Coformat.Optimization
data FmtEnv
FmtEnv :: Text -> [PreparedFile] -> [ConfigItemT  'Value] -> FmtEnv
[baseStyle] :: FmtEnv -> Text
[preparedFiles] :: FmtEnv -> [PreparedFile]
[constantOpts] :: FmtEnv -> [ConfigItemT  'Value]
data OptEnv
OptEnv :: [IxedCategoricalVariable] -> [IxedIntegralVariable] -> Natural -> OptEnv
[categoricalVariables] :: OptEnv -> [IxedCategoricalVariable]
[integralVariables] :: OptEnv -> [IxedIntegralVariable]
[maxSubsetSize] :: OptEnv -> Natural
runClangFormat :: (MonadError err m, CoHas UnexpectedFailure err, CoHas ExpectedFailure err, MonadIO m, MonadLogger m) => PreparedFile -> String -> ByteString -> m Score
type OptMonad err r m = (MonadLoggerIO m, MonadError err m, CoHas UnexpectedFailure err, MonadReader r m, Has FmtEnv r)
runClangFormatFiles :: (OptMonad err r m, CoHas ExpectedFailure err) => [ConfigItemT  'Value] -> String -> m Score
chooseBaseStyle :: (MonadError String m, MonadLoggerIO m) => [Text] -> [ConfigItemT  'Value] -> [PreparedFile] -> m (Text, Score)
variateAt :: forall a. (Variate a, Foldable (VariateResult a)) => Proxy a -> Int -> [ConfigItemT  'Value] -> [[ConfigItemT  'Value]]
data OptState
OptState :: [ConfigItemT  'Value] -> Score -> OptState
[currentOpts] :: OptState -> [ConfigItemT  'Value]
[currentScore] :: OptState -> Score
initOptState :: [ConfigItemT  'Value] -> Score -> OptState
dropExpectedFailures :: OptMonad err r m => (forall err' r' m'. (OptMonad err' r' m', CoHas ExpectedFailure err') => m' Score) -> m Score
variateSubset :: [SomeIxedVariable] -> [ConfigItemT  'Value] -> [[ConfigItemT  'Value]]
showVariated :: [SomeIxedVariable] -> [ConfigItemT  'Value] -> String
chooseBestSubset :: (OptMonad err r m, Has OptState r, Has TaskGroup r) => Natural -> [SomeIxedVariable] -> m (Maybe ([ConfigItemT  'Value], Score))
stepGDGeneric' :: (OptMonad err r m, Has TaskGroup r, Has OptEnv r, MonadState OptState m) => Natural -> [OptEnv -> [SomeIxedVariable]] -> m ()
stepGDGeneric :: (OptMonad err r m, Has TaskGroup r, Has OptEnv r, MonadState OptState m) => Natural -> [OptEnv -> [SomeIxedVariable]] -> m ()
fixGD :: (OptMonad err r m, Has TaskGroup r, Has OptEnv r, MonadState OptState m, err ~ UnexpectedFailure) => Maybe Int -> Natural -> m ()
instance GHC.Show.Show Clang.Coformat.Optimization.OptState

module Clang.Coformat.Formatter
data FormatterInfo
FormatterInfo :: String -> [ConfigItemT  'Supported] -> [Text] -> FormatterInfo
[executableName] :: FormatterInfo -> String
[knownOptions] :: FormatterInfo -> [ConfigItemT  'Supported]
[baseStyles] :: FormatterInfo -> [Text]
class Formatter fmt
formatterInfo :: Formatter fmt => proxy fmt -> FormatterInfo
formatFile :: (Formatter fmt, MonadIO m) => proxy fmt -> Text -> [ConfigItemT  'Value] -> FilePath -> m ByteString
instance GHC.Show.Show Clang.Coformat.Formatter.FormatterInfo

module Clang.Format.Descr.Operations
filterParsedItems :: [ConfigItemT  'Parsed] -> [ConfigItemT  'Supported]
replaceItemsWith :: [ConfigItemT  'Value] -> [ConfigItemT  'Value] -> [ConfigItemT  'Value]
subtractMatching :: [ConfigItemT  'Value] -> [ConfigItemT  'Value] -> [ConfigItemT  'Value]
type ParseableConfigState f = (CTData f Void ~ Void, Show (ConfigTypeT f))
parseConfigValue :: (MonadError String m, ParseableConfigState f) => ConfigItemT f -> String -> m (ConfigItemT  'Value)

module Clang.Format.DescrParser
parseFile :: FilePath -> IO (Either String [ConfigItemT  'Parsed])
parseDescr :: ByteString -> Either String [ConfigItemT  'Parsed]

module Clang.Format.YamlConversions
fillConfigItems :: (MonadError e m, CoHas ParseException e, CoHas YamlAnalysisError e, CoHas ValueNotFound e) => [ConfigItemT  'Supported] -> ByteString -> m [ConfigItemT  'Value]
data FillError
data YamlConfigType
StyleDump :: YamlConfigType
PartialConfig :: YamlConfigType
preprocessYaml :: (MonadError e m, CoHas ParseException e, CoHas YamlAnalysisError e, CoHas ValueNotFound e) => YamlConfigType -> ByteString -> m Object
collectConfigItems :: (MonadError e m, CoHas ParseException e, CoHas YamlAnalysisError e) => [ConfigItemT  'Supported] -> Object -> m [ConfigItemT  'Value]
formatClangFormat :: StyOpts -> ByteString
instance Control.Monad.Except.CoHas.CoHas Clang.Format.YamlConversions.ValueNotFound Clang.Format.YamlConversions.FillError
instance Control.Monad.Except.CoHas.CoHas Clang.Format.YamlConversions.YamlAnalysisError Clang.Format.YamlConversions.FillError
instance Control.Monad.Except.CoHas.CoHas Data.Yaml.Internal.ParseException Clang.Format.YamlConversions.FillError
instance GHC.Generics.Generic Clang.Format.YamlConversions.FillError
instance GHC.Show.Show Clang.Format.YamlConversions.FillError
instance GHC.Show.Show Clang.Format.YamlConversions.ValueNotFound
instance GHC.Show.Show Clang.Format.YamlConversions.YamlAnalysisError

module Clang.Coformat.Pipeline
runOptPipeline :: (MonadError String m, MonadLoggerIO m) => PipelineOpts -> m ByteString
data PipelineOpts
PipelineOpts :: Maybe Natural -> Maybe FilePath -> NonEmpty FilePath -> TaskGroup -> [String] -> PipelineOpts
[maxSubsetSize] :: PipelineOpts -> Maybe Natural
[resumePath] :: PipelineOpts -> Maybe FilePath
[input] :: PipelineOpts -> NonEmpty FilePath
[taskGroup] :: PipelineOpts -> TaskGroup
[forceStrs] :: PipelineOpts -> [String]