purescript-0.15.12: PureScript Programming Language Compiler
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.PureScript.Ide.Types

Description

Type definitions for psc-ide

Synopsis

Documentation

data IdeDeclaration #

Instances

Instances details
Generic IdeDeclaration # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeDeclaration :: Type -> Type #

Show IdeDeclaration # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeDeclaration -> ShowS #

show :: IdeDeclaration -> String #

showList :: [IdeDeclaration] -> ShowS #

NFData IdeDeclaration # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeDeclaration -> () #

Eq IdeDeclaration # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeDeclaration # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeDeclaration # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeDeclaration = D1 ('MetaData "IdeDeclaration" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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)))))

data IdeValue #

Instances

Instances details
Generic IdeValue # 
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 #

Show IdeValue # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeValue -> ShowS #

show :: IdeValue -> String #

showList :: [IdeValue] -> ShowS #

NFData IdeValue # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeValue -> () #

Eq IdeValue # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeValue # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeValue # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeValue = D1 ('MetaData "IdeValue" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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 #

Instances

Instances details
Generic IdeType # 
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 #

Show IdeType # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeType -> ShowS #

show :: IdeType -> String #

showList :: [IdeType] -> ShowS #

NFData IdeType # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeType -> () #

Eq IdeType # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeType -> IdeType -> Bool #

(/=) :: IdeType -> IdeType -> Bool #

Ord IdeType # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeType # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeType = D1 ('MetaData "IdeType" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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 #

Instances

Instances details
Generic IdeTypeSynonym # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeTypeSynonym :: Type -> Type #

Show IdeTypeSynonym # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeTypeSynonym -> ShowS #

show :: IdeTypeSynonym -> String #

showList :: [IdeTypeSynonym] -> ShowS #

NFData IdeTypeSynonym # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeTypeSynonym -> () #

Eq IdeTypeSynonym # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeTypeSynonym # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeTypeSynonym # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeTypeSynonym = D1 ('MetaData "IdeTypeSynonym" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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 #

Instances

Instances details
Generic IdeDataConstructor # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeDataConstructor :: Type -> Type #

Show IdeDataConstructor # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeDataConstructor -> ShowS #

show :: IdeDataConstructor -> String #

showList :: [IdeDataConstructor] -> ShowS #

NFData IdeDataConstructor # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeDataConstructor -> () #

Eq IdeDataConstructor # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeDataConstructor # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeDataConstructor # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeDataConstructor = D1 ('MetaData "IdeDataConstructor" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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 #

Instances

Instances details
Generic IdeTypeClass # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeTypeClass :: Type -> Type #

Show IdeTypeClass # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeTypeClass -> ShowS #

show :: IdeTypeClass -> String #

showList :: [IdeTypeClass] -> ShowS #

NFData IdeTypeClass # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeTypeClass -> () #

Eq IdeTypeClass # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeTypeClass # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeTypeClass # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeTypeClass = D1 ('MetaData "IdeTypeClass" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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 #

Instances

Instances details
Generic IdeInstance # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeInstance :: Type -> Type #

Show IdeInstance # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeInstance -> ShowS #

show :: IdeInstance -> String #

showList :: [IdeInstance] -> ShowS #

NFData IdeInstance # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeInstance -> () #

Eq IdeInstance # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeInstance # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeInstance # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeInstance = D1 ('MetaData "IdeInstance" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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 #

Instances

Instances details
Generic IdeValueOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeValueOperator :: Type -> Type #

Show IdeValueOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeValueOperator -> ShowS #

show :: IdeValueOperator -> String #

showList :: [IdeValueOperator] -> ShowS #

NFData IdeValueOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeValueOperator -> () #

