Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Feature = CantHaveAnEmptyDataType
- type FeatureSet = Set Feature
- hasFeature :: Feature -> FeatureSet -> Bool
- defaultFeatures :: FeatureSet
- allFeatures :: FeatureSet
- parseFeatureSet :: Text -> FeatureSet
- prettyFeatureSet :: FeatureSet -> String
Documentation
All the available features. A FeatureSet
describes the ones currently
available to the user.
Instances
Bounded Feature Source # | |
Enum Feature Source # | |
Eq Feature Source # | |
Ord Feature Source # | |
Defined in Ide.Plugin.Tactic.FeatureSet | |
Read Feature Source # | |
Show Feature Source # | |
type FeatureSet = Set Feature Source #
A collection of enabled features.
hasFeature :: Feature -> FeatureSet -> Bool Source #
Is a given Feature
currently enabled?
defaultFeatures :: FeatureSet Source #
Features that are globally enabled for all users.
allFeatures :: FeatureSet Source #
All available features.
parseFeatureSet :: Text -> FeatureSet Source #
Parse a feature set.
prettyFeatureSet :: FeatureSet -> String Source #
Pretty print a feature set.