Added sealing of functions in traits

demo/src/main.rs

@@ -1,8 +1,6 @@
 use std::marker::PhantomData;
 
-use sealed::sealed;
-
-#[sealed]
+#[sealed::sealed]
 pub trait DroneState {}
 
 pub struct Drone<State>
@@ -15,15 +13,15 @@ where
 }
 
 pub struct Idle;
-#[sealed]
+#[sealed::sealed]
 impl DroneState for Idle {}
 
 pub struct Hovering;
-#[sealed]
+#[sealed::sealed]
 impl DroneState for Hovering {}
 
 pub struct Flying;
-#[sealed]
+#[sealed::sealed]
 impl DroneState for Flying {}
 
 impl Drone<Idle> {

examples/partial.rs

@@ -0,0 +1,63 @@
+use sealed::sealed;
+
+#[sealed(partial)]
+pub trait A {
+    #[seal(callable)]
+    fn has_default(
+        Email(_email): Email,
+        User {
+            name: _name,
+            email: Email(_email2),
+            age: _age,
+        }: User,
+    ) {
+    }
+
+    fn not_sealed();
+}
+
+pub struct Email(String);
+
+pub struct User {
+    name: String,
+    email: Email,
+    age: u8,
+}
+
+pub struct Impl;
+
+#[sealed]
+impl A for Impl {
+    fn not_sealed() {}
+}
+
+#[sealed(partial)]
+pub trait B {
+    #[seal(callable)]
+    fn no_default(_email: Email) {}
+
+    fn hello();
+}
+
+#[sealed]
+impl B for Impl {
+    #[seal(callable)]
+    fn no_default(_email: Email) {}
+
+    fn hello() {}
+}
+
+#[sealed]
+pub trait NoPartial {
+    #[seal(uncallable)]
+    fn has_default() {}
+
+    fn no_default();
+}
+
+#[sealed]
+impl NoPartial for Impl {
+    fn no_default() {}
+}
+
+fn main() {}