unison-cli-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Codebase.Editor.StructuredArgument

Synopsis

Documentation

data StructuredArgument Source #

The types that can be referenced by a numeric command argument.

Constructors

AbsolutePath Absolute 
Name Name 
HashQualified (HashQualified Name) 
Project ProjectName 
ProjectBranch (ProjectAndBranch (Maybe ProjectName) ProjectBranchName) 
Namespace CausalHash 
NameWithBranchPrefix AbsBranchId Name 
HashQualifiedWithBranchPrefix AbsBranchId (HashQualified Name) 
ShallowListEntry Path' (ShallowListEntry Symbol Ann) 
SearchResult (Maybe Path') SearchResult 

Instances

Instances details
Generic StructuredArgument Source # 
Instance details

Defined in Unison.Codebase.Editor.StructuredArgument

Associated Types

type Rep StructuredArgument :: Type -> Type #

Methods

from :: StructuredArgument -> Rep StructuredArgument x #

to :: Rep StructuredArgument x -> StructuredArgument #

Show StructuredArgument Source # 
Instance details

Defined in Unison.Codebase.Editor.StructuredArgument

Methods

showsPrec :: Int -> StructuredArgument -> ShowS #

show :: StructuredArgument -> String #

showList :: [StructuredArgument] -> ShowS #

Eq StructuredArgument Source # 
Instance details

Defined in Unison.Codebase.Editor.StructuredArgument

Methods

(==) :: StructuredArgument -> StructuredArgument -> Bool #

(/=) :: StructuredArgument -> StructuredArgument -> Bool #

type Rep StructuredArgument Source # 
Instance details

Defined in Unison.Codebase.Editor.StructuredArgument

type Rep StructuredArgument = D1 ('MetaData "StructuredArgument" "Unison.Codebase.Editor.StructuredArgument" "unison-cli-0.0.0-B9QON8ivVlfDVnczaEfnsV" 'False) (((C1 ('MetaCons "AbsolutePath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Absolute)) :+: C1 ('MetaCons "Name" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: (C1 ('MetaCons "HashQualified" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name))) :+: (C1 ('MetaCons "Project" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName)) :+: C1 ('MetaCons "ProjectBranch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)))))) :+: ((C1 ('MetaCons "Namespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CausalHash)) :+: C1 ('MetaCons "NameWithBranchPrefix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AbsBranchId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: (C1 ('MetaCons "HashQualifiedWithBranchPrefix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AbsBranchId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name))) :+: (C1 ('MetaCons "ShallowListEntry" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path') :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShallowListEntry Symbol Ann))) :+: C1 ('MetaCons "SearchResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Path')) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SearchResult))))))