registry-options 0.2.1.0 → 0.2.1.1

raw patch · 1 files changed

+1/−1 lines, 1 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.Registry.Options.Decoder: addDecoder :: forall a. Typeable a => (Text -> Either Text a) -> Typed (Decoder a)

+ Data.Registry.Options.Decoder: addDecoder :: Typeable a => (Text -> Either Text a) -> Typed (Decoder a)

- Data.Registry.Options.Decoder: decodeMany :: forall a. Typeable a => Decoder a -> Decoder [a]

+ Data.Registry.Options.Decoder: decodeMany :: Typeable a => Decoder a -> Decoder [a]

- Data.Registry.Options.Decoder: decodeManySeparated :: forall a. Typeable a => Text -> Decoder a -> Decoder [a]

+ Data.Registry.Options.Decoder: decodeManySeparated :: Typeable a => Text -> Decoder a -> Decoder [a]

- Data.Registry.Options.Decoder: decoderOf :: forall a b. (ApplyVariadic Decoder a b, Typeable a, Typeable b) => a -> Typed b

+ Data.Registry.Options.Decoder: decoderOf :: (ApplyVariadic Decoder a b, Typeable a, Typeable b) => a -> Typed b

- Data.Registry.Options.Decoder: manyOf :: forall a. Typeable a => Typed (Decoder a -> Decoder [a])

+ Data.Registry.Options.Decoder: manyOf :: Typeable a => Typed (Decoder a -> Decoder [a])

- Data.Registry.Options.DefaultValues: ActiveValue :: Maybe Dynamic -> ActiveValue (s :: Symbol) a

+ Data.Registry.Options.DefaultValues: ActiveValue :: Maybe Dynamic -> ActiveValue (s :: Symbol) (a :: k)

- Data.Registry.Options.DefaultValues: DefaultValue :: Maybe Dynamic -> DefaultValue (s :: Symbol) a

+ Data.Registry.Options.DefaultValues: DefaultValue :: Maybe Dynamic -> DefaultValue (s :: Symbol) (a :: k)

- Data.Registry.Options.DefaultValues: createActiveValue :: forall s (a :: Type). (Typeable a, KnownSymbol s) => a -> ActiveValue s a

+ Data.Registry.Options.DefaultValues: createActiveValue :: forall (s :: Symbol) a. (Typeable a, KnownSymbol s) => a -> ActiveValue s a

- Data.Registry.Options.DefaultValues: createDefaultValue :: forall s (a :: Type). (Typeable a, KnownSymbol s) => a -> DefaultValue s a

+ Data.Registry.Options.DefaultValues: createDefaultValue :: forall (s :: Symbol) a. (Typeable a, KnownSymbol s) => a -> DefaultValue s a

- Data.Registry.Options.DefaultValues: getActiveValue :: forall (a :: Type) s. (Typeable a, KnownSymbol s) => ActiveValue s a -> Maybe a

+ Data.Registry.Options.DefaultValues: getActiveValue :: forall a (s :: Symbol). (Typeable a, KnownSymbol s) => ActiveValue s a -> Maybe a

- Data.Registry.Options.DefaultValues: getDefaultValue :: forall (a :: Type) s. (Typeable a, KnownSymbol s) => DefaultValue s a -> Maybe a

+ Data.Registry.Options.DefaultValues: getDefaultValue :: forall a (s :: Symbol). (Typeable a, KnownSymbol s) => DefaultValue s a -> Maybe a

- Data.Registry.Options.DefaultValues: newtype ActiveValue (s :: Symbol) a

+ Data.Registry.Options.DefaultValues: newtype ActiveValue (s :: Symbol) (a :: k)

- Data.Registry.Options.DefaultValues: newtype DefaultValue (s :: Symbol) a

+ Data.Registry.Options.DefaultValues: newtype DefaultValue (s :: Symbol) (a :: k)

- Data.Registry.Options.DefaultValues: noActiveValue :: forall s (a :: Type). (KnownSymbol s, Typeable a) => Typed (ActiveValue s a)

+ Data.Registry.Options.DefaultValues: noActiveValue :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a) => Typed (ActiveValue s a)

