term-rewriting-0.1: src/Data/Rewriting/Context/Type.hs

-- This file is part of the 'term-rewriting' library. It is licensed
-- under an MIT license. See the accompanying 'LICENSE' file for details.
--
-- Authors: Christian Sternagel

module Data.Rewriting.Context.Type (
    Ctxt (..),
) where

import Data.Rewriting.Term (Term(..))

data Ctxt f v
    = Hole                                    -- ^ Hole
    | Ctxt f [Term f v] (Ctxt f v) [Term f v] -- ^ Non-empty context

    -- CS: would it make sense to reverse the left term list?
    deriving (Show, Eq, Ord)