Move IdrisPost to its own file

lib/DB.rakumod

@@ -9,17 +9,7 @@ use JSON::Class:auth<zef:vrurg>;
 use DB::Post;
 use DB::BlogMeta;
 use DB::MarkdownPost;
-
+use DB::IdrisPost;
-#| A plain markdown post
-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)
-    }
-}
 
 class Posts is json(:dictionary(:keyof(Int:D), MarkdownPost:D, IdrisPost:D)) {}
 

lib/DB/IdrisPost.rakumod

@@ -0,0 +1,18 @@
+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)
+}