Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.Editor.Output

Synopsis

data Output
- = Success
- | NoUnisonFile
- | InvalidSourceName String
- | SourceLoadFailed String
- | NoMainFunction (HashQualified Name) PrettyPrintEnv [Type Symbol Ann]
- | BadMainFunction Text (HashQualified Name) (Type Symbol Ann) PrettyPrintEnv [Type Symbol Ann]
- | BranchEmpty WhichBranchEmpty
- | CreatedNewBranch Absolute
- | BranchAlreadyExists Path'
- | FindNoLocalMatches
- | NoExactTypeMatches
- | TypeAlreadyExists (Split Path') (Set Reference)
- | TypeParseError String (Err Symbol)
- | ParseResolutionFailures String [ResolutionFailure Ann]
- | TypeHasFreeVars (Type Symbol Ann)
- | TermAlreadyExists (Split Path') (Set Referent)
- | LabeledReferenceAmbiguous Int (HashQualified Name) (Set LabeledDependency)
- | LabeledReferenceNotFound (HashQualified Name)
- | DeleteNameAmbiguous Int (HashQualified (Split Path')) (Set Referent) (Set Reference)
- | TermAmbiguous PrettyPrintEnv (HashQualified Name) (Set Referent)
- | HashAmbiguous ShortHash (Set Referent)
- | BranchHashAmbiguous ShortCausalHash (Set ShortCausalHash)
- | BadNamespace String String
- | BranchNotFound Path'
- | EmptyLooseCodePush Path'
- | EmptyProjectBranchPush (ProjectAndBranch ProjectName ProjectBranchName)
- | TermAndOrTypeNameNotFound !(Maybe (Defn () ())) !(HashQualified Name)
- | TypeNotFound (HashQualified (Split Path'))
- | TermNotFound (HashQualified (Split Path'))
- | MoveNothingFound Path'
- | TypeNotFound' ShortHash
- | TermNotFound' ShortHash
- | NoLastRunResult
- | SaveTermNameConflict Name
- | SearchTermsNotFound [HashQualified Name]
- | SearchTermsNotFoundDetailed Bool [HashQualified Name] [HashQualified Name]
- | DeleteBranchConfirmation [(Path', (Names, [SearchResult' Symbol Ann]))]
- | DeleteEverythingConfirmation
- | MoveRootBranchConfirmation
- | MovedOverExistingBranch Path'
- | DeletedEverything
- | ListNames String Int [(Reference, [HashQualified Name])] [(Referent, [HashQualified Name])]
- | GlobalListNames String (ProjectAndBranch ProjectName ProjectBranchName) Int [(Reference, [HashQualified Name])] [(Referent, [HashQualified Name])]
- | ListOfDefinitions FindScope PrettyPrintEnv ListDetailed [SearchResult' Symbol Ann]
- | ListShallow (IO PrettyPrintEnv) [ShallowListEntry Symbol Ann]
- | ListStructuredFind [HashQualified Name]
- | ListTextFind Bool [HashQualified Name]
- | GlobalFindBranchResults (ProjectAndBranch ProjectName ProjectBranchName) PrettyPrintEnv ListDetailed [SearchResult' Symbol Ann]
- | SlurpOutput Input PrettyPrintEnv SlurpResult
- | ParseErrors Text [Err Symbol]
- | TypeErrors Absolute Text PrettyPrintEnv [ErrorNote Symbol Ann]
- | TypeWarns Absolute Text PrettyPrintEnv [Warn Symbol Ann]
- | CompilerBugs Text PrettyPrintEnv [CompilerBug Symbol Ann]
- | DisplayConflicts (Relation Name Referent) (Relation Name Reference)
- | EvaluationFailure (Pretty ColorText -> Pretty ColorText) Error
- | Evaluated SourceFileContents PrettyPrintEnv [(Symbol, Term Symbol ())] (Map Symbol (Ann, WatchKind, Term Symbol (), IsCacheHit))
- | RunResult PrettyPrintEnv (Term Symbol ())
- | LoadingFile SourceName
- | Typechecked !PrettyPrintEnv !PrettyPrintEnv !(DefnsF (Map Name) TermSlurp TypeSlurp) !(Map Referent (NESet Name))
- | DisplayRendered (Maybe FilePath) (Pretty ColorText)
- | DisplayDefinitions (Pretty ColorText)
- | LoadedDefinitionsToSourceFile FilePath Int
- | TestIncrementalOutputStart PrettyPrintEnv (Int, Int) TermReferenceId
- | TestIncrementalOutputEnd PrettyPrintEnv (Int, Int) TermReferenceId Bool
- | CantUndo UndoFailureReason
- | BustedBuiltins (Set Reference) (Set Reference)
- | ShareError ShareError
- | ViewOnShare (URI, ProjectName, ProjectBranchName)
- | NoConfiguredRemoteMapping PushPull Absolute
- | ConfiguredRemoteMappingParseError PushPull Absolute Text String
- | TermMissingType Reference
- | PatchInvolvesExternalDependents PrettyPrintEnv (Set Reference)
- | StartOfCurrentPathHistory
- | ShowReflog [(Maybe UTCTime, ShortCausalHash, Text)]
- | PullAlreadyUpToDate (ReadRemoteNamespace RemoteProjectBranch) (ProjectAndBranch Project ProjectBranch)
- | PullSuccessful (ReadRemoteNamespace RemoteProjectBranch) (ProjectAndBranch Project ProjectBranch)
- | MergeOverEmpty (ProjectAndBranch Project ProjectBranch)
- | MergeAlreadyUpToDate2 !MergeSourceAndTarget
- | NotImplemented
- | NoBranchWithHash ShortCausalHash
- | ListDependencies PrettyPrintEnv (Set LabeledDependency) (DefnsF List (HashQualified Name, HashQualified Name) (HashQualified Name, HashQualified Name))
- | ListDependents PrettyPrintEnv (Set LabeledDependency) (DefnsF List (HashQualified Name, HashQualified Name) (HashQualified Name, HashQualified Name))
- | DumpNumberedArgs HashLength NumberedArgs
- | DumpBitBooster CausalHash (Map CausalHash [CausalHash])
- | DumpUnisonFileHashes Int [(Name, Id)] [(Name, Id)] [(Name, Id)]
- | BadName Text
- | HelpMessage InputPattern
- | NamespaceEmpty (NonEmpty (Either ShortCausalHash ProjectPath))
- | NoOp
- | GistCreated (ReadRemoteNamespace Void)
- | InitiateAuthFlow URI
- | UnknownCodeServer Text
- | CredentialFailureMsg CredentialFailure
- | PrintVersion Text
- | IntegrityCheck IntegrityResult
- | DisplayDebugNameDiff NameChanges
- | DisplayDebugCompletions [Completion]
- | DisplayDebugLSPNameCompletions [(Text, Name, LabeledDependency)]
- | DebugDisplayFuzzyOptions Text [String]
- | DebugFuzzyOptionsIncorrectArgs (NonEmpty String)
- | DebugFuzzyOptionsNoCommand String
- | DebugFuzzyOptionsNoResolver
- | DebugTerm Bool (Either Text (Term Symbol Ann))
- | DebugDecl (Either Text (Decl Symbol Ann)) (Maybe ConstructorId)
- | AnnotatedFoldRanges Text
- | ClearScreen
- | PulledEmptyBranch (ReadRemoteNamespace RemoteProjectBranch)
- | CreatedProject Bool ProjectName
- | CreatedProjectBranch CreatedProjectBranchFrom (ProjectAndBranch ProjectName ProjectBranchName)
- | CreatedRemoteProject URI (ProjectAndBranch ProjectName ProjectBranchName)
- | CreatedRemoteProjectBranch URI (ProjectAndBranch ProjectName ProjectBranchName)
- | RemoteProjectBranchIsUpToDate URI (ProjectAndBranch ProjectName ProjectBranchName)
- | InvalidProjectName Text
- | InvalidProjectBranchName Text
- | InvalidStructuredFindReplace (HashQualified Name)
- | InvalidStructuredFind (HashQualified Name)
- | ProjectNameAlreadyExists ProjectName
- | ProjectNameRequiresUserSlug ProjectName
- | ProjectAndBranchNameAlreadyExists (ProjectAndBranch ProjectName ProjectBranchName)
- | NotOnProjectBranch
- | NoAssociatedRemoteProject URI (ProjectAndBranch ProjectName ProjectBranchName)
- | NoAssociatedRemoteProjectBranch URI (ProjectAndBranch Project ProjectBranch)
- | LocalProjectDoesntExist ProjectName
- | LocalProjectBranchDoesntExist (ProjectAndBranch ProjectName ProjectBranchName)
- | LocalProjectNorProjectBranchExist ProjectName ProjectBranchName
- | RemoteProjectDoesntExist URI ProjectName
- | RemoteProjectBranchDoesntExist URI (ProjectAndBranch ProjectName ProjectBranchName)
- | RemoteProjectBranchDoesntExist'Push URI (ProjectAndBranch ProjectName ProjectBranchName)
- | RemoteProjectReleaseIsDeprecated URI (ProjectAndBranch ProjectName ProjectBranchName)
- | RemoteProjectPublishedReleaseCannotBeChanged URI (ProjectAndBranch ProjectName ProjectBranchName)
- | RemoteProjectBranchHeadMismatch URI (ProjectAndBranch ProjectName ProjectBranchName)
- | Unauthorized Text
- | ServantClientError ClientError
- | MarkdownOut Text
- | DownloadedEntities Int
- | UploadedEntities Int
- | NotImplementedYet Text
- | DraftingRelease ProjectBranchName Semver
- | CannotCreateReleaseBranchWithBranchCommand ProjectBranchName Semver
- | AmbiguousCloneLocal (ProjectAndBranch ProjectName ProjectBranchName) (ProjectAndBranch ProjectName ProjectBranchName)
- | AmbiguousCloneRemote ProjectName (ProjectAndBranch ProjectName ProjectBranchName)
- | ClonedProjectBranch (ProjectAndBranch ProjectName ProjectBranchName) (ProjectAndBranch ProjectName ProjectBranchName)
- | RenamedProject ProjectName ProjectName
- | OutputRewrittenFile FilePath [Symbol]
- | RenamedProjectBranch ProjectName ProjectBranchName ProjectBranchName
- | CantRenameBranchTo ProjectBranchName
- | FetchingLatestReleaseOfBase
- | FailedToFetchLatestReleaseOfBase
- | HappyCoding
- | ProjectHasNoReleases ProjectName
- | DeleteFailure !FilePath !ProjectBranchName
- | UpdateTypecheckingFailure
- | UpdateTypecheckingFailure2 !FilePath !ProjectBranchName
- | UpgradeFailure !ProjectBranchName !FilePath !(NonEmpty (NameSegment, NameSegment))
- | UpgradeSuccess !(NonEmpty (NameSegment, NameSegment)) !(Map NameSegment NameSegment)
- | MergeFailure !FilePath !MergeSourceAndTarget
- | MergeFailureWithMergetool !MergeSourceAndTarget !Text !ExitCode
- | MergeSuccess !MergeSourceAndTarget
- | MergeSuccessFastForward !MergeSourceAndTarget
- | MergeConflictedAliases !MergeSourceOrTarget !(Defn (Name, Name) (Name, Name))
- | MergeConflictInvolvingBuiltin !(Defn Name Name)
- | MergeDefnsInLib !MergeSourceOrTarget
- | InstalledLibdep !(ProjectAndBranch ProjectName ProjectBranchName) !NameSegment
- | UseLibInstallNotPull !(ProjectAndBranch ProjectName ProjectBranchName)
- | PullIntoMissingBranch !(ReadRemoteNamespace RemoteProjectBranch) !(ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
- | NoMergeInProgress
- | Output'DebugSynhashTerm !TermReference !Hash !Text
- | ConflictedDefn !(Defn (Conflicted Name Referent) (Conflicted Name TypeReference))
- | IncoherentDeclDuringDelete !DeleteTarget !IncoherentDeclReason
- | IncoherentDeclDuringDiffBranch !DiffBranchArg !IncoherentDeclReason
- | IncoherentDeclDuringMerge !MergeSourceOrTarget !IncoherentDeclReason
- | IncoherentDeclDuringUpdate !IncoherentDeclReason
- | IncoherentDeclDuringUpgrade !IncoherentDeclReason
- | Literal !(Pretty ColorText)
- | SyncPullError (SyncError PullError)
- | SyncFromCodebaseMissingProjectBranch (ProjectAndBranch ProjectName ProjectBranchName)
- | OpenCodebaseError CodebasePath OpenCodebaseError
- | UCMServerNotRunning
- | BranchSquashSuccess (ProjectAndBranch Project ProjectBranch) (ProjectAndBranch Project ProjectBranch)
- | BranchUpdate'BranchChanged
- | SyncingFromTo CausalHash CausalHash
- | CantDeleteConstructor !(NESet Name)
- | CantDoThatDuring !Text !Text
- | ShowBranchDiff !(TwoWay DiffBranchArg) !(TwoWay PrettyPrintEnv) !(TwoWay (Map NameSegment (DiffOp CausalHash))) !(TwoWay (Defns (Map Name (Type Symbol Ann), Map Name (Type Symbol Ann), Map Name (Type Symbol Ann)) (Map Name (DeclOrBuiltin Symbol Ann), Map Name (DeclOrBuiltin Symbol Ann), Map Name (DeclOrBuiltin Symbol Ann)))) !(Maybe (Text, ExitCode))
- | StaleRun !PrettyPrintEnv !Name ![Defn TermReference TypeReference] !Bool
- | InvalidCommentTarget Text
- | CommentedSuccessfully
- | CommentAborted
- | AuthorNameRequired
- | ConfigValueGet ConfigKey (Maybe Text)
data AmbiguousReset'Argument
- = AmbiguousReset'Hash
- | AmbiguousReset'Target
data CreatedProjectBranchFrom
data WhichBranchEmpty
- = WhichBranchEmptyHash ShortCausalHash
- | WhichBranchEmptyPath ProjectPath
data NumberedOutput
- = ShowDiffNamespace (Either ShortCausalHash ProjectPath) (Either ShortCausalHash ProjectPath) PrettyPrintEnv (BranchDiffOutput Symbol Ann)
- | ShowDiffAfterUndo PrettyPrintEnv (BranchDiffOutput Symbol Ann)
- | ShowDiffAfterDeleteBranch Absolute PrettyPrintEnv (BranchDiffOutput Symbol Ann)
- | ShowDiffAfterModifyBranch Path' Absolute PrettyPrintEnv (BranchDiffOutput Symbol Ann)
- | ShowDiffAfterPull Path' Absolute PrettyPrintEnv (BranchDiffOutput Symbol Ann)
- | ShowDiffAfterCreateAuthor NameSegment Path' Absolute PrettyPrintEnv (BranchDiffOutput Symbol Ann)
- | TestResults TestReportStats PrettyPrintEnv ShowSuccesses ShowFailures (Map TermReferenceId [Text]) (Map TermReferenceId [Text])
- | Output'Todo !TodoOutput
- | CantDeleteNamespace PrettyPrintEnvDecl (Map LabeledDependency (NESet LabeledDependency))
- | DeletedDespiteDependents PrettyPrintEnvDecl (Map LabeledDependency (NESet LabeledDependency))
- | History (Maybe Int) HashLength [(CausalHash, Maybe (HistoryComment () ()), Diff)] (Maybe (HistoryComment () ()), HistoryTail)
- | ListProjects [Project]
- | ListBranches ProjectName [(ProjectBranchName, [(URI, ProjectName, ProjectBranchName)])]
- | AmbiguousSwitch ProjectName (ProjectAndBranch ProjectName ProjectBranchName)
- | AmbiguousReset AmbiguousReset'Argument (ProjectAndBranch Project ProjectBranch, Path) (ProjectAndBranch ProjectName ProjectBranchName)
- | ListNamespaceDependencies PrettyPrintEnv ProjectPath (Map LabeledDependency (Set Name))
- | ShowProjectBranchReflog (Maybe UTCTime) MoreEntriesThanShown [Entry Project ProjectBranch (CausalHash, ShortCausalHash)]
- | DeletedDefinitions (DefnsF Set Name Name)
type NumberedArgs = [StructuredArgument]
type ListDetailed = Bool
data HistoryTail
- = EndOfLog CausalHash
- | MergeTail CausalHash [CausalHash]
- | PageEnd CausalHash Int
data TestReportStats
- = CachedTests TotalCount CachedCount
- | NewlyComputed
data TodoOutput = TodoOutput {
- defnsInLib :: !Bool
- dependentsOfTodo :: !(Set TermReferenceId)
- directDependenciesWithoutNames :: !(DefnsF Set TermReference TypeReference)
- hashLen :: !Int
- incoherentDeclReasons :: !(Maybe IncoherentDeclReasons)
- nameConflicts :: !Names
- ppe :: !PrettyPrintEnvDecl
}
todoOutputIsEmpty :: TodoOutput -> Bool
data MoreEntriesThanShown
- = MoreEntriesThanShown
- | AllEntriesShown
data UndoFailureReason
- = CantUndoPastStart
- | CantUndoPastMerge
data ShareError
isFailure :: Output -> Bool
isNumberedFailure :: NumberedOutput -> Bool

Documentation

data Output Source #

Constructors

Success
NoUnisonFile
InvalidSourceName String
SourceLoadFailed String
NoMainFunction (HashQualified Name) PrettyPrintEnv [Type Symbol Ann]
BadMainFunction	Function found, but has improper type Note: the constructor name is misleading here; we weren't necessarily looking for a "main".
Fields Text what we were trying to do (e.g. "run", "io.test") (HashQualified Name) name of function (Type Symbol Ann) bad type of function PrettyPrintEnv [Type Symbol Ann] acceptable type(s) of function
BranchEmpty WhichBranchEmpty
CreatedNewBranch Absolute
BranchAlreadyExists Path'
FindNoLocalMatches
NoExactTypeMatches
TypeAlreadyExists (Split Path') (Set Reference)
TypeParseError String (Err Symbol)
ParseResolutionFailures String [ResolutionFailure Ann]
TypeHasFreeVars (Type Symbol Ann)
TermAlreadyExists (Split Path') (Set Referent)
LabeledReferenceAmbiguous Int (HashQualified Name) (Set LabeledDependency)
LabeledReferenceNotFound (HashQualified Name)
DeleteNameAmbiguous Int (HashQualified (Split Path')) (Set Referent) (Set Reference)
TermAmbiguous PrettyPrintEnv (HashQualified Name) (Set Referent)
HashAmbiguous ShortHash (Set Referent)
BranchHashAmbiguous ShortCausalHash (Set ShortCausalHash)
BadNamespace String String
BranchNotFound Path'
EmptyLooseCodePush Path'
EmptyProjectBranchPush (ProjectAndBranch ProjectName ProjectBranchName)
TermAndOrTypeNameNotFound !(Maybe (Defn () ())) !(HashQualified Name)
TypeNotFound (HashQualified (Split Path'))
TermNotFound (HashQualified (Split Path'))
MoveNothingFound Path'
TypeNotFound' ShortHash
TermNotFound' ShortHash
NoLastRunResult
SaveTermNameConflict Name
SearchTermsNotFound [HashQualified Name]
SearchTermsNotFoundDetailed
Fields Bool `True` if we are searching for a term, `False` if we are searching for a type [HashQualified Name] Misses (search terms that returned no hits for terms or types) [HashQualified Name] Hits for types if we are searching for terms or terms if we are searching for types
DeleteBranchConfirmation [(Path', (Names, [SearchResult' Symbol Ann]))]
DeleteEverythingConfirmation
MoveRootBranchConfirmation
MovedOverExistingBranch Path'
DeletedEverything
ListNames String Int [(Reference, [HashQualified Name])] [(Referent, [HashQualified Name])]
GlobalListNames String (ProjectAndBranch ProjectName ProjectBranchName) Int [(Reference, [HashQualified Name])] [(Referent, [HashQualified Name])]
ListOfDefinitions FindScope PrettyPrintEnv ListDetailed [SearchResult' Symbol Ann]
ListShallow (IO PrettyPrintEnv) [ShallowListEntry Symbol Ann]
ListStructuredFind [HashQualified Name]
ListTextFind Bool [HashQualified Name]
GlobalFindBranchResults (ProjectAndBranch ProjectName ProjectBranchName) PrettyPrintEnv ListDetailed [SearchResult' Symbol Ann]
SlurpOutput Input PrettyPrintEnv SlurpResult
ParseErrors Text [Err Symbol]
TypeErrors Absolute Text PrettyPrintEnv [ErrorNote Symbol Ann]
TypeWarns Absolute Text PrettyPrintEnv [Warn Symbol Ann]
CompilerBugs Text PrettyPrintEnv [CompilerBug Symbol Ann]
DisplayConflicts (Relation Name Referent) (Relation Name Reference)
EvaluationFailure
Fields (Pretty ColorText -> Pretty ColorText) A function to apply to the `Error` after serializing it, allowing more context to be added. Error
Evaluated SourceFileContents PrettyPrintEnv [(Symbol, Term Symbol ())] (Map Symbol (Ann, WatchKind, Term Symbol (), IsCacheHit))
RunResult PrettyPrintEnv (Term Symbol ())
LoadingFile SourceName
Typechecked !PrettyPrintEnv !PrettyPrintEnv !(DefnsF (Map Name) TermSlurp TypeSlurp) !(Map Referent (NESet Name))
DisplayRendered (Maybe FilePath) (Pretty ColorText)
DisplayDefinitions (Pretty ColorText)
LoadedDefinitionsToSourceFile FilePath Int
TestIncrementalOutputStart PrettyPrintEnv (Int, Int) TermReferenceId
TestIncrementalOutputEnd PrettyPrintEnv (Int, Int) TermReferenceId Bool
CantUndo UndoFailureReason
BustedBuiltins (Set Reference) (Set Reference)
ShareError ShareError
ViewOnShare (URI, ProjectName, ProjectBranchName)
NoConfiguredRemoteMapping PushPull Absolute
ConfiguredRemoteMappingParseError PushPull Absolute Text String
TermMissingType Reference
PatchInvolvesExternalDependents PrettyPrintEnv (Set Reference)
StartOfCurrentPathHistory
ShowReflog [(Maybe UTCTime, ShortCausalHash, Text)]
PullAlreadyUpToDate (ReadRemoteNamespace RemoteProjectBranch) (ProjectAndBranch Project ProjectBranch)
PullSuccessful (ReadRemoteNamespace RemoteProjectBranch) (ProjectAndBranch Project ProjectBranch)
MergeOverEmpty (ProjectAndBranch Project ProjectBranch)	Indicates a trivial merge where the destination was empty and was just replaced.
MergeAlreadyUpToDate2 !MergeSourceAndTarget
NotImplemented
NoBranchWithHash ShortCausalHash
ListDependencies PrettyPrintEnv (Set LabeledDependency) (DefnsF List (HashQualified Name, HashQualified Name) (HashQualified Name, HashQualified Name))	List direct dependencies of a type or term.
ListDependents PrettyPrintEnv (Set LabeledDependency) (DefnsF List (HashQualified Name, HashQualified Name) (HashQualified Name, HashQualified Name))	List dependents of a type or term.
DumpNumberedArgs HashLength NumberedArgs
DumpBitBooster CausalHash (Map CausalHash [CausalHash])
DumpUnisonFileHashes Int [(Name, Id)] [(Name, Id)] [(Name, Id)]
BadName Text
HelpMessage InputPattern
NamespaceEmpty (NonEmpty (Either ShortCausalHash ProjectPath))
NoOp
GistCreated (ReadRemoteNamespace Void)	`GistCreated repo` means a causal was just published to `repo`.
InitiateAuthFlow URI	Directs the user to URI to begin an authorization flow.
UnknownCodeServer Text
CredentialFailureMsg CredentialFailure
PrintVersion Text
IntegrityCheck IntegrityResult
DisplayDebugNameDiff NameChanges
DisplayDebugCompletions [Completion]
DisplayDebugLSPNameCompletions [(Text, Name, LabeledDependency)]
DebugDisplayFuzzyOptions Text [String]
DebugFuzzyOptionsIncorrectArgs (NonEmpty String)
DebugFuzzyOptionsNoCommand String
DebugFuzzyOptionsNoResolver
DebugTerm Bool (Either Text (Term Symbol Ann))
DebugDecl (Either Text (Decl Symbol Ann)) (Maybe ConstructorId)
AnnotatedFoldRanges Text
ClearScreen
PulledEmptyBranch (ReadRemoteNamespace RemoteProjectBranch)
CreatedProject Bool ProjectName
CreatedProjectBranch CreatedProjectBranchFrom (ProjectAndBranch ProjectName ProjectBranchName)
CreatedRemoteProject URI (ProjectAndBranch ProjectName ProjectBranchName)
CreatedRemoteProjectBranch URI (ProjectAndBranch ProjectName ProjectBranchName)
RemoteProjectBranchIsUpToDate URI (ProjectAndBranch ProjectName ProjectBranchName)
InvalidProjectName Text
InvalidProjectBranchName Text
InvalidStructuredFindReplace (HashQualified Name)
InvalidStructuredFind (HashQualified Name)
ProjectNameAlreadyExists ProjectName
ProjectNameRequiresUserSlug ProjectName
ProjectAndBranchNameAlreadyExists (ProjectAndBranch ProjectName ProjectBranchName)
NotOnProjectBranch
NoAssociatedRemoteProject URI (ProjectAndBranch ProjectName ProjectBranchName)
NoAssociatedRemoteProjectBranch URI (ProjectAndBranch Project ProjectBranch)
LocalProjectDoesntExist ProjectName
LocalProjectBranchDoesntExist (ProjectAndBranch ProjectName ProjectBranchName)
LocalProjectNorProjectBranchExist ProjectName ProjectBranchName
RemoteProjectDoesntExist URI ProjectName
RemoteProjectBranchDoesntExist URI (ProjectAndBranch ProjectName ProjectBranchName)
RemoteProjectBranchDoesntExist'Push URI (ProjectAndBranch ProjectName ProjectBranchName)
RemoteProjectReleaseIsDeprecated URI (ProjectAndBranch ProjectName ProjectBranchName)
RemoteProjectPublishedReleaseCannotBeChanged URI (ProjectAndBranch ProjectName ProjectBranchName)
RemoteProjectBranchHeadMismatch URI (ProjectAndBranch ProjectName ProjectBranchName)
Unauthorized Text
ServantClientError ClientError
MarkdownOut Text
DownloadedEntities Int
UploadedEntities Int
NotImplementedYet Text
DraftingRelease ProjectBranchName Semver
CannotCreateReleaseBranchWithBranchCommand ProjectBranchName Semver
AmbiguousCloneLocal	The `local` in a `clone remote local` is ambiguous
Fields (ProjectAndBranch ProjectName ProjectBranchName) Treating `local` as a project. We may know the branch name, if it was provided in `remote`. (ProjectAndBranch ProjectName ProjectBranchName)
AmbiguousCloneRemote ProjectName (ProjectAndBranch ProjectName ProjectBranchName)	The `remote` in a `clone remote local` is ambiguous
ClonedProjectBranch (ProjectAndBranch ProjectName ProjectBranchName) (ProjectAndBranch ProjectName ProjectBranchName)
RenamedProject ProjectName ProjectName
OutputRewrittenFile FilePath [Symbol]
RenamedProjectBranch ProjectName ProjectBranchName ProjectBranchName
CantRenameBranchTo ProjectBranchName
FetchingLatestReleaseOfBase
FailedToFetchLatestReleaseOfBase
HappyCoding
ProjectHasNoReleases ProjectName
DeleteFailure !FilePath !ProjectBranchName
UpdateTypecheckingFailure
UpdateTypecheckingFailure2 !FilePath !ProjectBranchName
UpgradeFailure !ProjectBranchName !FilePath !(NonEmpty (NameSegment, NameSegment))
UpgradeSuccess !(NonEmpty (NameSegment, NameSegment)) !(Map NameSegment NameSegment)
MergeFailure !FilePath !MergeSourceAndTarget
MergeFailureWithMergetool !MergeSourceAndTarget !Text !ExitCode
MergeSuccess !MergeSourceAndTarget
MergeSuccessFastForward !MergeSourceAndTarget
MergeConflictedAliases !MergeSourceOrTarget !(Defn (Name, Name) (Name, Name))
MergeConflictInvolvingBuiltin !(Defn Name Name)
MergeDefnsInLib !MergeSourceOrTarget
InstalledLibdep !(ProjectAndBranch ProjectName ProjectBranchName) !NameSegment
UseLibInstallNotPull !(ProjectAndBranch ProjectName ProjectBranchName)
PullIntoMissingBranch !(ReadRemoteNamespace RemoteProjectBranch) !(ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
NoMergeInProgress
Output'DebugSynhashTerm !TermReference !Hash !Text
ConflictedDefn !(Defn (Conflicted Name Referent) (Conflicted Name TypeReference))
IncoherentDeclDuringDelete !DeleteTarget !IncoherentDeclReason
IncoherentDeclDuringDiffBranch !DiffBranchArg !IncoherentDeclReason
IncoherentDeclDuringMerge !MergeSourceOrTarget !IncoherentDeclReason
IncoherentDeclDuringUpdate !IncoherentDeclReason
IncoherentDeclDuringUpgrade !IncoherentDeclReason
Literal !(Pretty ColorText)	A literal output message. Use this if it's too cumbersome to create a new Output constructor, e.g. for ephemeral progress messages that are just simple strings like "Loading branch..."
SyncPullError (SyncError PullError)
SyncFromCodebaseMissingProjectBranch (ProjectAndBranch ProjectName ProjectBranchName)
OpenCodebaseError CodebasePath OpenCodebaseError
UCMServerNotRunning
BranchSquashSuccess (ProjectAndBranch Project ProjectBranch) (ProjectAndBranch Project ProjectBranch)
BranchUpdate'BranchChanged
SyncingFromTo CausalHash CausalHash
CantDeleteConstructor !(NESet Name)
CantDoThatDuring !Text !Text
ShowBranchDiff !(TwoWay DiffBranchArg) !(TwoWay PrettyPrintEnv) !(TwoWay (Map NameSegment (DiffOp CausalHash))) !(TwoWay (Defns (Map Name (Type Symbol Ann), Map Name (Type Symbol Ann), Map Name (Type Symbol Ann)) (Map Name (DeclOrBuiltin Symbol Ann), Map Name (DeclOrBuiltin Symbol Ann), Map Name (DeclOrBuiltin Symbol Ann)))) !(Maybe (Text, ExitCode))
StaleRun !PrettyPrintEnv !Name ![Defn TermReference TypeReference] !Bool
InvalidCommentTarget Text
CommentedSuccessfully
CommentAborted
AuthorNameRequired
ConfigValueGet ConfigKey (Maybe Text)

data AmbiguousReset'Argument Source #

Constructors

AmbiguousReset'Hash
AmbiguousReset'Target

data CreatedProjectBranchFrom Source #

What did we create a project branch from?

Loose code
Nothingness (we made an empty branch)
Other branch (in another project)
Parent branch (in this project)

Constructors

CreatedProjectBranchFrom'LooseCode Absolute
CreatedProjectBranchFrom'Nothingness
CreatedProjectBranchFrom'OtherBranch (ProjectAndBranch Project ProjectBranch)
CreatedProjectBranchFrom'ParentBranch ProjectBranchName

data WhichBranchEmpty Source #

A branch was empty. But how do we refer to that branch?

Constructors

WhichBranchEmptyHash ShortCausalHash
WhichBranchEmptyPath ProjectPath

data NumberedOutput Source #

Constructors

ShowDiffNamespace (Either ShortCausalHash ProjectPath) (Either ShortCausalHash ProjectPath) PrettyPrintEnv (BranchDiffOutput Symbol Ann)
ShowDiffAfterUndo PrettyPrintEnv (BranchDiffOutput Symbol Ann)
ShowDiffAfterDeleteBranch Absolute PrettyPrintEnv (BranchDiffOutput Symbol Ann)
ShowDiffAfterModifyBranch Path' Absolute PrettyPrintEnv (BranchDiffOutput Symbol Ann)
ShowDiffAfterPull Path' Absolute PrettyPrintEnv (BranchDiffOutput Symbol Ann)
ShowDiffAfterCreateAuthor NameSegment Path' Absolute PrettyPrintEnv (BranchDiffOutput Symbol Ann)
TestResults TestReportStats PrettyPrintEnv ShowSuccesses ShowFailures (Map TermReferenceId [Text]) (Map TermReferenceId [Text])
Output'Todo !TodoOutput
CantDeleteNamespace PrettyPrintEnvDecl (Map LabeledDependency (NESet LabeledDependency))	CantDeleteNamespace ppe couldntDelete becauseTheseStillReferenceThem
DeletedDespiteDependents PrettyPrintEnvDecl (Map LabeledDependency (NESet LabeledDependency))	DeletedDespiteDependents ppe deletedThings thingsWhichNowHaveUnnamedReferences
History (Maybe Int) HashLength [(CausalHash, Maybe (HistoryComment () ()), Diff)] (Maybe (HistoryComment () ()), HistoryTail)	size limit, history , how the history ends
ListProjects [Project]
ListBranches ProjectName [(ProjectBranchName, [(URI, ProjectName, ProjectBranchName)])]
AmbiguousSwitch ProjectName (ProjectAndBranch ProjectName ProjectBranchName)
AmbiguousReset AmbiguousReset'Argument (ProjectAndBranch Project ProjectBranch, Path) (ProjectAndBranch ProjectName ProjectBranchName)
ListNamespaceDependencies PrettyPrintEnv ProjectPath (Map LabeledDependency (Set Name))	List all direct dependencies which don't have any names in the current branch
ShowProjectBranchReflog (Maybe UTCTime) MoreEntriesThanShown [Entry Project ProjectBranch (CausalHash, ShortCausalHash)]
DeletedDefinitions (DefnsF Set Name Name)

type NumberedArgs = [StructuredArgument] Source #

NB: This only temporarily holds Text. Until all of the inputs are updated to handle StructuredArguments, we need to ensure that the serialization remains unchanged.

type ListDetailed = Bool Source #

data HistoryTail Source #

Constructors

EndOfLog CausalHash
MergeTail CausalHash [CausalHash]
PageEnd CausalHash Int

Instances

Instances details

Show HistoryTail Source #
Instance details Defined in Unison.Codebase.Editor.Output Methods showsPrec :: Int -> HistoryTail -> ShowS # show :: HistoryTail -> String # showList :: [HistoryTail] -> ShowS #

data TestReportStats Source #

Constructors

CachedTests TotalCount CachedCount
NewlyComputed

Instances

Instances details

Show TestReportStats Source #
Instance details Defined in Unison.Codebase.Editor.Output Methods showsPrec :: Int -> TestReportStats -> ShowS # show :: TestReportStats -> String # showList :: [TestReportStats] -> ShowS #

data TodoOutput Source #

Constructors

TodoOutput
Fields defnsInLib :: !Bool dependentsOfTodo :: !(Set TermReferenceId) directDependenciesWithoutNames :: !(DefnsF Set TermReference TypeReference) hashLen :: !Int incoherentDeclReasons :: !(Maybe IncoherentDeclReasons) nameConflicts :: !Names ppe :: !PrettyPrintEnvDecl

todoOutputIsEmpty :: TodoOutput -> Bool Source #

data MoreEntriesThanShown Source #

Constructors

MoreEntriesThanShown
AllEntriesShown

Instances

Instances details

Show MoreEntriesThanShown Source #
Instance details Defined in Unison.Codebase.Editor.Output Methods showsPrec :: Int -> MoreEntriesThanShown -> ShowS # show :: MoreEntriesThanShown -> String # showList :: [MoreEntriesThanShown] -> ShowS #
Eq MoreEntriesThanShown Source #
Instance details Defined in Unison.Codebase.Editor.Output Methods (==) :: MoreEntriesThanShown -> MoreEntriesThanShown -> Bool # (/=) :: MoreEntriesThanShown -> MoreEntriesThanShown -> Bool #

data UndoFailureReason Source #

Constructors

CantUndoPastStart
CantUndoPastMerge

Instances

Instances details

Show UndoFailureReason Source #
Instance details Defined in Unison.Codebase.Editor.Output Methods showsPrec :: Int -> UndoFailureReason -> ShowS # show :: UndoFailureReason -> String # showList :: [UndoFailureReason] -> ShowS #

data ShareError Source #

Constructors

ShareErrorDownloadEntities DownloadEntitiesError
ShareErrorGetCausalHashByPath GetCausalHashByPathError
ShareErrorPull PullError
ShareErrorPullV2 PullError
ShareErrorTransport CodeserverTransportError
ShareErrorUploadEntities UploadEntitiesError
ShareExpectedSquashedHead

isFailure :: Output -> Bool Source #

isNumberedFailure :: NumberedOutput -> Bool Source #