semantic/src/Category.hs

{-# LANGUAGE FlexibleInstances #-}
module Category where

import Term
import Control.Comonad.Cofree
import Data.Set

-- | A standardized category of AST node. Used to determine the semantics for
-- | semantic diffing and define comparability of nodes.
data Category =
  -- | An operator with 2 operands.
  BinaryOperator
  -- | A literal key-value data structure.
  | DictionaryLiteral
  -- | A pair, e.g. of a key & value
  | Pair
  -- | A call to a function.
  | FunctionCall
  -- | A string literal.
  | StringLiteral
  -- | An integer literal.
  | IntegerLiteral
  -- | A symbol literal.
  | SymbolLiteral
  -- | A non-standard category, which can be used for comparability.
  | Other String
  deriving (Eq, Show, Ord)

-- | The class of types that have categories.
class Categorizable a where
  categories :: a -> Set Category

instance Categorizable annotation => Categorizable (Term a annotation) where
  categories (annotation :< _) = categories annotation

-- | Test whether the categories from the categorizables intersect.
comparable :: Categorizable a => a -> a -> Bool
comparable a b = catsA == catsB || (not . Data.Set.null $ intersection catsA catsB)
  where
    catsA = categories a
    catsB = categories b