Eval.impl

IMPLEMENTATION Eval

-- IMPORTS {{{1

IMPORT Void            ONLY void
       Com             ONLY succeed
       WinCanvasEditor ONLY canvasEditor

       Draw            ONLY draw
       Types           ONLY line <> para
       Layout          ONLY computeLayout

-- GLOBAL FUNCTIONS {{{1

/*
 * Extract title and paragraphs from TinyHTML AST.
 */
DEF eval (fail, _)                 == succeed(<>)
DEF eval (html(title, body), metr) == succeed(evalBody(body, metr))

-- LOCAL FUNCTIONS {{{1

/*
 * Computing content and layout from body.
 */
FUN evalBody : body ** metrics -> line
DEF evalBody (fail, _)             == <>
DEF evalBody (body(content), metr) == computeLayout(content, metr)