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

IdeDeclKind (ProperName KindName)

Instances

Eq IdeDeclaration

Methods

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

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

Ord IdeDeclaration

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

Methods

showsPrec :: Int -> IdeDeclaration -> ShowS

show :: IdeDeclaration -> String

showList :: [IdeDeclaration] -> ShowS

data IdeValue

Constructors

IdeValue

Fields

• _ideValueIdent :: Ident
• _ideValueType :: Type

Instances

Eq IdeValue

Methods

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

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

Ord IdeValue

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

Methods

showsPrec :: Int -> IdeValue -> ShowS

show :: IdeValue -> String

showList :: [IdeValue] -> ShowS

data IdeType

Constructors

IdeType

Fields

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

Instances

Eq IdeType

Methods

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

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

Ord IdeType

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

Methods

showsPrec :: Int -> IdeType -> ShowS

show :: IdeType -> String

showList :: [IdeType] -> ShowS

data IdeTypeSynonym

Constructors

IdeTypeSynonym

Fields

• _ideSynonymName :: ProperName TypeName
• _ideSynonymType :: Type
• _ideSynonymKind :: Kind

Instances

Eq IdeTypeSynonym

Methods

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

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

Ord IdeTypeSynonym

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

Methods

showsPrec :: Int -> IdeTypeSynonym -> ShowS

show :: IdeTypeSynonym -> String

showList :: [IdeTypeSynonym] -> ShowS

data IdeDataConstructor

Constructors

IdeDataConstructor

Fields

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

Instances

Eq IdeDataConstructor

Methods

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

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

Ord IdeDataConstructor

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

Methods

showsPrec :: Int -> IdeDataConstructor -> ShowS

show :: IdeDataConstructor -> String

showList :: [IdeDataConstructor] -> ShowS

data IdeTypeClass

Constructors

IdeTypeClass

Fields

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

Instances

Eq IdeTypeClass

Methods

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

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

Ord IdeTypeClass

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

Methods

showsPrec :: Int -> IdeTypeClass -> ShowS

show :: IdeTypeClass -> String

showList :: [IdeTypeClass] -> ShowS

data IdeInstance

Constructors

IdeInstance

Fields

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

Instances

Eq IdeInstance

Methods

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

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

Ord IdeInstance

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

Methods

showsPrec :: Int -> IdeInstance -> ShowS

show :: IdeInstance -> String

showList :: [IdeInstance] -> ShowS

data IdeValueOperator

Constructors

IdeValueOperator

Fields

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

Instances

Eq IdeValueOperator

Methods

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

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

Ord IdeValueOperator

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

Methods

showsPrec :: Int -> IdeValueOperator -> ShowS

show :: IdeValueOperator -> String

showList :: [IdeValueOperator] -> ShowS

data IdeTypeOperator

Constructors

IdeTypeOperator

Fields

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

Instances

Eq IdeTypeOperator

Methods

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

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

Ord IdeTypeOperator

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

Methods

showsPrec :: Int -> IdeTypeOperator -> ShowS

show :: IdeTypeOperator -> String

showList :: [IdeTypeOperator] -> ShowS

_IdeDeclKind :: Prism' IdeDeclaration (ProperName KindName)

_IdeDeclTypeOperator :: Prism' IdeDeclaration IdeTypeOperator

_IdeDeclValueOperator :: Prism' IdeDeclaration IdeValueOperator

_IdeDeclTypeClass :: Prism' IdeDeclaration IdeTypeClass

_IdeDeclDataConstructor :: Prism' IdeDeclaration IdeDataConstructor

_IdeDeclTypeSynonym :: Prism' IdeDeclaration IdeTypeSynonym

_IdeDeclType :: Prism' IdeDeclaration IdeType

_IdeDeclValue :: Prism' IdeDeclaration IdeValue

ideValueType :: Lens' IdeValue Type

ideValueIdent :: Lens' IdeValue Ident

