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
- = IdeDeclValue IdeValue
- | IdeDeclType IdeType
- | IdeDeclTypeSynonym IdeTypeSynonym
- | IdeDeclDataConstructor IdeDataConstructor
- | IdeDeclTypeClass IdeTypeClass
- | IdeDeclValueOperator IdeValueOperator
- | IdeDeclTypeOperator IdeTypeOperator
- | IdeDeclModule ModuleName
- | IdeDeclKind (ProperName KindName)
data IdeValue = IdeValue {
- _ideValueIdent :: Ident
- _ideValueType :: SourceType
}
data IdeType = IdeType {
- _ideTypeName :: ProperName TypeName
- _ideTypeKind :: SourceKind
- _ideTypeDtors :: [(ProperName ConstructorName, SourceType)]
}
data IdeTypeSynonym = IdeTypeSynonym {
- _ideSynonymName :: ProperName TypeName
- _ideSynonymType :: SourceType
- _ideSynonymKind :: SourceKind
}
data IdeDataConstructor = IdeDataConstructor {
- _ideDtorName :: ProperName ConstructorName
- _ideDtorTypeName :: ProperName TypeName
- _ideDtorType :: SourceType
}
data IdeTypeClass = IdeTypeClass {
- _ideTCName :: ProperName ClassName
- _ideTCKind :: SourceKind
- _ideTCInstances :: [IdeInstance]
}
data IdeInstance = IdeInstance {
- _ideInstanceModule :: ModuleName
- _ideInstanceName :: Ident
- _ideInstanceTypes :: [SourceType]
- _ideInstanceConstraints :: Maybe [SourceConstraint]
}
data IdeValueOperator = IdeValueOperator {
- _ideValueOpName :: OpName ValueOpName
- _ideValueOpAlias :: Qualified (Either Ident (ProperName ConstructorName))
- _ideValueOpPrecedence :: Precedence
- _ideValueOpAssociativity :: Associativity
- _ideValueOpType :: Maybe SourceType
}
data IdeTypeOperator = IdeTypeOperator {
- _ideTypeOpName :: OpName TypeOpName
- _ideTypeOpAlias :: Qualified (ProperName TypeName)
- _ideTypeOpPrecedence :: Precedence
- _ideTypeOpAssociativity :: Associativity
- _ideTypeOpKind :: Maybe SourceKind
}
_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
_IdeDeclKind :: Traversal' IdeDeclaration (ProperName KindName)
_IdeDeclModule :: Traversal' IdeDeclaration ModuleName
anyOf :: Getting Any s a -> (a -> Bool) -> s -> Bool
ideValueType :: Lens' IdeValue SourceType
ideValueIdent :: Lens' IdeValue Ident
ideTypeName :: Lens' IdeType (ProperName TypeName)
ideTypeKind :: Lens' IdeType SourceKind
ideTypeDtors :: Lens' IdeType [(ProperName ConstructorName, SourceType)]
ideSynonymType :: Lens' IdeTypeSynonym SourceType
ideSynonymName :: Lens' IdeTypeSynonym (ProperName TypeName)
ideSynonymKind :: Lens' IdeTypeSynonym SourceKind
ideDtorTypeName :: Lens' IdeDataConstructor (ProperName TypeName)
ideDtorType :: Lens' IdeDataConstructor SourceType
ideDtorName :: Lens' IdeDataConstructor (ProperName ConstructorName)
ideTCName :: Lens' IdeTypeClass (ProperName ClassName)
ideTCKind :: Lens' IdeTypeClass SourceKind
ideTCInstances :: Lens' IdeTypeClass [IdeInstance]
ideInstanceTypes :: Lens' IdeInstance [SourceType]
ideInstanceName :: Lens' IdeInstance Ident
ideInstanceModule :: Lens' IdeInstance ModuleName
ideInstanceConstraints :: Lens' IdeInstance (Maybe [SourceConstraint])
ideValueOpType :: Lens' IdeValueOperator (Maybe SourceType)
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 SourceKind)
ideTypeOpAssociativity :: Lens' IdeTypeOperator Associativity
ideTypeOpAlias :: Lens' IdeTypeOperator (Qualified (ProperName TypeName))
data IdeDeclarationAnn = IdeDeclarationAnn {
- _idaAnnotation :: Annotation
- _idaDeclaration :: IdeDeclaration
}
data Annotation = Annotation {
- _annLocation :: Maybe SourceSpan
- _annExportedFrom :: Maybe ModuleName
- _annTypeAnnotation :: Maybe SourceType
- _annDocumentation :: Maybe Text
}
annTypeAnnotation :: Lens' Annotation (Maybe SourceType)
annLocation :: Lens' Annotation (Maybe SourceSpan)
annExportedFrom :: Lens' Annotation (Maybe ModuleName)
annDocumentation :: Lens' Annotation (Maybe Text)
idaDeclaration :: Lens' IdeDeclarationAnn IdeDeclaration
idaAnnotation :: Lens' IdeDeclarationAnn Annotation
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 {
- confOutputPath :: FilePath
- confLogLevel :: IdeLogLevel
- confGlobs :: [FilePath]
- confEditorMode :: Bool
}
data IdeEnvironment = IdeEnvironment {
- ideStateVar :: TVar IdeState
- ideConfiguration :: IdeConfiguration
}
type Ide m = (MonadIO m, MonadReader IdeEnvironment m)
data IdeState = IdeState {
- ideFileState :: IdeFileState
- ideVolatileState :: IdeVolatileState
}
emptyIdeState :: IdeState
emptyFileState :: IdeFileState
emptyVolatileState :: IdeVolatileState
data IdeFileState = IdeFileState {
- fsExterns :: ModuleMap ExternsFile
- fsModules :: ModuleMap (Module, FilePath)
}
data IdeVolatileState = IdeVolatileState {
- vsAstData :: AstData SourceSpan
- vsDeclarations :: ModuleMap [IdeDeclarationAnn]
- vsCachedRebuild :: Maybe (ModuleName, ExternsFile)
}
newtype Match a = Match (ModuleName, a)
data Completion = Completion {
- complModule :: Text
- complIdentifier :: Text
- complType :: Text
- complExpandedType :: Text
- complLocation :: Maybe SourceSpan
- complDocumentation :: Maybe Text
- complExportedFrom :: [ModuleName]
}
identifierFromDeclarationRef :: DeclarationRef -> Text
data Success
- = 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
- = IdeNSValue
- | IdeNSType
- | IdeNSKind
- | IdeNSModule
data IdeNamespaced = IdeNamespaced IdeNamespace Text

