Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.PureScript.Ide.Types
Description
Type definitions for psc-ide
Synopsis
- 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 {}
- _IdeDeclValue :: Traversal' IdeDeclaration IdeValue
- _IdeDeclType :: Traversal' IdeDeclaration IdeType
- _IdeDeclTypeSynonym :: Traversal' IdeDeclaration IdeTypeSynonym
- _IdeDeclDataConstructor :: Traversal' IdeDeclaration IdeDataConstructor
- _IdeDeclTypeClass :: Traversal' IdeDeclaration IdeTypeClass
- _IdeDeclValueOperator :: Traversal' IdeDeclaration IdeValueOperator
- _IdeDeclTypeOperator :: Traversal' IdeDeclaration IdeTypeOperator
- _IdeDeclModule :: Traversal' IdeDeclaration ModuleName
- anyOf :: Getting Any s a -> (a -> Bool) -> s -> Bool
- ideValueIdent :: Lens' IdeValue Ident
- ideValueType :: Lens' IdeValue SourceType
- ideTypeDtors :: Lens' IdeType [(ProperName 'ConstructorName, SourceType)]
- ideTypeKind :: Lens' IdeType SourceType
- ideTypeName :: Lens' IdeType (ProperName 'TypeName)
- ideSynonymKind :: Lens' IdeTypeSynonym SourceType
- ideSynonymName :: Lens' IdeTypeSynonym (ProperName 'TypeName)
- ideSynonymType :: Lens' IdeTypeSynonym SourceType
- ideDtorName :: Lens' IdeDataConstructor (ProperName 'ConstructorName)
- ideDtorType :: Lens' IdeDataConstructor SourceType
- ideDtorTypeName :: Lens' IdeDataConstructor (ProperName 'TypeName)
- ideTCInstances :: Lens' IdeTypeClass [IdeInstance]
- ideTCKind :: Lens' IdeTypeClass SourceType
- ideTCName :: Lens' IdeTypeClass (ProperName 'ClassName)
- ideValueOpAlias :: Lens' IdeValueOperator (Qualified (Either Ident (ProperName 'ConstructorName)))
- ideValueOpAssociativity :: Lens' IdeValueOperator Associativity
- ideValueOpName :: Lens' IdeValueOperator (OpName 'ValueOpName)
- ideValueOpPrecedence :: Lens' IdeValueOperator Precedence
- ideValueOpType :: Lens' IdeValueOperator (Maybe SourceType)
- ideTypeOpAlias :: Lens' IdeTypeOperator (Qualified (ProperName 'TypeName))
- ideTypeOpAssociativity :: Lens' IdeTypeOperator Associativity
- ideTypeOpKind :: Lens' IdeTypeOperator (Maybe SourceType)
- ideTypeOpName :: Lens' IdeTypeOperator (OpName 'TypeOpName)
- ideTypeOpPrecedence :: Lens' IdeTypeOperator Precedence
- data IdeDeclarationAnn = IdeDeclarationAnn {}
- data Annotation = Annotation {}
- annDocumentation :: Lens' Annotation (Maybe Text)
- annExportedFrom :: Lens' Annotation (Maybe ModuleName)
- annLocation :: Lens' Annotation (Maybe SourceSpan)
- annTypeAnnotation :: Lens' Annotation (Maybe SourceType)
- idaAnnotation :: Lens' IdeDeclarationAnn Annotation
- idaDeclaration :: Lens' IdeDeclarationAnn IdeDeclaration
- emptyAnn :: Annotation
- type DefinitionSites a = Map IdeNamespaced a
- type TypeAnnotations = Map Ident SourceType
- newtype AstData a = AstData (ModuleMap (DefinitionSites a, TypeAnnotations))
- data IdeLogLevel
- = LogDebug
- | LogPerf
- | LogAll
- | LogDefault
- | LogNone
- data IdeConfiguration = IdeConfiguration {}
- data IdeEnvironment = IdeEnvironment {}
- type Ide (m :: Type -> Type) = (MonadIO m, MonadReader IdeEnvironment m)
- data IdeState = IdeState {}
- emptyIdeState :: IdeState
- emptyFileState :: IdeFileState
- emptyVolatileState :: IdeVolatileState
- data IdeFileState = IdeFileState {}
- data IdeVolatileState = IdeVolatileState {}
- newtype Match a = Match (ModuleName, a)
- data Completion = Completion {}
- identifierFromDeclarationRef :: DeclarationRef -> Text
- declarationType :: IdeDeclaration -> DeclarationType
- data Success
- encodeSuccess :: ToJSON a => a -> Value
- encodeImport :: (ModuleName, ImportDeclarationType, Maybe ModuleName) -> Value
- data IdeNamespace
- data IdeNamespaced = IdeNamespaced IdeNamespace Text
Documentation
type ModuleIdent = Text #
type ModuleMap a = Map ModuleName a #
data IdeDeclaration #
Constructors
Instances
Constructors
IdeValue | |
Fields |
Instances
Generic IdeValue # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show IdeValue # | |||||
NFData IdeValue # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Eq IdeValue # | |||||
Ord IdeValue # | |||||
Defined in Language.PureScript.Ide.Types | |||||
type Rep IdeValue # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeValue = D1 ('MetaData "IdeValue" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideValueIdent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Just "_ideValueType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType))) |
Constructors
IdeType | |
Fields |
Instances
Generic IdeType # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show IdeType # | |||||
NFData IdeType # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Eq IdeType # | |||||
Ord IdeType # | |||||
Defined in Language.PureScript.Ide.Types | |||||
type Rep IdeType # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeType = D1 ('MetaData "IdeType" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeType" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'TypeName)) :*: (S1 ('MetaSel ('Just "_ideTypeKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Just "_ideTypeDtors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ProperName 'ConstructorName, SourceType)])))) |
data IdeTypeSynonym #
Constructors
IdeTypeSynonym | |
Fields |
Instances
Generic IdeTypeSynonym # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
Methods from :: IdeTypeSynonym -> Rep IdeTypeSynonym x # to :: Rep IdeTypeSynonym x -> IdeTypeSynonym # | |||||
Show IdeTypeSynonym # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeTypeSynonym -> ShowS # show :: IdeTypeSynonym -> String # showList :: [IdeTypeSynonym] -> ShowS # | |||||
NFData IdeTypeSynonym # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeTypeSynonym -> () # | |||||
Eq IdeTypeSynonym # | |||||
Defined in Language.PureScript.Ide.Types Methods (==) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool # (/=) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool # | |||||
Ord IdeTypeSynonym # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: IdeTypeSynonym -> IdeTypeSynonym -> Ordering # (<) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool # (<=) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool # (>) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool # (>=) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool # max :: IdeTypeSynonym -> IdeTypeSynonym -> IdeTypeSynonym # min :: IdeTypeSynonym -> IdeTypeSynonym -> IdeTypeSynonym # | |||||
type Rep IdeTypeSynonym # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeTypeSynonym = D1 ('MetaData "IdeTypeSynonym" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeTypeSynonym" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideSynonymName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'TypeName)) :*: (S1 ('MetaSel ('Just "_ideSynonymType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Just "_ideSynonymKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType)))) |
data IdeDataConstructor #
Constructors
IdeDataConstructor | |
Fields |
Instances
Generic IdeDataConstructor # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
Methods from :: IdeDataConstructor -> Rep IdeDataConstructor x # to :: Rep IdeDataConstructor x -> IdeDataConstructor # | |||||
Show IdeDataConstructor # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeDataConstructor -> ShowS # show :: IdeDataConstructor -> String # showList :: [IdeDataConstructor] -> ShowS # | |||||
NFData IdeDataConstructor # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeDataConstructor -> () # | |||||
Eq IdeDataConstructor # | |||||
Defined in Language.PureScript.Ide.Types Methods (==) :: IdeDataConstructor -> IdeDataConstructor -> Bool # (/=) :: IdeDataConstructor -> IdeDataConstructor -> Bool # | |||||
Ord IdeDataConstructor # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: IdeDataConstructor -> IdeDataConstructor -> Ordering # (<) :: IdeDataConstructor -> IdeDataConstructor -> Bool # (<=) :: IdeDataConstructor -> IdeDataConstructor -> Bool # (>) :: IdeDataConstructor -> IdeDataConstructor -> Bool # (>=) :: IdeDataConstructor -> IdeDataConstructor -> Bool # max :: IdeDataConstructor -> IdeDataConstructor -> IdeDataConstructor # min :: IdeDataConstructor -> IdeDataConstructor -> IdeDataConstructor # | |||||
type Rep IdeDataConstructor # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeDataConstructor = D1 ('MetaData "IdeDataConstructor" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeDataConstructor" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideDtorName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'ConstructorName)) :*: (S1 ('MetaSel ('Just "_ideDtorTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'TypeName)) :*: S1 ('MetaSel ('Just "_ideDtorType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType)))) |
data IdeTypeClass #
Constructors
IdeTypeClass | |
Fields |
Instances
Generic IdeTypeClass # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show IdeTypeClass # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeTypeClass -> ShowS # show :: IdeTypeClass -> String # showList :: [IdeTypeClass] -> ShowS # | |||||
NFData IdeTypeClass # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeTypeClass -> () # | |||||
Eq IdeTypeClass # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Ord IdeTypeClass # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: IdeTypeClass -> IdeTypeClass -> Ordering # (<) :: IdeTypeClass -> IdeTypeClass -> Bool # (<=) :: IdeTypeClass -> IdeTypeClass -> Bool # (>) :: IdeTypeClass -> IdeTypeClass -> Bool # (>=) :: IdeTypeClass -> IdeTypeClass -> Bool # max :: IdeTypeClass -> IdeTypeClass -> IdeTypeClass # min :: IdeTypeClass -> IdeTypeClass -> IdeTypeClass # | |||||
type Rep IdeTypeClass # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeTypeClass = D1 ('MetaData "IdeTypeClass" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeTypeClass" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideTCName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'ClassName)) :*: (S1 ('MetaSel ('Just "_ideTCKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Just "_ideTCInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [IdeInstance])))) |
data IdeInstance #
Constructors
IdeInstance | |
Fields |
Instances
Generic IdeInstance # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show IdeInstance # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeInstance -> ShowS # show :: IdeInstance -> String # showList :: [IdeInstance] -> ShowS # | |||||
NFData IdeInstance # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeInstance -> () # | |||||
Eq IdeInstance # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Ord IdeInstance # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: IdeInstance -> IdeInstance -> Ordering # (<) :: IdeInstance -> IdeInstance -> Bool # (<=) :: IdeInstance -> IdeInstance -> Bool # (>) :: IdeInstance -> IdeInstance -> Bool # (>=) :: IdeInstance -> IdeInstance -> Bool # max :: IdeInstance -> IdeInstance -> IdeInstance # min :: IdeInstance -> IdeInstance -> IdeInstance # | |||||
type Rep IdeInstance # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeInstance = D1 ('MetaData "IdeInstance" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ideInstanceModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName) :*: S1 ('MetaSel ('Just "_ideInstanceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :*: (S1 ('MetaSel ('Just "_ideInstanceTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SourceType]) :*: S1 ('MetaSel ('Just "_ideInstanceConstraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SourceConstraint]))))) |
data IdeValueOperator #
Constructors
IdeValueOperator | |
Instances
Generic IdeValueOperator # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
Methods from :: IdeValueOperator -> Rep IdeValueOperator x # to :: Rep IdeValueOperator x -> IdeValueOperator # | |||||
Show IdeValueOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeValueOperator -> ShowS # show :: IdeValueOperator -> String # showList :: [IdeValueOperator] -> ShowS # | |||||
NFData IdeValueOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeValueOperator -> () # | |||||
Eq IdeValueOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods (==) :: IdeValueOperator -> IdeValueOperator -> Bool # (/=) :: IdeValueOperator -> IdeValueOperator -> Bool # | |||||
Ord IdeValueOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: IdeValueOperator -> IdeValueOperator -> Ordering # (<) :: IdeValueOperator -> IdeValueOperator -> Bool # (<=) :: IdeValueOperator -> IdeValueOperator -> Bool # (>) :: IdeValueOperator -> IdeValueOperator -> Bool # (>=) :: IdeValueOperator -> IdeValueOperator -> Bool # max :: IdeValueOperator -> IdeValueOperator -> IdeValueOperator # min :: IdeValueOperator -> IdeValueOperator -> IdeValueOperator # | |||||
type Rep IdeValueOperator # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeValueOperator = D1 ('MetaData "IdeValueOperator" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeValueOperator" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ideValueOpName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OpName 'ValueOpName)) :*: S1 ('MetaSel ('Just "_ideValueOpAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Qualified (Either Ident (ProperName 'ConstructorName))))) :*: (S1 ('MetaSel ('Just "_ideValueOpPrecedence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Precedence) :*: (S1 ('MetaSel ('Just "_ideValueOpAssociativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Just "_ideValueOpType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType)))))) |
data IdeTypeOperator #
Constructors
IdeTypeOperator | |
Instances
Generic IdeTypeOperator # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
Methods from :: IdeTypeOperator -> Rep IdeTypeOperator x # to :: Rep IdeTypeOperator x -> IdeTypeOperator # | |||||
Show IdeTypeOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeTypeOperator -> ShowS # show :: IdeTypeOperator -> String # showList :: [IdeTypeOperator] -> ShowS # | |||||
NFData IdeTypeOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeTypeOperator -> () # | |||||
Eq IdeTypeOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods (==) :: IdeTypeOperator -> IdeTypeOperator -> Bool # (/=) :: IdeTypeOperator -> IdeTypeOperator -> Bool # | |||||
Ord IdeTypeOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: IdeTypeOperator -> IdeTypeOperator -> Ordering # (<) :: IdeTypeOperator -> IdeTypeOperator -> Bool # (<=) :: IdeTypeOperator -> IdeTypeOperator -> Bool # (>) :: IdeTypeOperator -> IdeTypeOperator -> Bool # (>=) :: IdeTypeOperator -> IdeTypeOperator -> Bool # max :: IdeTypeOperator -> IdeTypeOperator -> IdeTypeOperator # min :: IdeTypeOperator -> IdeTypeOperator -> IdeTypeOperator # | |||||
type Rep IdeTypeOperator # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeTypeOperator = D1 ('MetaData "IdeTypeOperator" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeTypeOperator" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ideTypeOpName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OpName 'TypeOpName)) :*: S1 ('MetaSel ('Just "_ideTypeOpAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Qualified (ProperName 'TypeName)))) :*: (S1 ('MetaSel ('Just "_ideTypeOpPrecedence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Precedence) :*: (S1 ('MetaSel ('Just "_ideTypeOpAssociativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Just "_ideTypeOpKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType)))))) |
ideTypeDtors :: Lens' IdeType [(ProperName 'ConstructorName, SourceType)] #
ideTypeName :: Lens' IdeType (ProperName 'TypeName) #
ideValueOpAlias :: Lens' IdeValueOperator (Qualified (Either Ident (ProperName 'ConstructorName))) #
data IdeDeclarationAnn #
Constructors
IdeDeclarationAnn | |
Fields |
Instances
Generic IdeDeclarationAnn # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
Methods from :: IdeDeclarationAnn -> Rep IdeDeclarationAnn x # to :: Rep IdeDeclarationAnn x -> IdeDeclarationAnn # | |||||
Show IdeDeclarationAnn # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeDeclarationAnn -> ShowS # show :: IdeDeclarationAnn -> String # showList :: [IdeDeclarationAnn] -> ShowS # | |||||
NFData IdeDeclarationAnn # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeDeclarationAnn -> () # | |||||
Eq IdeDeclarationAnn # | |||||
Defined in Language.PureScript.Ide.Types Methods (==) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool # (/=) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool # | |||||
Ord IdeDeclarationAnn # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: IdeDeclarationAnn -> IdeDeclarationAnn -> Ordering # (<) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool # (<=) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool # (>) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool # (>=) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool # max :: IdeDeclarationAnn -> IdeDeclarationAnn -> IdeDeclarationAnn # min :: IdeDeclarationAnn -> IdeDeclarationAnn -> IdeDeclarationAnn # | |||||
FromJSON (Matcher IdeDeclarationAnn) # | |||||
Defined in Language.PureScript.Ide.Matcher Methods parseJSON :: Value -> Parser (Matcher IdeDeclarationAnn) # parseJSONList :: Value -> Parser [Matcher IdeDeclarationAnn] # | |||||
type Rep IdeDeclarationAnn # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeDeclarationAnn = D1 ('MetaData "IdeDeclarationAnn" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeDeclarationAnn" 'PrefixI 'True) (S1 ('MetaSel ('Just "_idaAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Annotation) :*: S1 ('MetaSel ('Just "_idaDeclaration") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdeDeclaration))) |
data Annotation #
Constructors
Annotation | |
Instances
Generic Annotation # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show Annotation # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS # | |||||
NFData Annotation # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: Annotation -> () # | |||||
Eq Annotation # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Ord Annotation # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: Annotation -> Annotation -> Ordering # (<) :: Annotation -> Annotation -> Bool # (<=) :: Annotation -> Annotation -> Bool # (>) :: Annotation -> Annotation -> Bool # (>=) :: Annotation -> Annotation -> Bool # max :: Annotation -> Annotation -> Annotation # min :: Annotation -> Annotation -> Annotation # | |||||
type Rep Annotation # | |||||
Defined in Language.PureScript.Ide.Types type Rep Annotation = D1 ('MetaData "Annotation" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "Annotation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_annLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceSpan)) :*: S1 ('MetaSel ('Just "_annExportedFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModuleName))) :*: (S1 ('MetaSel ('Just "_annTypeAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType)) :*: S1 ('MetaSel ('Just "_annDocumentation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))) |
emptyAnn :: Annotation #
type DefinitionSites a = Map IdeNamespaced a #
type TypeAnnotations = Map Ident SourceType #
Constructors
AstData (ModuleMap (DefinitionSites a, TypeAnnotations)) | SourceSpans for the definition sites of values and types as well as type annotations found in a module |
Instances
Foldable AstData # | |||||
Defined in Language.PureScript.Ide.Types Methods fold :: Monoid m => AstData m -> m # foldMap :: Monoid m => (a -> m) -> AstData a -> m # foldMap' :: Monoid m => (a -> m) -> AstData a -> m # foldr :: (a -> b -> b) -> b -> AstData a -> b # foldr' :: (a -> b -> b) -> b -> AstData a -> b # foldl :: (b -> a -> b) -> b -> AstData a -> b # foldl' :: (b -> a -> b) -> b -> AstData a -> b # foldr1 :: (a -> a -> a) -> AstData a -> a # foldl1 :: (a -> a -> a) -> AstData a -> a # elem :: Eq a => a -> AstData a -> Bool # maximum :: Ord a => AstData a -> a # minimum :: Ord a => AstData a -> a # | |||||
Functor AstData # | |||||
Generic (AstData a) # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show a => Show (AstData a) # | |||||
NFData a => NFData (AstData a) # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Eq a => Eq (AstData a) # | |||||
Ord a => Ord (AstData a) # | |||||
type Rep (AstData a) # | |||||
Defined in Language.PureScript.Ide.Types type Rep (AstData a) = D1 ('MetaData "AstData" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'True) (C1 ('MetaCons "AstData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ModuleMap (DefinitionSites a, TypeAnnotations))))) |
data IdeLogLevel #
Constructors
LogDebug | |
LogPerf | |
LogAll | |
LogDefault | |
LogNone |
Instances
Show IdeLogLevel # | |
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeLogLevel -> ShowS # show :: IdeLogLevel -> String # showList :: [IdeLogLevel] -> ShowS # | |
Eq IdeLogLevel # | |
Defined in Language.PureScript.Ide.Types |
data IdeConfiguration #
Constructors
IdeConfiguration | |
Fields
|
data IdeEnvironment #
Constructors
IdeEnvironment | |
Fields |
type Ide (m :: Type -> Type) = (MonadIO m, MonadReader IdeEnvironment m) #
Constructors
IdeState | |
Fields |
data IdeFileState #
IdeFileState
holds data that corresponds 1-to-1 to an entity on the
filesystem. Externs correspond to the ExternsFiles the compiler emits into
the output folder, and modules are parsed ASTs from source files. This means,
that we can update single modules or ExternsFiles inside this state whenever
the corresponding entity changes on the file system.
Constructors
IdeFileState | |
Instances
Show IdeFileState # | |
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeFileState -> ShowS # show :: IdeFileState -> String # showList :: [IdeFileState] -> ShowS # |
data IdeVolatileState #
IdeVolatileState
is derived from the IdeFileState
and needs to be
invalidated and refreshed carefully. It holds AstData
, which is the data we
extract from the parsed ASTs, as well as the IdeDeclarations, which contain
lots of denormalized data, so they need to fully rebuilt whenever
IdeFileState
changes. The vsCachedRebuild field can hold a rebuild result
with open imports which is used to provide completions for module private
declarations
Constructors
IdeVolatileState | |
Fields |
Instances
Show IdeVolatileState # | |
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeVolatileState -> ShowS # show :: IdeVolatileState -> String # showList :: [IdeVolatileState] -> ShowS # |
Constructors
Match (ModuleName, a) |
data Completion #
A completion as it gets sent to the editors
Constructors
Completion | |
Fields |
Instances
ToJSON Completion # | |
Defined in Language.PureScript.Ide.Types Methods toJSON :: Completion -> Value # toEncoding :: Completion -> Encoding # toJSONList :: [Completion] -> Value # toEncodingList :: [Completion] -> Encoding # omitField :: Completion -> Bool # | |
Show Completion # | |
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> Completion -> ShowS # show :: Completion -> String # showList :: [Completion] -> ShowS # | |
Eq Completion # | |
Defined in Language.PureScript.Ide.Types | |
Ord Completion # | |
Defined in Language.PureScript.Ide.Types Methods compare :: Completion -> Completion -> Ordering # (<) :: Completion -> Completion -> Bool # (<=) :: Completion -> Completion -> Bool # (>) :: Completion -> Completion -> Bool # (>=) :: Completion -> Completion -> Bool # max :: Completion -> Completion -> Completion # min :: Completion -> Completion -> Completion # |
Constructors
CompletionResult [Completion] | |
TextResult Text | |
UsagesResult [SourceSpan] | |
MultilineTextResult [Text] | |
ImportList (ModuleName, [(ModuleName, ImportDeclarationType, Maybe ModuleName)]) | |
ModuleList [ModuleIdent] | |
RebuildSuccess MultipleErrors |
encodeSuccess :: ToJSON a => a -> Value #
encodeImport :: (ModuleName, ImportDeclarationType, Maybe ModuleName) -> Value #
data IdeNamespace #
Denotes the different namespaces a name in PureScript can reside in.
Constructors
IdeNSValue | |
IdeNSType | |
IdeNSModule |
Instances
FromJSON IdeNamespace # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Generic IdeNamespace # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show IdeNamespace # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeNamespace -> ShowS # show :: IdeNamespace -> String # showList :: [IdeNamespace] -> ShowS # | |||||
NFData IdeNamespace # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeNamespace -> () # | |||||
Eq IdeNamespace # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Ord IdeNamespace # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: IdeNamespace -> IdeNamespace -> Ordering # (<) :: IdeNamespace -> IdeNamespace -> Bool # (<=) :: IdeNamespace -> IdeNamespace -> Bool # (>) :: IdeNamespace -> IdeNamespace -> Bool # (>=) :: IdeNamespace -> IdeNamespace -> Bool # max :: IdeNamespace -> IdeNamespace -> IdeNamespace # min :: IdeNamespace -> IdeNamespace -> IdeNamespace # | |||||
type Rep IdeNamespace # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeNamespace = D1 ('MetaData "IdeNamespace" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeNSValue" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IdeNSType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IdeNSModule" 'PrefixI 'False) (U1 :: Type -> Type))) |
data IdeNamespaced #
A name tagged with a namespace
Constructors
IdeNamespaced IdeNamespace Text |
Instances
Generic IdeNamespaced # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show IdeNamespaced # | |||||
Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeNamespaced -> ShowS # show :: IdeNamespaced -> String # showList :: [IdeNamespaced] -> ShowS # | |||||
NFData IdeNamespaced # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeNamespaced -> () # | |||||
Eq IdeNamespaced # | |||||
Defined in Language.PureScript.Ide.Types Methods (==) :: IdeNamespaced -> IdeNamespaced -> Bool # (/=) :: IdeNamespaced -> IdeNamespaced -> Bool # | |||||
Ord IdeNamespaced # | |||||
Defined in Language.PureScript.Ide.Types Methods compare :: IdeNamespaced -> IdeNamespaced -> Ordering # (<) :: IdeNamespaced -> IdeNamespaced -> Bool # (<=) :: IdeNamespaced -> IdeNamespaced -> Bool # (>) :: IdeNamespaced -> IdeNamespaced -> Bool # (>=) :: IdeNamespaced -> IdeNamespaced -> Bool # max :: IdeNamespaced -> IdeNamespaced -> IdeNamespaced # min :: IdeNamespaced -> IdeNamespaced -> IdeNamespaced # | |||||
type Rep IdeNamespaced # | |||||
Defined in Language.PureScript.Ide.Types type Rep IdeNamespaced = D1 ('MetaData "IdeNamespaced" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeNamespaced" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdeNamespace) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) |