Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.Editor.Input

Synopsis

data Input
- = ForkLocalBranchI (Either ShortCausalHash BranchRelativePath) BranchRelativePath
- | MergeLocalBranchI BranchRelativePath (Maybe BranchRelativePath) MergeMode
- | PreviewMergeLocalBranchI BranchRelativePath (Maybe BranchRelativePath)
- | DiffNamespaceI BranchId2 BranchId2
- | PullI !PullSourceTarget !PullMode
- | PushRemoteBranchI PushRemoteBranchInput
- | ResetI BranchId2 (Maybe UnresolvedProjectBranch)
- | CreateMessage (Pretty ColorText)
- | SwitchBranchI Path'
- | UpI
- | PopBranchI
- | NamesI IsGlobal (HashQualified Name)
- | AliasTermI !Bool HashOrHQSplit' Split'
- | AliasTypeI !Bool HashOrHQSplit' Split'
- | AliasManyI [HQSplit] Path'
- | MoveAllI Path' Path'
- | MoveTermI HQSplit' Split'
- | MoveTypeI HQSplit' Split'
- | MoveBranchI Path' Path'
- | DeleteI DeleteTarget
- | LoadI (Maybe FilePath)
- | ClearI
- | AddI (Set Name)
- | PreviewAddI (Set Name)
- | UpdateI OptionalPatch (Set Name)
- | Update2I
- | PreviewUpdateI (Set Name)
- | TodoI
- | UndoI
- | HistoryI (Maybe Int) (Maybe Int) BranchId
- | ExecuteI (HashQualified Name) [String]
- | SaveExecuteResultI Name
- | IOTestI Bool (HashQualified Name)
- | IOTestAllI Bool
- | MakeStandaloneI String (HashQualified Name)
- | ExecuteSchemeI (HashQualified Name) [String]
- | CompileSchemeI Bool Text (HashQualified Name)
- | TestI Bool TestInput
- | CreateAuthorI NameSegment Text
- | DisplayI OutputLocation (NonEmpty (HashQualified Name))
- | DocsI (NonEmpty Name)
- | FindI Bool FindScope [String]
- | FindShallowI Path'
- | StructuredFindI FindScope (HashQualified Name)
- | StructuredFindReplaceI (HashQualified Name)
- | TextFindI Bool [String]
- | ShowDefinitionI OutputLocation ShowDefinitionScope (NonEmpty (HashQualified Name))
- | ShowRootReflogI
- | ShowGlobalReflogI
- | ShowProjectReflogI (Maybe ProjectName)
- | ShowProjectBranchReflogI (Maybe (ProjectAndBranch (Maybe ProjectName) ProjectBranchName))
- | UpdateBuiltinsI
- | MergeBuiltinsI (Maybe Path)
- | MergeIOBuiltinsI (Maybe Path)
- | ListDependenciesI (HashQualified Name)
- | ListDependentsI (HashQualified Name)
- | NamespaceDependenciesI (Maybe Path')
- | DebugTabCompletionI [String]
- | DebugLSPNameCompletionI Text
- | DebugFuzzyOptionsI String [String]
- | DebugFormatI
- | DebugNumberedArgsI
- | DebugTypecheckedUnisonFileI
- | DebugDumpNamespacesI
- | DebugDumpNamespaceSimpleI
- | DebugTermI Bool (HashQualified Name)
- | DebugTypeI (HashQualified Name)
- | DebugLSPFoldRangesI
- | DebugClearWatchI
- | DebugDoctorI
- | DebugNameDiffI ShortCausalHash ShortCausalHash
- | QuitI
- | ApiI
- | UiI Path'
- | DocToMarkdownI Name
- | DocsToHtmlI BranchRelativePath FilePath
- | AuthLoginI
- | VersionI
- | ProjectCreateI Bool (Maybe ProjectName)
- | ProjectRenameI ProjectName
- | ProjectSwitchI ProjectAndBranchNames
- | ProjectsI
- | BranchI BranchSourceI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
- | BranchRenameI ProjectBranchName
- | BranchesI (Maybe ProjectName)
- | CloneI ProjectAndBranchNames (Maybe ProjectAndBranchNames)
- | ReleaseDraftI Semver
- | UpgradeI !NameSegment !NameSegment
- | EditNamespaceI [Path]
- | MergeI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
- | LibInstallI !Bool !(ProjectAndBranch ProjectName (Maybe ProjectBranchNameOrLatestRelease))
- | UpgradeCommitI
- | MergeCommitI
- | DebugSynhashTermI !Name
- | EditDependentsI !(HashQualified Name)
data BranchSourceI
- = BranchSourceI'CurrentContext
- | BranchSourceI'Empty
- | BranchSourceI'UnresolvedProjectBranch UnresolvedProjectBranch
data PullSourceTarget
- = PullSourceTarget0
- | PullSourceTarget1 (ReadRemoteNamespace (These ProjectName ProjectBranchNameOrLatestRelease))
- | PullSourceTarget2 (ReadRemoteNamespace (These ProjectName ProjectBranchNameOrLatestRelease)) (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
data PushRemoteBranchInput = PushRemoteBranchInput {
- sourceTarget :: PushSourceTarget
- pushBehavior :: PushBehavior
}
data PushSourceTarget
- = PushSourceTarget0
- | PushSourceTarget1 (These ProjectName ProjectBranchName)
- | PushSourceTarget2 PushSource (These ProjectName ProjectBranchName)
data PushSource = ProjySource (These ProjectName ProjectBranchName)
data TestInput = TestInput {
- includeLibNamespace :: Bool
- path :: Path
- showFailures :: Bool
- showSuccesses :: Bool
}
data Event = UnisonFileChanged SourceName Source
data OutputLocation
- = ConsoleLocation
- | LatestFileLocation RelativeToFold
- | FileLocation FilePath RelativeToFold
data RelativeToFold
- = AboveFold
- | WithinFold
type PatchPath = Split'
data BranchIdG p
- = BranchAtSCH ShortCausalHash
- | BranchAtPath p
- | BranchAtProjectPath ProjectPath
type BranchId = BranchIdG Path'
type BranchId2 = Either ShortCausalHash BranchRelativePath
type AbsBranchId = BranchIdG Absolute
type UnresolvedProjectBranch = ProjectAndBranch (Maybe ProjectName) ProjectBranchName
parseBranchId :: String -> Either Text BranchId
parseBranchId2 :: String -> Either (Pretty ColorText) (Either ShortCausalHash BranchRelativePath)
parseShortCausalHash :: String -> Either String ShortCausalHash
type HashOrHQSplit' = Either ShortHash HQSplit'
data Insistence
- = Force
- | Try
data PullMode
- = PullWithHistory
- | PullWithoutHistory
data OptionalPatch
- = NoPatch
- | DefaultPatch
- | UsePatch PatchPath
data FindScope
- = FindLocal Path'
- | FindLocalAndDeps Path'
- | FindGlobal
data ShowDefinitionScope
- = ShowDefinitionLocal
- | ShowDefinitionGlobal
type IsGlobal = Bool
data DeleteOutput
- = DeleteOutput'Diff
- | DeleteOutput'NoDiff
data DeleteTarget
- = DeleteTarget'TermOrType DeleteOutput [HQSplit']
- | DeleteTarget'Term DeleteOutput [HQSplit']
- | DeleteTarget'Type DeleteOutput [HQSplit']
- | DeleteTarget'Namespace Insistence (Maybe Split)
- | DeleteTarget'ProjectBranch (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
- | DeleteTarget'Project ProjectName