Documentation

type ModuleIdent = Text Source #

type ModuleMap a = Map ModuleName a Source #

data IdeDeclaration Source #

Constructors

IdeDeclValue IdeValue
IdeDeclType IdeType
IdeDeclTypeSynonym IdeTypeSynonym
IdeDeclDataConstructor IdeDataConstructor
IdeDeclTypeClass IdeTypeClass
IdeDeclValueOperator IdeValueOperator
IdeDeclTypeOperator IdeTypeOperator
IdeDeclModule ModuleName
IdeDeclKind (ProperName KindName)

Instances

Eq IdeDeclaration Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeDeclaration -> IdeDeclaration -> Bool # (/=) :: IdeDeclaration -> IdeDeclaration -> Bool #
Ord IdeDeclaration Source #
Instance details Defined in Language.PureScript.Ide.Types Methods compare :: IdeDeclaration -> IdeDeclaration -> Ordering # (<) :: IdeDeclaration -> IdeDeclaration -> Bool # (<=) :: IdeDeclaration -> IdeDeclaration -> Bool # (>) :: IdeDeclaration -> IdeDeclaration -> Bool # (>=) :: IdeDeclaration -> IdeDeclaration -> Bool # max :: IdeDeclaration -> IdeDeclaration -> IdeDeclaration # min :: IdeDeclaration -> IdeDeclaration -> IdeDeclaration #
Show IdeDeclaration Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeDeclaration -> ShowS # show :: IdeDeclaration -> String # showList :: [IdeDeclaration] -> ShowS #
Generic IdeDeclaration Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeDeclaration :: Type -> Type # Methods from :: IdeDeclaration -> Rep IdeDeclaration x # to :: Rep IdeDeclaration x -> IdeDeclaration #
NFData IdeDeclaration Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeDeclaration -> () #
type Rep IdeDeclaration Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeDeclaration = D1 (MetaData "IdeDeclaration" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" False) (((C1 (MetaCons "IdeDeclValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdeValue)) :+: C1 (MetaCons "IdeDeclType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdeType))) :+: (C1 (MetaCons "IdeDeclTypeSynonym" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdeTypeSynonym)) :+: C1 (MetaCons "IdeDeclDataConstructor" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdeDataConstructor)))) :+: ((C1 (MetaCons "IdeDeclTypeClass" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdeTypeClass)) :+: C1 (MetaCons "IdeDeclValueOperator" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdeValueOperator))) :+: (C1 (MetaCons "IdeDeclTypeOperator" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdeTypeOperator)) :+: (C1 (MetaCons "IdeDeclModule" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ModuleName)) :+: C1 (MetaCons "IdeDeclKind" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ProperName KindName)))))))

data IdeValue Source #

Constructors

IdeValue
Fields _ideValueIdent :: Ident _ideValueType :: SourceType

Instances

Eq IdeValue Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeValue -> IdeValue -> Bool # (/=) :: IdeValue -> IdeValue -> Bool #
Ord IdeValue Source #
Instance details Defined in Language.PureScript.Ide.Types Methods compare :: IdeValue -> IdeValue -> Ordering # (<) :: IdeValue -> IdeValue -> Bool # (<=) :: IdeValue -> IdeValue -> Bool # (>) :: IdeValue -> IdeValue -> Bool # (>=) :: IdeValue -> IdeValue -> Bool # max :: IdeValue -> IdeValue -> IdeValue # min :: IdeValue -> IdeValue -> IdeValue #
Show IdeValue Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeValue -> ShowS # show :: IdeValue -> String # showList :: [IdeValue] -> ShowS #
Generic IdeValue Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeValue :: Type -> Type # Methods from :: IdeValue -> Rep IdeValue x # to :: Rep IdeValue x -> IdeValue #
NFData IdeValue Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeValue -> () #
type Rep IdeValue Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeValue = D1 (MetaData "IdeValue" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" False) (C1 (MetaCons "IdeValue" PrefixI True) (S1 (MetaSel (Just "_ideValueIdent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident) :*: S1 (MetaSel (Just "_ideValueType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceType)))

data IdeType Source #

Constructors

IdeType
Fields _ideTypeName :: ProperName TypeName _ideTypeKind :: SourceKind _ideTypeDtors :: [(ProperName ConstructorName, SourceType)]

Instances

Eq IdeType Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeType -> IdeType -> Bool # (/=) :: IdeType -> IdeType -> Bool #
Ord IdeType Source #
Instance details Defined in Language.PureScript.Ide.Types Methods compare :: IdeType -> IdeType -> Ordering # (<) :: IdeType -> IdeType -> Bool # (<=) :: IdeType -> IdeType -> Bool # (>) :: IdeType -> IdeType -> Bool # (>=) :: IdeType -> IdeType -> Bool # max :: IdeType -> IdeType -> IdeType # min :: IdeType -> IdeType -> IdeType #
Show IdeType Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeType -> ShowS # show :: IdeType -> String # showList :: [IdeType] -> ShowS #
Generic IdeType Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeType :: Type -> Type # Methods from :: IdeType -> Rep IdeType x # to :: Rep IdeType x -> IdeType #
NFData IdeType Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeType -> () #
type Rep IdeType Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeType = D1 (MetaData "IdeType" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" False) (C1 (MetaCons "IdeType" PrefixI True) (S1 (MetaSel (Just "_ideTypeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ProperName TypeName)) :: (S1 (MetaSel (Just "_ideTypeKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceKind) :: S1 (MetaSel (Just "_ideTypeDtors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(ProperName ConstructorName, SourceType)]))))

