( key: K, value: V, description: string )
| 7617 | {} |
| 7618 | |
| 7619 | const mapFromSelf_ = <K extends Schema.Any, V extends Schema.Any>( |
| 7620 | key: K, |
| 7621 | value: V, |
| 7622 | description: string |
| 7623 | ): ReadonlyMapFromSelf<K, V> => |
| 7624 | declare( |
| 7625 | [key, value], |
| 7626 | { |
| 7627 | decode: (Key, Value) => readonlyMapParse(ParseResult.decodeUnknown(Array$(Tuple(Key, Value)))), |
| 7628 | encode: (Key, Value) => readonlyMapParse(ParseResult.encodeUnknown(Array$(Tuple(Key, Value)))) |
| 7629 | }, |
| 7630 | { |
| 7631 | typeConstructor: { _tag: "ReadonlyMap" }, |
| 7632 | description, |
| 7633 | pretty: readonlyMapPretty, |
| 7634 | arbitrary: mapArbitrary, |
| 7635 | equivalence: readonlyMapEquivalence |
| 7636 | } |
| 7637 | ) |
| 7638 | |
| 7639 | /** |
| 7640 | * @category ReadonlyMap |
no test coverage detected