purescript-0.15.15: PureScript Programming Language Compiler
Safe HaskellNone
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 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeDeclaration = D1 ('MetaData "IdeDeclaration" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" '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)))))
Show IdeDeclaration # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" '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 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeValue = D1 ('MetaData "IdeValue" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideValueIdent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Just "_ideValueType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType)))

Methods

from :: IdeValue -> Rep IdeValue x #

to :: Rep IdeValue x -> IdeValue #

Show IdeValue # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideValueIdent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Just "_ideValueType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType)))

data IdeType #

Instances

Instances details
Generic IdeType # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated 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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeType" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'TypeName)) :*: (S1 ('MetaSel ('Just "_ideTypeKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Just "_ideTypeDtors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ProperName 'ConstructorName, SourceType)]))))

Methods

from :: IdeType -> Rep IdeType x #

to :: Rep IdeType x -> IdeType #

Show IdeType # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeType" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'TypeName)) :*: (S1 ('MetaSel ('Just "_ideTypeKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Just "_ideTypeDtors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ProperName 'ConstructorName, SourceType)]))))

data IdeTypeSynonym #

Instances

Instances details
Generic IdeTypeSynonym # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated 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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeTypeSynonym" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideSynonymName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'TypeName)) :*: (S1 ('MetaSel ('Just "_ideSynonymType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Just "_ideSynonymKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType))))
Show IdeTypeSynonym # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeTypeSynonym" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideSynonymName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'TypeName)) :*: (S1 ('MetaSel ('Just "_ideSynonymType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Just "_ideSynonymKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType))))

data IdeDataConstructor #

Instances

Instances details
Generic IdeDataConstructor # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated 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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeDataConstructor" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideDtorName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'ConstructorName)) :*: (S1 ('MetaSel ('Just "_ideDtorTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'TypeName)) :*: S1 ('MetaSel ('Just "_ideDtorType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType))))
Show IdeDataConstructor # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeDataConstructor" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideDtorName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'ConstructorName)) :*: (S1 ('MetaSel ('Just "_ideDtorTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'TypeName)) :*: S1 ('MetaSel ('Just "_ideDtorType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType))))

data IdeTypeClass #

Instances

Instances details
Generic IdeTypeClass # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated 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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeTypeClass" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideTCName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'ClassName)) :*: (S1 ('MetaSel ('Just "_ideTCKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Just "_ideTCInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [IdeInstance]))))
Show IdeTypeClass # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeTypeClass" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ideTCName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProperName 'ClassName)) :*: (S1 ('MetaSel ('Just "_ideTCKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Just "_ideTCInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [IdeInstance]))))

data IdeInstance #

Instances

Instances details
Generic IdeInstance # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated 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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ideInstanceModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName) :*: S1 ('MetaSel ('Just "_ideInstanceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :*: (S1 ('MetaSel ('Just "_ideInstanceTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SourceType]) :*: S1 ('MetaSel ('Just "_ideInstanceConstraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SourceConstraint])))))
Show IdeInstance # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ideInstanceModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName) :*: S1 ('MetaSel ('Just "_ideInstanceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :*: (S1 ('MetaSel ('Just "_ideInstanceTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SourceType]) :*: S1 ('MetaSel ('Just "_ideInstanceConstraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SourceConstraint])))))

data IdeValueOperator #

Instances

