@matechs/morphic-alg
Advanced tools
Comparing version 0.3.0 to 0.4.0
@@ -49,3 +49,3 @@ import type { ConfigsForType, AnyEnv } from "../config" | ||
iso: Iso<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, E, N, IsoConfig<E, A, N>> | ||
@@ -58,3 +58,3 @@ ): HKT2<F, Env, E, N> | ||
prism: Prism<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, E, N, PrismConfig<E, A, N>> | ||
@@ -84,3 +84,3 @@ ): HKT2<F, Env, E, N> | ||
iso: Iso<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, unknown, N, IsoConfig<unknown, A, N>> | ||
@@ -93,3 +93,3 @@ ): Kind<F, Env, N> | ||
prism: Prism<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, unknown, N, PrismConfig<unknown, A, N>> | ||
@@ -119,3 +119,3 @@ ): Kind<F, Env, N> | ||
iso: Iso<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, E, N, IsoConfig<E, A, N>> | ||
@@ -128,3 +128,3 @@ ): Kind2<F, Env, E, N> | ||
iso: Prism<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, E, N, PrismConfig<E, A, N>> | ||
@@ -131,0 +131,0 @@ ): Kind2<F, Env, E, N> |
@@ -9,2 +9,3 @@ import type { ConfigsForType, AnyEnv } from "../config" | ||
import type { Record } from "@matechs/core/Record" | ||
import type { Mutable } from "@matechs/core/Utils" | ||
export interface UUIDBrand { | ||
@@ -31,2 +32,3 @@ readonly UUID: unique symbol | ||
export interface NullableConfig<L, A> {} | ||
export interface MutableConfig<L, A> {} | ||
export interface OptionalConfig<L, A> {} | ||
@@ -51,2 +53,8 @@ export interface StringLiteralConfig<T> {} | ||
} | ||
mutable: { | ||
<L, A>( | ||
T: HKT2<F, Env, L, A>, | ||
config?: ConfigsForType<Env, Mutable<L>, Mutable<A>, MutableConfig<L, A>> | ||
): HKT2<F, Env, Mutable<L>, Mutable<A>> | ||
} | ||
optional: { | ||
@@ -150,2 +158,8 @@ <L, A>( | ||
) => Kind<F, Env, Option<A>> | ||
mutable: { | ||
<A>( | ||
T: Kind<F, Env, A>, | ||
config?: ConfigsForType<Env, unknown, Mutable<A>, MutableConfig<unknown, A>> | ||
): Kind<F, Env, Mutable<A>> | ||
} | ||
optional: { | ||
@@ -220,2 +234,8 @@ <A>( | ||
) => Kind2<F, Env, null | L, Option<A>> | ||
mutable: { | ||
<L, A>( | ||
T: Kind2<F, Env, L, A>, | ||
config?: ConfigsForType<Env, Mutable<L>, Mutable<A>, MutableConfig<L, A>> | ||
): Kind2<F, Env, Mutable<L>, Mutable<A>> | ||
} | ||
optional: { | ||
@@ -222,0 +242,0 @@ <L, A>( |
@@ -49,3 +49,3 @@ import type { ConfigsForType, AnyEnv } from "../config" | ||
iso: Iso<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, E, N, IsoConfig<E, A, N>> | ||
@@ -58,3 +58,3 @@ ): HKT2<F, Env, E, N> | ||
prism: Prism<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, E, N, PrismConfig<E, A, N>> | ||
@@ -84,3 +84,3 @@ ): HKT2<F, Env, E, N> | ||
iso: Iso<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, unknown, N, IsoConfig<unknown, A, N>> | ||
@@ -93,3 +93,3 @@ ): Kind<F, Env, N> | ||
prism: Prism<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, unknown, N, PrismConfig<unknown, A, N>> | ||
@@ -119,3 +119,3 @@ ): Kind<F, Env, N> | ||
iso: Iso<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, E, N, IsoConfig<E, A, N>> | ||
@@ -128,3 +128,3 @@ ): Kind2<F, Env, E, N> | ||
iso: Prism<A, N>, | ||
name: string, | ||
name?: string, | ||
config?: ConfigsForType<Env, E, N, PrismConfig<E, A, N>> | ||
@@ -131,0 +131,0 @@ ): Kind2<F, Env, E, N> |
{ | ||
"name": "@matechs/morphic-alg", | ||
"version": "0.3.0", | ||
"version": "0.4.0", | ||
"private": false, | ||
@@ -5,0 +5,0 @@ "license": "MIT", |
@@ -9,2 +9,3 @@ import type { ConfigsForType, AnyEnv } from "../config" | ||
import type { Record } from "@matechs/core/Record" | ||
import type { Mutable } from "@matechs/core/Utils" | ||
export interface UUIDBrand { | ||
@@ -31,2 +32,3 @@ readonly UUID: unique symbol | ||
export interface NullableConfig<L, A> {} | ||
export interface MutableConfig<L, A> {} | ||
export interface OptionalConfig<L, A> {} | ||
@@ -51,2 +53,8 @@ export interface StringLiteralConfig<T> {} | ||
} | ||
mutable: { | ||
<L, A>( | ||
T: HKT2<F, Env, L, A>, | ||
config?: ConfigsForType<Env, Mutable<L>, Mutable<A>, MutableConfig<L, A>> | ||
): HKT2<F, Env, Mutable<L>, Mutable<A>> | ||
} | ||
optional: { | ||
@@ -150,2 +158,8 @@ <L, A>( | ||
) => Kind<F, Env, Option<A>> | ||
mutable: { | ||
<A>( | ||
T: Kind<F, Env, A>, | ||
config?: ConfigsForType<Env, unknown, Mutable<A>, MutableConfig<unknown, A>> | ||
): Kind<F, Env, Mutable<A>> | ||
} | ||
optional: { | ||
@@ -220,2 +234,8 @@ <A>( | ||
) => Kind2<F, Env, null | L, Option<A>> | ||
mutable: { | ||
<L, A>( | ||
T: Kind2<F, Env, L, A>, | ||
config?: ConfigsForType<Env, Mutable<L>, Mutable<A>, MutableConfig<L, A>> | ||
): Kind2<F, Env, Mutable<L>, Mutable<A>> | ||
} | ||
optional: { | ||
@@ -222,0 +242,0 @@ <L, A>( |
88646
2836