ideTypeName :: Lens' IdeType (ProperName TypeName)

ideTypeKind :: Lens' IdeType Kind

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

ideSynonymType :: Lens' IdeTypeSynonym Type

ideSynonymName :: Lens' IdeTypeSynonym (ProperName TypeName)

ideSynonymKind :: Lens' IdeTypeSynonym Kind

ideDtorTypeName :: Lens' IdeDataConstructor (ProperName TypeName)

ideDtorType :: Lens' IdeDataConstructor Type

ideDtorName :: Lens' IdeDataConstructor (ProperName ConstructorName)

ideTCName :: Lens' IdeTypeClass (ProperName ClassName)

ideTCKind :: Lens' IdeTypeClass Kind

ideTCInstances :: Lens' IdeTypeClass [IdeInstance]

ideInstanceTypes :: Lens' IdeInstance [Type]

ideInstanceName :: Lens' IdeInstance Ident

ideInstanceModule :: Lens' IdeInstance ModuleName

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

ideValueOpType :: Lens' IdeValueOperator (Maybe Type)

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

ideTypeOpAssociativity :: Lens' IdeTypeOperator Associativity

ideTypeOpAlias :: Lens' IdeTypeOperator (Qualified (ProperName TypeName))

data IdeDeclarationAnn

Constructors

IdeDeclarationAnn

Fields

• _idaAnnotation :: Annotation
• _idaDeclaration :: IdeDeclaration

Instances

Eq IdeDeclarationAnn

Methods

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

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

Ord IdeDeclarationAnn

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

Methods

showsPrec :: Int -> IdeDeclarationAnn -> ShowS

show :: IdeDeclarationAnn -> String

showList :: [IdeDeclarationAnn] -> ShowS

FromJSON (Matcher IdeDeclarationAnn)

Methods

parseJSON :: Value -> Parser (Matcher IdeDeclarationAnn)

parseJSONList :: Value -> Parser [Matcher IdeDeclarationAnn]

data Annotation

Constructors

Annotation

Fields

• _annLocation :: Maybe SourceSpan
• _annExportedFrom :: Maybe ModuleName
• _annTypeAnnotation :: Maybe Type

Instances

Eq Annotation

Methods

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

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

Ord Annotation

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

Methods

showsPrec :: Int -> Annotation -> ShowS

show :: Annotation -> String

showList :: [Annotation] -> ShowS

annTypeAnnotation :: Lens' Annotation (Maybe Type)

annLocation :: Lens' Annotation (Maybe SourceSpan)

annExportedFrom :: Lens' Annotation (Maybe ModuleName)

idaDeclaration :: Lens' IdeDeclarationAnn IdeDeclaration

idaAnnotation :: Lens' IdeDeclarationAnn Annotation

emptyAnn :: Annotation

type DefinitionSites a = Map IdeNamespaced a

type TypeAnnotations = Map Ident Type

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

Methods

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

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

Foldable AstData

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)

Methods

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

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

Ord a => Ord (AstData a)

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)

Methods

showsPrec :: Int -> AstData a -> ShowS

show :: AstData a -> String

showList :: [AstData a] -> ShowS

data IdeLogLevel

Constructors

LogDebug

LogPerf

LogAll

LogDefault

LogNone

Instances

Eq IdeLogLevel

Methods

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

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

Show IdeLogLevel

Methods

showsPrec :: Int -> IdeLogLevel -> ShowS

show :: IdeLogLevel -> String

showList :: [IdeLogLevel] -> ShowS

data IdeConfiguration

Constructors

IdeConfiguration

Fields

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

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

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

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

Methods

showsPrec :: Int -> IdeVolatileState -> ShowS

show :: IdeVolatileState -> String

showList :: [IdeVolatileState] -> ShowS

newtype Match a

Constructors

Match (ModuleName, a)

Instances

Functor Match

Methods

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

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

Eq a => Eq (Match a)

Methods

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

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

