doc/hacking.texi (Nominal Typing)[isPositiveInteger]: Fix arg name
parent
2771cf2a71
commit
fa80c79650
|
@ -446,7 +446,7 @@ This can be done using
|
||||||
@verbatim
|
@verbatim
|
||||||
type PositiveInteger = NominalType<number, 'PositiveInteger'>;
|
type PositiveInteger = NominalType<number, 'PositiveInteger'>;
|
||||||
|
|
||||||
const isPositiveInteger = ( x: number ): n is PositiveInteger => n > 0;
|
const isPositiveInteger = ( n: number ): n is PositiveInteger => n > 0;
|
||||||
|
|
||||||
const lookupIndex<T>( arr: T[], i: PositiveInteger ): T => arr[ i ];
|
const lookupIndex<T>( arr: T[], i: PositiveInteger ): T => arr[ i ];
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue