Safe Haskell	None
Language	Haskell2010

Language.PureScript.Ide.Types

Description

Type definitions for psc-ide

Synopsis

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
IdeDeclKind (ProperName KindName)

Instances

Eq IdeDeclaration Source #
Methods (==) :: IdeDeclaration -> IdeDeclaration -> Bool # (/=) :: IdeDeclaration -> IdeDeclaration -> Bool #
Ord IdeDeclaration Source #
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 #
Methods showsPrec :: Int -> IdeDeclaration -> ShowS # show :: IdeDeclaration -> String # showList :: [IdeDeclaration] -> ShowS #
Generic IdeDeclaration Source #
Associated Types type Rep IdeDeclaration :: * -> * # Methods from :: IdeDeclaration -> Rep IdeDeclaration x # to :: Rep IdeDeclaration x -> IdeDeclaration #
NFData IdeDeclaration Source #
Methods rnf :: IdeDeclaration -> () #
type Rep IdeDeclaration Source #
type Rep IdeDeclaration = D1 * (MetaData "IdeDeclaration" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "IdeDeclValue" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IdeValue))) (C1 * (MetaCons "IdeDeclType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IdeType)))) ((:+:) * (C1 * (MetaCons "IdeDeclTypeSynonym" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IdeTypeSynonym))) (C1 * (MetaCons "IdeDeclDataConstructor" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IdeDataConstructor))))) ((:+:) * ((:+:) * (C1 * (MetaCons "IdeDeclTypeClass" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IdeTypeClass))) (C1 * (MetaCons "IdeDeclValueOperator" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IdeValueOperator)))) ((:+:) * (C1 * (MetaCons "IdeDeclTypeOperator" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IdeTypeOperator))) (C1 * (MetaCons "IdeDeclKind" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ProperName KindName)))))))

data IdeValue Source #

Constructors

IdeValue
Fields _ideValueIdent :: Ident _ideValueType :: Type

Instances

Eq IdeValue Source #
Methods (==) :: IdeValue -> IdeValue -> Bool # (/=) :: IdeValue -> IdeValue -> Bool #
Ord IdeValue Source #
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 #
Methods showsPrec :: Int -> IdeValue -> ShowS # show :: IdeValue -> String # showList :: [IdeValue] -> ShowS #
Generic IdeValue Source #
Associated Types type Rep IdeValue :: * -> * # Methods from :: IdeValue -> Rep IdeValue x # to :: Rep IdeValue x -> IdeValue #
NFData IdeValue Source #
Methods rnf :: IdeValue -> () #
type Rep IdeValue Source #
type Rep IdeValue = D1 * (MetaData "IdeValue" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "IdeValue" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_ideValueIdent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Ident)) (S1 * (MetaSel (Just Symbol "_ideValueType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type))))

data IdeType Source #

Constructors

IdeType
Fields _ideTypeName :: ProperName TypeName _ideTypeKind :: Kind _ideTypeDtors :: [(ProperName ConstructorName, Type)]

Instances

Eq IdeType Source #
Methods (==) :: IdeType -> IdeType -> Bool # (/=) :: IdeType -> IdeType -> Bool #
Ord IdeType Source #
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 #
Methods showsPrec :: Int -> IdeType -> ShowS # show :: IdeType -> String # showList :: [IdeType] -> ShowS #
Generic IdeType Source #
Associated Types type Rep IdeType :: * -> * # Methods from :: IdeType -> Rep IdeType x # to :: Rep IdeType x -> IdeType #
NFData IdeType Source #
Methods rnf :: IdeType -> () #
type Rep IdeType Source #
type Rep IdeType = D1 * (MetaData "IdeType" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "IdeType" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_ideTypeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ProperName TypeName))) ((::) (S1 * (MetaSel (Just Symbol "_ideTypeKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Kind)) (S1 * (MetaSel (Just Symbol "_ideTypeDtors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(ProperName ConstructorName, Type)])))))

data IdeTypeSynonym Source #

Constructors

IdeTypeSynonym
Fields _ideSynonymName :: ProperName TypeName _ideSynonymType :: Type _ideSynonymKind :: Kind

Instances

