unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Codebase.Patch

Synopsis

Documentation

data Patch Source #

Constructors

Patch 

Fields

Instances

Instances details
Monoid Patch Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

mempty :: Patch #

mappend :: Patch -> Patch -> Patch #

mconcat :: [Patch] -> Patch #

Semigroup Patch Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

(<>) :: Patch -> Patch -> Patch #

sconcat :: NonEmpty Patch -> Patch #

stimes :: Integral b => b -> Patch -> Patch #

Show Patch Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

showsPrec :: Int -> Patch -> ShowS #

show :: Patch -> String #

showList :: [Patch] -> ShowS #

Eq Patch Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

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

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

Ord Patch Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

compare :: Patch -> Patch -> Ordering #

(<) :: Patch -> Patch -> Bool #

(<=) :: Patch -> Patch -> Bool #

(>) :: Patch -> Patch -> Bool #

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

max :: Patch -> Patch -> Patch #

min :: Patch -> Patch -> Patch #

data PatchDiff Source #

Constructors

PatchDiff 

Fields

Instances

Instances details
Monoid PatchDiff Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

mempty :: PatchDiff #

mappend :: PatchDiff -> PatchDiff -> PatchDiff #

mconcat :: [PatchDiff] -> PatchDiff #

Semigroup PatchDiff Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

(<>) :: PatchDiff -> PatchDiff -> PatchDiff #

sconcat :: NonEmpty PatchDiff -> PatchDiff #

stimes :: Integral b => b -> PatchDiff -> PatchDiff #

Show PatchDiff Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

showsPrec :: Int -> PatchDiff -> ShowS #

show :: PatchDiff -> String #

showList :: [PatchDiff] -> ShowS #

Eq PatchDiff Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

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

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

Ord PatchDiff Source # 
Instance details

Defined in Unison.Codebase.Patch

Methods

compare :: PatchDiff -> PatchDiff -> Ordering #

(<) :: PatchDiff -> PatchDiff -> Bool #

(<=) :: PatchDiff -> PatchDiff -> Bool #

(>) :: PatchDiff -> PatchDiff -> Bool #

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

max :: PatchDiff -> PatchDiff -> PatchDiff #

min :: PatchDiff -> PatchDiff -> PatchDiff #

typeEdits :: Lens' Patch (Relation Reference TypeEdit) Source #

termEdits :: Lens' Patch (Relation Reference TermEdit) Source #

removedTypeEdits :: Lens' PatchDiff (Relation Reference TypeEdit) Source #

removedTermEdits :: Lens' PatchDiff (Relation Reference TermEdit) Source #

addedTypeEdits :: Lens' PatchDiff (Relation Reference TypeEdit) Source #

addedTermEdits :: Lens' PatchDiff (Relation Reference TermEdit) Source #

diff :: Patch -> Patch -> PatchDiff Source #

labeledDependencies :: Patch -> Set LabeledDependency Source #

empty :: Patch Source #

isEmpty :: Patch -> Bool Source #

allReferences :: Patch -> Set Reference Source #

allReferenceTargets :: Patch -> Set Reference Source #

Returns the set of references which are the target of an arrow in the patch

updateTerm :: (Reference -> Reference -> Typing) -> Reference -> TermEdit -> Patch -> Patch Source #

updateType :: Reference -> TypeEdit -> Patch -> Patch Source #

conflicts :: Patch -> Patch Source #