Documentation

data Input Source #

Constructors

ForkLocalBranchI (Either ShortCausalHash BranchRelativePath) BranchRelativePath
MergeLocalBranchI BranchRelativePath (Maybe BranchRelativePath) MergeMode
PreviewMergeLocalBranchI BranchRelativePath (Maybe BranchRelativePath)
DiffNamespaceI BranchId2 BranchId2
PullI !PullSourceTarget !PullMode
PushRemoteBranchI PushRemoteBranchInput
ResetI BranchId2 (Maybe UnresolvedProjectBranch)
CreateMessage (Pretty ColorText)	used in Welcome module to give directions to user todo: Q: Does it make sense to publish to not-the-root of a Github repo? Does it make sense to fork from not-the-root of a Github repo?
SwitchBranchI Path'
UpI
PopBranchI
NamesI IsGlobal (HashQualified Name)
AliasTermI !Bool HashOrHQSplit' Split'
AliasTypeI !Bool HashOrHQSplit' Split'
AliasManyI [HQSplit] Path'
MoveAllI Path' Path'
MoveTermI HQSplit' Split'
MoveTypeI HQSplit' Split'
MoveBranchI Path' Path'
DeleteI DeleteTarget
LoadI (Maybe FilePath)
ClearI
AddI (Set Name)
PreviewAddI (Set Name)
UpdateI OptionalPatch (Set Name)
Update2I
PreviewUpdateI (Set Name)
TodoI
UndoI
HistoryI (Maybe Int) (Maybe Int) BranchId
ExecuteI (HashQualified Name) [String]
SaveExecuteResultI Name
IOTestI Bool (HashQualified Name)
IOTestAllI Bool
MakeStandaloneI String (HashQualified Name)
ExecuteSchemeI (HashQualified Name) [String]
CompileSchemeI Bool Text (HashQualified Name)
TestI Bool TestInput
CreateAuthorI NameSegment Text
DisplayI OutputLocation (NonEmpty (HashQualified Name))
DocsI (NonEmpty Name)
FindI Bool FindScope [String]
FindShallowI Path'
StructuredFindI FindScope (HashQualified Name)
StructuredFindReplaceI (HashQualified Name)
TextFindI Bool [String]
ShowDefinitionI OutputLocation ShowDefinitionScope (NonEmpty (HashQualified Name))
ShowRootReflogI
ShowGlobalReflogI
ShowProjectReflogI (Maybe ProjectName)
ShowProjectBranchReflogI (Maybe (ProjectAndBranch (Maybe ProjectName) ProjectBranchName))
UpdateBuiltinsI
MergeBuiltinsI (Maybe Path)
MergeIOBuiltinsI (Maybe Path)
ListDependenciesI (HashQualified Name)
ListDependentsI (HashQualified Name)
NamespaceDependenciesI (Maybe Path')	List all external dependencies of a given namespace, or the current namespace if no path is provided.
DebugTabCompletionI [String]
DebugLSPNameCompletionI Text
DebugFuzzyOptionsI String [String]
DebugFormatI
DebugNumberedArgsI
DebugTypecheckedUnisonFileI
DebugDumpNamespacesI
DebugDumpNamespaceSimpleI
DebugTermI Bool (HashQualified Name)
DebugTypeI (HashQualified Name)
DebugLSPFoldRangesI
DebugClearWatchI
DebugDoctorI
DebugNameDiffI ShortCausalHash ShortCausalHash
QuitI
ApiI
UiI Path'
DocToMarkdownI Name
DocsToHtmlI BranchRelativePath FilePath
AuthLoginI
VersionI
ProjectCreateI Bool (Maybe ProjectName)
ProjectRenameI ProjectName
ProjectSwitchI ProjectAndBranchNames
ProjectsI
BranchI BranchSourceI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
BranchRenameI ProjectBranchName
BranchesI (Maybe ProjectName)
CloneI ProjectAndBranchNames (Maybe ProjectAndBranchNames)
ReleaseDraftI Semver
UpgradeI !NameSegment !NameSegment
EditNamespaceI [Path]
MergeI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
LibInstallI !Bool !(ProjectAndBranch ProjectName (Maybe ProjectBranchNameOrLatestRelease))
UpgradeCommitI
MergeCommitI
DebugSynhashTermI !Name
EditDependentsI !(HashQualified Name)

Instances

Instances details

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

data BranchSourceI Source #

The source of a branch command: what to make the new branch from.

Constructors

BranchSourceI'CurrentContext	Create a branch from the current context
BranchSourceI'Empty	Create an empty branch
BranchSourceI'UnresolvedProjectBranch UnresolvedProjectBranch	Create a branch from this other branch

Instances

Instances details

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

data PullSourceTarget Source #

Pull source and target: either neither is specified, or only a source, or both.

Constructors

PullSourceTarget0
PullSourceTarget1 (ReadRemoteNamespace (These ProjectName ProjectBranchNameOrLatestRelease))
PullSourceTarget2 (ReadRemoteNamespace (These ProjectName ProjectBranchNameOrLatestRelease)) (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)

Instances

Instances details

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

data PushRemoteBranchInput Source #

Constructors

PushRemoteBranchInput
Fields sourceTarget :: PushSourceTarget pushBehavior :: PushBehavior

Instances

Instances details

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

data PushSourceTarget Source #

Push source and target: either neither is specified, or only a target, or both.

Constructors

PushSourceTarget0
PushSourceTarget1 (These ProjectName ProjectBranchName)
PushSourceTarget2 PushSource (These ProjectName ProjectBranchName)

Instances

Instances details

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

data PushSource Source #

Constructors

ProjySource (These ProjectName ProjectBranchName)

Instances

Instances details

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

data TestInput Source #

Constructors

TestInput
Fields includeLibNamespace :: Bool Should we run tests in the `lib` namespace? path :: Path Relative path to run the tests in. Ignore if `$sel:includeLibNamespace:TestInput` is True - that means test everything. showFailures :: Bool showSuccesses :: Bool

Instances

Instances details

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

data Event Source #

Constructors

UnisonFileChanged SourceName Source

Instances

Instances details

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

data OutputLocation Source #

Constructors

ConsoleLocation
LatestFileLocation RelativeToFold
FileLocation FilePath RelativeToFold

Instances

Instances details

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

data RelativeToFold Source #

Above a new fold, or within the topmost fold?

Constructors

AboveFold
WithinFold

Instances

Instances details

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

type PatchPath = Split' Source #

data BranchIdG p Source #

Constructors

BranchAtSCH ShortCausalHash
BranchAtPath p
BranchAtProjectPath ProjectPath

Instances

Instances details

Foldable BranchIdG Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods fold :: Monoid m => BranchIdG m -> m # foldMap :: Monoid m => (a -> m) -> BranchIdG a -> m # foldMap' :: Monoid m => (a -> m) -> BranchIdG a -> m # foldr :: (a -> b -> b) -> b -> BranchIdG a -> b # foldr' :: (a -> b -> b) -> b -> BranchIdG a -> b # foldl :: (b -> a -> b) -> b -> BranchIdG a -> b # foldl' :: (b -> a -> b) -> b -> BranchIdG a -> b # foldr1 :: (a -> a -> a) -> BranchIdG a -> a # foldl1 :: (a -> a -> a) -> BranchIdG a -> a # toList :: BranchIdG a -> [a] # null :: BranchIdG a -> Bool # length :: BranchIdG a -> Int # elem :: Eq a => a -> BranchIdG a -> Bool # maximum :: Ord a => BranchIdG a -> a # minimum :: Ord a => BranchIdG a -> a # sum :: Num a => BranchIdG a -> a # product :: Num a => BranchIdG a -> a #
Traversable BranchIdG Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods traverse :: Applicative f => (a -> f b) -> BranchIdG a -> f (BranchIdG b) # sequenceA :: Applicative f => BranchIdG (f a) -> f (BranchIdG a) # mapM :: Monad m => (a -> m b) -> BranchIdG a -> m (BranchIdG b) # sequence :: Monad m => BranchIdG (m a) -> m (BranchIdG a) #
Functor BranchIdG Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods fmap :: (a -> b) -> BranchIdG a -> BranchIdG b # (<$) :: a -> BranchIdG b -> BranchIdG a #
Show p => Show (BranchIdG p) Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods showsPrec :: Int -> BranchIdG p -> ShowS # show :: BranchIdG p -> String # showList :: [BranchIdG p] -> ShowS #
Eq p => Eq (BranchIdG p) Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods (==) :: BranchIdG p -> BranchIdG p -> Bool # (/=) :: BranchIdG p -> BranchIdG p -> Bool #
From p Text => From (BranchIdG p) Text Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods from :: BranchIdG p -> Text #

type BranchId = BranchIdG Path' Source #

type BranchId2 = Either ShortCausalHash BranchRelativePath Source #

type AbsBranchId = BranchIdG Absolute Source #

type UnresolvedProjectBranch = ProjectAndBranch (Maybe ProjectName) ProjectBranchName Source #

An unambiguous project branch name, use the current project name if not provided.

parseBranchId :: String -> Either Text BranchId Source #

parseBranchId2 :: String -> Either (Pretty ColorText) (Either ShortCausalHash BranchRelativePath) Source #

parseShortCausalHash :: String -> Either String ShortCausalHash Source #

type HashOrHQSplit' = Either ShortHash HQSplit' Source #

data Insistence Source #

Should we force the operation or not?

Constructors

Force
Try

Instances

Instances details

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

data PullMode Source #

Constructors

PullWithHistory
PullWithoutHistory

Instances

Instances details

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

data OptionalPatch Source #

Constructors

NoPatch
DefaultPatch
UsePatch PatchPath

Instances

Instances details

Show OptionalPatch Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods showsPrec :: Int -> OptionalPatch -> ShowS # show :: OptionalPatch -> String # showList :: [OptionalPatch] -> ShowS #
Eq OptionalPatch Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods (==) :: OptionalPatch -> OptionalPatch -> Bool # (/=) :: OptionalPatch -> OptionalPatch -> Bool #
Ord OptionalPatch Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods compare :: OptionalPatch -> OptionalPatch -> Ordering # (<) :: OptionalPatch -> OptionalPatch -> Bool # (<=) :: OptionalPatch -> OptionalPatch -> Bool # (>) :: OptionalPatch -> OptionalPatch -> Bool # (>=) :: OptionalPatch -> OptionalPatch -> Bool # max :: OptionalPatch -> OptionalPatch -> OptionalPatch # min :: OptionalPatch -> OptionalPatch -> OptionalPatch #

data FindScope Source #

Constructors

FindLocal Path'
FindLocalAndDeps Path'
FindGlobal

Instances

Instances details

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

data ShowDefinitionScope Source #

Constructors

ShowDefinitionLocal
ShowDefinitionGlobal

Instances

Instances details

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

type IsGlobal = Bool Source #

data DeleteOutput Source #

Constructors

DeleteOutput'Diff
DeleteOutput'NoDiff

Instances

Instances details

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

data DeleteTarget Source #

Instances

Instances details

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

DeleteTarget'TermOrType DeleteOutput [HQSplit']
DeleteTarget'Term DeleteOutput [HQSplit']
DeleteTarget'Type DeleteOutput [HQSplit']
DeleteTarget'Namespace Insistence (Maybe Split)
DeleteTarget'ProjectBranch (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
DeleteTarget'Project ProjectName