Eq IdeTypeSynonym Source #
Methods (==) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool # (/=) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool #
Ord IdeTypeSynonym Source #
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 #
Methods showsPrec :: Int -> IdeTypeSynonym -> ShowS # show :: IdeTypeSynonym -> String # showList :: [IdeTypeSynonym] -> ShowS #
Generic IdeTypeSynonym Source #
Associated Types type Rep IdeTypeSynonym :: * -> * # Methods from :: IdeTypeSynonym -> Rep IdeTypeSynonym x # to :: Rep IdeTypeSynonym x -> IdeTypeSynonym #
NFData IdeTypeSynonym Source #
Methods rnf :: IdeTypeSynonym -> () #
type Rep IdeTypeSynonym Source #
type Rep IdeTypeSynonym = D1 * (MetaData "IdeTypeSynonym" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "IdeTypeSynonym" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_ideSynonymName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ProperName TypeName))) ((::) (S1 * (MetaSel (Just Symbol "_ideSynonymType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "_ideSynonymKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Kind)))))

data IdeDataConstructor Source #

Constructors

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

Instances

Eq IdeDataConstructor Source #
Methods (==) :: IdeDataConstructor -> IdeDataConstructor -> Bool # (/=) :: IdeDataConstructor -> IdeDataConstructor -> Bool #
Ord IdeDataConstructor Source #
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 #
Methods showsPrec :: Int -> IdeDataConstructor -> ShowS # show :: IdeDataConstructor -> String # showList :: [IdeDataConstructor] -> ShowS #
Generic IdeDataConstructor Source #
Associated Types type Rep IdeDataConstructor :: * -> * # Methods from :: IdeDataConstructor -> Rep IdeDataConstructor x # to :: Rep IdeDataConstructor x -> IdeDataConstructor #
NFData IdeDataConstructor Source #
Methods rnf :: IdeDataConstructor -> () #
type Rep IdeDataConstructor Source #
type Rep IdeDataConstructor = D1 * (MetaData "IdeDataConstructor" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "IdeDataConstructor" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_ideDtorName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ProperName ConstructorName))) ((::) (S1 * (MetaSel (Just Symbol "_ideDtorTypeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ProperName TypeName))) (S1 * (MetaSel (Just Symbol "_ideDtorType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)))))

data IdeTypeClass Source #

Constructors

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

Instances

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

data IdeInstance Source #

Constructors

IdeInstance
Fields _ideInstanceModule :: ModuleName _ideInstanceName :: Ident _ideInstanceTypes :: [Type] _ideInstanceConstraints :: Maybe [Constraint]

Instances

Eq IdeInstance Source #
Methods (==) :: IdeInstance -> IdeInstance -> Bool # (/=) :: IdeInstance -> IdeInstance -> Bool #
Ord IdeInstance Source #
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 #
Methods showsPrec :: Int -> IdeInstance -> ShowS # show :: IdeInstance -> String # showList :: [IdeInstance] -> ShowS #
Generic IdeInstance Source #
Associated Types type Rep IdeInstance :: * -> * # Methods from :: IdeInstance -> Rep IdeInstance x # to :: Rep IdeInstance x -> IdeInstance #
NFData IdeInstance Source #
Methods rnf :: IdeInstance -> () #
type Rep IdeInstance Source #
type Rep IdeInstance = D1 * (MetaData "IdeInstance" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "IdeInstance" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_ideInstanceModule") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ModuleName)) (S1 * (MetaSel (Just Symbol "_ideInstanceName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Ident))) ((::) (S1 * (MetaSel (Just Symbol "_ideInstanceTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Type])) (S1 * (MetaSel (Just Symbol "_ideInstanceConstraints") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [Constraint]))))))

data IdeValueOperator Source #

Constructors

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

Instances

Eq IdeValueOperator Source #
Methods (==) :: IdeValueOperator -> IdeValueOperator -> Bool # (/=) :: IdeValueOperator -> IdeValueOperator -> Bool #
Ord IdeValueOperator Source #
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 #
Methods showsPrec :: Int -> IdeValueOperator -> ShowS # show :: IdeValueOperator -> String # showList :: [IdeValueOperator] -> ShowS #
Generic IdeValueOperator Source #
Associated Types type Rep IdeValueOperator :: * -> * # Methods from :: IdeValueOperator -> Rep IdeValueOperator x # to :: Rep IdeValueOperator x -> IdeValueOperator #
NFData IdeValueOperator Source #
Methods rnf :: IdeValueOperator -> () #
type Rep IdeValueOperator Source #
type Rep IdeValueOperator = D1 * (MetaData "IdeValueOperator" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "IdeValueOperator" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_ideValueOpName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (OpName ValueOpName))) (S1 * (MetaSel (Just Symbol "_ideValueOpAlias") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Qualified (Either Ident (ProperName ConstructorName)))))) ((::) (S1 * (MetaSel (Just Symbol "_ideValueOpPrecedence") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Precedence)) ((::) (S1 * (MetaSel (Just Symbol "_ideValueOpAssociativity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Associativity)) (S1 * (MetaSel (Just Symbol "_ideValueOpType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Type)))))))

