Huge News!Announcing our $40M Series B led by Abstract Ventures.Learn More
Socket
Sign inDemoInstall
Socket

@typed-f/monad

Package Overview
Dependencies
Maintainers
1
Versions
11
Alerts
File Explorer

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

@typed-f/monad - npm Package Compare versions

Comparing version 0.1.0 to 0.2.0

LICENSE

9

CHANGELOG.md

@@ -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)

18

package.json
{
"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"
]
}
SocketSocket SOC 2 Logo

Product

  • Package Alerts
  • Integrations
  • Docs
  • Pricing
  • FAQ
  • Roadmap
  • Changelog

Packages

npm

Stay in touch

Get open source security insights delivered straight into your inbox.


  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc