1.1.8 • Published 7 months ago

@achrinza/strong-type v1.1.8

Weekly downloads
-
License
MIT
Repository
github
Last release
7 months ago

@achrinza/strong-type

Type checking module for anywhere javascript can run ES6 modules. This includes node, electron and the browsers. Fully isomorphic.

npm @achrinza/strong-type info : See npm trends and stats for @achrinza/strong-type
@achrinza/strong-type npm version supported node version for @achrinza/strong-type total npm downloads for @achrinza/strong-type monthly npm downloads for @achrinza/strong-type npm licence for @achrinza/strong-type

npm install --save @achrinza/strong-type

RIAEvangelist

GitHub info :
@achrinza/strong-type GitHub Release GitHub license @achrinza/strong-type license open issues for @achrinza/strong-type on GitHub

Build Info :
Travis CI (linux,windows & Mac) : Build Status

What does @achrinza/strong-type do?

@achrinza/strong-type allows easy type enforcement for all JS types objects and classes. It is also extensible and provides simple to use type checks for your own custom classes and types should you want to use them.

Example | strict vs. non-strict

Using strict and non-strict modes. By default @achrinza/strong-type runs strict and will throw a verbose err you can handle and use if the check fails, or return true if it passes.

To use non-strict mode, simply pass false to the constructor. In this mode, @achrinza/strong-type will return false instead of throwing when the check fails, and will still return true when it passes.

strict

import Is from '@achrinza/strong-type';

//strict
const is = new Is;
const is = new Is();
const is = new Is(true);

//throws
is.string(1);

non-strict

import Is from '@achrinza/strong-type';

//non-strict
const is = new Is(false);

//returns false
is.string(1);

Example | Basic type checking

@achrinza/strong-type is intended to be very simple to use.

import Is from '@achrinza/strong-type';

//strict
const is = new Is;

function strongTypeRequired(aNumber,aString,anAsyncFunction){
    is.number(aNumber);
    is.string(aString);
    is.asyncFunction(anAsyncFunction);
}


//this will throw because we do not pass an async Function, but rather a normal function.
strongTypeRequired(1,'a',function(){})

browser

Basic Type Checking Example Web

node

Basic Type Checking Example Node

Example | Generator type checking

Generators are notoriously confusing to type check for many devs. This is why we chose to use them as an example.

import Is from '@achrinza/strong-type';

//strict
const is = new Is;

//empty generator for this example's sake
function* myGenFunc(){};
const myGen=myGenFunc();

//we'll show async as well
async function* myAsyncGenFunc(){}
const myAsyncGen=myAsyncGenFunc();

//empty function
function myFunc(){};

//will pass and allow contunue
is.generator(myGen);

/*
will fail because a generatorFunction is a 
GeneratorFunction, not a Generator
*/
try{
    is.generator(myGenFunc);
}catch(err){
    console.log(err);
}

//will pass and allow contunue
is.generatorFunction(myGenFunc);

//will fail because a function is not a generatorFunction
try{
    is.generatorFunction(myFunc);
}catch(err){
    console.log(err);
}

/*
will fail because this is @achrinza/strong-type, a 
generatorFunction is explicitly a GeneratorFunction,
and not a Function
*/
try{
    is.function(myGenFunc);
}catch(err){
    console.log(err);
}

//will fail because a function is not a generatorFunction
try{
    is.generatorFunction(myFunc);
}catch(err){
    console.log(err);
}

//will pass and allow contunue
is.asyncGeneratorFunction(myAsyncGenFunc);

//will pass and allow contunue
is.asyncGenerator(myAsyncGen);

/*
will fail becase @achrinza/strong-type 
asyncGenerators and generators are explicitly different
this is the same for generatorFunctions and functions
*/
try{
    is.asyncGenerator(myGen);
}catch(err){
    console.log(err);
}

try{
    is.generator(myAsyncGen);
}catch(err){
    console.log(err);
}

browser

Generator Type Checking Example Web

node

Generator Type Checking Example Node

Date example

import Is from '@achrinza/strong-type';

const is = new Is;

//returns true
is.date(new Date()); 

//throws in strict or returns false in non-strict
is.date(1975);

isNaN() vs is.NaN()

Javascripts types are weak by nature, so the built in isNaN() function returns true for anything that not a number, but is.NaN() only returns true if it is explicitly passed NaN.

import Is from '@achrinza/strong-type';

const is = new Is;

//built in JS isNaN
//returns false
isNaN(1);

//all return true
isNaN(NaN);
isNaN(undefined);
isNaN('a'); 

//@achrinza/strong-type is.NaN all return false in non-strict mode,
//or throw in default strict mode
is.NaN(1);
is.NaN(undefined);
is.NaN('a');

//in @achrinza/strong-type only this returns true
is.NaN(NaN);

browser

Date Type Checking Example Web

node

Date Type Checking Example Node

Running the browser and node type support examples

run npm i in the root dir of this module to make sure you get the devDependencies installed.

node example :

npm run nodeExample The whole screen should be green as all of the types are supported in node.

browser examples and tests

npm start
this will spin up a node-http-server in this modules root on port 8000. The browser examples are in the ./example/web/ folder, and the tests are in ./test/. You can see them by going to this local address : http://localhost:8000/