data IdeTypeSynonym Source #

Constructors

IdeTypeSynonym
Fields _ideSynonymName :: ProperName TypeName _ideSynonymType :: SourceType _ideSynonymKind :: SourceKind

Instances

Eq IdeTypeSynonym Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool # (/=) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool #
Ord IdeTypeSynonym Source #
Instance details 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 #
Show IdeTypeSynonym Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeTypeSynonym -> ShowS # show :: IdeTypeSynonym -> String # showList :: [IdeTypeSynonym] -> ShowS #
Generic IdeTypeSynonym Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeTypeSynonym :: Type -> Type # Methods from :: IdeTypeSynonym -> Rep IdeTypeSynonym x # to :: Rep IdeTypeSynonym x -> IdeTypeSynonym #
NFData IdeTypeSynonym Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeTypeSynonym -> () #
type Rep IdeTypeSynonym Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeTypeSynonym = D1 (MetaData "IdeTypeSynonym" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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 SourceKind))))

data IdeDataConstructor Source #

Constructors

IdeDataConstructor
Fields _ideDtorName :: ProperName ConstructorName _ideDtorTypeName :: ProperName TypeName _ideDtorType :: SourceType

Instances

Eq IdeDataConstructor Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeDataConstructor -> IdeDataConstructor -> Bool # (/=) :: IdeDataConstructor -> IdeDataConstructor -> Bool #
Ord IdeDataConstructor Source #
Instance details 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 #
Show IdeDataConstructor Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeDataConstructor -> ShowS # show :: IdeDataConstructor -> String # showList :: [IdeDataConstructor] -> ShowS #
Generic IdeDataConstructor Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeDataConstructor :: Type -> Type # Methods from :: IdeDataConstructor -> Rep IdeDataConstructor x # to :: Rep IdeDataConstructor x -> IdeDataConstructor #
NFData IdeDataConstructor Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeDataConstructor -> () #
type Rep IdeDataConstructor Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeDataConstructor = D1 (MetaData "IdeDataConstructor" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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 Source #

Constructors

IdeTypeClass
Fields _ideTCName :: ProperName ClassName _ideTCKind :: SourceKind _ideTCInstances :: [IdeInstance]

Instances

Eq IdeTypeClass Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeTypeClass -> IdeTypeClass -> Bool # (/=) :: IdeTypeClass -> IdeTypeClass -> Bool #
Ord IdeTypeClass Source #
Instance details 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 #
Show IdeTypeClass Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeTypeClass -> ShowS # show :: IdeTypeClass -> String # showList :: [IdeTypeClass] -> ShowS #
Generic IdeTypeClass Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeTypeClass :: Type -> Type # Methods from :: IdeTypeClass -> Rep IdeTypeClass x # to :: Rep IdeTypeClass x -> IdeTypeClass #
NFData IdeTypeClass Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeTypeClass -> () #
type Rep IdeTypeClass Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeTypeClass = D1 (MetaData "IdeTypeClass" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" False) (C1 (MetaCons "IdeTypeClass" PrefixI True) (S1 (MetaSel (Just "_ideTCName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ProperName ClassName)) :: (S1 (MetaSel (Just "_ideTCKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceKind) :: S1 (MetaSel (Just "_ideTCInstances") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [IdeInstance]))))

data IdeInstance Source #

Constructors

IdeInstance
Fields _ideInstanceModule :: ModuleName _ideInstanceName :: Ident _ideInstanceTypes :: [SourceType] _ideInstanceConstraints :: Maybe [SourceConstraint]

Instances

Eq IdeInstance Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeInstance -> IdeInstance -> Bool # (/=) :: IdeInstance -> IdeInstance -> Bool #
Ord IdeInstance Source #
Instance details 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 #
Show IdeInstance Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeInstance -> ShowS # show :: IdeInstance -> String # showList :: [IdeInstance] -> ShowS #
Generic IdeInstance Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeInstance :: Type -> Type # Methods from :: IdeInstance -> Rep IdeInstance x # to :: Rep IdeInstance x -> IdeInstance #
NFData IdeInstance Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeInstance -> () #
type Rep IdeInstance Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeInstance = D1 (MetaData "IdeInstance" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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 Source #

Constructors

IdeValueOperator
Fields _ideValueOpName :: OpName ValueOpName _ideValueOpAlias :: Qualified (Either Ident (ProperName ConstructorName)) _ideValueOpPrecedence :: Precedence _ideValueOpAssociativity :: Associativity _ideValueOpType :: Maybe SourceType

Instances

Eq IdeValueOperator Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeValueOperator -> IdeValueOperator -> Bool # (/=) :: IdeValueOperator -> IdeValueOperator -> Bool #
Ord IdeValueOperator Source #
Instance details 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 #
Show IdeValueOperator Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeValueOperator -> ShowS # show :: IdeValueOperator -> String # showList :: [IdeValueOperator] -> ShowS #
Generic IdeValueOperator Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeValueOperator :: Type -> Type # Methods from :: IdeValueOperator -> Rep IdeValueOperator x # to :: Rep IdeValueOperator x -> IdeValueOperator #
NFData IdeValueOperator Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeValueOperator -> () #
type Rep IdeValueOperator Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeValueOperator = D1 (MetaData "IdeValueOperator" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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 Source #

Constructors

IdeTypeOperator
Fields _ideTypeOpName :: OpName TypeOpName _ideTypeOpAlias :: Qualified (ProperName TypeName) _ideTypeOpPrecedence :: Precedence _ideTypeOpAssociativity :: Associativity _ideTypeOpKind :: Maybe SourceKind

Instances

Eq IdeTypeOperator Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeTypeOperator -> IdeTypeOperator -> Bool # (/=) :: IdeTypeOperator -> IdeTypeOperator -> Bool #
Ord IdeTypeOperator Source #
Instance details 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 #
Show IdeTypeOperator Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeTypeOperator -> ShowS # show :: IdeTypeOperator -> String # showList :: [IdeTypeOperator] -> ShowS #
Generic IdeTypeOperator Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeTypeOperator :: Type -> Type # Methods from :: IdeTypeOperator -> Rep IdeTypeOperator x # to :: Rep IdeTypeOperator x -> IdeTypeOperator #
NFData IdeTypeOperator Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeTypeOperator -> () #
type Rep IdeTypeOperator Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeTypeOperator = D1 (MetaData "IdeTypeOperator" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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 SourceKind))))))

