Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.Editor.Output.BranchDiff

Documentation

data BranchDiffOutput v a Source #

Constructors

BranchDiffOutput

Fields

updatedTypes :: [UpdateTypeDisplay v a]
updatedTerms :: [UpdateTermDisplay v a]
newTypeConflicts :: [UpdateTypeDisplay v a]
newTermConflicts :: [UpdateTermDisplay v a]
resolvedTypeConflicts :: [UpdateTypeDisplay v a]
resolvedTermConflicts :: [UpdateTermDisplay v a]
updatedPatches :: [PatchDisplay]
addedTypes :: [AddedTypeDisplay v a]
addedTerms :: [AddedTermDisplay v a]
addedPatches :: [PatchDisplay]
removedTypes :: [RemovedTypeDisplay v a]
removedTerms :: [RemovedTermDisplay v a]
removedPatches :: [PatchDisplay]
renamedTypes :: [RenameTypeDisplay v a]
renamedTerms :: [RenameTermDisplay v a]

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 name :: HashQualified Name ref :: Referent type_ :: Maybe (Type v a)

Instances

Instances details

Generic (TermDisplay v a) Source #
Instance details Defined in Unison.Codebase.Editor.Output.BranchDiff Associated Types type Rep (TermDisplay v a) :: Type -> Type # 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-9ca51USbfnvJ69M3lqQhft" '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 name :: HashQualified Name ref :: Reference decl :: Maybe (DeclOrBuiltin v a)

Instances

Instances details

Generic (TypeDisplay v a) Source #
Instance details Defined in Unison.Codebase.Editor.Output.BranchDiff Associated Types type Rep (TypeDisplay v a) :: Type -> Type # 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-9ca51USbfnvJ69M3lqQhft" '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 old :: Maybe [SimpleTermDisplay v a] new :: [TermDisplay v a]

Instances

Instances details

Generic (UpdateTermDisplay v a) Source #
Instance details Defined in Unison.Codebase.Editor.Output.BranchDiff Associated Types type Rep (UpdateTermDisplay v a) :: Type -> Type # 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-9ca51USbfnvJ69M3lqQhft" '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 old :: Maybe [SimpleTypeDisplay v a] new :: [TypeDisplay v a]

Instances

Instances details

Generic (UpdateTypeDisplay v a) Source #
Instance details Defined in Unison.Codebase.Editor.Output.BranchDiff Associated Types type Rep (UpdateTypeDisplay v a) :: Type -> Type # 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-9ca51USbfnvJ69M3lqQhft" '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 #

type PatchDisplay = (Name, PatchDiff) Source #

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