---
title: FromKV.ts
nav_order: 21
parent: Modules
---
## FromKV overview
FromKV is a Typeclass which represents the Natural Transformation from an KV into another effect.
Added in v0.11.0
---
Table of contents
- [Combinator](#combinator)
- [FromKV2 (type alias)](#fromkv2-type-alias)
- [chainFirstKVK](#chainfirstkvk)
- [chainKVK](#chainkvk)
- [provideAllWithKV](#provideallwithkv)
- [provideSomeWithKV](#providesomewithkv)
- [useAllWithKV](#useallwithkv)
- [useSomeWithKV](#usesomewithkv)
- [Constructor](#constructor)
- [fromKVK](#fromkvk)
- [Typeclass](#typeclass)
- [FromKV (type alias)](#fromkv-type-alias)
- [FromKV3 (type alias)](#fromkv3-type-alias)
- [FromKV3C (type alias)](#fromkv3c-type-alias)
- [FromKV4 (type alias)](#fromkv4-type-alias)
---
# Combinator
## FromKV2 (type alias)
**Signature**
```ts
export type FromKV2 = {
readonly URI?: F
readonly fromKV: (KV: KV.KV) => Kind2
}
```
Added in v0.11.0
## chainFirstKVK
**Signature**
```ts
export declare function chainFirstKVK(
F: FromKV2,
C: Chain2,
): (
f: (value: A) => KV.KV,
) => (hkt: Hkt) => Hkt, A]>
export declare function chainFirstKVK(
F: FromKV3,
C: Chain3,
): (
f: (value: A) => KV.KV,
) => (hkt: Hkt) => Hkt, E, A]>
export declare function chainFirstKVK(
F: FromKV4,
C: Chain4,
): (
f: (value: A) => KV.KV,
) => (hkt: Hkt) => Hkt, E, A]>
export declare function chainFirstKVK(
F: FromKV,
C: Chain,
): (
f: (value: A) => KV.KV,
) => (hkt: Hkt) => Hkt, A]>
```
Added in v0.11.0
## chainKVK
**Signature**
```ts
export declare function chainKVK(
F: FromKV2,
C: Chain2,
): (
f: (value: A) => KV.KV,
) => (hkt: Hkt) => Hkt, B]>
export declare function chainKVK(
F: FromKV3,
C: Chain3,
): (
f: (value: A) => KV.KV,
) => (hkt: Hkt) => Hkt, E, B]>
export declare function chainKVK(
F: FromKV4,
C: Chain4,
): (
f: (value: A) => KV.KV,
) => (hkt: Hkt) => Hkt, E, B]>
export declare function chainKVK(
F: FromKV,
C: Chain,
): (
f: (value: A) => KV.KV,
) => (hkt: Hkt) => Hkt, B]>
```
Added in v0.11.0
## provideAllWithKV
**Signature**
```ts
export declare function provideAllWithKV(
F: FromKV4 & Provide.ProvideAll4 & Chain4,
): (resume: KV.KV) => (hkt: Kind4) => Kind4
export declare function provideAllWithKV(
F: FromKV3 & Provide.ProvideAll3 & Chain3,
): (resume: KV.KV) => (hkt: Kind3) => Kind3
export declare function provideAllWithKV(
F: FromKV2 & Provide.ProvideAll2 & Chain2,
): (resume: KV.KV) => (hkt: Kind2) => Kind2
export declare function provideAllWithKV(
F: FromKV & Provide.ProvideAll & Chain,
): (resume: KV.KV) => (hkt: HKT2) => HKT2
```
Added in v0.11.0
## provideSomeWithKV
**Signature**
```ts
export declare function provideSomeWithKV(
F: FromKV4 & Provide.ProvideSome4 & Chain4,
): (resume: KV.KV) => Provide.Provider4, Initial>
export declare function provideSomeWithKV(
F: FromKV3 & Provide.ProvideSome3 & Chain3,
): (resume: KV.KV) => Provide.Provider3>
export declare function provideSomeWithKV(
F: FromKV2 & Provide.ProvideSome2 & Chain2,
): (resume: KV.KV) => Provide.Provider2
export declare function provideSomeWithKV(
F: FromKV & Provide.ProvideSome & Chain,
): (resume: KV.KV) => Provide.Provider
```
Added in v0.11.0
## useAllWithKV
**Signature**
```ts
export declare function useAllWithKV(
F: FromKV4 & Provide.UseAll4 & Chain4,
): (resume: KV.KV) => (hkt: Kind4) => Kind4
export declare function useAllWithKV(
F: FromKV3 & Provide.UseAll3 & Chain3,
): (resume: KV.KV) => (hkt: Kind3) => Kind3
export declare function useAllWithKV(
F: FromKV2 & Provide.UseAll2 & Chain2,
): (resume: KV.KV) => (hkt: Kind2) => Kind2
export declare function useAllWithKV(
F: FromKV & Provide.UseAll & Chain,
): (resume: KV.KV) => (hkt: HKT2) => HKT2
```
Added in v0.11.0
## useSomeWithKV
**Signature**
```ts
export declare function useSomeWithKV(
F: FromKV4 & Provide.UseSome4 & Chain4,
): (resume: KV.KV) => Provide.Provider4, Initial>
export declare function useSomeWithKV(
F: FromKV3 & Provide.UseSome3 & Chain3,
): (resume: KV.KV) => Provide.Provider3>
export declare function useSomeWithKV(
F: FromKV2 & Provide.UseSome2 & Chain2,
): (resume: KV.KV) => Provide.Provider2
export declare function useSomeWithKV(
F: FromKV & Provide.UseSome & Chain,
): (resume: KV.KV) => Provide.Provider
```
Added in v0.11.0
# Constructor
## fromKVK
**Signature**
```ts
export declare function fromKVK(
F: FromKV2,
): (
f: (...args: A) => KV.KV,
) => (...args: A) => Hkt
export declare function fromKVK(
F: FromKV3,
): (
f: (...args: A) => KV.KV,
) => (...args: A) => Hkt
export declare function fromKVK(
F: FromKV4,
): (
f: (...args: A) => KV.KV,
) => (...args: A) => Hkt
export declare function fromKVK(
F: FromKV,
): (
f: (...args: A) => KV.KV,
) => (...args: A) => Hkt
```
Added in v0.11.0
# Typeclass
## FromKV (type alias)
**Signature**
```ts
export type FromKV = {
readonly URI?: F
readonly fromKV: (KV: KV.KV) => HKT2
}
```
Added in v0.11.0
## FromKV3 (type alias)
**Signature**
```ts
export type FromKV3 = {
readonly URI?: F
readonly fromKV: >(KV: KV.KV) => Kind3
}
```
Added in v0.11.0
## FromKV3C (type alias)
**Signature**
```ts
export type FromKV3C = {
readonly URI?: F
readonly fromKV: (KV: KV.KV) => Kind3
}
```
Added in v0.11.0
## FromKV4 (type alias)
**Signature**
```ts
export type FromKV4 = {
readonly URI?: F
readonly fromKV: , E = Initial>(
KV: KV.KV,
) => Kind4
}
```
Added in v0.11.0