- Data.Registry.Options.DefaultValues: noDefaultValue :: forall s (a :: Type). (KnownSymbol s, Typeable a) => Typed (DefaultValue s a)

+ Data.Registry.Options.DefaultValues: noDefaultValue :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a) => Typed (DefaultValue s a)

- Data.Registry.Options.Display: noDisplay :: forall a b c. Monoid c => Display a b c

+ Data.Registry.Options.Display: noDisplay :: forall (a :: Symbol) b c. Monoid c => Display a b c

- Data.Registry.Options.DisplayHelpBox: displayBoxRegistry :: Registry _ _

+ Data.Registry.Options.DisplayHelpBox: displayBoxRegistry :: Registry '[Display "title" Help Box, Display "usage" Help Box, Display "options" Help Box, Display "commands" Help Box, Display "command-title" Help Box, Display "option-usage" OptionDescription Box, Display "command-options" [OptionDescription] Box, TableParameters, Display "command-summary" Help [Box], Display "command-detail" Help Box, TableParameters, Display "command-title" Help Box, Display "command-usage" Help Box, Display "option" OptionDescription [Box], ParagraphWidth, Display "option-usage" OptionDescription Box, TableParameters, Display "option" OptionDescription [Box], TableParameters, Display "option" OptionDescription [Box], Display "option-flag" OptionDescription Box, Display "option-help" OptionDescription Box, Display "metavar-usage" OptionDescription Box, Display "metavar" OptionDescription Box, ParagraphWidth] '[Display "any" Help Box, Display "title" Help Box, Display "usage" Help Box, Display "options" Help Box, Display "commands" Help Box, Display "command-summary" Help [Box], Display "command-detail" Help Box, Display "command-title" Help Box, Display "command-usage" Help Box, Display "command-options" [OptionDescription] Box, Display "option" OptionDescription Box, Display "option" OptionDescription [Box], Display "option-usage" OptionDescription Box, Display "option-flag" OptionDescription Box, Display "option-help" OptionDescription Box, Display "metavar-usage" OptionDescription Box, Display "metavar" OptionDescription Box, TableParameters, ParagraphWidth]

- Data.Registry.Options.Main: run :: forall s a m. (KnownSymbol s, Typeable a, MonadIO m) => Registry _ _ -> m (Either Text a)

+ Data.Registry.Options.Main: run :: forall (s :: Symbol) a m {w1 :: [Type]} {w2 :: [Type]}. (KnownSymbol s, Typeable a, MonadIO m) => Registry w1 w2 -> m (Either Text a)

- Data.Registry.Options.Main: runWith :: forall s a m. (KnownSymbol s, Typeable a, MonadIO m) => (Registry _ _ -> Registry _ _) -> Registry _ _ -> m (Either Text a)

+ Data.Registry.Options.Main: runWith :: forall (s :: Symbol) a m {ins1 :: [Type]} {out1 :: [Type]} {ins2 :: [Type]} {out2 :: [Type]}. (KnownSymbol s, Typeable a, MonadIO m) => (Registry '[IO Priorities, IO (Tag "environment" Lexemes), IO (Tag "yaml" Lexemes), IO (Tag "commandline" Lexemes), IO OptionNames, IO EnvironmentNames, IO YamlNames, IO OptionNames, IO (Maybe YamlByteString), IO Arguments, IO (Maybe YamlPath)] '[IO OptionNames, IO Lexemes, IO (Tag "environment" Lexemes), IO (Tag "yaml" Lexemes), IO (Tag "commandline" Lexemes), IO Priorities, IO Arguments, IO EnvironmentNames, IO YamlNames, IO (Maybe YamlByteString), IO OptionNames, IO (Maybe YamlPath)] -> Registry ins1 out1) -> Registry ins2 out2 -> m (Either Text a)

- Data.Registry.Options.Parser: addParserHelp :: Help -> Parser s a -> Parser s a

+ Data.Registry.Options.Parser: addParserHelp :: forall (s :: Symbol) a. Help -> Parser s a -> Parser s a

