Safe Haskell | None |
---|---|
Language | Haskell2010 |
FP.API.Runner
- data RunnerException = RunnerException Text
- fromString :: String -> Text
- toString :: Text -> String
- decodeBytes :: ByteString -> Text
- encodeBytes :: Text -> ByteString
- data Filters = Filters {
- filtersRoot :: Text
- filtersBlacklist :: [Text]
- newtype ByteString64 = ByteString64 {}
- newtype WrappedUTCTime = WrappedUTCTime {}
- toPicoSeconds :: UTCTime -> Integer
- fromPicoSeconds :: Integer -> UTCTime
- newtype ProjectId = ProjectId {
- unProjectId :: Int
- unProjectIdString :: ProjectId -> String
- unProjectIdText :: ProjectId -> Text
- newtype RunConfigId = RunConfigId {
- unRunConfigId :: Int
- newtype JobId = JobId {}
- newtype CompileId = CompileId {
- unCompileId :: Int
- newtype ProcId = ProcId {}
- newtype GitShellId = GitShellId {
- unGitShellId :: Int
- newtype FormattedTime = FormattedTime {}
- newtype ModuleName = ModuleName {
- unModuleName :: Text
- moduleNameString :: ModuleName -> String
- data ModuleStatus
- newtype FileName = FileName {}
- unFileNameText :: FileName -> Text
- unFileNameString :: FileName -> String
- fileNameFromText :: Text -> FileName
- fileNameFromString :: String -> FileName
- data EncFileName
- = EncFileNameText { }
- | EncFileNameBase64 { }
- encodeBase64FileName :: FileName -> Text
- decodeBase64FileName :: Text -> FileName
- encFileName :: FileName -> EncFileName
- unEncFileName :: EncFileName -> FileName
- encFileNameFromByteString :: ByteString -> EncFileName
- encFileNameFromText :: Text -> EncFileName
- encFileNameFromString :: String -> EncFileName
- unEncFileNameString :: EncFileName -> String
- data FileType
- data FileDesc = FileDesc {}
- data FileUpdate
- data TargetUpdate
- data UpdateActions = UpdateActions {
- _uaUpdates :: [(EncFileName, FileUpdate)]
- _uaNewTarget :: Maybe TargetUpdate
- data CompileDesc = CompileDesc {}
- data CompileIdent = CompileIdent {}
- newtype SessionId = SessionId Text
- newtype MailboxId = MailboxId Text
- data NewFileInfo = NewFileInfo {
- fiPath :: Text
- fiModule :: Maybe ModuleName
- data RenameType
- data RenameFileOutput
- data SaveFileOutput = SaveFileOutput FayTutorialToken (Maybe CompileDesc)
- data FayFileContent = FayFileContent {}
- type FayTutorialToken = TutorialConcurrentToken
- newtype TutorialConcurrentToken = TutorialConcurrentToken' {}
- incrToken :: TutorialConcurrentToken -> TutorialConcurrentToken
- data TypeInfo = TypeInfo SourceSpan Text [Text]
- data SourceSpan = SourceSpan {}
- data EitherSpan
- jobStillRunningTimeoutSeconds :: Int
- data ProjectMessagesOutput = ProjectMessagesOutput {}
- newtype StatusHash = StatusHash {
- unStatusHash :: Text
- data CompileResult
- data ProcessResult
- displayProcessResult :: ProcessResult -> Text
- data GitShellOutput
- data RunnerMessage
- = ProjectMessage LogLevel Text
- | ProcessOutput ProcId Text
- | ProcessStopped ProcId ProcessResult
- | GitShellOutput GitShellId GitShellOutput
- | CompileComplete CompileId CompileResult
- | ProjectHasOpened SessionId
- | ProjectHasClosed SessionId Bool Text
- | IdeCommandOutput JobId Text
- | JobException JobId Text
- | JobStillRunning JobId
- data LogLevel
- data SdistTarballInfo = SdistTarballInfo {
- stiPackageName :: !Text
- stiVersion :: !Text
- data GitHistoryItem = GitHistoryItem {}
- data GitRepositoryStatus
- data ProjectStatusSnapshot = ProjectStatusSnapshot {}
- data IdInfo
- data DefinitionSource
- definitionIdName :: DefinitionSource -> Text
- data ModuleId = ModuleId (Maybe EncFileName) ModuleName PackageId
- data AutoCompleteInput = AutoCompleteInput {}
- data PackageId = PackageId {}
- data SearchResult = SearchResult SourceSpan [Either Text Text]
- data HoogleResult = HoogleResult {
- hrURL :: String
- hrSources :: [(PackageLink, [ModuleLink])]
- hrTitle :: String
- hrBody :: String
- data PackageLink = PackageLink {}
- data ModuleLink = ModuleLink {}
- data RunnerOpeningStatus
- data RunnerCompileStatus
- data SourceInfo = SourceInfo {
- infoKind :: SourceInfoKind
- infoSpan :: EitherSpan
- infoMsg :: [(InfoChunkTag, Text)]
- data SourceInfoKind
- data InfoChunkTag
- = ICTPlain
- | ICTModule
- | ICTCode
- | ICTRefactor Text [(SourceSpan, Text)]
- | ICTCollapse
- | ICTOriginal
- data ProcessStatusSnapshot
- data RunnerPictureStatus = RunnerPictureStatus [PictureStatus]
- data PictureStatus = PictureStatus {
- pictureName :: Text
- pictureUrl :: Text
- pictureHash :: Text
- data RunnerBuildStatus
- data UploadedBuild = UploadedBuild {}
- data Progress = Progress {}
- newtype Approot = Approot {}
- newtype VirtualHost = VirtualHost {}
- approotString :: Approot -> String
- data ApprootPid = ApprootPid Approot ProcId
- newtype Port = Port {}
- data ErrorsAnd x = ErrorsAnd [String] (Maybe (Automatic x))
- data ModuleIncluded
- fileDescToModuleIncluded :: FileDesc -> ModuleIncluded
- data MergeModifyKind
- = Modified
- | Added
- | Deleted
- | TypeChanged
- data MergeModifyPair = MergeModifyPair MergeModifyKind MergeModifyKind
- newtype BlobSHA = BlobSHA {}
- newtype CommitSHA = CommitSHA {
- unCommitSHA :: Text
- newtype BranchName = BranchName {
- unBranchName :: Text
- branchToRef :: BranchName -> Text
- branchFromRef :: Text -> BranchName
- isMergeBranch :: BranchName -> Bool
- mergeBranch :: BranchName -> BranchName
- mergeBranchOrigin :: BranchName -> Maybe BranchName
- data CommitName
Documentation
data RunnerException Source
Constructors
RunnerException Text |
fromString :: String -> Text Source
decodeBytes :: ByteString -> Text Source
encodeBytes :: Text -> ByteString Source
Constructors
Filters | |
Fields
|
newtype ByteString64 Source
The standard ByteString instances in aeson are broken: they assume UTF8 encoding. This type instead uses base64 for proper round-tripping.
Constructors
ByteString64 | |
Fields |
newtype WrappedUTCTime Source
Constructors
WrappedUTCTime | |
Fields |
toPicoSeconds :: UTCTime -> Integer Source
fromPicoSeconds :: Integer -> UTCTime Source
Constructors
ProjectId | |
Fields
|
Instances
unProjectIdText :: ProjectId -> Text Source
newtype RunConfigId Source
Constructors
RunConfigId | |
Fields
|
Instances
Constructors
CompileId | |
Fields
|
Instances
newtype GitShellId Source
Constructors
GitShellId | |
Fields
|
Instances
newtype ModuleName Source
Constructors
ModuleName | |
Fields
|
data ModuleStatus Source
Constructors
WrongExtension | |
NotTextual | |
CFile | |
BootFile ModuleName | |
HeaderFilenameMismatch ModuleName | |
ModuleOk ModuleName | This can also be valid for data files, if the user has manually excluded them. |
Constructors
FileName | |
Fields |
unFileNameText :: FileName -> Text Source
unFileNameString :: FileName -> String Source
fileNameFromText :: Text -> FileName Source
data EncFileName Source
Constructors
EncFileNameText | |
Fields | |
EncFileNameBase64 | |
Fields |
encFileName :: FileName -> EncFileName Source
Constructors
SourceFile | |
DataFile |
Constructors
FileDesc | |
Fields |
data FileUpdate Source
When a file in the project representation is changed by a ProjectUpdate
request, it often results in a change reflected in what we know about the
file. This change is reported in the UpdateActions
structure using
this FileUpdate
type.
Constructors
FileUpdated FileDesc | |
FileRemoved Bool |
data TargetUpdate Source
A project's target is a single module containing a function named main
.
This type reflects if any change in the current target has been made.
Constructors
TargetSet EncFileName | |
TargetCleared |
data UpdateActions Source
After a ProjectUpdate
request is processed, a set of UpdateActions
will result to reflect what changes have been made to the project
representation (and subsequently, what changes may need to be reflected
in the ide-backend, the database, and other caches).
Constructors
UpdateActions | |
Fields
|
Instances
data CompileDesc Source
Describe a compilation which has been accepted by the isolation-runner. This includes sufficient information to tell what is "in" the compilation, and to distinguish it from any other compilation.
Constructors
CompileDesc | |
Fields |
data CompileIdent Source
Constructors
CompileIdent | |
Backend session ID.
data NewFileInfo Source
Constructors
NewFileInfo | |
Fields
|
Instances
data RenameType Source
Instances
data RenameFileOutput Source
Constructors
RenameFileOutput (Maybe FayTutorialToken) (Maybe Text) (Maybe CompileDesc) | |
WarnImportRenaming [EncFileName] |
data SaveFileOutput Source
Constructors
SaveFileOutput FayTutorialToken (Maybe CompileDesc) |
data FayFileContent Source
Constructors
FayFileContent | |
Fields |
type FayTutorialToken = TutorialConcurrentToken Source
A token for the tutorial.
newtype TutorialConcurrentToken Source
Token for a tutorial.
Constructors
TutorialConcurrentToken' | |
Fields |
Instances
Constructors
TypeInfo SourceSpan Text [Text] |
data SourceSpan Source
Constructors
SourceSpan | |
Fields
|
data EitherSpan Source
Constructors
ProperSpan SourceSpan | |
TextSpan Text |
jobStillRunningTimeoutSeconds :: Int Source
The timing separation between JobStillRunning
messages. Note
that the actual interval will always be larger than this due to
network overhead, etc.
data ProjectMessagesOutput Source
Constructors
ProjectMessagesOutput | |
Fields
|
Instances
newtype StatusHash Source
Constructors
StatusHash | |
Fields
|
data CompileResult Source
Constructors
CRCanceled | |
CRSuccess | |
CRFailure | |
CRException Text |
data ProcessResult Source
data GitShellOutput Source
data RunnerMessage Source
Constructors
ProjectMessage LogLevel Text | |
ProcessOutput ProcId Text | |
ProcessStopped ProcId ProcessResult | |
GitShellOutput GitShellId GitShellOutput | |
CompileComplete CompileId CompileResult | |
ProjectHasOpened SessionId | |
ProjectHasClosed SessionId Bool Text | If the Bool is True, it indicates that the client should resume polling for project messages from a newly created project. If False, there is some more severe problem initiating the project, and the client should let the user know that the project may require manual recovery. |
IdeCommandOutput JobId Text | FIXME At some point in the future, it would be nice to replace the second Text with a Value, to make it clear that we're encoding arbitrary JSON values. This is semantically more correct, and more efficient, but requires changes to the Fay encode/decode code, and therefore is not trivial to implement. |
JobException JobId Text | |
JobStillRunning JobId | Indicates to the client that a job is still being actively worked on. |
Constructors
LevelDebug | |
LevelInfo | |
LevelWarn | |
LevelError | |
LevelOther Text |
data SdistTarballInfo Source
Constructors
SdistTarballInfo | |
Fields
|
Instances
data GitHistoryItem Source
Constructors
GitHistoryItem | |
data GitRepositoryStatus Source
Instances
data ProjectStatusSnapshot Source
Constructors
ProjectStatusSnapshot | |
Fields |
Instances
data DefinitionSource Source
Constructors
DefinitionLocal Text SourceSpan | |
DefinitionTextSpan Text Text | |
DefinitionImported Text ModuleId ModuleId EitherSpan EitherSpan | |
DefinitionWiredIn Text | |
DefinitionBinder Text |
Instances
Constructors
ModuleId (Maybe EncFileName) ModuleName PackageId |
data AutoCompleteInput Source
Constructors
AutoCompleteInput | |
Fields
|
Instances
Constructors
PackageId | |
Fields
|
data SearchResult Source
Constructors
SearchResult SourceSpan [Either Text Text] |
data HoogleResult Source
Constructors
HoogleResult | |
Fields
|
data PackageLink Source
Constructors
PackageLink | |
data ModuleLink Source
Constructors
ModuleLink | |
data RunnerOpeningStatus Source
Constructors
RunnerProjectOpening Text | |
RunnerProjectOpen |
Instances
data RunnerCompileStatus Source
Constructors
RunnerNotCompiling | |
RunnerCompiling CompileIdent Progress | |
RunnerCompileDone CompileIdent [SourceInfo] |
Instances
data SourceInfo Source
An error or warning in a source module.
Most errors are associated with a span of text, but some have only a location point.
Constructors
SourceInfo | |
Fields
|
data SourceInfoKind Source
Severity of a piece of info.
Constructors
SIKError | |
SIKWarning | |
SIKMismatch | |
SIKHint |
data InfoChunkTag Source
Constructors
ICTPlain | |
ICTModule | |
ICTCode | Note: Ideally we'd distinguish identifiers, types, exprs, etc |
ICTRefactor Text [(SourceSpan, Text)] | The |
ICTCollapse | |
ICTOriginal |
data ProcessStatusSnapshot Source
Constructors
SnapshotNoProcess | |
SnapshotProcessRunning ProcId (Maybe Text) | URL to visit project |
Instances
data RunnerPictureStatus Source
Status for the pictures directory.
Constructors
RunnerPictureStatus [PictureStatus] |
Instances
data PictureStatus Source
Status of a picture.
Constructors
PictureStatus | |
Fields
|
data RunnerBuildStatus Source
Constructors
RunnerNotBuilding | |
RunnerBuilding Progress | |
RunnerUploading |
Instances
data UploadedBuild Source
Constructors
UploadedBuild | |
This type represents intermediate progress information during compilation.
Constructors
Progress | |
Fields
|
newtype VirtualHost Source
Constructors
VirtualHost | |
Fields |
approotString :: Approot -> String Source
data ModuleIncluded Source
data MergeModifyKind Source
Constructors
Modified | |
Added | |
Deleted | |
TypeChanged |
Instances
data MergeModifyPair Source
Constructors
MergeModifyPair MergeModifyKind MergeModifyKind |
Instances
A Git blob SHA in textual form.
A Git commit SHA in textual form.
Constructors
CommitSHA | |
Fields
|
Instances
newtype BranchName Source
A Git branch name, such as "master", or "merge/master".
Constructors
BranchName | |
Fields
|
branchToRef :: BranchName -> Text Source
branchFromRef :: Text -> BranchName Source
isMergeBranch :: BranchName -> Bool Source
data CommitName Source
A reference to a specific commit, which can be done by several different means.
Constructors
CommitByBranch BranchName | |
CommitBySHA CommitSHA |