Language.PureScript.Ide.Types

Type definitions for psc-ide

Documentation

type ModuleIdent = Text

type ModuleMap a = Map ModuleName a

data IdeDeclaration

Constructors

IdeDeclValue IdeValue

IdeDeclType IdeType

IdeDeclTypeSynonym IdeTypeSynonym

IdeDeclDataConstructor IdeDataConstructor

IdeDeclTypeClass IdeTypeClass

IdeDeclValueOperator IdeValueOperator

IdeDeclTypeOperator IdeTypeOperator

IdeDeclModule ModuleName

IdeDeclKind (ProperName KindName)

Instances

Eq IdeDeclaration

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeDeclaration -> IdeDeclaration -> Bool

(/=) :: IdeDeclaration -> IdeDeclaration -> Bool

Ord IdeDeclaration

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

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeDeclaration -> ShowS

show :: IdeDeclaration -> String

showList :: [IdeDeclaration] -> ShowS

Generic IdeDeclaration

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeDeclaration -> ()

type Rep IdeDeclaration

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

Constructors

IdeValue

Fields

• _ideValueIdent :: Ident
• _ideValueType :: SourceType

Instances

Eq IdeValue

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeValue -> IdeValue -> Bool

(/=) :: IdeValue -> IdeValue -> Bool

Ord IdeValue

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

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeValue -> ShowS

show :: IdeValue -> String

showList :: [IdeValue] -> ShowS

Generic IdeValue

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeValue -> ()

type Rep IdeValue

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

Constructors

IdeType

Fields

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

Instances

Eq IdeType

Defined in Language.PureScript.Ide.Types

Methods

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

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

Ord IdeType

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

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeType -> ShowS

show :: IdeType -> String

showList :: [IdeType] -> ShowS

Generic IdeType

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeType -> ()

type Rep IdeType

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

Constructors

IdeTypeSynonym

Fields

• _ideSynonymName :: ProperName TypeName
• _ideSynonymType :: SourceType
• _ideSynonymKind :: SourceKind

Instances

Eq IdeTypeSynonym

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool

(/=) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool

Ord IdeTypeSynonym

Defined in Language.PureScript.Ide.Types

Methods

compare :: IdeTypeSynonym -> IdeTypeSynonym -> Ordering

(<) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool

(<=) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool

(>) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool

(>=) :: IdeTypeSynonym -> IdeTypeSynonym -> Bool

max :: IdeTypeSynonym -> IdeTypeSynonym -> IdeTypeSynonym

min :: IdeTypeSynonym -> IdeTypeSynonym -> IdeTypeSynonym

Show IdeTypeSynonym

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeTypeSynonym -> ShowS

show :: IdeTypeSynonym -> String

showList :: [IdeTypeSynonym] -> ShowS

Generic IdeTypeSynonym

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeTypeSynonym -> ()

type Rep IdeTypeSynonym

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

Constructors

IdeDataConstructor

Fields

• _ideDtorName :: ProperName ConstructorName
• _ideDtorTypeName :: ProperName TypeName
• _ideDtorType :: SourceType

Instances

Eq IdeDataConstructor

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeDataConstructor -> IdeDataConstructor -> Bool

(/=) :: IdeDataConstructor -> IdeDataConstructor -> Bool

Ord IdeDataConstructor

Defined in Language.PureScript.Ide.Types

Methods

compare :: IdeDataConstructor -> IdeDataConstructor -> Ordering

(<) :: IdeDataConstructor -> IdeDataConstructor -> Bool

(<=) :: IdeDataConstructor -> IdeDataConstructor -> Bool

(>) :: IdeDataConstructor -> IdeDataConstructor -> Bool

(>=) :: IdeDataConstructor -> IdeDataConstructor -> Bool

max :: IdeDataConstructor -> IdeDataConstructor -> IdeDataConstructor

min :: IdeDataConstructor -> IdeDataConstructor -> IdeDataConstructor

Show IdeDataConstructor

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeDataConstructor -> ShowS

show :: IdeDataConstructor -> String

showList :: [IdeDataConstructor] -> ShowS

Generic IdeDataConstructor

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeDataConstructor -> ()

type Rep IdeDataConstructor

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

Constructors

IdeTypeClass

Fields

• _ideTCName :: ProperName ClassName
• _ideTCKind :: SourceKind
• _ideTCInstances :: [IdeInstance]

Instances

Eq IdeTypeClass

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeTypeClass -> IdeTypeClass -> Bool

(/=) :: IdeTypeClass -> IdeTypeClass -> Bool

Ord IdeTypeClass

Defined in Language.PureScript.Ide.Types

Methods

compare :: IdeTypeClass -> IdeTypeClass -> Ordering

(<) :: IdeTypeClass -> IdeTypeClass -> Bool

