unison-cli-0.0.0
Safe HaskellNone
LanguageHaskell2010

Unison.Codebase.Editor.Output.BranchDiff

Documentation

data BranchDiffOutput v a Source #

Constructors

BranchDiffOutput 

Fields

Instances

Instances details
(Show a, Show v) => Show (BranchDiffOutput v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

showsPrec :: Int -> BranchDiffOutput v a -> ShowS #

show :: BranchDiffOutput v a -> String #

showList :: [BranchDiffOutput v a] -> ShowS #

isEmpty :: BranchDiffOutput v a -> Bool Source #

data TermDisplay v a Source #

Constructors

TermDisplay 

Fields

Instances

Instances details
Generic (TermDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Associated Types

type Rep (TermDisplay v a) 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

type Rep (TermDisplay v a) = D1 ('MetaData "TermDisplay" "Unison.Codebase.Editor.Output.BranchDiff" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "TermDisplay" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: (S1 ('MetaSel ('Just "ref") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Referent) :*: S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Type v a))))))

Methods

from :: TermDisplay v a -> Rep (TermDisplay v a) x #

to :: Rep (TermDisplay v a) x -> TermDisplay v a #

Show v => Show (TermDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

showsPrec :: Int -> TermDisplay v a -> ShowS #

show :: TermDisplay v a -> String #

showList :: [TermDisplay v a] -> ShowS #

Eq (TermDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

(==) :: TermDisplay v a -> TermDisplay v a -> Bool #

(/=) :: TermDisplay v a -> TermDisplay v a -> Bool #

Ord (TermDisplay v a) Source #

Compare term displays on name.

Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

compare :: TermDisplay v a -> TermDisplay v a -> Ordering #

(<) :: TermDisplay v a -> TermDisplay v a -> Bool #

(<=) :: TermDisplay v a -> TermDisplay v a -> Bool #

(>) :: TermDisplay v a -> TermDisplay v a -> Bool #

(>=) :: TermDisplay v a -> TermDisplay v a -> Bool #

max :: TermDisplay v a -> TermDisplay v a -> TermDisplay v a #

min :: TermDisplay v a -> TermDisplay v a -> TermDisplay v a #

type Rep (TermDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

type Rep (TermDisplay v a) = D1 ('MetaData "TermDisplay" "Unison.Codebase.Editor.Output.BranchDiff" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "TermDisplay" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: (S1 ('MetaSel ('Just "ref") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Referent) :*: S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Type v a))))))

data TypeDisplay v a Source #

Constructors

TypeDisplay 

Fields

Instances

Instances details
Generic (TypeDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Associated Types

type Rep (TypeDisplay v a) 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

type Rep (TypeDisplay v a) = D1 ('MetaData "TypeDisplay" "Unison.Codebase.Editor.Output.BranchDiff" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "TypeDisplay" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: (S1 ('MetaSel ('Just "ref") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Reference) :*: S1 ('MetaSel ('Just "decl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (DeclOrBuiltin v a))))))

Methods

from :: TypeDisplay v a -> Rep (TypeDisplay v a) x #

to :: Rep (TypeDisplay v a) x -> TypeDisplay v a #

(Show a, Show v) => Show (TypeDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

showsPrec :: Int -> TypeDisplay v a -> ShowS #

show :: TypeDisplay v a -> String #

showList :: [TypeDisplay v a] -> ShowS #

Eq (TypeDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

(==) :: TypeDisplay v a -> TypeDisplay v a -> Bool #

(/=) :: TypeDisplay v a -> TypeDisplay v a -> Bool #

Ord (TypeDisplay v a) Source #

Compare type displays on name.

Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

compare :: TypeDisplay v a -> TypeDisplay v a -> Ordering #

(<) :: TypeDisplay v a -> TypeDisplay v a -> Bool #

(<=) :: TypeDisplay v a -> TypeDisplay v a -> Bool #

(>) :: TypeDisplay v a -> TypeDisplay v a -> Bool #

(>=) :: TypeDisplay v a -> TypeDisplay v a -> Bool #

max :: TypeDisplay v a -> TypeDisplay v a -> TypeDisplay v a #

min :: TypeDisplay v a -> TypeDisplay v a -> TypeDisplay v a #

type Rep (TypeDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

type Rep (TypeDisplay v a) = D1 ('MetaData "TypeDisplay" "Unison.Codebase.Editor.Output.BranchDiff" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "TypeDisplay" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: (S1 ('MetaSel ('Just "ref") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Reference) :*: S1 ('MetaSel ('Just "decl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (DeclOrBuiltin v a))))))

type AddedTermDisplay v a = ([HashQualified Name], Referent, Maybe (Type v a)) Source #

type AddedTypeDisplay v a = ([HashQualified Name], Reference, Maybe (DeclOrBuiltin v a)) Source #

type RemovedTermDisplay v a = ([HashQualified Name], Referent, Maybe (Type v a)) Source #

type RemovedTypeDisplay v a = ([HashQualified Name], Reference, Maybe (DeclOrBuiltin v a)) Source #

type SimpleTermDisplay v a = (HashQualified Name, Referent, Maybe (Type v a)) Source #

type SimpleTypeDisplay v a = (HashQualified Name, Reference, Maybe (DeclOrBuiltin v a)) Source #

data UpdateTermDisplay v a Source #

Constructors

UpdateTermDisplay 

Fields

Instances

Instances details
Generic (UpdateTermDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Associated Types

type Rep (UpdateTermDisplay v a) 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

type Rep (UpdateTermDisplay v a) = D1 ('MetaData "UpdateTermDisplay" "Unison.Codebase.Editor.Output.BranchDiff" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "UpdateTermDisplay" 'PrefixI 'True) (S1 ('MetaSel ('Just "old") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SimpleTermDisplay v a])) :*: S1 ('MetaSel ('Just "new") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TermDisplay v a])))

Methods

from :: UpdateTermDisplay v a -> Rep (UpdateTermDisplay v a) x #

to :: Rep (UpdateTermDisplay v a) x -> UpdateTermDisplay v a #

Show v => Show (UpdateTermDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

showsPrec :: Int -> UpdateTermDisplay v a -> ShowS #

show :: UpdateTermDisplay v a -> String #

showList :: [UpdateTermDisplay v a] -> ShowS #

Eq (UpdateTermDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

(==) :: UpdateTermDisplay v a -> UpdateTermDisplay v a -> Bool #

(/=) :: UpdateTermDisplay v a -> UpdateTermDisplay v a -> Bool #

Ord (UpdateTermDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

compare :: UpdateTermDisplay v a -> UpdateTermDisplay v a -> Ordering #

(<) :: UpdateTermDisplay v a -> UpdateTermDisplay v a -> Bool #

(<=) :: UpdateTermDisplay v a -> UpdateTermDisplay v a -> Bool #

(>) :: UpdateTermDisplay v a -> UpdateTermDisplay v a -> Bool #

(>=) :: UpdateTermDisplay v a -> UpdateTermDisplay v a -> Bool #

max :: UpdateTermDisplay v a -> UpdateTermDisplay v a -> UpdateTermDisplay v a #

min :: UpdateTermDisplay v a -> UpdateTermDisplay v a -> UpdateTermDisplay v a #

type Rep (UpdateTermDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

type Rep (UpdateTermDisplay v a) = D1 ('MetaData "UpdateTermDisplay" "Unison.Codebase.Editor.Output.BranchDiff" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "UpdateTermDisplay" 'PrefixI 'True) (S1 ('MetaSel ('Just "old") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SimpleTermDisplay v a])) :*: S1 ('MetaSel ('Just "new") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TermDisplay v a])))

data UpdateTypeDisplay v a Source #

Constructors

UpdateTypeDisplay 

Fields

Instances

Instances details
Generic (UpdateTypeDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Associated Types

type Rep (UpdateTypeDisplay v a) 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

type Rep (UpdateTypeDisplay v a) = D1 ('MetaData "UpdateTypeDisplay" "Unison.Codebase.Editor.Output.BranchDiff" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "UpdateTypeDisplay" 'PrefixI 'True) (S1 ('MetaSel ('Just "old") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SimpleTypeDisplay v a])) :*: S1 ('MetaSel ('Just "new") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeDisplay v a])))

Methods

from :: UpdateTypeDisplay v a -> Rep (UpdateTypeDisplay v a) x #

to :: Rep (UpdateTypeDisplay v a) x -> UpdateTypeDisplay v a #

(Show a, Show v) => Show (UpdateTypeDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

showsPrec :: Int -> UpdateTypeDisplay v a -> ShowS #

show :: UpdateTypeDisplay v a -> String #

showList :: [UpdateTypeDisplay v a] -> ShowS #

Eq (UpdateTypeDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

(==) :: UpdateTypeDisplay v a -> UpdateTypeDisplay v a -> Bool #

(/=) :: UpdateTypeDisplay v a -> UpdateTypeDisplay v a -> Bool #

Ord (UpdateTypeDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

Methods

compare :: UpdateTypeDisplay v a -> UpdateTypeDisplay v a -> Ordering #

(<) :: UpdateTypeDisplay v a -> UpdateTypeDisplay v a -> Bool #

(<=) :: UpdateTypeDisplay v a -> UpdateTypeDisplay v a -> Bool #

(>) :: UpdateTypeDisplay v a -> UpdateTypeDisplay v a -> Bool #

(>=) :: UpdateTypeDisplay v a -> UpdateTypeDisplay v a -> Bool #

max :: UpdateTypeDisplay v a -> UpdateTypeDisplay v a -> UpdateTypeDisplay v a #

min :: UpdateTypeDisplay v a -> UpdateTypeDisplay v a -> UpdateTypeDisplay v a #

type Rep (UpdateTypeDisplay v a) Source # 
Instance details

Defined in Unison.Codebase.Editor.Output.BranchDiff

type Rep (UpdateTypeDisplay v a) = D1 ('MetaData "UpdateTypeDisplay" "Unison.Codebase.Editor.Output.BranchDiff" "unison-cli-0.0.0-LhzFLU2HGMJ2BPpNqy6RQx" 'False) (C1 ('MetaCons "UpdateTypeDisplay" 'PrefixI 'True) (S1 ('MetaSel ('Just "old") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SimpleTypeDisplay v a])) :*: S1 ('MetaSel ('Just "new") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeDisplay v a])))

type RenameTermDisplay v a = (Referent, Maybe (Type v a), Set (HashQualified Name), Set (HashQualified Name)) Source #

type RenameTypeDisplay v a = (Reference, Maybe (DeclOrBuiltin v a), Set (HashQualified Name), Set (HashQualified Name)) Source #

toOutput :: Monad m => (Referent -> m (Maybe (Type v a))) -> (Reference -> m (Maybe (DeclOrBuiltin v a))) -> Int -> Names -> Names -> BranchDiff -> m (BranchDiffOutput v a) Source #