All files createConstructor.js

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
 
 
 
 
 
49x
30x
3x
 
27x
 
 
 
 
 
 
 
2x
 
6x
 
27x
 
 
 
 
import { validateArgs } from './Type';
 
// type TypeConstructor = ...a -> EnumTagType
 
// createConstructor :: (Enum, ConstructorDescription) -> TypeConstructor
export const createConstructor = (Type, { name, props }) => (...args) => {
    if(props ? !validateArgs(props, args) : false)
        throw new TypeError(`Invalid number of args passed to constructor ${name}`);
 
    const self = {
        // args :: Array *
        args,
        // name :: String
        name,
        // props :: ?Array String
        props,
        // is :: String | EnumTagType | ConstructorDescription ~> Boolean
        is: otherType => [otherType, otherType.name].indexOf(name) !== -1,
        // match :: Object (* -> b) ~> b
        match: pattern => Type.match(self, pattern),
    };
    return self;
};
 
export default createConstructor;