Home
last modified time | relevance | path

Searched defs:combineNewOld (Results 1 – 3 of 3) sorted by relevance

/dports/devel/hs-git-annex/git-annex-8.20210903/Git/
H A DQueue.hs163 combineNewOld (CommandAction _cps1 _sc1 _ps1 fs1) (CommandAction cps2 sc2 ps2 fs2) = function
165 combineNewOld (UpdateIndexAction s1) (UpdateIndexAction s2) = function
167 combineNewOld (InternalAction _r1 fs1) (InternalAction r2 fs2) = function
169 combineNewOld anew _aold = anew function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/
H A DCallGraph.hs150 combineNewOld new old = (new', Fav.unionCompared (new', old')) function
156 combineNewOld new old = Graph.unzip $ Graph.unionWith comb new' old' function
177 -- combineNewOld (CallGraph new) (CallGraph old) = CallGraph -*- CallGraph $ combineNewOld comb o… function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/Graph/AdjacencyMap/
H A DUnidirectional.hs717 combineNewOld' new old = unzip $ unionWith comb new' old' function
741 combineNewOld' new old = unzip $ unionWith comb new' old' function