data IdeTypeOperator Source #

Constructors

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

Instances

Eq IdeTypeOperator Source #
Methods (==) :: IdeTypeOperator -> IdeTypeOperator -> Bool # (/=) :: IdeTypeOperator -> IdeTypeOperator -> Bool #
Ord IdeTypeOperator Source #
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 #
Methods showsPrec :: Int -> IdeTypeOperator -> ShowS # show :: IdeTypeOperator -> String # showList :: [IdeTypeOperator] -> ShowS #
Generic IdeTypeOperator Source #
Associated Types type Rep IdeTypeOperator :: * -> * # Methods from :: IdeTypeOperator -> Rep IdeTypeOperator x # to :: Rep IdeTypeOperator x -> IdeTypeOperator #
NFData IdeTypeOperator Source #
Methods rnf :: IdeTypeOperator -> () #
type Rep IdeTypeOperator Source #
type Rep IdeTypeOperator = D1 * (MetaData "IdeTypeOperator" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "IdeTypeOperator" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_ideTypeOpName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (OpName TypeOpName))) (S1 * (MetaSel (Just Symbol "_ideTypeOpAlias") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Qualified (ProperName TypeName))))) ((::) (S1 * (MetaSel (Just Symbol "_ideTypeOpPrecedence") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Precedence)) ((::) (S1 * (MetaSel (Just Symbol "_ideTypeOpAssociativity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Associativity)) (S1 * (MetaSel (Just Symbol "_ideTypeOpKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Kind)))))))

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

_IdeDeclTypeOperator :: Prism' IdeDeclaration IdeTypeOperator Source #

_IdeDeclValueOperator :: Prism' IdeDeclaration IdeValueOperator Source #

_IdeDeclTypeClass :: Prism' IdeDeclaration IdeTypeClass Source #

_IdeDeclDataConstructor :: Prism' IdeDeclaration IdeDataConstructor Source #

_IdeDeclTypeSynonym :: Prism' IdeDeclaration IdeTypeSynonym Source #

_IdeDeclType :: Prism' IdeDeclaration IdeType Source #

_IdeDeclValue :: Prism' IdeDeclaration IdeValue Source #

ideValueType :: Lens' IdeValue Type Source #

ideValueIdent :: Lens' IdeValue Ident Source #

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

ideTypeKind :: Lens' IdeType Kind Source #

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

ideSynonymType :: Lens' IdeTypeSynonym Type Source #

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

ideSynonymKind :: Lens' IdeTypeSynonym Kind Source #

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

ideDtorType :: Lens' IdeDataConstructor Type Source #

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

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

ideTCKind :: Lens' IdeTypeClass Kind Source #

ideTCInstances :: Lens' IdeTypeClass [IdeInstance] Source #

ideInstanceTypes :: Lens' IdeInstance [Type] Source #

ideInstanceName :: Lens' IdeInstance Ident Source #

ideInstanceModule :: Lens' IdeInstance ModuleName Source #

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

