purescript-0.8.5.0: PureScript Programming Language Compiler

Safe Haskell	None
Language	Haskell98

Language.PureScript.Ide.Types

Description

Type definitions for psc-ide

Documentation

type Ident = Text Source

type DeclIdent = Text Source

type ModuleIdent = Text Source

data ExternDecl Source

Constructors

ValueDeclaration Ident Type	A function/value declaration
TypeDeclaration (ProperName TypeName) Kind
TypeSynonymDeclaration (ProperName TypeName) Type
Dependency ModuleIdent [Text] (Maybe Text)	A Dependency onto another Module
ModuleDecl ModuleIdent [DeclIdent]	A module declaration
DataConstructor DeclIdent (ProperName TypeName) Type	A data/newtype declaration
TypeClassDeclaration (ProperName ClassName)	An exported module
Export ModuleIdent

Instances

Eq ExternDecl Source
Ord ExternDecl Source
Show ExternDecl Source

type Module = (ModuleIdent, [ExternDecl]) Source

data Configuration Source

Constructors

Configuration
Fields confOutputPath :: FilePath confDebug :: Bool

data PscIdeEnvironment Source

Constructors

PscIdeEnvironment
Fields envStateVar :: TVar PscIdeState envConfiguration :: Configuration

type PscIde m = (MonadIO m, MonadReader PscIdeEnvironment m) Source

data PscIdeState Source

Constructors

PscIdeState
Fields pscStateModules :: Map Text [ExternDecl] externsFiles :: Map ModuleName ExternsFile

Instances

Show PscIdeState Source

emptyPscIdeState :: PscIdeState Source

data Match Source

Constructors

Match ModuleIdent ExternDecl

Instances

Eq Match Source
Show Match Source

newtype Completion Source

Constructors

Completion (ModuleIdent, DeclIdent, Text)

Instances

Eq Completion Source
Show Completion Source
ToJSON Completion Source

data ModuleImport Source

Constructors

ModuleImport
Fields importModuleName :: ModuleIdent importType :: ImportDeclarationType importQualifier :: Maybe Text

Instances

Eq ModuleImport Source
Show ModuleImport Source
ToJSON ModuleImport Source

identifierFromDeclarationRef :: DeclarationRef -> String Source

data Success Source

Constructors

CompletionResult [Completion]
TextResult Text
MultilineTextResult [Text]
PursuitResult [PursuitResponse]
ImportList [ModuleImport]
ModuleList [ModuleIdent]
RebuildSuccess [JSONError]

Instances

Eq Success Source
Show Success Source
ToJSON Success Source

encodeSuccess :: ToJSON a => a -> Value Source

newtype PursuitQuery Source

Constructors

PursuitQuery Text

Instances

Eq PursuitQuery Source
Show PursuitQuery Source
FromJSON PursuitQuery Source

data PursuitSearchType Source

Constructors

Package
Identifier

Instances

Eq PursuitSearchType Source
Show PursuitSearchType Source
FromJSON PursuitSearchType Source

data PursuitResponse Source

Constructors

ModuleResponse ModuleIdent Text	A Pursuit Response for a module. Consists of the modules name and the package it belongs to
DeclarationResponse Text ModuleIdent DeclIdent Text	A Pursuit Response for a declaration. Consist of the declarations type, module, name and package

Instances

Eq PursuitResponse Source
Show PursuitResponse Source
ToJSON PursuitResponse Source
FromJSON PursuitResponse Source

typeParse :: Text -> Either Text (Text, Text) Source