unison-cli-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Codebase.Editor.Input

Synopsis

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) 
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 (HashQualified Name) 
IOTestAllI 
MakeStandaloneI String (HashQualified Name) 
ExecuteSchemeI (HashQualified Name) [String] 
CompileSchemeI Bool Text (HashQualified Name) 
TestI 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 

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

data PushSource Source #

Instances

Instances details
Show PushSource Source # 
Instance details

Defined in Unison.Codebase.Editor.Input

Eq PushSource Source # 
Instance details

Defined in Unison.Codebase.Editor.Input

data TestInput Source #

Constructors

TestInput 

Fields

Instances

Instances details
Show TestInput Source # 
Instance details

Defined in Unison.Codebase.Editor.Input

Eq TestInput Source # 
Instance details

Defined in Unison.Codebase.Editor.Input

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 BranchIdG p Source #

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

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 UnresolvedProjectBranch = ProjectAndBranch (Maybe ProjectName) ProjectBranchName Source #

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

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

Eq Insistence Source # 
Instance details

Defined in Unison.Codebase.Editor.Input

data PullMode Source #

Instances

Instances details
Show PullMode Source # 
Instance details

Defined in Unison.Codebase.Editor.Input

Eq PullMode Source # 
Instance details

Defined in Unison.Codebase.Editor.Input

data FindScope Source #

Instances

Instances details
Show FindScope Source # 
Instance details

Defined in Unison.Codebase.Editor.Input

Eq FindScope Source # 
Instance details

Defined in Unison.Codebase.Editor.Input