_IdeDeclValue :: Traversal' IdeDeclaration IdeValue Source #

_IdeDeclType :: Traversal' IdeDeclaration IdeType Source #

_IdeDeclTypeSynonym :: Traversal' IdeDeclaration IdeTypeSynonym Source #

_IdeDeclDataConstructor :: Traversal' IdeDeclaration IdeDataConstructor Source #

_IdeDeclTypeClass :: Traversal' IdeDeclaration IdeTypeClass Source #

_IdeDeclValueOperator :: Traversal' IdeDeclaration IdeValueOperator Source #

_IdeDeclTypeOperator :: Traversal' IdeDeclaration IdeTypeOperator Source #

_IdeDeclKind :: Traversal' IdeDeclaration (ProperName KindName) Source #

_IdeDeclModule :: Traversal' IdeDeclaration ModuleName Source #

anyOf :: Getting Any s a -> (a -> Bool) -> s -> Bool Source #

ideValueType :: Lens' IdeValue SourceType Source #

ideValueIdent :: Lens' IdeValue Ident Source #

ideTypeName :: Lens' IdeType (ProperName TypeName) Source #

ideTypeKind :: Lens' IdeType SourceKind Source #

ideTypeDtors :: Lens' IdeType [(ProperName ConstructorName, SourceType)] Source #

