semantic/src/Diff.hs

module Diff where

import Control.Comonad.Trans.Cofree
import Control.Monad.Free
import Data.Functor.Both
import Patch
import Syntax
import Term

-- | An annotated syntax in a diff tree.
type Annotated a annotation f = CofreeF (Syntax a) annotation f

annotation :: Annotated a annotation f -> annotation
annotation = headF

syntax :: Annotated a annotation f -> Syntax a f
syntax = tailF

annotate :: annotation -> Syntax a f -> CofreeF (Syntax a) annotation f
annotate = (:<)

-- | An annotated series of patches of terms.
type Diff a annotation = Free (CofreeF (Syntax a) (Both annotation)) (Patch (Term a annotation))

-- | Sum the result of a transform applied to all the patches in the diff.
diffSum :: (Patch (Term a annotation) -> Integer) -> Diff a annotation -> Integer
diffSum patchCost diff = sum $ fmap patchCost diff

-- | The sum of the node count of the diff’s patches.
diffCost :: Diff a annotation -> Integer
diffCost = diffSum $ patchSum termSize