| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PureScript.Ide.Types
Description
Type definitions for psc-ide
- type ModuleIdent = Text
- type ModuleMap a = Map ModuleName a
- data IdeDeclaration
- data IdeValue = IdeValue {}
- data IdeType = IdeType {}
- data IdeTypeSynonym = IdeTypeSynonym {}
- data IdeDataConstructor = IdeDataConstructor {}
- data IdeTypeClass = IdeTypeClass {}
- data IdeInstance = IdeInstance {}
- data IdeValueOperator = IdeValueOperator {}
- data IdeTypeOperator = IdeTypeOperator {}
- _IdeDeclKind :: Prism' IdeDeclaration (ProperName KindName)
- _IdeDeclTypeOperator :: Prism' IdeDeclaration IdeTypeOperator
- _IdeDeclValueOperator :: Prism' IdeDeclaration IdeValueOperator
- _IdeDeclTypeClass :: Prism' IdeDeclaration IdeTypeClass
- _IdeDeclDataConstructor :: Prism' IdeDeclaration IdeDataConstructor
- _IdeDeclTypeSynonym :: Prism' IdeDeclaration IdeTypeSynonym
- _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' IdeTypeSynonym Type
- ideSynonymName :: Lens' IdeTypeSynonym (ProperName TypeName)
- ideSynonymKind :: Lens' IdeTypeSynonym Kind
- ideDtorTypeName :: Lens' IdeDataConstructor (ProperName TypeName)
- ideDtorType :: Lens' IdeDataConstructor Type
- ideDtorName :: Lens' IdeDataConstructor (ProperName ConstructorName)
- ideTCName :: Lens' IdeTypeClass (ProperName ClassName)
- ideTCKind :: Lens' IdeTypeClass Kind
- ideTCInstances :: Lens' IdeTypeClass [IdeInstance]
- ideInstanceTypes :: Lens' IdeInstance [Type]
- ideInstanceName :: Lens' IdeInstance Ident
- ideInstanceModule :: Lens' IdeInstance ModuleName
- ideInstanceConstraints :: Lens' IdeInstance (Maybe [Constraint])
- 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 {}
- annTypeAnnotation :: Lens' Annotation (Maybe Type)
- annLocation :: Lens' Annotation (Maybe SourceSpan)
- annExportedFrom :: Lens' Annotation (Maybe ModuleName)
- idaDeclaration :: Lens' IdeDeclarationAnn IdeDeclaration
- idaAnnotation :: Lens' IdeDeclarationAnn Annotation
- emptyAnn :: Annotation
- type DefinitionSites a = Map IdeDeclNamespace a
- type TypeAnnotations = Map Ident Type
- newtype AstData a = AstData (ModuleMap (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 {}
- identifierFromDeclarationRef :: DeclarationRef -> Text
- data Success
- encodeSuccess :: ToJSON a => a -> Value
- encodeImport :: (ModuleName, ImportDeclarationType, Maybe ModuleName) -> Value
- newtype PursuitQuery = PursuitQuery Text
- data PursuitSearchType
- data PursuitResponse
- data IdeDeclNamespace
Documentation
type ModuleIdent = Text Source #
type ModuleMap a = Map ModuleName a Source #
data IdeDeclaration Source #
Constructors
Instances
Constructors
| IdeValue | |
Fields
| |
Constructors
| IdeType | |
Fields | |
ideValueOpAlias :: Lens' IdeValueOperator (Qualified (Either Ident (ProperName ConstructorName))) Source #
data IdeDeclarationAnn Source #
Constructors
| IdeDeclarationAnn | |
Fields | |
type DefinitionSites a = Map IdeDeclNamespace a Source #
Constructors
| AstData (ModuleMap (DefinitionSites a, TypeAnnotations)) | SourceSpans for the definition sites of Values and Types aswell as type annotations found in a module |
data Configuration Source #
Constructors
| Configuration | |
Fields
| |
data IdeEnvironment Source #
Constructors
| IdeEnvironment | |
Fields | |
type Ide m = (MonadIO m, MonadReader IdeEnvironment m) Source #
emptyStage1 :: Stage1 Source #
emptyStage2 :: Stage2 Source #
emptyStage3 :: Stage3 Source #
Constructors
| Stage1 | |
Constructors
| Stage2 | |
Fields | |
Constructors
| Stage3 | |
Fields | |
Constructors
| Match (ModuleName, a) |
data Completion Source #
A completion as it gets sent to the editors
Constructors
| Completion | |
Fields
| |
Instances
encodeSuccess :: ToJSON a => a -> Value Source #
data PursuitSearchType Source #
Constructors
| Package | |
| Identifier |
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 Text (Maybe Text) Text | A Pursuit Response for a declaration. Consist of the declaration's module, name, package, type summary text |
data IdeDeclNamespace Source #
Constructors
| IdeNSValue Text | An identifier in the value namespace |
| IdeNSType Text | An identifier in the type namespace |
| IdeNSKind Text | An identifier in the kind namespace |
Instances