ideValueOpType :: Lens' IdeValueOperator (Maybe Type) 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 Kind) 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 #
Methods (==) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool # (/=) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool #
Ord IdeDeclarationAnn Source #
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 #
Methods showsPrec :: Int -> IdeDeclarationAnn -> ShowS # show :: IdeDeclarationAnn -> String # showList :: [IdeDeclarationAnn] -> ShowS #
Generic IdeDeclarationAnn Source #
Associated Types type Rep IdeDeclarationAnn :: * -> * # Methods from :: IdeDeclarationAnn -> Rep IdeDeclarationAnn x # to :: Rep IdeDeclarationAnn x -> IdeDeclarationAnn #
NFData IdeDeclarationAnn Source #
Methods rnf :: IdeDeclarationAnn -> () #
FromJSON (Matcher IdeDeclarationAnn) #
Methods parseJSON :: Value -> Parser (Matcher IdeDeclarationAnn) # parseJSONList :: Value -> Parser [Matcher IdeDeclarationAnn] #
type Rep IdeDeclarationAnn Source #
type Rep IdeDeclarationAnn = D1 * (MetaData "IdeDeclarationAnn" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "IdeDeclarationAnn" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_idaAnnotation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Annotation)) (S1 * (MetaSel (Just Symbol "_idaDeclaration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IdeDeclaration))))

data Annotation Source #

Constructors

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

Instances

Eq Annotation Source #
Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
Ord Annotation Source #
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 #
Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Generic Annotation Source #
Associated Types type Rep Annotation :: * -> * # Methods from :: Annotation -> Rep Annotation x # to :: Rep Annotation x -> Annotation #
NFData Annotation Source #
Methods rnf :: Annotation -> () #
type Rep Annotation Source #
type Rep Annotation = D1 * (MetaData "Annotation" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "Annotation" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_annLocation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe SourceSpan))) (S1 * (MetaSel (Just Symbol "_annExportedFrom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ModuleName)))) ((::) (S1 * (MetaSel (Just Symbol "_annTypeAnnotation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Type))) (S1 * (MetaSel (Just Symbol "_annDocumentation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))))))

annTypeAnnotation :: Lens' Annotation (Maybe Type) 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 Type 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 #
Methods fmap :: (a -> b) -> AstData a -> AstData b # (<$) :: a -> AstData b -> AstData a #
Foldable AstData Source #
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 #
Methods (==) :: AstData a -> AstData a -> Bool # (/=) :: AstData a -> AstData a -> Bool #
Ord a => Ord (AstData a) Source #
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 #
Methods showsPrec :: Int -> AstData a -> ShowS # show :: AstData a -> String # showList :: [AstData a] -> ShowS #
Generic (AstData a) Source #
Associated Types type Rep (AstData a) :: * -> * # Methods from :: AstData a -> Rep (AstData a) x # to :: Rep (AstData a) x -> AstData a #
NFData a => NFData (AstData a) Source #
Methods rnf :: AstData a -> () #
type Rep (AstData a) Source #
type Rep (AstData a) = D1 * (MetaData "AstData" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" True) (C1 * (MetaCons "AstData" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ModuleMap (DefinitionSites a, TypeAnnotations)))))

data IdeLogLevel Source #

Constructors

LogDebug
LogPerf
LogAll
LogDefault
LogNone

Instances

Eq IdeLogLevel Source #
Methods (==) :: IdeLogLevel -> IdeLogLevel -> Bool # (/=) :: IdeLogLevel -> IdeLogLevel -> Bool #
Show IdeLogLevel Source #
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 #
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 #
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 #
Methods showsPrec :: Int -> IdeVolatileState -> ShowS # show :: IdeVolatileState -> String # showList :: [IdeVolatileState] -> ShowS #

newtype Match a Source #

Constructors

Match (ModuleName, a)

Instances

Functor Match Source #
Methods fmap :: (a -> b) -> Match a -> Match b # (<$) :: a -> Match b -> Match a #
Eq a => Eq (Match a) Source #
Methods (==) :: Match a -> Match a -> Bool # (/=) :: Match a -> Match a -> Bool #
Show a => Show (Match a) Source #
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 #
Methods (==) :: Completion -> Completion -> Bool # (/=) :: Completion -> Completion -> Bool #
Ord Completion Source #
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 #
Methods showsPrec :: Int -> Completion -> ShowS # show :: Completion -> String # showList :: [Completion] -> ShowS #
ToJSON Completion Source #
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 #
Methods showsPrec :: Int -> Success -> ShowS # show :: Success -> String # showList :: [Success] -> ShowS #
ToJSON Success Source #
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

Instances

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

data IdeNamespaced Source #

A name tagged with a namespace

Constructors

IdeNamespaced IdeNamespace Text

Instances

Eq IdeNamespaced Source #
Methods (==) :: IdeNamespaced -> IdeNamespaced -> Bool # (/=) :: IdeNamespaced -> IdeNamespaced -> Bool #
Ord IdeNamespaced Source #
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 #
Methods showsPrec :: Int -> IdeNamespaced -> ShowS # show :: IdeNamespaced -> String # showList :: [IdeNamespaced] -> ShowS #
Generic IdeNamespaced Source #
Associated Types type Rep IdeNamespaced :: * -> * # Methods from :: IdeNamespaced -> Rep IdeNamespaced x # to :: Rep IdeNamespaced x -> IdeNamespaced #
NFData IdeNamespaced Source #
Methods rnf :: IdeNamespaced -> () #
type Rep IdeNamespaced Source #
type Rep IdeNamespaced = D1 * (MetaData "IdeNamespaced" "Language.PureScript.Ide.Types" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "IdeNamespaced" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IdeNamespace)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))))