0.5.91

10.1 Specification Language

 #lang ricoeur/tei/spec-lang package: ricoeur-tei-utils

A vital purpose of this library is to specify the precise structure of Digital Ricœur’s TEI XML documents. This specifcation operates on several different levels, including:

To ensure consistency, all of these operationalizations of the specification are defined together in the language #lang ricoeur/tei/spec-lang.

    10.1.1 Language Objectives

    10.1.2 Module Structure

      10.1.2.1 The spec-name-declaration

      10.1.2.2 The spec-module-body Forms

      10.1.2.3 Runtime Submodules

    10.1.3 Defining TEI Elements

      10.1.3.1 Struct Type Definition Overview

      10.1.3.2 Field Definition Forms

      10.1.3.3 Supporting Standard Interfaces

      10.1.3.4 Implementing Additional Forms

    10.1.4 Linking & Invoking

      10.1.4.1 Additional Helper Functions

    10.1.5 Documentation Phase

      10.1.5.1 Using the Documentation