purescript-0.8.3.0: PureScript Programming Language Compiler

Safe Haskell	None
Language	Haskell98

Language.PureScript.Ide.Types

Documentation

type ModuleIdent = Text Source

type DeclIdent = Text Source

type Type = Text Source

data Fixity Source

Constructors

Infix
Infixl
Infixr

Instances

Eq Fixity Source
Ord Fixity Source
Show Fixity Source

data ExternDecl Source

Constructors

FunctionDecl DeclIdent Type	A function/value declaration
FixityDeclaration Fixity Int DeclIdent
Dependency ModuleIdent [Text] (Maybe Text)	A Dependency onto another Module
ModuleDecl ModuleIdent [DeclIdent]	A module declaration
DataDecl DeclIdent Text	A data/newtype declaration
Export ModuleIdent	An exported module

Instances

Eq ExternDecl Source
Ord ExternDecl Source
Show ExternDecl Source
ToJSON 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

newtype Completion Source

Constructors

Completion (ModuleIdent, DeclIdent, Type)

Instances

Eq Completion Source
Show Completion Source
ToJSON Completion Source
FromJSON 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]

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 Type 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

identifier :: Parser Text Source