scrod-0.2026.2.21: source/library/Scrod/Core/Definition.hs

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingVia #-}

module Scrod.Core.Definition where

import qualified GHC.Generics as Generics
import qualified Scrod.Json.ToJson as ToJson
import qualified Scrod.Schema as Schema

-- | An entry in a definition list, pairing a term with its definition.
data Definition doc = MkDefinition
  { term :: doc,
    definition :: doc
  }
  deriving (Eq, Generics.Generic, Ord, Show)
  deriving (ToJson.ToJson, Schema.ToSchema) via Generics.Generically (Definition doc)