purescript-0.8.1.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
Fields functionName :: DeclIdent functionType :: Type
FixityDeclaration Fixity Int DeclIdent
Dependency
Fields dependencyModule :: ModuleIdent dependencyNames :: [Text] dependencyAlias :: Maybe 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 PscIdeEnvironment Source

Constructors

PscIdeEnvironment
Fields envStateVar :: TVar PscIdeState envConfiguration :: Configuration

type PscIde m = (Applicative 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
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
FromJSON PursuitResponse Source

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

identifier :: Parser Text Source