From 993e2c10389dca42bbb066e4d9acb72d3806f56f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Sun, 24 Aug 2025 13:48:09 +0200
Subject: [PATCH] Form type

---
 packages/effect-fc/src/types/Form.ts | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 packages/effect-fc/src/types/Form.ts

diff --git a/packages/effect-fc/src/types/Form.ts b/packages/effect-fc/src/types/Form.ts
new file mode 100644
index 0000000..aa40de1
--- /dev/null
+++ b/packages/effect-fc/src/types/Form.ts
@@ -0,0 +1,15 @@
+import { Effectable, Schema, type Pipeable } from "effect"
+
+
+export const TypeId: unique symbol = Symbol.for("effect-fc/types/Form")
+export type TypeId = typeof TypeId
+
+export interface Form<in out A, in out I = A, out R = never>
+extends Pipeable.Pipeable {
+    readonly schema: Schema.Schema<A, I, R>
+}
+
+class FormImpl<in out A, in out I, out R>
+extends Effectable.Class<> implements Form<> {
+    readonly [TypeId]: TypeId = TypeId
+}