Instances details
Generic IdeValueOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated 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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeValueOperator" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ideValueOpName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OpName 'ValueOpName)) :*: S1 ('MetaSel ('Just "_ideValueOpAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Qualified (Either Ident (ProperName 'ConstructorName))))) :*: (S1 ('MetaSel ('Just "_ideValueOpPrecedence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Precedence) :*: (S1 ('MetaSel ('Just "_ideValueOpAssociativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Just "_ideValueOpType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType))))))
Show IdeValueOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeValueOperator" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ideValueOpName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OpName 'ValueOpName)) :*: S1 ('MetaSel ('Just "_ideValueOpAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Qualified (Either Ident (ProperName 'ConstructorName))))) :*: (S1 ('MetaSel ('Just "_ideValueOpPrecedence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Precedence) :*: (S1 ('MetaSel ('Just "_ideValueOpAssociativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Just "_ideValueOpType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType))))))

data IdeTypeOperator #

Instances

Instances details
Generic IdeTypeOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated 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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeTypeOperator" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ideTypeOpName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OpName 'TypeOpName)) :*: S1 ('MetaSel ('Just "_ideTypeOpAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Qualified (ProperName 'TypeName)))) :*: (S1 ('MetaSel ('Just "_ideTypeOpPrecedence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Precedence) :*: (S1 ('MetaSel ('Just "_ideTypeOpAssociativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Just "_ideTypeOpKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType))))))
Show IdeTypeOperator # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeTypeOperator" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_ideTypeOpName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OpName 'TypeOpName)) :*: S1 ('MetaSel ('Just "_ideTypeOpAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Qualified (ProperName 'TypeName)))) :*: (S1 ('MetaSel ('Just "_ideTypeOpPrecedence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Precedence) :*: (S1 ('MetaSel ('Just "_ideTypeOpAssociativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Just "_ideTypeOpKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType))))))

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 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeDeclarationAnn = D1 ('MetaData "IdeDeclarationAnn" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeDeclarationAnn" 'PrefixI 'True) (S1 ('MetaSel ('Just "_idaAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Annotation) :*: S1 ('MetaSel ('Just "_idaDeclaration") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdeDeclaration)))
Show IdeDeclarationAnn # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeDeclarationAnn" 'PrefixI 'True) (S1 ('MetaSel ('Just "_idaAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Annotation) :*: S1 ('MetaSel ('Just "_idaDeclaration") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdeDeclaration)))

data Annotation #

Instances

Instances details
Generic Annotation # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated 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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "Annotation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_annLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceSpan)) :*: S1 ('MetaSel ('Just "_annExportedFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModuleName))) :*: (S1 ('MetaSel ('Just "_annTypeAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType)) :*: S1 ('MetaSel ('Just "_annDocumentation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))
Show Annotation # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "Annotation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_annLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceSpan)) :*: S1 ('MetaSel ('Just "_annExportedFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModuleName))) :*: (S1 ('MetaSel ('Just "_annTypeAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType)) :*: S1 ('MetaSel ('Just "_annDocumentation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

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) 
Instance details

Defined in Language.PureScript.Ide.Types

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

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.15-2PRN9Yi4DizG6PDa5K8ocU" '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

Eq IdeLogLevel # 
Instance details

Defined in Language.PureScript.Ide.Types

type Ide (m :: Type -> Type) = (MonadIO m, MonadReader IdeEnvironment m) #

data IdeState #

Instances

Instances details
Show IdeState # 
Instance details

Defined in Language.PureScript.Ide.Types

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

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

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 
Instance details

Defined in Language.PureScript.Ide.Types

type Rep IdeNamespace = D1 ('MetaData "IdeNamespace" "Language.PureScript.Ide.Types" "purescript-0.15.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeNSValue" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IdeNSType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IdeNSModule" 'PrefixI 'False) (U1 :: Type -> Type)))
Show IdeNamespace # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeNSValue" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IdeNSType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IdeNSModule" 'PrefixI 'False) (U1 :: Type -> Type)))

data IdeNamespaced #

A name tagged with a namespace

Instances

Instances details
Generic IdeNamespaced # 
Instance details

Defined in Language.PureScript.Ide.Types

Associated 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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeNamespaced" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdeNamespace) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
Show IdeNamespaced # 
Instance details

Defined in Language.PureScript.Ide.Types

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.15-2PRN9Yi4DizG6PDa5K8ocU" 'False) (C1 ('MetaCons "IdeNamespaced" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdeNamespace) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))