(<=) :: IdeTypeClass -> IdeTypeClass -> Bool

(>) :: IdeTypeClass -> IdeTypeClass -> Bool

(>=) :: IdeTypeClass -> IdeTypeClass -> Bool

max :: IdeTypeClass -> IdeTypeClass -> IdeTypeClass

min :: IdeTypeClass -> IdeTypeClass -> IdeTypeClass

Show IdeTypeClass

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeTypeClass -> ShowS

show :: IdeTypeClass -> String

showList :: [IdeTypeClass] -> ShowS

Generic IdeTypeClass

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeTypeClass -> ()

type Rep IdeTypeClass

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

Constructors

IdeInstance

Fields

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

Instances

Eq IdeInstance

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeInstance -> IdeInstance -> Bool

(/=) :: IdeInstance -> IdeInstance -> Bool

Ord IdeInstance

Defined in Language.PureScript.Ide.Types

Methods

compare :: IdeInstance -> IdeInstance -> Ordering

(<) :: IdeInstance -> IdeInstance -> Bool

(<=) :: IdeInstance -> IdeInstance -> Bool

(>) :: IdeInstance -> IdeInstance -> Bool

(>=) :: IdeInstance -> IdeInstance -> Bool

max :: IdeInstance -> IdeInstance -> IdeInstance

min :: IdeInstance -> IdeInstance -> IdeInstance

Show IdeInstance

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeInstance -> ShowS

show :: IdeInstance -> String

showList :: [IdeInstance] -> ShowS

Generic IdeInstance

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeInstance -> ()

type Rep IdeInstance

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

Constructors

IdeValueOperator

Fields

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

Instances

Eq IdeValueOperator

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeValueOperator -> IdeValueOperator -> Bool

(/=) :: IdeValueOperator -> IdeValueOperator -> Bool

Ord IdeValueOperator

Defined in Language.PureScript.Ide.Types

Methods

compare :: IdeValueOperator -> IdeValueOperator -> Ordering

(<) :: IdeValueOperator -> IdeValueOperator -> Bool

(<=) :: IdeValueOperator -> IdeValueOperator -> Bool

(>) :: IdeValueOperator -> IdeValueOperator -> Bool

(>=) :: IdeValueOperator -> IdeValueOperator -> Bool

max :: IdeValueOperator -> IdeValueOperator -> IdeValueOperator

min :: IdeValueOperator -> IdeValueOperator -> IdeValueOperator

Show IdeValueOperator

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeValueOperator -> ShowS

show :: IdeValueOperator -> String

showList :: [IdeValueOperator] -> ShowS

Generic IdeValueOperator

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeValueOperator -> ()

type Rep IdeValueOperator

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

Constructors

IdeTypeOperator

Fields

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

Instances

Eq IdeTypeOperator

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeTypeOperator -> IdeTypeOperator -> Bool

(/=) :: IdeTypeOperator -> IdeTypeOperator -> Bool

Ord IdeTypeOperator

Defined in Language.PureScript.Ide.Types

Methods

compare :: IdeTypeOperator -> IdeTypeOperator -> Ordering

(<) :: IdeTypeOperator -> IdeTypeOperator -> Bool

(<=) :: IdeTypeOperator -> IdeTypeOperator -> Bool

(>) :: IdeTypeOperator -> IdeTypeOperator -> Bool

(>=) :: IdeTypeOperator -> IdeTypeOperator -> Bool

max :: IdeTypeOperator -> IdeTypeOperator -> IdeTypeOperator

min :: IdeTypeOperator -> IdeTypeOperator -> IdeTypeOperator

Show IdeTypeOperator

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeTypeOperator -> ShowS

show :: IdeTypeOperator -> String

showList :: [IdeTypeOperator] -> ShowS

Generic IdeTypeOperator

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeTypeOperator -> ()

type Rep IdeTypeOperator

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

_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

Constructors

IdeDeclarationAnn

Fields

• _idaAnnotation :: Annotation
• _idaDeclaration :: IdeDeclaration

Instances

Eq IdeDeclarationAnn

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool

(/=) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool

Ord IdeDeclarationAnn

Defined in Language.PureScript.Ide.Types

Methods

compare :: IdeDeclarationAnn -> IdeDeclarationAnn -> Ordering

(<) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool

(<=) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool

(>) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool

(>=) :: IdeDeclarationAnn -> IdeDeclarationAnn -> Bool

max :: IdeDeclarationAnn -> IdeDeclarationAnn -> IdeDeclarationAnn

min :: IdeDeclarationAnn -> IdeDeclarationAnn -> IdeDeclarationAnn

Show IdeDeclarationAnn

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeDeclarationAnn -> ShowS

show :: IdeDeclarationAnn -> String

