Language.PureScript.Ide.Command

Datatypes for the commands psc-ide accepts

Documentation

data Command

Constructors

Load [ModuleName]

Type

Fields

• typeSearch :: Text
• typeFilters :: [Filter]
• typeCurrentModule :: Maybe ModuleName

Complete

Fields

• completeFilters :: [Filter]
• completeMatcher :: Matcher IdeDeclarationAnn
• completeCurrentModule :: Maybe ModuleName

Pursuit

Fields

• pursuitQuery :: PursuitQuery
• pursuitSearchType :: PursuitSearchType

CaseSplit

Fields

• caseSplitLine :: Text
• caseSplitBegin :: Int
• caseSplitEnd :: Int
• caseSplitAnnotations :: WildcardAnnotations
• caseSplitType :: Text

AddClause

Fields

• addClauseLine :: Text
• addClauseAnnotations :: WildcardAnnotations

Import FilePath (Maybe FilePath) [Filter] ImportCommand

List

Fields

• listType :: ListType

Rebuild FilePath

Rebuild the specified file using the loaded externs

Cwd

Reset

Quit

Instances

FromJSON Command

Methods

parseJSON :: Value -> Parser Command

parseJSONList :: Value -> Parser [Command]

data ImportCommand

Constructors

AddImplicitImport ModuleName

AddImportForIdentifier Text

Instances

Eq ImportCommand

Methods

(==) :: ImportCommand -> ImportCommand -> Bool

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

Show ImportCommand

Methods

showsPrec :: Int -> ImportCommand -> ShowS

show :: ImportCommand -> String

showList :: [ImportCommand] -> ShowS

FromJSON ImportCommand

Methods

parseJSON :: Value -> Parser ImportCommand

parseJSONList :: Value -> Parser [ImportCommand]

data ListType

Constructors

LoadedModules

Imports FilePath

AvailableModules

Instances

FromJSON ListType

Methods

parseJSON :: Value -> Parser ListType

parseJSONList :: Value -> Parser [ListType]