Language.PureScript.Ide.Command

Datatypes for the commands psc-ide accepts

Documentation

data Command

Constructors

Load

Fields

loadModules :: [ModuleIdent]

loadDependencies :: [ModuleIdent]

Type

Fields

typeSearch :: DeclIdent

typeFilters :: [Filter]

Complete

Fields

completeFilters :: [Filter]

completeMatcher :: Matcher

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

Quit

Instances

FromJSON Command

data ImportCommand

Constructors

AddImplicitImport ModuleName

AddImportForIdentifier DeclIdent

Instances

Eq ImportCommand

Show ImportCommand

FromJSON ImportCommand

data ListType

Constructors

LoadedModules

Imports FilePath

AvailableModules

Instances

FromJSON ListType