website/lib/DB/IdrisPost.rakumod

19 lines
336 B
Raku
Raw Normal View History

2025-01-22 20:53:52 -05:00
use v6.e.PREVIEW;
use Pandoc;
use JSON::Class:auth<zef:vrurg>;
use DB::Post;
#| A literate, markdown, idris post
unit class IdrisPost does Post is json;
#| Marker for disambiguation between post types in json representation, the
#| cheaty way
has Bool:D $.idris = True;
method title(--> Str:D) {
markdown-title($!source)
}