Tests
All checks were successful
Lint / lint (push) Successful in 11s

This commit is contained in:
Julien Valverdé
2024-06-27 13:10:16 +02:00
parent 1a89f8277e
commit 7a456129a1

View File

@@ -1,15 +1,13 @@
import { Schema as S } from "@effect/schema" import { Schema as S } from "@effect/schema"
import { pipe } from "effect"
import { reaction, runInAction } from "mobx" import { reaction, runInAction } from "mobx"
import { MobXObservable, MutableTaggedClass } from "./class" import { MobXObservable, MutableTaggedClass } from "./class"
class User extends pipe( class User extends MutableTaggedClass<User>()("User", {
MutableTaggedClass<User>()("User", { id: S.BigIntFromSelf,
id: S.BigIntFromSelf, role: S.Union(S.Literal("BasicUser"), S.Literal("Admin")),
role: S.Union(S.Literal("BasicUser"), S.Literal("Admin")), }).pipe(
}), MobXObservable
MobXObservable,
) {} ) {}
const user1 = new User({ id: -1n, role: "BasicUser" }) const user1 = new User({ id: -1n, role: "BasicUser" })