Safe Haskell | None |
---|---|
Language | Haskell98 |
Type definitions for psc-ide
- type ModuleIdent = Text
- data IdeDeclaration
- data IdeValue = IdeValue {}
- data IdeType = IdeType {}
- data IdeSynonym = IdeSynonym {}
- data IdeDataConstructor = IdeDataConstructor {}
- data IdeValueOperator = IdeValueOperator {}
- data IdeTypeOperator = IdeTypeOperator {}
- _IdeDeclKind :: Prism' IdeDeclaration (ProperName KindName)
- _IdeDeclTypeOperator :: Prism' IdeDeclaration IdeTypeOperator
- _IdeDeclValueOperator :: Prism' IdeDeclaration IdeValueOperator
- _IdeDeclTypeClass :: Prism' IdeDeclaration (ProperName ClassName)
- _IdeDeclDataConstructor :: Prism' IdeDeclaration IdeDataConstructor
- _IdeDeclTypeSynonym :: Prism' IdeDeclaration IdeSynonym
- _IdeDeclType :: Prism' IdeDeclaration IdeType
- _IdeDeclValue :: Prism' IdeDeclaration IdeValue
- ideValueType :: Lens' IdeValue Type
- ideValueIdent :: Lens' IdeValue Ident
- ideTypeName :: Lens' IdeType (ProperName TypeName)
- ideTypeKind :: Lens' IdeType Kind
- ideSynonymType :: Lens' IdeSynonym Type
- ideSynonymName :: Lens' IdeSynonym (ProperName TypeName)
- ideDtorTypeName :: Lens' IdeDataConstructor (ProperName TypeName)
- ideDtorType :: Lens' IdeDataConstructor Type
- ideDtorName :: Lens' IdeDataConstructor (ProperName ConstructorName)
- ideValueOpType :: Lens' IdeValueOperator (Maybe Type)
- ideValueOpPrecedence :: Lens' IdeValueOperator Precedence
- ideValueOpName :: Lens' IdeValueOperator (OpName ValueOpName)
- ideValueOpAssociativity :: Lens' IdeValueOperator Associativity
- ideValueOpAlias :: Lens' IdeValueOperator (Qualified (Either Ident (ProperName ConstructorName)))
- ideTypeOpPrecedence :: Lens' IdeTypeOperator Precedence
- ideTypeOpName :: Lens' IdeTypeOperator (OpName TypeOpName)
- ideTypeOpKind :: Lens' IdeTypeOperator (Maybe Kind)
- ideTypeOpAssociativity :: Lens' IdeTypeOperator Associativity
- ideTypeOpAlias :: Lens' IdeTypeOperator (Qualified (ProperName TypeName))
- data IdeDeclarationAnn = IdeDeclarationAnn {}
- data Annotation = Annotation {}
- idaDeclaration :: Lens' IdeDeclarationAnn IdeDeclaration
- idaAnnotation :: Lens' IdeDeclarationAnn Annotation
- emptyAnn :: Annotation
- type Module = (ModuleName, [IdeDeclarationAnn])
- type DefinitionSites a = Map IdeDeclNamespace a
- type TypeAnnotations = Map Ident Type
- newtype AstData a = AstData (Map ModuleName (DefinitionSites a, TypeAnnotations))
- data IdeLogLevel
- = LogDebug
- | LogPerf
- | LogAll
- | LogDefault
- | LogNone
- 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
- data IdeDeclNamespace
Documentation
type ModuleIdent = Text Source #
data IdeDeclaration Source #
data IdeSynonym Source #
ideValueOpAlias :: Lens' IdeValueOperator (Qualified (Either Ident (ProperName ConstructorName))) Source #
data IdeDeclarationAnn Source #
data Annotation Source #
type Module = (ModuleName, [IdeDeclarationAnn]) Source #
type DefinitionSites a = Map IdeDeclNamespace a 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 IdeLogLevel Source #
data Configuration Source #
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 |
data IdeDeclNamespace Source #