Chrome, Opera, and Edge support all the types so all rows will be green.

You will see some red rows in Firefox as it does not yet support all types. The unsupported types will throw type errors when checked/validated.

Digital Ocean Static App

We use the free Digital Ocean Static Apps to host a version of the local server. It is exactly the same as if you ran npm start on your machine. You can also use this like a CDN as it automatically rebuilds from main/master each time the branch is updated. @achrinza/strong-type CDN home : https://@achrinza/strong-type-hiprj.ondigitalocean.app/

Type check methods

All of these methods take just one arg, the value to check.

Most Common Type Methodsargs
is.globalThisvalue
is.arrayvalue
is.bigintvalue
is.booleanvalue
is.datevalue
is.finitevalue
is.generatorvalue
is.asyncGeneratorvalue
is.infinityvalue
is.mapvalue
is.NaNvalue
is.nullvalue
is.numbervalue
is.objectvalue
is.promisevalue
is.regExpvalue
is.setvalue
is.stringvalue
is.symbolvalue
is.undefinedvalue
is.weakMapvalue
is.weakSetvalue
Function Type Methodsargs
is.functionvalue
is.asyncFunctionvalue
is.generatorFunctionvalue
is.asyncGeneratorFunctionvalue
Error Type Methodsargs
is.errorvalue
is.evalErrorvalue
is.rangeErrorvalue
is.referenceErrorvalue
is.syntaxErrorvalue
is.typeErrorvalue
is.URIErrorvalue
Buffer/Typed Array Type Methodsargs
is.arrayBuffervalue
is.dataViewvalue
is.sharedArrayBuffervalue
is.bigInt64Arrayvalue
is.bigUint64Arrayvalue
is.float32Arrayvalue
is.float64Arrayvalue
is.int8Arrayvalue
is.int16Arrayvalue
is.int32Arrayvalue
is.uint8Arrayvalue
is.uint8ClampedArrayvalue
is.uint16Arrayvalue
is.uint32Arrayvalue
Intl Type Methodsargs
is.intlDateTimeFormatvalue
is.intlCollatorvalue
is.intlDisplayNamesvalue
is.intlListFormatvalue
is.intlLocalevalue
is.intlNumberFormatvalue
is.intlPluralRulesvalue
is.intlRelativeTimeFormatvalue
Garbage Collection Type Methodsargs
is.finalizationRegistryvalue
is.weakRefvalue

Core methods

You can use these to directly check your own types / classes Or extend the Is class to add your own methods in which you use these for checking more types, especially custom types and classes.

Methodargsdescription
is.throwvalueType, expectedTypethis will use the valueType and expectedValueType to create and throw a new TypeError
is.typeCheckvalue, typethis will check the javascript spec types returned from typeof. So the type arg would be a string of 'string', 'boolean', 'number', 'object', 'undefined', 'bigint' etc.
is.instanceCheckvalue=new Fake, constructor=FakeCoreThe core defaults the args to a Fake instance and the FakeCore class. This allows unsupported js spec types to fail as expected with a TypeError instead of a Reference or other Error (see the ./example/web/ example in firefox which is missing some support for Intl classes). This method compares value with the constructor to insure the value is an instanceof the constructor.
is.symbolStringCheckvalue, typeThis can be used to check the Symbol.toStringTag it works on all types, but in the core we only use it to check generator, GeneratorFunction, async function, and async GeneratorFunction as these have no other way to check their type. A generator for example has a type of [object generator] this way. So you pass in an expected generator as value and the string 'generator' as the type, and we handle the rest including lowercasing everything to insure cross browser and platform checking
is.comparevalue, targetValue, typeNamethis will do an explicit compare on the value and targetValue. In the core, we only use this for JS primitives/constants that have no other way to check such as Infinity and globalThis. The type name is the string representation of the class type, or a very explicit error string as the only place this arg is ever used is when the compare results in a throws.

Extending the Is class for your own Types

If you are using type checking on your own types in production, its probably wise for yout to just go ahead and extend the module rather than calling the more cumbersome Core Methods many times.

custom Pizza type

//custom class type constructor
class Pizza{
    constructor(topping){
        this.eat=true;
    }
}

export {default:Pizza, Pizza}

extension

import Is from '@achrinza/strong-type';
import Pizza from 'my-delicious-pizza';

class IsMy extends Is{
    //custom pizza type
    pizza(value){
        return this.instanceCheck(value,Pizza);
    }
}

export={default:IsMy, IsMy};

test

import IsMy from 'my-delicious-typechecks';
import Pizza from 'my-delicious-pizza';

const is=new IsMy;

//will throw because 42 is not a Pizza Type
//and 
is.pizza(42)

browser

Pizza Type Checking Example Web

node

Pizza Type Checking Example Node

0.1.12

7 months ago

0.1.13

7 months ago

1.1.8

7 months ago

1.1.7

7 months ago

0.1.11

11 months ago

1.1.6

11 months ago

1.1.5

11 months ago

0.1.10

2 years ago

0.1.9

2 years ago

1.1.4

2 years ago

1.1.3

2 years ago

0.1.8

2 years ago

1.1.2

2 years ago

0.1.7

2 years ago

1.1.1

2 years ago