Eq IdeValueOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeValueOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeValueOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeValueOperator = D1 ('MetaData "IdeValueOperator" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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 #

Instances

Instances details
Generic IdeTypeOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeTypeOperator :: Type -> Type #

Show IdeTypeOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeTypeOperator -> ShowS #

show :: IdeTypeOperator -> String #

showList :: [IdeTypeOperator] -> ShowS #

NFData IdeTypeOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeTypeOperator -> () #

Eq IdeTypeOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeTypeOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeTypeOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeTypeOperator = D1 ('MetaData "IdeTypeOperator" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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))))))

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

data IdeDeclarationAnn #

Instances

Instances details
Generic IdeDeclarationAnn # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeDeclarationAnn :: Type -> Type #

Show IdeDeclarationAnn # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeDeclarationAnn -> ShowS #

show :: IdeDeclarationAnn -> String #

showList :: [IdeDeclarationAnn] -> ShowS #

NFData IdeDeclarationAnn # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeDeclarationAnn -> () #

Eq IdeDeclarationAnn # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeDeclarationAnn # 
Instance details

Defined in Language.PureScript.Ide.Types

FromJSON (Matcher IdeDeclarationAnn) # 
Instance details

Defined in Language.PureScript.Ide.Matcher

type Rep IdeDeclarationAnn # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeDeclarationAnn = D1 ('MetaData "IdeDeclarationAnn" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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 #

Instances

Instances details
Generic Annotation # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep Annotation :: Type -> Type #

Show Annotation # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> Annotation -> ShowS #

show :: Annotation -> String #

showList :: [Annotation] -> ShowS #

NFData Annotation # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: Annotation -> () #

Eq Annotation # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord Annotation # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep Annotation # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep Annotation = D1 ('MetaData "Annotation" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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)))))

newtype AstData a #

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

Instances details
Foldable AstData # 
Instance details

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 #

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 #

Functor AstData # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

fmap :: (a -> b) -> AstData a -> AstData b #

(<$) :: a -> AstData b -> AstData a #

Generic (AstData a) # 
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 #

Show a => Show (AstData a) # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> AstData a -> ShowS #

show :: AstData a -> String #

showList :: [AstData a] -> ShowS #

NFData a => NFData (AstData a) # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: AstData a -> () #

Eq a => Eq (AstData a) # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

(==) :: AstData a -> AstData a -> Bool #

(/=) :: AstData a -> AstData a -> Bool #

Ord a => Ord (AstData a) # 
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 #

type Rep (AstData a) # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep (AstData a) = D1 ('MetaData "AstData" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" 'True) (C1 ('MetaCons "AstData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ModuleMap (DefinitionSites a, TypeAnnotations)))))

data IdeLogLevel #

Instances

Instances details
Show IdeLogLevel # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeLogLevel -> ShowS #

show :: IdeLogLevel -> String #

showList :: [IdeLogLevel] -> ShowS #

Eq IdeLogLevel # 
Instance details

Defined in Language.PureScript.Ide.Types

data IdeState #

Instances

Instances details
Show IdeState # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeState -> ShowS #

show :: IdeState -> String #

showList :: [IdeState] -> ShowS #

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.

Instances

Instances details
Show IdeFileState # 
Instance details

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

Instances

Instances details
Show IdeVolatileState # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeVolatileState -> ShowS #

show :: IdeVolatileState -> String #

showList :: [IdeVolatileState] -> ShowS #

newtype Match a #

Constructors

Match (ModuleName, a) 

Instances

Instances details
Functor Match # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

fmap :: (a -> b) -> Match a -> Match b #

(<$) :: a -> Match b -> Match a #

Show a => Show (Match a) # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> Match a -> ShowS #

show :: Match a -> String #

showList :: [Match a] -> ShowS #

Eq a => Eq (Match a) # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

(==) :: Match a -> Match a -> Bool #

(/=) :: Match a -> Match a -> Bool #

data IdeNamespace #

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

Instances

Instances details
FromJSON IdeNamespace # 
Instance details

Defined in Language.PureScript.Ide.Types

Generic IdeNamespace # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeNamespace :: Type -> Type #

Show IdeNamespace # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeNamespace -> ShowS #

show :: IdeNamespace -> String #

showList :: [IdeNamespace] -> ShowS #

NFData IdeNamespace # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeNamespace -> () #

Eq IdeNamespace # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeNamespace # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeNamespace # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeNamespace = D1 ('MetaData "IdeNamespace" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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

Instances

Instances details
Generic IdeNamespaced # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated Types

type Rep IdeNamespaced :: Type -> Type #

Show IdeNamespaced # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeNamespaced -> ShowS #

show :: IdeNamespaced -> String #

showList :: [IdeNamespaced] -> ShowS #

NFData IdeNamespaced # 
Instance details

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeNamespaced -> () #

Eq IdeNamespaced # 
Instance details

Defined in Language.PureScript.Ide.Types

Ord IdeNamespaced # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeNamespaced # 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeNamespaced = D1 ('MetaData "IdeNamespaced" "Language.PureScript.Ide.Types" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" '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)))