- Data.Registry.Options.Parser: coerceParser :: Parser s a -> Parser t a

+ Data.Registry.Options.Parser: coerceParser :: forall (s :: Symbol) a (t :: Symbol). Parser s a -> Parser t a

- Data.Registry.Options.Parser: getOptionNames :: Parser s a -> [Text]

+ Data.Registry.Options.Parser: getOptionNames :: forall (s :: Symbol) a. Parser s a -> [Text]

- Data.Registry.Options.Parser: getSymbol :: forall s. KnownSymbol s => Text

+ Data.Registry.Options.Parser: getSymbol :: forall (s :: Symbol). KnownSymbol s => Text

- Data.Registry.Options.Parser: list1Parser :: Parser s a -> Parser s [a]

+ Data.Registry.Options.Parser: list1Parser :: forall (s :: Symbol) a. Parser s a -> Parser s [a]

- Data.Registry.Options.Parser: listParser :: Parser s a -> Parser s [a]

+ Data.Registry.Options.Parser: listParser :: forall (s :: Symbol) a. Parser s a -> Parser s [a]

- Data.Registry.Options.Parser: maybeParser :: Parser s a -> Parser s (Maybe a)

+ Data.Registry.Options.Parser: maybeParser :: forall (s :: Symbol) a. Parser s a -> Parser s (Maybe a)

- Data.Registry.Options.Parser: nonEmptyParser :: Parser s a -> Parser s (NonEmpty a)

+ Data.Registry.Options.Parser: nonEmptyParser :: forall (s :: Symbol) a. Parser s a -> Parser s (NonEmpty a)

- Data.Registry.Options.Parser: parse :: Parser s a -> Text -> Either Text a

+ Data.Registry.Options.Parser: parse :: forall (s :: Symbol) a. Parser s a -> Text -> Either Text a

- Data.Registry.Options.Parser: parseArgs :: Parser s a -> [Text] -> Either Text a

+ Data.Registry.Options.Parser: parseArgs :: forall (s :: Symbol) a. Parser s a -> [Text] -> Either Text a

- Data.Registry.Options.Parser: parseField :: forall s a. (KnownSymbol s, Typeable a, Show a) => FieldConfiguration -> Positional -> Text -> OptionDescriptionUpdates -> DefaultValue s a -> ActiveValue s a -> Decoder a -> Parser s a

+ Data.Registry.Options.Parser: parseField :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => FieldConfiguration -> Positional -> Text -> OptionDescriptionUpdates -> DefaultValue s a -> ActiveValue s a -> Decoder a -> Parser s a

- Data.Registry.Options.Parser: parseWith :: forall s a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> DefaultValue s a -> ActiveValue s a -> Decoder a -> Parser s a

+ Data.Registry.Options.Parser: parseWith :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> DefaultValue s a -> ActiveValue s a -> Decoder a -> Parser s a

- Data.Registry.Options.Parser: parserOf :: forall a b. (ApplyVariadic (Parser Command) a b, Typeable a, Typeable b) => a -> Typed b

+ Data.Registry.Options.Parser: parserOf :: (ApplyVariadic (Parser Command) a b, Typeable a, Typeable b) => a -> Typed b

- Data.Registry.Options.Parser: setParserHelp :: Help -> Parser s a -> Parser s a

+ Data.Registry.Options.Parser: setParserHelp :: forall (s :: Symbol) a. Help -> Parser s a -> Parser s a

- Data.Registry.Options.Parser: showType :: forall a. Typeable a => Text

+ Data.Registry.Options.Parser: showType :: forall {k} (a :: k). Typeable a => Text

- Data.Registry.Options.Parser: unitParser :: Parser s ()

+ Data.Registry.Options.Parser: unitParser :: forall (s :: Symbol). Parser s ()

- Data.Registry.Options.Parsers: argument :: forall s a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry _ _

+ Data.Registry.Options.Parsers: argument :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry '[FieldConfiguration, DefaultValue s a, ActiveValue s a, Decoder a] '[Parser s a, DefaultValue s a, ActiveValue s a, OptionDescription]

