| 6992 | * @since 3.10.0 |
| 6993 | */ |
| 6994 | export class TimeZoneNamedFromSelf extends declare( |
| 6995 | dateTime.isTimeZoneNamed, |
| 6996 | { |
| 6997 | typeConstructor: { _tag: "effect/DateTime.TimeZone.Named" }, |
| 6998 | identifier: "TimeZoneNamedFromSelf", |
| 6999 | description: "a TimeZone.Named instance", |
| 7000 | pretty: (): pretty_.Pretty<dateTime.TimeZone.Named> => (zone) => zone.toString(), |
| 7001 | arbitrary: timeZoneNamedArbitrary |
| 7002 | } |
| 7003 | ) {} |
| 7004 | |
| 7005 | /** |
| 7006 | * Defines a schema that attempts to convert a `string` to a `TimeZone.Named` instance using the `DateTime.zoneUnsafeMakeNamed` constructor. |