showList :: [IdeDeclarationAnn] -> ShowS

Generic IdeDeclarationAnn

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeDeclarationAnn -> ()

FromJSON (Matcher IdeDeclarationAnn)

Defined in Language.PureScript.Ide.Matcher

Methods

parseJSON :: Value -> Parser (Matcher IdeDeclarationAnn)

parseJSONList :: Value -> Parser [Matcher IdeDeclarationAnn]

type Rep IdeDeclarationAnn

Defined in Language.PureScript.Ide.Types

type Rep IdeDeclarationAnn = D1 (MetaData "IdeDeclarationAnn" "Language.PureScript.Ide.Types" "purescript-0.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

Constructors

Annotation

Fields

• _annLocation :: Maybe SourceSpan
• _annExportedFrom :: Maybe ModuleName
• _annTypeAnnotation :: Maybe SourceType
• _annDocumentation :: Maybe Text

Instances

Eq Annotation

Defined in Language.PureScript.Ide.Types

Methods

(==) :: Annotation -> Annotation -> Bool

(/=) :: Annotation -> Annotation -> Bool

Ord Annotation

Defined in Language.PureScript.Ide.Types

Methods

compare :: Annotation -> Annotation -> Ordering

(<) :: Annotation -> Annotation -> Bool

(<=) :: Annotation -> Annotation -> Bool

(>) :: Annotation -> Annotation -> Bool

(>=) :: Annotation -> Annotation -> Bool

max :: Annotation -> Annotation -> Annotation

min :: Annotation -> Annotation -> Annotation

Show Annotation

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> Annotation -> ShowS

show :: Annotation -> String

showList :: [Annotation] -> ShowS

Generic Annotation

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: Annotation -> ()

type Rep Annotation

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)

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

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

Defined in Language.PureScript.Ide.Types

Methods

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

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

Foldable AstData

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)

Defined in Language.PureScript.Ide.Types

Methods

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

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

Ord a => Ord (AstData a)

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)

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> AstData a -> ShowS

show :: AstData a -> String

showList :: [AstData a] -> ShowS

Generic (AstData a)

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)

Defined in Language.PureScript.Ide.Types

Methods

rnf :: AstData a -> ()

type Rep (AstData a)

Defined in Language.PureScript.Ide.Types

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

data IdeLogLevel

Constructors

LogDebug

LogPerf

LogAll

LogDefault

LogNone

Instances

Eq IdeLogLevel

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeLogLevel -> IdeLogLevel -> Bool

(/=) :: IdeLogLevel -> IdeLogLevel -> Bool

Show IdeLogLevel

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeLogLevel -> ShowS

show :: IdeLogLevel -> String

showList :: [IdeLogLevel] -> ShowS

data IdeConfiguration

Constructors

IdeConfiguration

Fields

• confOutputPath :: FilePath
• confLogLevel :: IdeLogLevel
• confGlobs :: [FilePath]
• confEditorMode :: Bool

data IdeEnvironment

Constructors

IdeEnvironment

Fields

• ideStateVar :: TVar IdeState
• ideConfiguration :: IdeConfiguration

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

data IdeState

Constructors

IdeState

Fields

• ideFileState :: IdeFileState
• ideVolatileState :: IdeVolatileState

Instances

Show IdeState

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeState -> ShowS

show :: IdeState -> String

showList :: [IdeState] -> ShowS

emptyIdeState :: IdeState

emptyFileState :: IdeFileState

emptyVolatileState :: IdeVolatileState

data IdeFileState

IdeFileState holds data that corresponds 1-to-1 to an entity on the filesystem. Externs correspond to the ExternsFiles the compiler emits into the output folder, and modules are parsed ASTs from source files. This means, that we can update single modules or ExternsFiles inside this state whenever the corresponding entity changes on the file system.

Constructors

IdeFileState

Fields

• fsExterns :: ModuleMap ExternsFile
• fsModules :: ModuleMap (Module, FilePath)

Instances

Show IdeFileState

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeFileState -> ShowS

show :: IdeFileState -> String

showList :: [IdeFileState] -> ShowS

data IdeVolatileState

IdeVolatileState is derived from the IdeFileState and needs to be invalidated and refreshed carefully. It holds AstData, which is the data we extract from the parsed ASTs, as well as the IdeDeclarations, which contain lots of denormalized data, so they need to fully rebuilt whenever IdeFileState changes. The vsCachedRebuild field can hold a rebuild result with open imports which is used to provide completions for module private declarations

Constructors

IdeVolatileState

Fields

• vsAstData :: AstData SourceSpan
• vsDeclarations :: ModuleMap [IdeDeclarationAnn]
• vsCachedRebuild :: Maybe (ModuleName, ExternsFile)

Instances