- Data.Registry.Options.Parsers: arguments :: forall s a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry _ _

+ Data.Registry.Options.Parsers: arguments :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry '[Parser s a, FieldConfiguration, DefaultValue s a, ActiveValue s a, Decoder a] '[Parser s [a], Parser s a, DefaultValue s a, ActiveValue s a, OptionDescription]

- Data.Registry.Options.Parsers: flag :: forall s a. (KnownSymbol s, Typeable a, Show a) => a -> Maybe a -> OptionDescriptionUpdates -> Registry _ _

+ Data.Registry.Options.Parsers: flag :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => a -> Maybe a -> OptionDescriptionUpdates -> Registry '[FieldConfiguration, DefaultValue s a, ActiveValue s a, Decoder a] '[Parser s a, DefaultValue s a, ActiveValue s a]

- Data.Registry.Options.Parsers: named :: forall s a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry _ _

+ Data.Registry.Options.Parsers: named :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry '[Decoder a, DefaultValue s a] '[Parser s a, DefaultValue s a, ActiveValue s a, OptionDescription]

- Data.Registry.Options.Parsers: option :: forall s a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry _ _

+ Data.Registry.Options.Parsers: option :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry '[FieldConfiguration, DefaultValue s a, ActiveValue s a, Decoder a] '[Parser s a, DefaultValue s a, ActiveValue s a, OptionDescription]

- Data.Registry.Options.Parsers: optionMaybe :: forall s a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry _ _

+ Data.Registry.Options.Parsers: optionMaybe :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry '[Parser s a, FieldConfiguration, DefaultValue s a, ActiveValue s a, Decoder a] '[Parser s (Maybe a), Parser s a, DefaultValue s a, ActiveValue s a, OptionDescription]

- Data.Registry.Options.Parsers: options :: forall s a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry _ _

+ Data.Registry.Options.Parsers: options :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => OptionDescriptionUpdates -> Registry '[Parser s a, FieldConfiguration, DefaultValue s a, ActiveValue s a, Decoder a] '[Parser s [a], Parser s a, DefaultValue s a, ActiveValue s a, OptionDescription]

- Data.Registry.Options.Parsers: positional :: forall s a. (KnownSymbol s, Typeable a, Show a) => Int -> OptionDescriptionUpdates -> Registry _ _

+ Data.Registry.Options.Parsers: positional :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a, Show a) => Int -> OptionDescriptionUpdates -> Registry '[FieldConfiguration, Decoder a] '[Parser s a, DefaultValue s a, ActiveValue s a, OptionDescription]

- Data.Registry.Options.Parsers: setActiveValue :: forall s a. (KnownSymbol s, Typeable a) => a -> Typed (ActiveValue s a)

+ Data.Registry.Options.Parsers: setActiveValue :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a) => a -> Typed (ActiveValue s a)

- Data.Registry.Options.Parsers: setDefaultValue :: forall s a. (KnownSymbol s, Typeable a) => a -> Typed (DefaultValue s a)

+ Data.Registry.Options.Parsers: setDefaultValue :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a) => a -> Typed (DefaultValue s a)

- Data.Registry.Options.Parsers: setDefaultValues :: forall s a. (KnownSymbol s, Typeable a) => Maybe a -> Maybe a -> Registry _ _

