psc-ide-0.6.1: Language support for the PureScript programming language

Safe Haskell	None
Language	Haskell2010

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
Fields functionName :: DeclIdent functionType :: Type
FixityDeclaration Fixity Int DeclIdent
Dependency
Fields dependencyModule :: ModuleIdent dependencyNames :: [Text]
ModuleDecl ModuleIdent [DeclIdent]
DataDecl DeclIdent Text
Export ModuleIdent

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 PscEnvironment Source

Constructors

PscEnvironment
Fields envStateVar :: TVar PscState envConfiguration :: Configuration

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

data PscState Source

Constructors

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

Instances

Show PscState Source

emptyPscState :: PscState 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
Fields moduleResponseName :: Text moduleResponsePackage :: Text
DeclarationResponse
Fields declarationResponseType :: Text declarationResponseModule :: Text declarationResponseIdent :: Text declarationResponsePackage :: Text

Instances

Eq PursuitResponse Source
Show PursuitResponse Source
ToJSON PursuitResponse Source