Language.Coformat.Optimization

Documentation

data FmtEnv

Constructors

FmtEnv

Fields

• baseStyle :: Text
• preparedFiles :: [PreparedFile]
• constantOpts :: [ConfigItemT Value]
• formatterInfo :: FormatterInfo

data OptEnv

Constructors

OptEnv

Fields

• categoricalVariables :: [IxedCategoricalVariable]
• integralVariables :: [IxedIntegralVariable]
• maxSubsetSize :: Natural

runFormat :: (MonadError err m, CoHas UnexpectedFailure err, CoHas ExpectedFailure err, MonadIO m, MonadLogger m) => FormatterInfo -> PreparedFile -> String -> Text -> [ConfigItemT Value] -> m Score

type OptMonad err r m = (MonadLoggerIO m, MonadError err m, CoHas UnexpectedFailure err, MonadReader r m, Has FmtEnv r)

runFormatFiles :: (OptMonad err r m, CoHas ExpectedFailure err) => [ConfigItemT Value] -> String -> m Score

chooseBaseStyle :: (MonadError String m, MonadLoggerIO m) => FormatterInfo -> [Text] -> [ConfigItemT Value] -> [PreparedFile] -> m (Text, Score)

variateAt :: forall a. (Variate a, Foldable (VariateResult a)) => Proxy a -> Int -> [ConfigItemT Value] -> [[ConfigItemT Value]]

data OptState

Constructors

OptState

Fields

• currentOpts :: [ConfigItemT Value]
• currentScore :: Score

Instances

Show OptState

Defined in Language.Coformat.Optimization

Methods

showsPrec :: Int -> OptState -> ShowS

show :: OptState -> String

showList :: [OptState] -> ShowS

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