Show a => Show (Match a)

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

Methods

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

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

Ord Completion

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

Methods

showsPrec :: Int -> Completion -> ShowS

show :: Completion -> String

showList :: [Completion] -> ShowS

ToJSON Completion

Methods

toJSON :: Completion -> Value

toEncoding :: Completion -> Encoding

toJSONList :: [Completion] -> Value

toEncodingList :: [Completion] -> Encoding

identifierFromDeclarationRef :: DeclarationRef -> Text

data Success

Constructors

CompletionResult [Completion]

TextResult Text

MultilineTextResult [Text]

PursuitResult [PursuitResponse]

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

ModuleList [ModuleIdent]

RebuildSuccess MultipleErrors

Instances

Show Success

Methods

showsPrec :: Int -> Success -> ShowS

show :: Success -> String

showList :: [Success] -> ShowS

ToJSON Success

Methods

toJSON :: Success -> Value

toEncoding :: Success -> Encoding

toJSONList :: [Success] -> Value

toEncodingList :: [Success] -> Encoding

encodeSuccess :: ToJSON a => a -> Value

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

newtype PursuitQuery

Constructors

PursuitQuery Text

Instances

Eq PursuitQuery

Methods

(==) :: PursuitQuery -> PursuitQuery -> Bool

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

Show PursuitQuery

Methods

showsPrec :: Int -> PursuitQuery -> ShowS

show :: PursuitQuery -> String

showList :: [PursuitQuery] -> ShowS

FromJSON PursuitQuery

Methods

parseJSON :: Value -> Parser PursuitQuery

parseJSONList :: Value -> Parser [PursuitQuery]

data PursuitSearchType

Constructors

Package

Identifier

Instances

Eq PursuitSearchType

Methods

(==) :: PursuitSearchType -> PursuitSearchType -> Bool

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

Show PursuitSearchType

Methods

showsPrec :: Int -> PursuitSearchType -> ShowS

show :: PursuitSearchType -> String

showList :: [PursuitSearchType] -> ShowS

FromJSON PursuitSearchType

Methods

parseJSON :: Value -> Parser PursuitSearchType

parseJSONList :: Value -> Parser [PursuitSearchType]

data PursuitResponse

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 (Maybe Text) Text

A Pursuit Response for a declaration. Consist of the declaration's module, name, package, type summary text

Instances

Eq PursuitResponse

Methods

(==) :: PursuitResponse -> PursuitResponse -> Bool

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

Show PursuitResponse

Methods

showsPrec :: Int -> PursuitResponse -> ShowS

show :: PursuitResponse -> String

showList :: [PursuitResponse] -> ShowS

ToJSON PursuitResponse

Methods

toJSON :: PursuitResponse -> Value

toEncoding :: PursuitResponse -> Encoding

toJSONList :: [PursuitResponse] -> Value

toEncodingList :: [PursuitResponse] -> Encoding

FromJSON PursuitResponse

Methods

parseJSON :: Value -> Parser PursuitResponse

parseJSONList :: Value -> Parser [PursuitResponse]

data IdeNamespace

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

Constructors

IdeNSValue

IdeNSType

IdeNSKind

Instances

Eq IdeNamespace

Methods

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

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

Ord IdeNamespace

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

Methods

showsPrec :: Int -> IdeNamespace -> ShowS

show :: IdeNamespace -> String

showList :: [IdeNamespace] -> ShowS

FromJSON IdeNamespace

Methods

parseJSON :: Value -> Parser IdeNamespace

parseJSONList :: Value -> Parser [IdeNamespace]

data IdeNamespaced

A name tagged with a namespace

Constructors

IdeNamespaced IdeNamespace Text

Instances

Eq IdeNamespaced

Methods

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

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

Ord IdeNamespaced

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

Methods

showsPrec :: Int -> IdeNamespaced -> ShowS

show :: IdeNamespaced -> String

showList :: [IdeNamespaced] -> ShowS