Bump version requirement, use new reify APIs

Author: fredemmott

.travis.yml

@@ -2,7 +2,7 @@ sudo: required
 language: generic
 services: docker
 env:
-- HHVM_VERSION=4.16-latest
+- HHVM_VERSION=4.17-latest
 - HHVM_VERSION=latest
 - HHVM_VERSION=nightly
 install:

README.md

@@ -3,16 +3,16 @@ TypeAssert [![Build Status](https://travis-ci.org/hhvm/type-assert.svg?branch=ma
 
 Hack library for converting untyped data to typed data.
 
-Warning for `TypeAssert::matches_type_structure()`
+Warning for `TypeAssert\matches_type_structure()`
 --------------------------------------------------
 
 `TypeStructure<T>`, `type_structure()`, and `ReflectionTypeAlias::getTypeStructures()`
 are experimental features of HHVM, and not supported by Facebook or the HHVM team.
 This means that `matches_type_structure()` may need to be removed in a future release
 without warning.
 
-`matches_type_structure()` is based on these APIs as there is not
-currently a viable alternative.
+We strongly recommend moving to `TypeAssert\matches<T>()` and
+`TypeCoerce\match<T>()` instead.
 
 Installation
 ------------
@@ -50,6 +50,7 @@ These include:
  - `not_null<T>(?T): T`
  - `instance_of<T>(classname<T>, mixed): T`
  - `classname_of<T>(classname<T>, mixed): classname<T>`
+ - `matches<T>(mixed): T`
  - `matches_type_structure<T>(TypeStructure<T>, mixed): T`
 
 Coercion
@@ -65,6 +66,7 @@ similar set of functions:
  - `resource(mixed): resource`
  - `num(mixed): num`
  - `arraykey(mixed): arraykey`
+ - `match<T>(mixed): T`
  - `match_type_structure<T>(TypeStructure<T>, mixed): T`
 
 These will do 'safe' transformations, such as int-ish strings to int, ints to

composer.json

@@ -4,7 +4,7 @@
   "license": "MIT",
   "keywords": ["hack", "TypeAssert" ],
   "require": {
-    "hhvm": "^4.16",
+    "hhvm": "^4.17",
     "hhvm/hsl": "^4.0"
   },
   "extra": {

src/TypeAssert.hack

@@ -61,7 +61,7 @@ function matches_type_structure<T>(TypeStructure<T> $ts, mixed $value): T {
 
 function matches<reify T>(mixed $value): T {
   return matches_type_structure(
-    \HH\ReifiedGenerics\getTypeStructure<T>(),
+    \HH\ReifiedGenerics\get_type_structure<T>(),
     $value,
   );
 }

src/TypeCoerce.hack

@@ -46,7 +46,7 @@ function match_type_structure<T>(TypeStructure<T> $ts, mixed $value): T {
 
 function match<reify T>(mixed $value): T {
   return match_type_structure(
-    \HH\ReifiedGenerics\getTypeStructure<T>(),
+    \HH\ReifiedGenerics\get_type_structure<T>(),
     $value,
   );
 }