@morphic-ts/algebras
Advanced tools
Comparing version 3.0.0-alpha.1 to 3.0.0-alpha.2
import type { AnyEnv } from '@morphic-ts/common/es6/config'; | ||
import type { UnionToIntersection } from '@morphic-ts/common/es6/core'; | ||
import type { URIS, URIS2 } from '@morphic-ts/common/es6/HKT'; | ||
import type { Algebra as AlgAlgebra, Algebra1 as AlgAlgebra1, Algebra2 as AlgAlgebra2, AlgebraURIS } from './hkt'; | ||
import type { URIS } from '@morphic-ts/common/es6/HKT'; | ||
import type { Algebra as AlgAlgebra, AlgebraURIS } from './hkt'; | ||
/** | ||
@@ -12,10 +12,2 @@ * @since 0.0.1 | ||
*/ | ||
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, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra1<Interp, Env>[AllAlgebra]>; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export declare type Algebra2<AllAlgebra extends AlgebraURIS, Interp extends URIS2, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra2<Interp, Env>[AllAlgebra]>; | ||
export declare type Algebra<AllAlgebra extends AlgebraURIS, Interp extends URIS, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra<Interp, Env>[AllAlgebra]>; |
import type { AnyEnv } from '@morphic-ts/common/es6/config'; | ||
import type { URIS, URIS2 } from '@morphic-ts/common/es6/HKT'; | ||
import type { URIS } from '@morphic-ts/common/es6/HKT'; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export interface Algebra<F, Env> { | ||
export interface Algebra<F extends URIS, Env extends AnyEnv> { | ||
_AF: F; | ||
@@ -13,16 +13,2 @@ _ENV: Env; | ||
*/ | ||
export interface Algebra1<F extends URIS, Env extends AnyEnv> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export interface Algebra2<F extends URIS2, Env extends AnyEnv> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export declare type AlgebraURIS = Exclude<keyof Algebra<never, never>, '_AF' | '_ENV'>; |
import type { AnyEnv } from '@morphic-ts/common/lib/config'; | ||
import type { UnionToIntersection } from '@morphic-ts/common/lib/core'; | ||
import type { URIS, URIS2 } from '@morphic-ts/common/lib/HKT'; | ||
import type { Algebra as AlgAlgebra, Algebra1 as AlgAlgebra1, Algebra2 as AlgAlgebra2, AlgebraURIS } from './hkt'; | ||
import type { URIS } from '@morphic-ts/common/lib/HKT'; | ||
import type { Algebra as AlgAlgebra, AlgebraURIS } from './hkt'; | ||
/** | ||
@@ -12,10 +12,2 @@ * @since 0.0.1 | ||
*/ | ||
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, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra1<Interp, Env>[AllAlgebra]>; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export declare type Algebra2<AllAlgebra extends AlgebraURIS, Interp extends URIS2, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra2<Interp, Env>[AllAlgebra]>; | ||
export declare type Algebra<AllAlgebra extends AlgebraURIS, Interp extends URIS, Env extends AnyEnv> = UnionToIntersection<AlgAlgebra<Interp, Env>[AllAlgebra]>; |
import type { AnyEnv } from '@morphic-ts/common/lib/config'; | ||
import type { URIS, URIS2 } from '@morphic-ts/common/lib/HKT'; | ||
import type { URIS } from '@morphic-ts/common/lib/HKT'; | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export interface Algebra<F, Env> { | ||
export interface Algebra<F extends URIS, Env extends AnyEnv> { | ||
_AF: F; | ||
@@ -13,16 +13,2 @@ _ENV: Env; | ||
*/ | ||
export interface Algebra1<F extends URIS, Env extends AnyEnv> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export interface Algebra2<F extends URIS2, Env extends AnyEnv> { | ||
_AF: F; | ||
_ENV: Env; | ||
} | ||
/** | ||
* @since 0.0.1 | ||
*/ | ||
export declare type AlgebraURIS = Exclude<keyof Algebra<never, never>, '_AF' | '_ENV'>; |
{ | ||
"name": "@morphic-ts/algebras", | ||
"version": "3.0.0-alpha.1", | ||
"version": "3.0.0-alpha.2", | ||
"description": "Morphic core Algebra package", | ||
@@ -24,3 +24,3 @@ "author": "Stéphane Le Dorze <stephane.ledorze@gmail.com>", | ||
"dependencies": { | ||
"@morphic-ts/common": "^3.0.0-alpha.1" | ||
"@morphic-ts/common": "^3.0.0-alpha.2" | ||
}, | ||
@@ -57,3 +57,3 @@ "scripts": { | ||
}, | ||
"gitHead": "5dc3007d0a62c2084c5c057735a2555b12d61db3" | ||
"gitHead": "a266a066860a4e5285297e3dd356bdda68693ee1" | ||
} |
4857
56