Safe Haskell	Safe-Inferred
Language	Haskell2010

ImportStylePlugin.Config

Synopsis

data Severity
- = Error
- | Warning
data Qualification
- = Required
- | Forbidden
data ModuleAliases
- = Exactly (Set String)
- | OrOmitted (Set String)
data NamesList
- = BlackList (Set String)
- | WhiteList (Set String)
data ImportRule = ImportRule {
- qualification :: Maybe Qualification
- aliases :: Maybe ModuleAliases
- importedNames :: Maybe NamesList
}
data QualificationStyle
- = Post
- | Pre
data ImportRules = ImportRules {
- rules :: [ImportRule]
- severity :: Severity
}
data Ban = Ban {
- severity :: Severity
- why :: String
}
data ImportsStyle = ImportsStyle {
- qualificationStyle :: Maybe QualificationStyle
- bannedModules :: Map ModuleName Ban
- importRules :: Map ModuleName ImportRules
}
newtype ModuleName = ModuleName String

Documentation

data Severity Source #

Report either error or warning during compilation

Constructors

Error
Warning

Instances

Instances details

FromJSON Severity Source #
Instance details Defined in ImportStylePlugin.Config Methods parseJSON :: Value -> Parser Severity # parseJSONList :: Value -> Parser [Severity] # omittedField :: Maybe Severity #
Generic Severity Source #
Instance details Defined in ImportStylePlugin.Config Associated Types type Rep Severity :: Type -> Type # Methods from :: Severity -> Rep Severity x # to :: Rep Severity x -> Severity #
Show Severity Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> Severity -> ShowS # show :: Severity -> String # showList :: [Severity] -> ShowS #
type Rep Severity Source #
Instance details Defined in ImportStylePlugin.Config type Rep Severity = D1 ('MetaData "Severity" "ImportStylePlugin.Config" "import-style-plugin-0.1.0.0-3mKWth6FJwSHdIC44LJva5" 'False) (C1 ('MetaCons "Error" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Warning" 'PrefixI 'False) (U1 :: Type -> Type))

data Qualification Source #

Constructors

Required
Forbidden

Instances

Instances details

FromJSON Qualification Source #
Instance details Defined in ImportStylePlugin.Config Methods parseJSON :: Value -> Parser Qualification # parseJSONList :: Value -> Parser [Qualification] # omittedField :: Maybe Qualification #
Generic Qualification Source #
Instance details Defined in ImportStylePlugin.Config Associated Types type Rep Qualification :: Type -> Type # Methods from :: Qualification -> Rep Qualification x # to :: Rep Qualification x -> Qualification #
Show Qualification Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> Qualification -> ShowS # show :: Qualification -> String # showList :: [Qualification] -> ShowS #
type Rep Qualification Source #
Instance details Defined in ImportStylePlugin.Config type Rep Qualification = D1 ('MetaData "Qualification" "ImportStylePlugin.Config" "import-style-plugin-0.1.0.0-3mKWth6FJwSHdIC44LJva5" 'False) (C1 ('MetaCons "Required" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Forbidden" 'PrefixI 'False) (U1 :: Type -> Type))

data ModuleAliases Source #

Constructors

Exactly (Set String)
OrOmitted (Set String)

Instances

Instances details

FromJSON ModuleAliases Source #
Instance details Defined in ImportStylePlugin.Config Methods parseJSON :: Value -> Parser ModuleAliases # parseJSONList :: Value -> Parser [ModuleAliases] # omittedField :: Maybe ModuleAliases #
Show ModuleAliases Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> ModuleAliases -> ShowS # show :: ModuleAliases -> String # showList :: [ModuleAliases] -> ShowS #

data NamesList Source #

Constructors

BlackList (Set String)
WhiteList (Set String)

Instances

Instances details

FromJSON NamesList Source #
Instance details Defined in ImportStylePlugin.Config Methods parseJSON :: Value -> Parser NamesList # parseJSONList :: Value -> Parser [NamesList] # omittedField :: Maybe NamesList #
Show NamesList Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> NamesList -> ShowS # show :: NamesList -> String # showList :: [NamesList] -> ShowS #

data ImportRule Source #

Constructors

ImportRule
Fields qualification :: Maybe Qualification `Nothing` means "don't care" aliases :: Maybe ModuleAliases `Nothing` means "don't care" importedNames :: Maybe NamesList `Nothing` means "don't care"

Instances

Instances details

FromJSON ImportRule Source #
Instance details Defined in ImportStylePlugin.Config Methods parseJSON :: Value -> Parser ImportRule # parseJSONList :: Value -> Parser [ImportRule] # omittedField :: Maybe ImportRule #
Generic ImportRule Source #
Instance details Defined in ImportStylePlugin.Config Associated Types type Rep ImportRule :: Type -> Type # Methods from :: ImportRule -> Rep ImportRule x # to :: Rep ImportRule x -> ImportRule #
Show ImportRule Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> ImportRule -> ShowS # show :: ImportRule -> String # showList :: [ImportRule] -> ShowS #
type Rep ImportRule Source #
Instance details Defined in ImportStylePlugin.Config type Rep ImportRule = D1 ('MetaData "ImportRule" "ImportStylePlugin.Config" "import-style-plugin-0.1.0.0-3mKWth6FJwSHdIC44LJva5" 'False) (C1 ('MetaCons "ImportRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "qualification") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Qualification)) :: (S1 ('MetaSel ('Just "aliases") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModuleAliases)) :: S1 ('MetaSel ('Just "importedNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NamesList)))))

data QualificationStyle Source #

Constructors

Post
Pre

Instances

Instances details

FromJSON QualificationStyle Source #
Instance details Defined in ImportStylePlugin.Config Methods parseJSON :: Value -> Parser QualificationStyle # parseJSONList :: Value -> Parser [QualificationStyle] # omittedField :: Maybe QualificationStyle #
Generic QualificationStyle Source #
Instance details Defined in ImportStylePlugin.Config Associated Types type Rep QualificationStyle :: Type -> Type # Methods from :: QualificationStyle -> Rep QualificationStyle x # to :: Rep QualificationStyle x -> QualificationStyle #
Show QualificationStyle Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> QualificationStyle -> ShowS # show :: QualificationStyle -> String # showList :: [QualificationStyle] -> ShowS #
type Rep QualificationStyle Source #
Instance details Defined in ImportStylePlugin.Config type Rep QualificationStyle = D1 ('MetaData "QualificationStyle" "ImportStylePlugin.Config" "import-style-plugin-0.1.0.0-3mKWth6FJwSHdIC44LJva5" 'False) (C1 ('MetaCons "Post" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pre" 'PrefixI 'False) (U1 :: Type -> Type))

data ImportRules Source #

Constructors

ImportRules
Fields rules :: [ImportRule] severity :: Severity

Instances

Instances details

FromJSON ImportRules Source #
Instance details Defined in ImportStylePlugin.Config Methods parseJSON :: Value -> Parser ImportRules # parseJSONList :: Value -> Parser [ImportRules] # omittedField :: Maybe ImportRules #
Generic ImportRules Source #
Instance details Defined in ImportStylePlugin.Config Associated Types type Rep ImportRules :: Type -> Type # Methods from :: ImportRules -> Rep ImportRules x # to :: Rep ImportRules x -> ImportRules #
Show ImportRules Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> ImportRules -> ShowS # show :: ImportRules -> String # showList :: [ImportRules] -> ShowS #
type Rep ImportRules Source #
Instance details Defined in ImportStylePlugin.Config type Rep ImportRules = D1 ('MetaData "ImportRules" "ImportStylePlugin.Config" "import-style-plugin-0.1.0.0-3mKWth6FJwSHdIC44LJva5" 'False) (C1 ('MetaCons "ImportRules" 'PrefixI 'True) (S1 ('MetaSel ('Just "rules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ImportRule]) :*: S1 ('MetaSel ('Just "severity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Severity)))

data Ban Source #

Constructors

Ban
Fields severity :: Severity why :: String ban reason

Instances

Instances details

FromJSON Ban Source #
Instance details Defined in ImportStylePlugin.Config Methods parseJSON :: Value -> Parser Ban # parseJSONList :: Value -> Parser [Ban] # omittedField :: Maybe Ban #
Generic Ban Source #
Instance details Defined in ImportStylePlugin.Config Associated Types type Rep Ban :: Type -> Type # Methods from :: Ban -> Rep Ban x # to :: Rep Ban x -> Ban #
Show Ban Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> Ban -> ShowS # show :: Ban -> String # showList :: [Ban] -> ShowS #
type Rep Ban Source #
Instance details Defined in ImportStylePlugin.Config type Rep Ban = D1 ('MetaData "Ban" "ImportStylePlugin.Config" "import-style-plugin-0.1.0.0-3mKWth6FJwSHdIC44LJva5" 'False) (C1 ('MetaCons "Ban" 'PrefixI 'True) (S1 ('MetaSel ('Just "severity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Severity) :*: S1 ('MetaSel ('Just "why") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data ImportsStyle Source #

Constructors

ImportsStyle
Fields qualificationStyle :: Maybe QualificationStyle `Nothing` means "don't care" bannedModules :: Map ModuleName Ban importRules :: Map ModuleName ImportRules

Instances

Instances details

FromJSON ImportsStyle Source #
Instance details Defined in ImportStylePlugin.Config Methods parseJSON :: Value -> Parser ImportsStyle # parseJSONList :: Value -> Parser [ImportsStyle] # omittedField :: Maybe ImportsStyle #
Generic ImportsStyle Source #
Instance details Defined in ImportStylePlugin.Config Associated Types type Rep ImportsStyle :: Type -> Type # Methods from :: ImportsStyle -> Rep ImportsStyle x # to :: Rep ImportsStyle x -> ImportsStyle #
Show ImportsStyle Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> ImportsStyle -> ShowS # show :: ImportsStyle -> String # showList :: [ImportsStyle] -> ShowS #
type Rep ImportsStyle Source #
Instance details Defined in ImportStylePlugin.Config type Rep ImportsStyle = D1 ('MetaData "ImportsStyle" "ImportStylePlugin.Config" "import-style-plugin-0.1.0.0-3mKWth6FJwSHdIC44LJva5" 'False) (C1 ('MetaCons "ImportsStyle" 'PrefixI 'True) (S1 ('MetaSel ('Just "qualificationStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe QualificationStyle)) :: (S1 ('MetaSel ('Just "bannedModules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ModuleName Ban)) :: S1 ('MetaSel ('Just "importRules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ModuleName ImportRules)))))

newtype ModuleName Source #

Constructors

ModuleName String

Instances

Instances details

FromJSONKey ModuleName Source #
Instance details Defined in ImportStylePlugin.Config Methods fromJSONKey :: FromJSONKeyFunction ModuleName # fromJSONKeyList :: FromJSONKeyFunction [ModuleName] #
IsString ModuleName Source #
Instance details Defined in ImportStylePlugin.Config Methods fromString :: String -> ModuleName #
Show ModuleName Source #
Instance details Defined in ImportStylePlugin.Config Methods showsPrec :: Int -> ModuleName -> ShowS # show :: ModuleName -> String # showList :: [ModuleName] -> ShowS #
Eq ModuleName Source #
Instance details Defined in ImportStylePlugin.Config Methods (==) :: ModuleName -> ModuleName -> Bool # (/=) :: ModuleName -> ModuleName -> Bool #
Ord ModuleName Source #
Instance details Defined in ImportStylePlugin.Config Methods compare :: ModuleName -> ModuleName -> Ordering # (<) :: ModuleName -> ModuleName -> Bool # (<=) :: ModuleName -> ModuleName -> Bool # (>) :: ModuleName -> ModuleName -> Bool # (>=) :: ModuleName -> ModuleName -> Bool # max :: ModuleName -> ModuleName -> ModuleName # min :: ModuleName -> ModuleName -> ModuleName #