signature Summary
  ( Summary
  , summarize
  , mergeSummary
  ) where

import Data.Data
import Data.Default
import Data.Hashable
import Data.Text

import Relative.Delta

import Dyck

data Summary
instance Data Summary
instance Default Summary
instance Eq Summary
instance Hashable Summary
instance Ord Summary
instance Read Summary
instance Show Summary

summarize :: Text -> Dyck -> Summary
mergeSummary :: Int -> Delta -> Summary -> Int -> Delta -> Summary -> Summary