PscIde.Command

data PursuitType

Constructors

• Package
• Ident

Instances

• Show PursuitType
• EncodeJson PursuitType

data Matcher

Constructors

• Flex String
• Distance String Int

Instances

• EncodeJson Matcher

data Filter

Constructors

• ExactFilter String
• PrefixFilter String
• ModuleFilter (Array String)
• DependencyFilter (Array String)
• NamespaceFilter (Array Namespace)
• DeclarationFilter (Array DeclarationType)

Instances

• EncodeJson Filter

filterWrapper :: forall a. EncodeJson a => String -> a -> Json

jsonSingletonObject' :: forall a. EncodeJson a => String -> a -> Json

newtype CompletionOptions

Constructors

• CompletionOptions { groupReexports :: Boolean, maxResults :: Maybe Int }

Instances

• EncodeJson CompletionOptions

data Command

Constructors

• Cwd
• Ls ListType
• Quit
• Reset
• Load (Array String) (Array String)
• Complete (Array Filter) (Maybe Matcher) (Maybe String) CompletionOptions
• Pursuit PursuitType String
• Type String (Array Filter) (Maybe String)
• AddClause String Boolean
• CaseSplit String Int Int Boolean String
• ImportCmd FileName (Maybe FileName) (Array Filter) ImportCommand
• RebuildCmd String (Maybe FileName) (Maybe (Array CodegenTarget))
• Usages String Namespace String

Instances

• EncodeJson Command

data ListType

Constructors

• LoadedModules
• Imports String
• AvailableModules

data Namespace

Constructors

• NSValue
• NSType
• NSKind

Instances

• EncodeJson Namespace

data CodegenTarget

Constructors

• JS
• JSSourceMap
• CoreFn
• Other String

Instances

• EncodeJson CodegenTarget

type FileName = String

data ImportCommand

Constructors

• AddImplicitImport String
• AddQualifiedImport String String
• AddImport String (Maybe String)

Instances

• EncodeJson ImportCommand

data DeclarationType

Constructors

• DeclValue
• DeclType
• DeclTypeSynonym
• DeclDataConstructor
• DeclTypeClass
• DeclValueOperator
• DeclTypeOperator
• DeclModule

declarationTypeFromString :: String -> Maybe DeclarationType

declarationTypeToString :: DeclarationType -> String

commandWrapper :: forall a. EncodeJson a => String -> a -> Json

encodeMaybeNull :: forall a. EncodeJson a => Maybe a -> Json

type Result a = Either String a

type GenCompletion :: Row Type -> Typetype GenCompletion a = { identifier :: String, module' :: String, type' :: String | a }

newtype TypePosition

Constructors

• TypePosition { end :: Position, name :: String, start :: Position }

Instances

• DecodeJson TypePosition

newtype TypeInfo

Constructors

• TypeInfo (GenCompletion (declarationType :: Maybe DeclarationType, definedAt :: Maybe TypePosition, documentation :: Maybe String, expandedType :: Maybe String, exportedFrom :: Array String))

Instances

• DecodeJson TypeInfo

newtype PursuitCompletion

Constructors

• PursuitCompletion { identifier :: String, module' :: String, package :: String, text :: String, type' :: Maybe String }

Instances

• DecodeJson PursuitCompletion

newtype ModuleList

Constructors

• ModuleList (Array String)

Instances

• DecodeJson ModuleList

newtype Message

Constructors

• Message String

Instances

• DecodeJson Message

newtype ImportList

Constructors

• ImportList { imports :: Array Import, moduleName :: Maybe String }

Instances

• DecodeJson ImportList

newtype Import

Constructors

• Import { importType :: ImportType, moduleName :: String, qualifier :: Maybe String }

Instances

• DecodeJson Import

type Position = { column :: Int, line :: Int }

type RangePosition = { endColumn :: Int, endLine :: Int, startColumn :: Int, startLine :: Int }

newtype RebuildError

Constructors

• RebuildError { errorCode :: String, errorLink :: String, filename :: Maybe String, message :: String, moduleName :: Maybe String, position :: Maybe RangePosition, pursIde :: Maybe PursIdeInfo, suggestion :: Maybe PscSuggestion }

Instances

• DecodeJson RebuildError

newtype PscSuggestion

Constructors

• PscSuggestion { replaceRange :: Maybe RangePosition, replacement :: String }

newtype RebuildResult

Constructors

• RebuildResult (Array RebuildError)

Instances

• DecodeJson RebuildResult

newtype PursIdeInfo

Constructors

• PursIdeInfo { completions :: Array TypeInfo, name :: String }

data ImportType

Constructors

• Implicit
• Explicit (Array String)
• Hiding (Array String)

data ImportResult

Constructors

• SuccessFile Message
• SuccessText (Array String)
• MultipleResults (Array TypeInfo)

Instances

• DecodeJson ImportResult

unwrapResponse :: forall a b. DecodeJson a => DecodeJson b => String -> Either String (Either a b)