Show IdeVolatileState

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

Functor Match

Defined in Language.PureScript.Ide.Types

Methods

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

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

Eq a => Eq (Match a)

Defined in Language.PureScript.Ide.Types

Methods

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

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

Show a => Show (Match a)

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> Match a -> ShowS

show :: Match a -> String

showList :: [Match a] -> ShowS

data Completion

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

Defined in Language.PureScript.Ide.Types

Methods

(==) :: Completion -> Completion -> Bool

(/=) :: Completion -> Completion -> Bool

Ord Completion

Defined in Language.PureScript.Ide.Types

Methods

compare :: Completion -> Completion -> Ordering

(<) :: Completion -> Completion -> Bool

(<=) :: Completion -> Completion -> Bool

(>) :: Completion -> Completion -> Bool

(>=) :: Completion -> Completion -> Bool

max :: Completion -> Completion -> Completion

min :: Completion -> Completion -> Completion

Show Completion

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> Completion -> ShowS

show :: Completion -> String

showList :: [Completion] -> ShowS

ToJSON Completion

Defined in Language.PureScript.Ide.Types

Methods

toJSON :: Completion -> Value

toEncoding :: Completion -> Encoding

toJSONList :: [Completion] -> Value

toEncodingList :: [Completion] -> Encoding

identifierFromDeclarationRef :: DeclarationRef -> Text

data Success

Constructors

CompletionResult [Completion]

TextResult Text

UsagesResult [SourceSpan]

MultilineTextResult [Text]

ImportList (ModuleName, [(ModuleName, ImportDeclarationType, Maybe ModuleName)])

ModuleList [ModuleIdent]

RebuildSuccess MultipleErrors

Instances

Show Success

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> Success -> ShowS

show :: Success -> String

showList :: [Success] -> ShowS

ToJSON Success

Defined in Language.PureScript.Ide.Types

Methods

toJSON :: Success -> Value

toEncoding :: Success -> Encoding

toJSONList :: [Success] -> Value

toEncodingList :: [Success] -> Encoding

encodeSuccess :: ToJSON a => a -> Value

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

data IdeNamespace

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

Constructors

IdeNSValue

IdeNSType

IdeNSKind

IdeNSModule

Instances

Eq IdeNamespace

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeNamespace -> IdeNamespace -> Bool

(/=) :: IdeNamespace -> IdeNamespace -> Bool

Ord IdeNamespace

Defined in Language.PureScript.Ide.Types

Methods

compare :: IdeNamespace -> IdeNamespace -> Ordering

(<) :: IdeNamespace -> IdeNamespace -> Bool

(<=) :: IdeNamespace -> IdeNamespace -> Bool

(>) :: IdeNamespace -> IdeNamespace -> Bool

(>=) :: IdeNamespace -> IdeNamespace -> Bool

max :: IdeNamespace -> IdeNamespace -> IdeNamespace

min :: IdeNamespace -> IdeNamespace -> IdeNamespace

Show IdeNamespace

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeNamespace -> ShowS

show :: IdeNamespace -> String

showList :: [IdeNamespace] -> ShowS

Generic IdeNamespace

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeNamespace -> ()

FromJSON IdeNamespace

Defined in Language.PureScript.Ide.Types

Methods

parseJSON :: Value -> Parser IdeNamespace

parseJSONList :: Value -> Parser [IdeNamespace]

type Rep IdeNamespace

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

A name tagged with a namespace

Constructors

IdeNamespaced IdeNamespace Text

Instances

Eq IdeNamespaced

Defined in Language.PureScript.Ide.Types

Methods

(==) :: IdeNamespaced -> IdeNamespaced -> Bool

(/=) :: IdeNamespaced -> IdeNamespaced -> Bool

Ord IdeNamespaced

Defined in Language.PureScript.Ide.Types

Methods

compare :: IdeNamespaced -> IdeNamespaced -> Ordering

(<) :: IdeNamespaced -> IdeNamespaced -> Bool

(<=) :: IdeNamespaced -> IdeNamespaced -> Bool

(>) :: IdeNamespaced -> IdeNamespaced -> Bool

(>=) :: IdeNamespaced -> IdeNamespaced -> Bool

max :: IdeNamespaced -> IdeNamespaced -> IdeNamespaced

min :: IdeNamespaced -> IdeNamespaced -> IdeNamespaced

Show IdeNamespaced

Defined in Language.PureScript.Ide.Types

Methods

showsPrec :: Int -> IdeNamespaced -> ShowS

show :: IdeNamespaced -> String

showList :: [IdeNamespaced] -> ShowS

Generic IdeNamespaced

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

Defined in Language.PureScript.Ide.Types

Methods

rnf :: IdeNamespaced -> ()

type Rep IdeNamespaced

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