@morphic-ts/algebras
Advanced tools
Comparing version 1.1.0 to 1.2.0-alpha.0
import { URIS, URIS2 } from '@morphic-ts/common/lib/HKT'; | ||
import { Algebra as AlgAlgebra, Algebra1 as AlgAlgebra1, Algebra2 as AlgAlgebra2, AlgebraURIS } from './hkt'; | ||
import { UnionToIntersection } from '@morphic-ts/common/lib/core'; | ||
import { AnyEnv } from '@morphic-ts/common/lib/config'; | ||
/** | ||
@@ -11,10 +12,10 @@ * @since 0.0.1 | ||
*/ | ||
export declare type Algebra<AllAlgebra extends AlgebraURIS, Interp> = UnionToIntersection<AlgAlgebra<Interp>[AllAlgebra]>; | ||
export declare type Algebra<AllAlgebra extends AlgebraURIS, Interp, Env> = UnionToIntersection<AlgAlgebra<Interp, Env>[AllAlgebra]>; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export declare type Algebra1<AllAlgebra extends AlgebraURIS, Interp extends URIS> = UnionToIntersection<AlgAlgebra1<Interp>[AllAlgebra]>; | ||
export declare type Algebra1<AllAlgebra extends AlgebraURIS, Interp extends URIS, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra1<Interp, Env>[AllAlgebra]>; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export declare type Algebra2<AllAlgebra extends AlgebraURIS, Interp extends URIS2> = UnionToIntersection<AlgAlgebra2<Interp>[AllAlgebra]>; | ||
export declare type Algebra2<AllAlgebra extends AlgebraURIS, Interp extends URIS2, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra2<Interp, Env>[AllAlgebra]>; |
import { URIS, URIS2 } from '@morphic-ts/common/lib/HKT'; | ||
import { AnyEnv } from '@morphic-ts/common/lib/config'; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export interface Algebra<F> { | ||
export interface Algebra<F, Env> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
@@ -11,4 +13,5 @@ /** | ||
*/ | ||
export interface Algebra1<F extends URIS> { | ||
export interface Algebra1<F extends URIS, Env extends AnyEnv> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
@@ -18,4 +21,5 @@ /** | ||
*/ | ||
export interface Algebra2<F extends URIS2> { | ||
export interface Algebra2<F extends URIS2, Env extends AnyEnv> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
@@ -25,2 +29,2 @@ /** | ||
*/ | ||
export declare type AlgebraURIS = keyof Algebra<never>; | ||
export declare type AlgebraURIS = keyof Algebra<never, never>; |
import { URIS, URIS2 } from '@morphic-ts/common/lib/HKT'; | ||
import { Algebra as AlgAlgebra, Algebra1 as AlgAlgebra1, Algebra2 as AlgAlgebra2, AlgebraURIS } from './hkt'; | ||
import { UnionToIntersection } from '@morphic-ts/common/lib/core'; | ||
import { AnyEnv } from '@morphic-ts/common/lib/config'; | ||
/** | ||
@@ -11,10 +12,10 @@ * @since 0.0.1 | ||
*/ | ||
export declare type Algebra<AllAlgebra extends AlgebraURIS, Interp> = UnionToIntersection<AlgAlgebra<Interp>[AllAlgebra]>; | ||
export declare type Algebra<AllAlgebra extends AlgebraURIS, Interp, Env> = UnionToIntersection<AlgAlgebra<Interp, Env>[AllAlgebra]>; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export declare type Algebra1<AllAlgebra extends AlgebraURIS, Interp extends URIS> = UnionToIntersection<AlgAlgebra1<Interp>[AllAlgebra]>; | ||
export declare type Algebra1<AllAlgebra extends AlgebraURIS, Interp extends URIS, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra1<Interp, Env>[AllAlgebra]>; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export declare type Algebra2<AllAlgebra extends AlgebraURIS, Interp extends URIS2> = UnionToIntersection<AlgAlgebra2<Interp>[AllAlgebra]>; | ||
export declare type Algebra2<AllAlgebra extends AlgebraURIS, Interp extends URIS2, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra2<Interp, Env>[AllAlgebra]>; |
import { URIS, URIS2 } from '@morphic-ts/common/lib/HKT'; | ||
import { AnyEnv } from '@morphic-ts/common/lib/config'; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export interface Algebra<F> { | ||
export interface Algebra<F, Env> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
@@ -11,4 +13,5 @@ /** | ||
*/ | ||
export interface Algebra1<F extends URIS> { | ||
export interface Algebra1<F extends URIS, Env extends AnyEnv> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
@@ -18,4 +21,5 @@ /** | ||
*/ | ||
export interface Algebra2<F extends URIS2> { | ||
export interface Algebra2<F extends URIS2, Env extends AnyEnv> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
@@ -25,2 +29,2 @@ /** | ||
*/ | ||
export declare type AlgebraURIS = keyof Algebra<never>; | ||
export declare type AlgebraURIS = keyof Algebra<never, never>; |
{ | ||
"name": "@morphic-ts/algebras", | ||
"version": "1.1.0", | ||
"version": "1.2.0-alpha.0", | ||
"description": "Morphic core Algebra package", | ||
@@ -24,3 +24,3 @@ "author": "Stéphane Le Dorze <stephane.ledorze@gmail.com>", | ||
"dependencies": { | ||
"@morphic-ts/common": "^1.1.0" | ||
"@morphic-ts/common": "^1.2.0-alpha.0" | ||
}, | ||
@@ -57,3 +57,3 @@ "scripts": { | ||
}, | ||
"gitHead": "ca8bde828c5faf60f560a125b051d874bd10d59d" | ||
"gitHead": "d8c7569e6b7598f4aaacf484b6b029e10b65cf70" | ||
} |
No v1
QualityPackage is not semver >=1. This means it is not stable and does not support ^ ranges.
Found 1 instance in 1 package
6042
98
2