Safe Haskell	None
Language	Haskell2010

Ide.Plugin.Tactic.TestTypes

Synopsis

data TacticCommand
- = Auto
- | Intros
- | Destruct
- | Homomorphism
- | DestructLambdaCase
- | HomomorphismLambdaCase
tacticTitle :: TacticCommand -> Text -> Text
newtype Config = Config {
- cfg_feature_set :: FeatureSet
}
emptyConfig :: Config

Documentation

data TacticCommand Source #

The list of tactics exposed to the outside world. These are attached to actual tactics via commandTactic and are contextually provided to the editor via commandProvider.

Constructors

Auto
Intros
Destruct
Homomorphism
DestructLambdaCase
HomomorphismLambdaCase

Instances

Instances details

Bounded TacticCommand Source #
Instance details Defined in Ide.Plugin.Tactic.TestTypes Methods minBound :: TacticCommand # maxBound :: TacticCommand #
Enum TacticCommand Source #
Instance details Defined in Ide.Plugin.Tactic.TestTypes Methods succ :: TacticCommand -> TacticCommand # pred :: TacticCommand -> TacticCommand # toEnum :: Int -> TacticCommand # fromEnum :: TacticCommand -> Int # enumFrom :: TacticCommand -> [TacticCommand] # enumFromThen :: TacticCommand -> TacticCommand -> [TacticCommand] # enumFromTo :: TacticCommand -> TacticCommand -> [TacticCommand] # enumFromThenTo :: TacticCommand -> TacticCommand -> TacticCommand -> [TacticCommand] #
Eq TacticCommand Source #
Instance details Defined in Ide.Plugin.Tactic.TestTypes Methods (==) :: TacticCommand -> TacticCommand -> Bool # (/=) :: TacticCommand -> TacticCommand -> Bool #
Ord TacticCommand Source #
Instance details Defined in Ide.Plugin.Tactic.TestTypes Methods compare :: TacticCommand -> TacticCommand -> Ordering # (<) :: TacticCommand -> TacticCommand -> Bool # (<=) :: TacticCommand -> TacticCommand -> Bool # (>) :: TacticCommand -> TacticCommand -> Bool # (>=) :: TacticCommand -> TacticCommand -> Bool # max :: TacticCommand -> TacticCommand -> TacticCommand # min :: TacticCommand -> TacticCommand -> TacticCommand #
Show TacticCommand Source #
Instance details Defined in Ide.Plugin.Tactic.TestTypes Methods showsPrec :: Int -> TacticCommand -> ShowS # show :: TacticCommand -> String # showList :: [TacticCommand] -> ShowS #

tacticTitle :: TacticCommand -> Text -> Text Source #

Generate a title for the command.

newtype Config Source #

Plugin configuration for tactics

Constructors

Config
Fields cfg_feature_set :: FeatureSet

Instances

Instances details

ToJSON Config Source #
Instance details Defined in Ide.Plugin.Tactic.TestTypes Methods toJSON :: Config -> Value # toEncoding :: Config -> Encoding # toJSONList :: [Config] -> Value # toEncodingList :: [Config] -> Encoding #
FromJSON Config Source #
Instance details Defined in Ide.Plugin.Tactic.TestTypes Methods parseJSON :: Value -> Parser Config # parseJSONList :: Value -> Parser [Config] #

emptyConfig :: Config Source #