ideSynonymType :: Lens' IdeTypeSynonym SourceType Source #

ideSynonymName :: Lens' IdeTypeSynonym (ProperName TypeName) Source #

ideSynonymKind :: Lens' IdeTypeSynonym SourceKind Source #

ideDtorTypeName :: Lens' IdeDataConstructor (ProperName TypeName) Source #

ideDtorType :: Lens' IdeDataConstructor SourceType Source #

ideDtorName :: Lens' IdeDataConstructor (ProperName ConstructorName) Source #

ideTCName :: Lens' IdeTypeClass (ProperName ClassName) Source #

ideTCKind :: Lens' IdeTypeClass SourceKind Source #

ideTCInstances :: Lens' IdeTypeClass [IdeInstance] Source #

ideInstanceTypes :: Lens' IdeInstance [SourceType] Source #

ideInstanceName :: Lens' IdeInstance Ident Source #

ideInstanceModule :: Lens' IdeInstance ModuleName Source #

ideInstanceConstraints :: Lens' IdeInstance (Maybe [SourceConstraint]) Source #

ideValueOpType :: Lens' IdeValueOperator (Maybe SourceType) Source #

ideValueOpPrecedence :: Lens' IdeValueOperator Precedence Source #

ideValueOpName :: Lens' IdeValueOperator (OpName ValueOpName) Source #

