PureScript.Ide.Command

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

List

Cwd

Quit

Instances

FromJSON Command