Safe Haskell | None |
---|---|
Language | Haskell98 |
Type definitions for psc-ide
- type ModuleIdent = Text
- data IdeDeclaration
- = IdeValue Ident Type
- | IdeType (ProperName TypeName) Kind
- | IdeTypeSynonym (ProperName TypeName) Type
- | IdeDataConstructor (ProperName ConstructorName) (ProperName TypeName) Type
- | IdeTypeClass (ProperName ClassName)
- | IdeValueOperator (OpName ValueOpName) (Qualified (Either Ident (ProperName ConstructorName))) Precedence Associativity (Maybe Type)
- | IdeTypeOperator (OpName TypeOpName) (Qualified (ProperName TypeName)) Precedence Associativity (Maybe Kind)
- data IdeDeclarationAnn = IdeDeclarationAnn Annotation IdeDeclaration
- data Annotation = Annotation {}
- emptyAnn :: Annotation
- type Module = (ModuleName, [IdeDeclarationAnn])
- type DefinitionSites a = Map (Either Text Text) a
- type TypeAnnotations = Map Ident Type
- newtype AstData a = AstData (Map ModuleName (DefinitionSites a, TypeAnnotations))
- data Configuration = Configuration {}
- data IdeEnvironment = IdeEnvironment {}
- type Ide m = (MonadIO m, MonadReader IdeEnvironment m)
- data IdeState = IdeState {}
- emptyIdeState :: IdeState
- emptyStage1 :: Stage1
- emptyStage2 :: Stage2
- emptyStage3 :: Stage3
- data Stage1 = Stage1 {}
- data Stage2 = Stage2 {}
- data Stage3 = Stage3 {}
- newtype Match a = Match (ModuleName, a)
- data Completion = Completion {}
- data ModuleImport = ModuleImport {}
- identifierFromDeclarationRef :: DeclarationRef -> Text
- data Success
- encodeSuccess :: ToJSON a => a -> Value
- newtype PursuitQuery = PursuitQuery Text
- data PursuitSearchType
- data PursuitResponse
Documentation
type ModuleIdent = Text Source #
data IdeDeclaration Source #
data IdeDeclarationAnn Source #
data Annotation Source #
type Module = (ModuleName, [IdeDeclarationAnn]) Source #
AstData (Map ModuleName (DefinitionSites a, TypeAnnotations)) | SourceSpans for the definition sites of Values and Types aswell as type annotations found in a module |
data IdeEnvironment Source #
type Ide m = (MonadIO m, MonadReader IdeEnvironment m) Source #
emptyStage1 :: Stage1 Source #
emptyStage2 :: Stage2 Source #
emptyStage3 :: Stage3 Source #
Match (ModuleName, a) |
data Completion Source #
A completion as it gets sent to the editors
encodeSuccess :: ToJSON a => a -> Value Source #
newtype PursuitQuery Source #
data PursuitSearchType Source #
data PursuitResponse Source #
ModuleResponse ModuleIdent Text | A Pursuit Response for a module. Consists of the modules name and the package it belongs to |
DeclarationResponse Text ModuleIdent Text (Maybe Text) Text | A Pursuit Response for a declaration. Consist of the declaration's module, name, package, type summary text |