ideValueOpAssociativity :: Lens' IdeValueOperator Associativity Source #

ideValueOpAlias :: Lens' IdeValueOperator (Qualified (Either Ident (ProperName ConstructorName))) Source #

ideTypeOpPrecedence :: Lens' IdeTypeOperator Precedence Source #

ideTypeOpName :: Lens' IdeTypeOperator (OpName TypeOpName) Source #

ideTypeOpKind :: Lens' IdeTypeOperator (Maybe SourceKind) Source #

ideTypeOpAssociativity :: Lens' IdeTypeOperator Associativity Source #

ideTypeOpAlias :: Lens' IdeTypeOperator (Qualified (ProperName TypeName)) Source #

data IdeDeclarationAnn Source #

Constructors

IdeDeclarationAnn
Fields _idaAnnotation :: Annotation _idaDeclaration :: IdeDeclaration

Instances

Eq IdeDeclarationAnn Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool # (/=) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool #
Ord IdeDeclarationAnn Source #
Instance details 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 #
Show IdeDeclarationAnn Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeDeclarationAnn -> ShowS # show :: IdeDeclarationAnn -> String # showList :: [IdeDeclarationAnn] -> ShowS #
Generic IdeDeclarationAnn Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeDeclarationAnn :: Type -> Type # Methods from :: IdeDeclarationAnn -> Rep IdeDeclarationAnn x # to :: Rep IdeDeclarationAnn x -> IdeDeclarationAnn #
NFData IdeDeclarationAnn Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeDeclarationAnn -> () #
FromJSON (Matcher IdeDeclarationAnn) Source #
Instance details Defined in Language.PureScript.Ide.Matcher Methods parseJSON :: Value -> Parser (Matcher IdeDeclarationAnn) # parseJSONList :: Value -> Parser [Matcher IdeDeclarationAnn] #
type Rep IdeDeclarationAnn Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeDeclarationAnn = D1 (MetaData "IdeDeclarationAnn" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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 Source #

Constructors

Annotation
Fields _annLocation :: Maybe SourceSpan _annExportedFrom :: Maybe ModuleName _annTypeAnnotation :: Maybe SourceType _annDocumentation :: Maybe Text

Instances

Eq Annotation Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
Ord Annotation Source #
Instance details 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 #
Show Annotation Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Generic Annotation Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep Annotation :: Type -> Type # Methods from :: Annotation -> Rep Annotation x # to :: Rep Annotation x -> Annotation #
NFData Annotation Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: Annotation -> () #
type Rep Annotation Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep Annotation = D1 (MetaData "Annotation" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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)))))

annTypeAnnotation :: Lens' Annotation (Maybe SourceType) Source #

annLocation :: Lens' Annotation (Maybe SourceSpan) Source #

annExportedFrom :: Lens' Annotation (Maybe ModuleName) Source #

annDocumentation :: Lens' Annotation (Maybe Text) Source #

idaDeclaration :: Lens' IdeDeclarationAnn IdeDeclaration Source #

idaAnnotation :: Lens' IdeDeclarationAnn Annotation Source #

emptyAnn :: Annotation Source #

type DefinitionSites a = Map IdeNamespaced a Source #

type TypeAnnotations = Map Ident SourceType Source #