+ Data.Registry.Options.Parsers: setDefaultValues :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a) => Maybe a -> Maybe a -> Registry ('[] :: [Type]) '[DefaultValue s a, ActiveValue s a]

- Data.Registry.Options.Parsers: setNoDefaultValues :: forall s a. (KnownSymbol s, Typeable a) => Registry _ _

+ Data.Registry.Options.Parsers: setNoDefaultValues :: forall (s :: Symbol) a. (KnownSymbol s, Typeable a) => Registry ('[] :: [Type]) '[DefaultValue s a, ActiveValue s a, OptionDescription]

- Data.Registry.Options.Parsers: switch :: forall s. KnownSymbol s => OptionDescriptionUpdates -> Registry _ _

+ Data.Registry.Options.Parsers: switch :: forall (s :: Symbol). KnownSymbol s => OptionDescriptionUpdates -> Registry '[FieldConfiguration, DefaultValue s Bool, ActiveValue s Bool, Decoder Bool] '[Parser s Bool, DefaultValue s Bool, ActiveValue s Bool]

- Data.Registry.Options.Sources: getLexemesWith :: MonadIO m => (Registry _ _ -> Registry _ _) -> m Lexemes

+ Data.Registry.Options.Sources: getLexemesWith :: forall m {ins :: [Type]} {out :: [Type]}. MonadIO m => (Registry '[IO Priorities, IO (Tag "environment" Lexemes), IO (Tag "yaml" Lexemes), IO (Tag "commandline" Lexemes), IO OptionNames, IO EnvironmentNames, IO YamlNames, IO OptionNames, IO (Maybe YamlByteString), IO Arguments, IO (Maybe YamlPath)] '[IO Lexemes, IO (Tag "environment" Lexemes), IO (Tag "yaml" Lexemes), IO (Tag "commandline" Lexemes), IO Priorities, IO Arguments, IO EnvironmentNames, IO YamlNames, IO (Maybe YamlByteString), IO OptionNames, IO (Maybe YamlPath)] -> Registry ins out) -> m Lexemes

- Data.Registry.Options.Sources: setArguments :: [Text] -> Registry _ _ -> Registry _ _

+ Data.Registry.Options.Sources: setArguments :: forall {w :: [Type]} {out :: [Type]}. [Text] -> Registry w out -> Registry w (IO Arguments ': out)

- Data.Registry.Options.Sources: setConfigFilePath :: Text -> Registry _ _ -> Registry _ _

+ Data.Registry.Options.Sources: setConfigFilePath :: forall {w :: [Type]} {out :: [Type]}. Text -> Registry w out -> Registry w (IO (Maybe YamlPath) ': out)

- Data.Registry.Options.Sources: setEnvironmentNames :: EnvironmentNames -> Registry _ _ -> Registry _ _

+ Data.Registry.Options.Sources: setEnvironmentNames :: forall {ins :: [Type]} {out :: [Type]}. EnvironmentNames -> Registry ins out -> Registry ins (IO EnvironmentNames ': out)

- Data.Registry.Options.Sources: setOptionNames :: [Text] -> Registry _ _ -> Registry _ _

+ Data.Registry.Options.Sources: setOptionNames :: forall {w :: [Type]} {out :: [Type]}. [Text] -> Registry w out -> Registry w (IO OptionNames ': out)

- Data.Registry.Options.Sources: setPriorities :: [Source] -> Registry _ _ -> Registry _ _

+ Data.Registry.Options.Sources: setPriorities :: forall {w :: [Type]} {out :: [Type]}. [Source] -> Registry w out -> Registry w (IO Priorities ': out)

- Data.Registry.Options.Sources: setYamlNames :: YamlNames -> Registry _ _ -> Registry _ _

+ Data.Registry.Options.Sources: setYamlNames :: forall {ins :: [Type]} {out :: [Type]}. YamlNames -> Registry ins out -> Registry ins (IO YamlNames ': out)

- Data.Registry.Options.Sources: sources :: Registry _ _

+ Data.Registry.Options.Sources: sources :: Registry '[IO Priorities, IO (Tag "environment" Lexemes), IO (Tag "yaml" Lexemes), IO (Tag "commandline" Lexemes), IO OptionNames, IO EnvironmentNames, IO YamlNames, IO OptionNames, IO (Maybe YamlByteString), IO Arguments, IO (Maybe YamlPath)] '[IO Lexemes, IO (Tag "environment" Lexemes), IO (Tag "yaml" Lexemes), IO (Tag "commandline" Lexemes), IO Priorities, IO Arguments, IO EnvironmentNames, IO YamlNames, IO (Maybe YamlByteString), IO OptionNames, IO (Maybe YamlPath)]

Files

registry-options.cabal +1/−1

registry-options.cabal view

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           registry-options-version:        0.2.1.0+version:        0.2.1.1 synopsis:       application options parsing description:    This library provides various parsers for assembling application options category:       Data