Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type Config = ConfigType Regex
- type ConfigParsed = ConfigType String
- data ConfigType a = Config {
- rootPatterns :: [a]
- typeClassRoots :: Bool
- rootInstances :: [InstancePattern a]
- unusedTypes :: Bool
- compileConfig :: ConfigParsed -> Either String Config
- configToToml :: ConfigParsed -> String
- decodeNoDefaults :: Decoder Config
- defaultConfig :: ConfigParsed
- data InstancePattern a
- modulePattern :: InstancePattern a -> Maybe a
- instancePattern :: InstancePattern a -> Maybe a
- classPattern :: InstancePattern a -> Maybe a
- pattern InstanceOnly :: a -> InstancePattern a
- pattern ClassOnly :: a -> InstancePattern a
- pattern ModuleOnly :: a -> InstancePattern a
Config
type Config = ConfigType Regex Source #
Configuration for Weeder analysis.
type ConfigParsed = ConfigType String Source #
Configuration that has been parsed from TOML (and can still be
converted back), but not yet compiled to a Config
.
data ConfigType a Source #
Underlying type for Config
and ConfigParsed
.
Config | |
|
Instances
DecodeTOML Config Source # | |
Defined in Weeder.Config | |
DecodeTOML ConfigParsed Source # | |
Defined in Weeder.Config | |
Show a => Show (ConfigType a) Source # | |
Defined in Weeder.Config showsPrec :: Int -> ConfigType a -> ShowS # show :: ConfigType a -> String # showList :: [ConfigType a] -> ShowS # | |
Eq a => Eq (ConfigType a) Source # | |
Defined in Weeder.Config (==) :: ConfigType a -> ConfigType a -> Bool # (/=) :: ConfigType a -> ConfigType a -> Bool # |
configToToml :: ConfigParsed -> String Source #
Marking instances as roots
data InstancePattern a Source #
Construct via InstanceOnly, ClassOnly or ModuleOnly, and combine with the Semigroup instance. The Semigroup instance ignores duplicate fields, prioritising the left argument.
Instances
modulePattern :: InstancePattern a -> Maybe a Source #
instancePattern :: InstancePattern a -> Maybe a Source #
classPattern :: InstancePattern a -> Maybe a Source #
pattern InstanceOnly :: a -> InstancePattern a Source #
pattern ClassOnly :: a -> InstancePattern a Source #
pattern ModuleOnly :: a -> InstancePattern a Source #