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
ValueOperator (OpName ValueOpName) Ident Precedence Associativity
TypeOperator (OpName TypeOpName) Ident Precedence Associativity
Export ModuleIdent

Instances

Eq ExternDecl Source #
Methods (==) :: ExternDecl -> ExternDecl -> Bool # (/=) :: ExternDecl -> ExternDecl -> Bool #
Ord ExternDecl Source #
Methods compare :: ExternDecl -> ExternDecl -> Ordering # (<) :: ExternDecl -> ExternDecl -> Bool # (<=) :: ExternDecl -> ExternDecl -> Bool # (>) :: ExternDecl -> ExternDecl -> Bool # (>=) :: ExternDecl -> ExternDecl -> Bool # max :: ExternDecl -> ExternDecl -> ExternDecl # min :: ExternDecl -> ExternDecl -> ExternDecl #
Show ExternDecl Source #
Methods showsPrec :: Int -> ExternDecl -> ShowS # show :: ExternDecl -> String # showList :: [ExternDecl] -> ShowS #

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 pscIdeStateModules :: Map Text [ExternDecl] pscIdeStateExternsFiles :: Map ModuleName ExternsFile pscIdeStateCachedRebuild :: Maybe (ModuleName, ExternsFile)

Instances

Show PscIdeState Source #
Methods showsPrec :: Int -> PscIdeState -> ShowS # show :: PscIdeState -> String # showList :: [PscIdeState] -> ShowS #

emptyPscIdeState :: PscIdeState Source #

data Match Source #

Constructors

Match ModuleIdent ExternDecl

Instances

Eq Match Source #
Methods (==) :: Match -> Match -> Bool # (/=) :: Match -> Match -> Bool #
Show Match Source #
Methods showsPrec :: Int -> Match -> ShowS # show :: Match -> String # showList :: [Match] -> ShowS #

newtype Completion Source #

Constructors

Completion (ModuleIdent, DeclIdent, Text)

Instances

Eq Completion Source #
Methods (==) :: Completion -> Completion -> Bool # (/=) :: Completion -> Completion -> Bool #
Show Completion Source #
Methods showsPrec :: Int -> Completion -> ShowS # show :: Completion -> String # showList :: [Completion] -> ShowS #
ToJSON Completion Source #
Methods toJSON :: Completion -> Value # toEncoding :: Completion -> Encoding #

data ModuleImport Source #

Constructors

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

Instances

Eq ModuleImport Source #
Methods (==) :: ModuleImport -> ModuleImport -> Bool # (/=) :: ModuleImport -> ModuleImport -> Bool #
Show ModuleImport Source #
Methods showsPrec :: Int -> ModuleImport -> ShowS # show :: ModuleImport -> String # showList :: [ModuleImport] -> ShowS #
ToJSON ModuleImport Source #
Methods toJSON :: ModuleImport -> Value # toEncoding :: ModuleImport -> Encoding #

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 #
Methods (==) :: Success -> Success -> Bool # (/=) :: Success -> Success -> Bool #
Show Success Source #
Methods showsPrec :: Int -> Success -> ShowS # show :: Success -> String # showList :: [Success] -> ShowS #
ToJSON Success Source #
Methods toJSON :: Success -> Value # toEncoding :: Success -> Encoding #

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

newtype PursuitQuery Source #

Constructors

PursuitQuery Text

Instances

Eq PursuitQuery Source #
Methods (==) :: PursuitQuery -> PursuitQuery -> Bool # (/=) :: PursuitQuery -> PursuitQuery -> Bool #
Show PursuitQuery Source #
Methods showsPrec :: Int -> PursuitQuery -> ShowS # show :: PursuitQuery -> String # showList :: [PursuitQuery] -> ShowS #
FromJSON PursuitQuery Source #
Methods parseJSON :: Value -> Parser PursuitQuery #

data PursuitSearchType Source #

Constructors

Package
Identifier

Instances

Eq PursuitSearchType Source #
Methods (==) :: PursuitSearchType -> PursuitSearchType -> Bool # (/=) :: PursuitSearchType -> PursuitSearchType -> Bool #
Show PursuitSearchType Source #
Methods showsPrec :: Int -> PursuitSearchType -> ShowS # show :: PursuitSearchType -> String # showList :: [PursuitSearchType] -> ShowS #
FromJSON PursuitSearchType Source #
Methods parseJSON :: Value -> Parser PursuitSearchType #

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 #
Methods (==) :: PursuitResponse -> PursuitResponse -> Bool # (/=) :: PursuitResponse -> PursuitResponse -> Bool #
Show PursuitResponse Source #
Methods showsPrec :: Int -> PursuitResponse -> ShowS # show :: PursuitResponse -> String # showList :: [PursuitResponse] -> ShowS #
ToJSON PursuitResponse Source #
Methods toJSON :: PursuitResponse -> Value # toEncoding :: PursuitResponse -> Encoding #
FromJSON PursuitResponse Source #
Methods parseJSON :: Value -> Parser PursuitResponse #

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