Files

6 lines
192 B
TypeScript

import * as Brand from "effect/Brand"
import * as Schema from "effect/Schema"
type Positive = number & Brand.Brand<"Positive">
const Positive = Brand.check<Positive>(Schema.isGreaterThan(0))