newtype AstData a Source #

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 Source #
Instance details Defined in Language.PureScript.Ide.Types Methods fmap :: (a -> b) -> AstData a -> AstData b # (<$) :: a -> AstData b -> AstData a #
Foldable AstData Source #
Instance details Defined in Language.PureScript.Ide.Types Methods fold :: Monoid m => AstData m -> 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 # toList :: AstData a -> [a] # null :: AstData a -> Bool # length :: AstData a -> Int # elem :: Eq a => a -> AstData a -> Bool # maximum :: Ord a => AstData a -> a # minimum :: Ord a => AstData a -> a # sum :: Num a => AstData a -> a # product :: Num a => AstData a -> a #
Eq a => Eq (AstData a) Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: AstData a -> AstData a -> Bool # (/=) :: AstData a -> AstData a -> Bool #
Ord a => Ord (AstData a) Source #
Instance details Defined in Language.PureScript.Ide.Types Methods compare :: AstData a -> AstData a -> Ordering # (<) :: AstData a -> AstData a -> Bool # (<=) :: AstData a -> AstData a -> Bool # (>) :: AstData a -> AstData a -> Bool # (>=) :: AstData a -> AstData a -> Bool # max :: AstData a -> AstData a -> AstData a # min :: AstData a -> AstData a -> AstData a #
Show a => Show (AstData a) Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> AstData a -> ShowS # show :: AstData a -> String # showList :: [AstData a] -> ShowS #
Generic (AstData a) Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep (AstData a) :: Type -> Type # Methods from :: AstData a -> Rep (AstData a) x # to :: Rep (AstData a) x -> AstData a #
NFData a => NFData (AstData a) Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: AstData a -> () #
type Rep (AstData a) Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep (AstData a) = D1 (MetaData "AstData" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" True) (C1 (MetaCons "AstData" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ModuleMap (DefinitionSites a, TypeAnnotations)))))

data IdeLogLevel Source #

Constructors

LogDebug
LogPerf
LogAll
LogDefault
LogNone

Instances

Eq IdeLogLevel Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeLogLevel -> IdeLogLevel -> Bool # (/=) :: IdeLogLevel -> IdeLogLevel -> Bool #
Show IdeLogLevel Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeLogLevel -> ShowS # show :: IdeLogLevel -> String # showList :: [IdeLogLevel] -> ShowS #

data IdeConfiguration Source #

Constructors

IdeConfiguration
Fields confOutputPath :: FilePath confLogLevel :: IdeLogLevel confGlobs :: [FilePath] confEditorMode :: Bool

data IdeEnvironment Source #

Constructors

IdeEnvironment
Fields ideStateVar :: TVar IdeState ideConfiguration :: IdeConfiguration

type Ide m = (MonadIO m, MonadReader IdeEnvironment m) Source #

data IdeState Source #

Constructors

IdeState
Fields ideFileState :: IdeFileState ideVolatileState :: IdeVolatileState

Instances

Show IdeState Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeState -> ShowS # show :: IdeState -> String # showList :: [IdeState] -> ShowS #

emptyIdeState :: IdeState Source #

emptyFileState :: IdeFileState Source #

emptyVolatileState :: IdeVolatileState Source #

data IdeFileState Source #

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
Fields fsExterns :: ModuleMap ExternsFile fsModules :: ModuleMap (Module, FilePath)

Instances

Show IdeFileState Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeFileState -> ShowS # show :: IdeFileState -> String # showList :: [IdeFileState] -> ShowS #

data IdeVolatileState Source #

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 vsAstData :: AstData SourceSpan vsDeclarations :: ModuleMap [IdeDeclarationAnn] vsCachedRebuild :: Maybe (ModuleName, ExternsFile)

Instances

Show IdeVolatileState Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeVolatileState -> ShowS # show :: IdeVolatileState -> String # showList :: [IdeVolatileState] -> ShowS #

newtype Match a Source #

Constructors

Match (ModuleName, a)

Instances

Functor Match Source #
Instance details Defined in Language.PureScript.Ide.Types Methods fmap :: (a -> b) -> Match a -> Match b # (<$) :: a -> Match b -> Match a #
Eq a => Eq (Match a) Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: Match a -> Match a -> Bool # (/=) :: Match a -> Match a -> Bool #
Show a => Show (Match a) Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> Match a -> ShowS # show :: Match a -> String # showList :: [Match a] -> ShowS #

data Completion Source #

A completion as it gets sent to the editors

Constructors

Completion
Fields complModule :: Text complIdentifier :: Text complType :: Text complExpandedType :: Text complLocation :: Maybe SourceSpan complDocumentation :: Maybe Text complExportedFrom :: [ModuleName]

Instances

Eq Completion Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: Completion -> Completion -> Bool # (/=) :: Completion -> Completion -> Bool #
Ord Completion Source #
Instance details 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 #
Show Completion Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> Completion -> ShowS # show :: Completion -> String # showList :: [Completion] -> ShowS #
ToJSON Completion Source #
Instance details Defined in Language.PureScript.Ide.Types Methods toJSON :: Completion -> Value # toEncoding :: Completion -> Encoding # toJSONList :: [Completion] -> Value # toEncodingList :: [Completion] -> Encoding #

identifierFromDeclarationRef :: DeclarationRef -> Text Source #

data Success Source #

Constructors

CompletionResult [Completion]
TextResult Text
UsagesResult [SourceSpan]
MultilineTextResult [Text]
ImportList (ModuleName, [(ModuleName, ImportDeclarationType, Maybe ModuleName)])
ModuleList [ModuleIdent]
RebuildSuccess MultipleErrors

Instances

Show Success Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> Success -> ShowS # show :: Success -> String # showList :: [Success] -> ShowS #
ToJSON Success Source #
Instance details Defined in Language.PureScript.Ide.Types Methods toJSON :: Success -> Value # toEncoding :: Success -> Encoding # toJSONList :: [Success] -> Value # toEncodingList :: [Success] -> Encoding #

encodeSuccess :: ToJSON a => a -> Value Source #

encodeImport :: (ModuleName, ImportDeclarationType, Maybe ModuleName) -> Value Source #

data IdeNamespace Source #

Denotes the different namespaces a name in PureScript can reside in.

Constructors

IdeNSValue
IdeNSType
IdeNSKind
IdeNSModule

Instances

Eq IdeNamespace Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeNamespace -> IdeNamespace -> Bool # (/=) :: IdeNamespace -> IdeNamespace -> Bool #
Ord IdeNamespace Source #
Instance details 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 #
Show IdeNamespace Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeNamespace -> ShowS # show :: IdeNamespace -> String # showList :: [IdeNamespace] -> ShowS #
Generic IdeNamespace Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeNamespace :: Type -> Type # Methods from :: IdeNamespace -> Rep IdeNamespace x # to :: Rep IdeNamespace x -> IdeNamespace #
NFData IdeNamespace Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeNamespace -> () #
FromJSON IdeNamespace Source #
Instance details Defined in Language.PureScript.Ide.Types Methods parseJSON :: Value -> Parser IdeNamespace # parseJSONList :: Value -> Parser [IdeNamespace] #
type Rep IdeNamespace Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeNamespace = D1 (MetaData "IdeNamespace" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" False) ((C1 (MetaCons "IdeNSValue" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IdeNSType" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "IdeNSKind" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IdeNSModule" PrefixI False) (U1 :: Type -> Type)))

data IdeNamespaced Source #

A name tagged with a namespace

Constructors

IdeNamespaced IdeNamespace Text

Instances

Eq IdeNamespaced Source #
Instance details Defined in Language.PureScript.Ide.Types Methods (==) :: IdeNamespaced -> IdeNamespaced -> Bool # (/=) :: IdeNamespaced -> IdeNamespaced -> Bool #
Ord IdeNamespaced Source #
Instance details 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 #
Show IdeNamespaced Source #
Instance details Defined in Language.PureScript.Ide.Types Methods showsPrec :: Int -> IdeNamespaced -> ShowS # show :: IdeNamespaced -> String # showList :: [IdeNamespaced] -> ShowS #
Generic IdeNamespaced Source #
Instance details Defined in Language.PureScript.Ide.Types Associated Types type Rep IdeNamespaced :: Type -> Type # Methods from :: IdeNamespaced -> Rep IdeNamespaced x # to :: Rep IdeNamespaced x -> IdeNamespaced #
NFData IdeNamespaced Source #
Instance details Defined in Language.PureScript.Ide.Types Methods rnf :: IdeNamespaced -> () #
type Rep IdeNamespaced Source #
Instance details Defined in Language.PureScript.Ide.Types type Rep IdeNamespaced = D1 (MetaData "IdeNamespaced" "Language.PureScript.Ide.Types" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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)))