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
NFData IdeValue # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Generic IdeValue # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show IdeValue # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData IdeType # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Generic IdeType # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show IdeType # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData IdeTypeSynonym # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeTypeSynonym -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData IdeDataConstructor # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeDataConstructor -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData IdeTypeClass # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeTypeClass -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData IdeInstance # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeInstance -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData IdeValueOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeValueOperator -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData IdeTypeOperator # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeTypeOperator -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData IdeDeclarationAnn # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeDeclarationAnn -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData Annotation # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: Annotation -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
Functor AstData # | |||||
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 # | |||||
NFData a => NFData (AstData a) # | |||||
Defined in Language.PureScript.Ide.Types | |||||
Generic (AstData a) # | |||||
Defined in Language.PureScript.Ide.Types Associated Types
| |||||
Show a => Show (AstData a) # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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 | |||||
NFData IdeNamespace # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeNamespace -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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
NFData IdeNamespaced # | |||||
Defined in Language.PureScript.Ide.Types Methods rnf :: IdeNamespaced -> () # | |||||
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 # | |||||
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-8K0LbmS63k4ILju2RsIrDp" '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))) |