Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.Editor.Input

Contents

Type aliases

Synopsis

data Input
- = AliasManyI [HashQualified (Split Path)] Path'
- | AliasTermI !Bool (HashOrHQ (Split Path')) (Split Path')
- | AliasTypeI !Bool (HashOrHQ (Split Path')) (Split Path')
- | ApiI
- | AuthLoginI
- | BranchI BranchSourceI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
- | BranchRenameI ProjectBranchName
- | BranchSquashI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName) (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
- | BranchesI (Maybe ProjectName)
- | CancelI
- | ClearI
- | CloneI ProjectAndBranchNames (Maybe ProjectAndBranchNames)
- | ConfigSetI ConfigKey Text
- | ConfigGetI ConfigKey
- | CreateAuthorI NameSegment Text
- | CreateMessage (Pretty ColorText)
- | DebugClearWatchI
- | DebugDependentsGraph
- | DebugDoctorI
- | DebugDumpNamespaceSimpleI
- | DebugDumpNamespacesI
- | DebugFormatI
- | DebugFuzzyOptionsI String [String]
- | DebugLSPFoldRangesI
- | DebugLSPNameCompletionI Text
- | DebugNameDiffI ShortCausalHash ShortCausalHash
- | DebugNumberedArgsI
- | DebugSynhashTermI !Name
- | DebugTabCompletionI [String]
- | DebugTermI Bool (HashQualified Name)
- | DebugTypeI (HashQualified Name)
- | DebugTypecheckedUnisonFileI
- | DeleteBranchI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
- | DeleteI !Bool !DeleteTarget ![HashQualified Name]
- | DeleteNamespaceI Insistence (Maybe (Split Relative))
- | DeleteProjectI ProjectName
- | DiffBranchI !DiffBranchArg !DiffBranchArg
- | DiffNamespaceI BranchId2 BranchId2
- | DisplayI OutputLocation (NonEmpty (HashQualified Name))
- | DocToMarkdownI Name
- | DocsI (NonEmpty Name)
- | DocsToHtmlI BranchRelativePath FilePath
- | EditDependentsI !(HashQualified Name)
- | EditNamespaceI [Path']
- | ExecuteI ProfileSpec (HashQualified Name) [String]
- | FindI Bool FindScope [String]
- | FindShallowI Path'
- | ForkLocalBranchI (Either ShortCausalHash BranchRelativePath) BranchRelativePath
- | HistoryI (Maybe Int) (Maybe Int) BranchId
- | HistoryCommentI (Maybe BranchId2)
- | IOTestAllI
- | IOTestI (HashQualified Name)
- | LibInstallI !Bool !(ProjectAndBranch ProjectName (Maybe ProjectBranchNameOrLatestRelease))
- | LibInstallLocalI !(ProjectAndBranch ProjectName ProjectBranchName) (Maybe NameSegment)
- | ListDependenciesI (HashQualified Name)
- | ListDependentsI (HashQualified Name)
- | LoadI (Maybe FilePath)
- | MakeStandaloneI String (HashQualified Name)
- | MergeBuiltinsI (Maybe Relative)
- | MergeCommitI
- | MergeI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
- | MergeIOBuiltinsI (Maybe Relative)
- | MoveAllI Path' Path'
- | MoveBranchI Path' Path'
- | MoveTermI (HashQualified (Split Path')) (Split Path')
- | MoveTypeI (HashQualified (Split Path')) (Split Path')
- | NamesI IsGlobal [(RawQuery, ErrorMessageOrName)]
- | NamespaceDependenciesI (Maybe Path')
- | PopBranchI
- | ProjectCreateI Bool (Maybe ProjectName)
- | ProjectRenameI ProjectName
- | ProjectSwitchI ProjectAndBranchNames
- | ProjectsI
- | PullI !PullSourceTarget !PullMode
- | PushRemoteBranchI PushRemoteBranchInput
- | QuitI
- | ReleaseDraftI Semver
- | ResetI BranchId2 (Maybe UnresolvedProjectBranch)
- | SaveExecuteResultI Name
- | ShowDefinitionI OutputLocation ShowDefinitionScope (NonEmpty (HashQualified Name))
- | ShowGlobalReflogI
- | ShowProjectBranchReflogI (Maybe (ProjectAndBranch (Maybe ProjectName) ProjectBranchName))
- | ShowProjectReflogI (Maybe ProjectName)
- | ShowRootReflogI
- | StructuredFindI FindScope (HashQualified Name)
- | StructuredFindReplaceI (HashQualified Name)
- | SwitchBranchI Path'
- | SyncFromCodebaseI FilePath (ProjectAndBranch ProjectName ProjectBranchName) UnresolvedProjectBranch
- | SyncFromFileI FilePath UnresolvedProjectBranch
- | SyncToFileI FilePath (ProjectAndBranch (Maybe ProjectName) (Maybe ProjectBranchName))
- | TestI TestInput
- | TextFindI Bool [String]
- | TodoI
- | UiI Path'
- | UndoI
- | UpI
- | Update2I
- | UpdateBuiltinsI
- | UpgradeCommitI
- | UpgradeI ![NameSegment]
- | VersionI
data BranchSourceI
- = BranchSourceI'CurrentContext
- | BranchSourceI'Empty
- | BranchSourceI'UnresolvedProjectBranch UnresolvedProjectBranch
data DiffBranchArg
- = DiffBranchArg'Branch !(ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
- | DiffBranchArg'Hash !ShortCausalHash
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 :: Relative
- showFailures :: Bool
- showSuccesses :: Bool
}
data Event = UnisonFileChanged SourceName Source
data OutputLocation
- = ConsoleLocation
- | LatestFileLocation RelativeToFold
- | FileLocation FilePath RelativeToFold
data RelativeToFold
- = AboveFold
- | WithinFold
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
data Insistence
- = Force
- | Try
data PullMode
- = PullWithHistory
- | PullWithoutHistory
data FindScope
- = FindLocal Path'
- | FindLocalAndDeps Path'
- | FindGlobal
data ShowDefinitionScope
- = ShowDefinitionLocal
- | ShowDefinitionGlobal
type IsGlobal = Bool
data DeleteTarget
- = DeleteTarget'TermOrType
- | DeleteTarget'Term
- | DeleteTarget'Type
type ErrorMessageOrName = ErrorMessageOrValue (HashQualified Name)
type RawQuery = String

Documentation

data Input Source #

Constructors

AliasManyI [HashQualified (Split Path)] Path'
AliasTermI !Bool (HashOrHQ (Split Path')) (Split Path')
AliasTypeI !Bool (HashOrHQ (Split Path')) (Split Path')
ApiI
AuthLoginI
BranchI BranchSourceI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
BranchRenameI ProjectBranchName
BranchSquashI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName) (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
BranchesI (Maybe ProjectName)
CancelI
ClearI
CloneI ProjectAndBranchNames (Maybe ProjectAndBranchNames)
ConfigSetI ConfigKey Text
ConfigGetI ConfigKey
CreateAuthorI NameSegment Text
CreateMessage (Pretty ColorText)
DebugClearWatchI
DebugDependentsGraph
DebugDoctorI
DebugDumpNamespaceSimpleI
DebugDumpNamespacesI
DebugFormatI
DebugFuzzyOptionsI String [String]
DebugLSPFoldRangesI
DebugLSPNameCompletionI Text
DebugNameDiffI ShortCausalHash ShortCausalHash
DebugNumberedArgsI
DebugSynhashTermI !Name
DebugTabCompletionI [String]
DebugTermI Bool (HashQualified Name)
DebugTypeI (HashQualified Name)
DebugTypecheckedUnisonFileI
DeleteBranchI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
DeleteI !Bool !DeleteTarget ![HashQualified Name]
DeleteNamespaceI Insistence (Maybe (Split Relative))
DeleteProjectI ProjectName
DiffBranchI !DiffBranchArg !DiffBranchArg
DiffNamespaceI BranchId2 BranchId2
DisplayI OutputLocation (NonEmpty (HashQualified Name))
DocToMarkdownI Name
DocsI (NonEmpty Name)
DocsToHtmlI BranchRelativePath FilePath
EditDependentsI !(HashQualified Name)
EditNamespaceI [Path']
ExecuteI ProfileSpec (HashQualified Name) [String]
FindI Bool FindScope [String]
FindShallowI Path'
ForkLocalBranchI (Either ShortCausalHash BranchRelativePath) BranchRelativePath
HistoryI (Maybe Int) (Maybe Int) BranchId
HistoryCommentI (Maybe BranchId2)
IOTestAllI
IOTestI (HashQualified Name)
LibInstallI !Bool !(ProjectAndBranch ProjectName (Maybe ProjectBranchNameOrLatestRelease))
LibInstallLocalI !(ProjectAndBranch ProjectName ProjectBranchName) (Maybe NameSegment)
ListDependenciesI (HashQualified Name)
ListDependentsI (HashQualified Name)
LoadI (Maybe FilePath)
MakeStandaloneI String (HashQualified Name)
MergeBuiltinsI (Maybe Relative)
MergeCommitI
MergeI (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
MergeIOBuiltinsI (Maybe Relative)
MoveAllI Path' Path'
MoveBranchI Path' Path'
MoveTermI (HashQualified (Split Path')) (Split Path')
MoveTypeI (HashQualified (Split Path')) (Split Path')
NamesI IsGlobal [(RawQuery, ErrorMessageOrName)]
NamespaceDependenciesI (Maybe Path')
PopBranchI
ProjectCreateI Bool (Maybe ProjectName)
ProjectRenameI ProjectName
ProjectSwitchI ProjectAndBranchNames
ProjectsI
PullI !PullSourceTarget !PullMode
PushRemoteBranchI PushRemoteBranchInput
QuitI
ReleaseDraftI Semver
ResetI BranchId2 (Maybe UnresolvedProjectBranch)
SaveExecuteResultI Name
ShowDefinitionI OutputLocation ShowDefinitionScope (NonEmpty (HashQualified Name))
ShowGlobalReflogI
ShowProjectBranchReflogI (Maybe (ProjectAndBranch (Maybe ProjectName) ProjectBranchName))
ShowProjectReflogI (Maybe ProjectName)
ShowRootReflogI
StructuredFindI FindScope (HashQualified Name)
StructuredFindReplaceI (HashQualified Name)
SwitchBranchI Path'
SyncFromCodebaseI FilePath (ProjectAndBranch ProjectName ProjectBranchName) UnresolvedProjectBranch	Sync from a codebase project branch to this codebase's project branch
SyncFromFileI FilePath UnresolvedProjectBranch
SyncToFileI FilePath (ProjectAndBranch (Maybe ProjectName) (Maybe ProjectBranchName))
TestI TestInput
TextFindI Bool [String]
TodoI
UiI Path'
UndoI
UpI
Update2I
UpdateBuiltinsI
UpgradeCommitI
UpgradeI ![NameSegment]
VersionI

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 DiffBranchArg Source #

Constructors

DiffBranchArg'Branch !(ProjectAndBranch (Maybe ProjectName) ProjectBranchName)
DiffBranchArg'Hash !ShortCausalHash

Instances

Instances details

Show DiffBranchArg Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods showsPrec :: Int -> DiffBranchArg -> ShowS # show :: DiffBranchArg -> String # showList :: [DiffBranchArg] -> ShowS #
Eq DiffBranchArg Source #
Instance details Defined in Unison.Codebase.Editor.Input Methods (==) :: DiffBranchArg -> DiffBranchArg -> Bool # (/=) :: DiffBranchArg -> DiffBranchArg -> 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 :: Relative 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 #

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 #

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 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 DeleteTarget Source #

Constructors

DeleteTarget'TermOrType
DeleteTarget'Term
DeleteTarget'Type

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 #

Type aliases

type ErrorMessageOrName = ErrorMessageOrValue (HashQualified Name) Source #

type RawQuery = String Source #