Implement type parameterization in XS

[gitmo/Mouse.git] / mouse.h

diff --git a/mouse.h b/mouse.h
index fdc50f4..daf740f 100644 (file)
--- a/mouse.h
+++ b/mouse.h
@@ -43,6 +43,8 @@ AV* mouse_mro_get_linear_isa(pTHX_ HV* const stash);
 
 extern SV* mouse_package;
 extern SV* mouse_namespace;
+extern SV* mouse_methods;
+extern SV* mouse_name;
 
 void
 mouse_throw_error(SV* const metaobject, SV* const data /* not used */, const char* const fmt, ...)
@@ -55,8 +57,7 @@ mouse_throw_error(SV* const metaobject, SV* const data /* not used */, const cha
 #define is_class_loaded(sv) mouse_is_class_loaded(aTHX_ sv)
 bool mouse_is_class_loaded(pTHX_ SV*);
 
-#define is_instance_of(sv, klass) mouse_is_instance_of(aTHX_ sv, klass)
-bool mouse_is_instance_of(pTHX_ SV* const sv, SV* const klass);
+#define is_an_instance_of(klass, sv) mouse_is_an_instance_of(aTHX_ gv_stashpvs(klass, GV_ADD), (sv))
 
 #define IsObject(sv) (SvROK(sv) && SvOBJECT(SvRV(sv)))
 
@@ -125,6 +126,7 @@ XS(mouse_xs_reader);
 XS(mouse_xs_writer);
 
 typedef enum mouse_tc{
+     MOUSE_TC_MAYBE,
      MOUSE_TC_ANY,
      MOUSE_TC_ITEM,
      MOUSE_TC_UNDEF,
@@ -151,7 +153,8 @@ typedef enum mouse_tc{
 
 /* type constraints */
 
-int mouse_tc_check(pTHX_ mouse_tc const tc, SV* sv);
+int mouse_tc_check(pTHX_ SV* const tc, SV* const sv);
+int mouse_builtin_tc_check(pTHX_ mouse_tc const tc, SV* const sv);
 
 int mouse_tc_Any       (pTHX_ SV* const sv);
 int mouse_tc_Bool      (pTHX_ SV* const sv);
@@ -173,6 +176,13 @@ int mouse_tc_GlobRef   (pTHX_ SV* const sv);
 int mouse_tc_FileHandle(pTHX_ SV* const sv);
 int mouse_tc_Object    (pTHX_ SV* const sv);
 
+CV* mouse_generate_isa_predicate_for(pTHX_ SV* const klass, const char* const predicate_name);
+
+int mouse_is_an_instance_of(pTHX_ HV* const stash, SV* const instance);
+
+XS(XS_Mouse_parameterized_check);
+
+XS(XS_Mouse__Util__TypeConstraints_Item);
 
 #endif /* !MOUSE_H */