@typed-f/monad
Advanced tools
Comparing version 0.1.0 to 0.2.0
@@ -6,2 +6,11 @@ # Change Log | ||
<a name="0.2.0"></a> | ||
# [0.2.0](https://github.com/Ailrun/typed-f/compare/v0.1.0...v0.2.0) (2018-08-22) | ||
**Note:** Version bump only for package @typed-f/monad | ||
<a name="0.1.0"></a> | ||
@@ -8,0 +17,0 @@ # [0.1.0](https://github.com/Ailrun/typed-f/compare/v0.0.1...v0.1.0) (2018-08-14) |
{ | ||
"name": "@typed-f/monad", | ||
"version": "0.1.0", | ||
"version": "0.2.0", | ||
"keywords": [ | ||
@@ -28,11 +28,17 @@ "Functor", | ||
"build": "tsc -p ./tsconfig.json", | ||
"watch": "tsc -w -p ./tsconfig.json" | ||
"watch": "tsc -w -p ./tsconfig.json", | ||
"test:lint": "tslint -p ." | ||
}, | ||
"dependencies": { | ||
"@typed-f/applicative": "^0.1.0", | ||
"@typed-f/function": "^0.1.0", | ||
"@typed-f/tagged": "^0.1.0" | ||
"@typed-f/applicative": "^0.2.0", | ||
"@typed-f/function": "^0.2.0", | ||
"@typed-f/tagged": "^0.2.0" | ||
}, | ||
"devDependencies": { | ||
"@types/jest": "^23.3.1", | ||
"@types/node": "^10.7.0", | ||
"jest": "^23.5.0", | ||
"rimraf": "^2.6.2", | ||
"ts-jest": "^23.1.3", | ||
"tslint": "^5.11.0", | ||
"typescript": "^3.0.1" | ||
@@ -43,3 +49,3 @@ }, | ||
}, | ||
"gitHead": "a1925ab6cb01347972f566478cc9c0fc289c2e31" | ||
"gitHead": "4e8bd2dfff44251ab307a094001a3377843a44cf" | ||
} |
@@ -0,2 +1,5 @@ | ||
/* | ||
* Copyright 2018-present Junyoung Clare Jang | ||
*/ | ||
export * from '@typed-f/applicative'; | ||
export * from './Monad'; |
@@ -0,1 +1,4 @@ | ||
/* | ||
* Copyright 2018-present Junyoung Clare Jang | ||
*/ | ||
import { Applicative1, Applicative2, Applicative3, Applicative4 } from '@typed-f/applicative'; | ||
@@ -15,10 +18,24 @@ import { Fun } from '@typed-f/function'; | ||
type M1B<Tag extends keyof T.Tag1List<any>, A0> = <R>(wf: Fun<[A0], T.Tag1List<R>[Tag]>) => T.Tag1List<R>[Tag]; | ||
type M2B<Tag extends keyof T.Tag2List<any, any>, A0, A1> = <R>(wf: Fun<[A1], T.Tag2List<A0, R>[Tag]>) => T.Tag2List<A0, R>[Tag]; | ||
type M3B<Tag extends keyof T.Tag3List<any, any, any>, A0, A1, A2> = <R>(wf: Fun<[A2], T.Tag3List<A0, A1, R>[Tag]>) => T.Tag3List<A0, A1, R>[Tag]; | ||
type M4B<Tag extends keyof T.Tag4List<any, any, any, any>, A0, A1, A2, A3> = <R>(wf: Fun<[A3], T.Tag4List<A0, A1, A2, R>[Tag]>) => T.Tag4List<A0, A1, A2, R>[Tag]; | ||
type M1B<Tag extends keyof T.Tag1List<any>, A0> = <R>( | ||
wf: Fun<[A0], T.Tag1List<R>[Tag]>, | ||
) => T.Tag1List<R>[Tag]; | ||
type M2B<Tag extends keyof T.Tag2List<any, any>, A0, A1> = <R>( | ||
wf: Fun<[A1], T.Tag2List<A0, R>[Tag]>, | ||
) => T.Tag2List<A0, R>[Tag]; | ||
type M3B<Tag extends keyof T.Tag3List<any, any, any>, A0, A1, A2> = <R>( | ||
wf: Fun<[A2], T.Tag3List<A0, A1, R>[Tag]>, | ||
) => T.Tag3List<A0, A1, R>[Tag]; | ||
//tslint:disable-next-line: max-line-length | ||
type M4B<Tag extends keyof T.Tag4List<any, any, any, any>, A0, A1, A2, A3> = <R>( | ||
wf: Fun<[A3], T.Tag4List<A0, A1, A2, R>[Tag]>, | ||
) => T.Tag4List<A0, A1, A2, R>[Tag]; | ||
export interface Monad1<Tag extends keyof T.Tag1List<any>, A0> extends Applicative1<Tag, A0>, MB<M1B<Tag, A0>> {} | ||
export interface Monad2<Tag extends keyof T.Tag2List<any, any>, A0, A1> extends Applicative2<Tag, A0, A1>, MB<M2B<Tag, A0, A1>> {} | ||
export interface Monad3<Tag extends keyof T.Tag3List<any, any, any>, A0, A1, A2> extends Applicative3<Tag, A0, A1, A2>, MB<M3B<Tag, A0, A1, A2>> {} | ||
export interface Monad4<Tag extends keyof T.Tag4List<any, any, any, any>, A0, A1, A2, A3> extends Applicative4<Tag, A0, A1, A2, A3>, MB<M4B<Tag, A0, A1, A2, A3>> {} | ||
export interface Monad1<Tag extends keyof T.Tag1List<any>, A0> | ||
extends Applicative1<Tag, A0>, MB<M1B<Tag, A0>> {} | ||
export interface Monad2<Tag extends keyof T.Tag2List<any, any>, A0, A1> | ||
extends Applicative2<Tag, A0, A1>, MB<M2B<Tag, A0, A1>> {} | ||
export interface Monad3<Tag extends keyof T.Tag3List<any, any, any>, A0, A1, A2> | ||
extends Applicative3<Tag, A0, A1, A2>, MB<M3B<Tag, A0, A1, A2>> {} | ||
//tslint:disable-next-line: max-line-length | ||
export interface Monad4<Tag extends keyof T.Tag4List<any, any, any, any>, A0, A1, A2, A3> | ||
extends Applicative4<Tag, A0, A1, A2, A3>, MB<M4B<Tag, A0, A1, A2, A3>> {} |
@@ -6,3 +6,6 @@ { | ||
"outDir": "./dist" | ||
} | ||
}, | ||
"include": [ | ||
"./src" | ||
] | ||
} |
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
Major refactor
Supply chain riskPackage has recently undergone a major refactor. It may be unstable or indicate significant internal changes. Use caution when updating to versions that include significant changes.
Found 1 instance in 1 package
7230
12
92
0
7
+ Added@typed-f/applicative@0.2.2(transitive)
+ Added@typed-f/function@0.2.2(transitive)
+ Added@typed-f/functor@0.2.2(transitive)
+ Added@typed-f/tagged@0.2.2(transitive)
- Removed@typed-f/applicative@0.1.0(transitive)
- Removed@typed-f/function@0.1.0(transitive)
- Removed@typed-f/functor@0.1.0(transitive)
- Removed@typed-f/tagged@0.1.0(transitive)
Updated@typed-f/applicative@^0.2.0
Updated@typed-f/function@^0.2.0
Updated@typed-f/tagged@^0.2.0