Ide.Plugin.Tactic.FeatureSet

Documentation

data Feature

All the available features. A FeatureSet describes the ones currently available to the user.

Constructors

CantHaveAnEmptyDataType

Instances

Bounded Feature

Defined in Ide.Plugin.Tactic.FeatureSet

Methods

minBound :: Feature

maxBound :: Feature

Enum Feature

Defined in Ide.Plugin.Tactic.FeatureSet

Methods

succ :: Feature -> Feature

pred :: Feature -> Feature

toEnum :: Int -> Feature

fromEnum :: Feature -> Int

enumFrom :: Feature -> [Feature]

enumFromThen :: Feature -> Feature -> [Feature]

enumFromTo :: Feature -> Feature -> [Feature]

enumFromThenTo :: Feature -> Feature -> Feature -> [Feature]

Eq Feature

Defined in Ide.Plugin.Tactic.FeatureSet

Methods

(==) :: Feature -> Feature -> Bool

(/=) :: Feature -> Feature -> Bool

Ord Feature

Defined in Ide.Plugin.Tactic.FeatureSet

Methods

compare :: Feature -> Feature -> Ordering

(<) :: Feature -> Feature -> Bool

(<=) :: Feature -> Feature -> Bool

(>) :: Feature -> Feature -> Bool

(>=) :: Feature -> Feature -> Bool

max :: Feature -> Feature -> Feature

min :: Feature -> Feature -> Feature

Read Feature

Defined in Ide.Plugin.Tactic.FeatureSet

Methods

readsPrec :: Int -> ReadS Feature

readList :: ReadS [Feature]

readPrec :: ReadPrec Feature

readListPrec :: ReadPrec [Feature]

Show Feature

Defined in Ide.Plugin.Tactic.FeatureSet

Methods

showsPrec :: Int -> Feature -> ShowS

show :: Feature -> String

showList :: [Feature] -> ShowS

type FeatureSet = Set Feature

A collection of enabled features.

hasFeature :: Feature -> FeatureSet -> Bool

Is a given Feature currently enabled?

defaultFeatures :: FeatureSet

Features that are globally enabled for all users.

allFeatures :: FeatureSet

All available features.

parseFeatureSet :: Text -> FeatureSet

Parse a feature set.

prettyFeatureSet :: FeatureSet -> String

Pretty print a feature set.