Safe Haskell	None
Language	Haskell98

Language.PureScript.Ide.Types

Description

Type definitions for psc-ide

Documentation

type ModuleIdent = Text Source #

data IdeDeclaration Source #

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 #
FromJSON (Matcher IdeDeclaration) #
Methods parseJSON :: Value -> Parser (Matcher IdeDeclaration) #

data IdeDeclarationAnn Source #

Constructors

IdeDeclarationAnn Annotation 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 #

data Annotation Source #

Constructors

Annotation
Fields annLocation :: Maybe SourceSpan annExportedFrom :: Maybe ModuleName

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 #

emptyAnn :: Annotation Source #

type Module = (ModuleName, [IdeDeclarationAnn]) Source #

newtype AstData a Source #

Constructors

AstData (Map ModuleName (Map (Either Text Text) a))

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 #

data Configuration Source #

Constructors

Configuration
Fields confOutputPath :: FilePath confDebug :: Bool confGlobs :: [FilePath]

data IdeEnvironment Source #

Constructors

IdeEnvironment
Fields ideStateVar :: TVar IdeState ideConfiguration :: Configuration

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

data IdeState Source #

Constructors

IdeState
Fields ideStage1 :: Stage1 ideStage2 :: Stage2 ideStage3 :: Stage3

emptyIdeState :: IdeState Source #

emptyStage1 :: Stage1 Source #

emptyStage2 :: Stage2 Source #

emptyStage3 :: Stage3 Source #

data Stage1 Source #

Constructors

Stage1
Fields s1Externs :: Map ModuleName ExternsFile s1Modules :: Map ModuleName (Module, FilePath)

data Stage2 Source #

Constructors

Stage2
Fields s2AstData :: AstData SourceSpan

data Stage3 Source #

Constructors

Stage3
Fields s3Declarations :: Map ModuleName [IdeDeclarationAnn] s3CachedRebuild :: Maybe (ModuleName, ExternsFile)

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 #

newtype Completion Source #

Constructors

Completion (Text, Text, Text)

Instances

Eq Completion Source #
Methods (==) :: Completion -> Completion -> Bool # (/=) :: Completion -> Completion -> Bool #
Show Completion Source #
Methods showsPrec :: Int -> Completion -> ShowS # show :: Completion -> String # showList :: [Completion] -> ShowS #
ToJSON Completion Source #
Methods toJSON :: Completion -> Value # toEncoding :: Completion -> Encoding #

newtype Info Source #

Constructors

Info (Text, Text, Text, Maybe SourceSpan)

Instances

Eq Info Source #
Methods (==) :: Info -> Info -> Bool # (/=) :: Info -> Info -> Bool #
Show Info Source #
Methods showsPrec :: Int -> Info -> ShowS # show :: Info -> String # showList :: [Info] -> ShowS #
ToJSON Info Source #
Methods toJSON :: Info -> Value # toEncoding :: Info -> Encoding #

data ModuleImport Source #

Constructors

ModuleImport
Fields importModuleName :: ModuleIdent importType :: ImportDeclarationType importQualifier :: Maybe Text

Instances

Eq ModuleImport Source #
Methods (==) :: ModuleImport -> ModuleImport -> Bool # (/=) :: ModuleImport -> ModuleImport -> Bool #
Show ModuleImport Source #
Methods showsPrec :: Int -> ModuleImport -> ShowS # show :: ModuleImport -> String # showList :: [ModuleImport] -> ShowS #
ToJSON ModuleImport Source #
Methods toJSON :: ModuleImport -> Value # toEncoding :: ModuleImport -> Encoding #

identifierFromDeclarationRef :: DeclarationRef -> Text Source #

data Success Source #

Constructors

CompletionResult [Completion]
InfoResult [Info]
TextResult Text
MultilineTextResult [Text]
PursuitResult [PursuitResponse]
ImportList [ModuleImport]
ModuleList [ModuleIdent]
RebuildSuccess [JSONError]

Instances

Eq Success Source #
Methods (==) :: Success -> Success -> Bool # (/=) :: Success -> Success -> Bool #
Show Success Source #
Methods showsPrec :: Int -> Success -> ShowS # show :: Success -> String # showList :: [Success] -> ShowS #
ToJSON Success Source #
Methods toJSON :: Success -> Value # toEncoding :: Success -> Encoding #

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

newtype PursuitQuery Source #

Constructors

PursuitQuery Text

Instances

Eq PursuitQuery Source #
Methods (==) :: PursuitQuery -> PursuitQuery -> Bool # (/=) :: PursuitQuery -> PursuitQuery -> Bool #
Show PursuitQuery Source #
Methods showsPrec :: Int -> PursuitQuery -> ShowS # show :: PursuitQuery -> String # showList :: [PursuitQuery] -> ShowS #
FromJSON PursuitQuery Source #
Methods parseJSON :: Value -> Parser PursuitQuery #

data PursuitSearchType Source #

Constructors

Package
Identifier

Instances

Eq PursuitSearchType Source #
Methods (==) :: PursuitSearchType -> PursuitSearchType -> Bool # (/=) :: PursuitSearchType -> PursuitSearchType -> Bool #
Show PursuitSearchType Source #
Methods showsPrec :: Int -> PursuitSearchType -> ShowS # show :: PursuitSearchType -> String # showList :: [PursuitSearchType] -> ShowS #
FromJSON PursuitSearchType Source #
Methods parseJSON :: Value -> Parser PursuitSearchType #

data PursuitResponse Source #

Constructors

ModuleResponse ModuleIdent Text	A Pursuit Response for a module. Consists of the modules name and the package it belongs to
DeclarationResponse Text ModuleIdent Text Text	A Pursuit Response for a declaration. Consist of the declarations type, module, name and package

Instances

Eq PursuitResponse Source #
Methods (==) :: PursuitResponse -> PursuitResponse -> Bool # (/=) :: PursuitResponse -> PursuitResponse -> Bool #
Show PursuitResponse Source #
Methods showsPrec :: Int -> PursuitResponse -> ShowS # show :: PursuitResponse -> String # showList :: [PursuitResponse] -> ShowS #
ToJSON PursuitResponse Source #
Methods toJSON :: PursuitResponse -> Value # toEncoding :: PursuitResponse -> Encoding #
FromJSON PursuitResponse Source #
Methods parseJSON :: Value -> Parser PursuitResponse #

typeParse :: Text -> Either Text (Text, Text) Source #

IdeValue Ident Type
IdeType (ProperName TypeName) Kind
IdeTypeSynonym (ProperName TypeName) Type
IdeDataConstructor (ProperName ConstructorName) (ProperName TypeName) Type
IdeTypeClass (ProperName ClassName)
IdeValueOperator (OpName ValueOpName) Text Precedence Associativity
IdeTypeOperator (OpName TypeOpName) Text Precedence Associativity