Module public_course 

The read_public_course tool.

Structs

ReadPublicCourse

Reads another course’s published material as reference, as the course site shows it to the caller.

Reading 🔒

The course being read, and who reads it.

Target 🔒

The course and page a call names.

Constants

REFERENCE_NOTICE 🔒

Functions

add_shown_tasks 🔒

Adds to exercises_by_id the tasks the course site shows the caller before answering, with their instructions and public specs, for the exercises ids.

block_size 🔒

A block’s size counts the exercises it brings along.

blocks_exercise_ids 🔒

exercise_block_ids 🔒

Ids of the exercise blocks in block and its inner blocks, in page order.

invalid 🔒

listed_page 🔒

normalize_path 🔒

path in the stored form of page paths: no query or fragment, a leading / and no trailing one. None when nothing is left, so an empty path reads the outline, not the front page.

open_public_course 🔒

The course course_slug names, if the course site lets the caller open it.

outline 🔒

outline_chapter 🔒

page 🔒

parse_target 🔒

take_within 🔒

Takes items while they fit budget_bytes, at least one, measuring none past the last taken; true when items were left over.