| 6879 | * @since 3.10.0 |
| 6880 | */ |
| 6881 | export class DateTimeUtcFromSelf extends declare( |
| 6882 | (u) => dateTime.isDateTime(u) && dateTime.isUtc(u), |
| 6883 | { |
| 6884 | typeConstructor: { _tag: "effect/DateTime.Utc" }, |
| 6885 | identifier: "DateTimeUtcFromSelf", |
| 6886 | description: "a DateTime.Utc instance", |
| 6887 | pretty: (): pretty_.Pretty<dateTime.Utc> => (dateTime) => dateTime.toString(), |
| 6888 | arbitrary: (): LazyArbitrary<dateTime.Utc> => (fc) => |
| 6889 | fc.date({ noInvalidDate: true }).map((date) => dateTime.unsafeFromDate(date)), |
| 6890 | equivalence: () => dateTime.Equivalence |
| 6891 | } |
| 6892 | ) {} |
| 6893 | |
| 6894 | const decodeDateTimeUtc = <A extends dateTime.DateTime.Input>(input: A, ast: AST.AST) => |
| 6895 | ParseResult.try({ |