---
title: FromEnv.ts
nav_order: 20
parent: Modules
---
## FromEnv overview
FromEnv is a Typeclass which represents the Natural Transformation from an Env into another effect.
Added in v0.9.2
---
Table of contents
- [Combinator](#combinator)
- [FromEnv2 (type alias)](#fromenv2-type-alias)
- [chainEnvK](#chainenvk)
- [chainFirstEnvK](#chainfirstenvk)
- [provideAllWithEnv](#provideallwithenv)
- [provideSomeWithEnv](#providesomewithenv)
- [useAllWithEnv](#useallwithenv)
- [useSomeWithEnv](#usesomewithenv)
- [Constructor](#constructor)
- [fromEnvK](#fromenvk)
- [Typeclass](#typeclass)
- [FromEnv (type alias)](#fromenv-type-alias)
- [FromEnv3 (type alias)](#fromenv3-type-alias)
- [FromEnv3C (type alias)](#fromenv3c-type-alias)
- [FromEnv4 (type alias)](#fromenv4-type-alias)
---
# Combinator
## FromEnv2 (type alias)
**Signature**
```ts
export type FromEnv2 = {
readonly URI?: F
readonly fromEnv: NaturalTransformation22
}
```
Added in v0.9.2
## chainEnvK
**Signature**
```ts
export declare function chainEnvK(
F: FromEnv2,
C: Chain2,
): (
f: (value: A) => E.Env,
) => (hkt: Hkt) => Hkt, B]>
export declare function chainEnvK(
F: FromEnv3,
C: Chain3,
): (
f: (value: A) => E.Env,
) => (hkt: Hkt) => Hkt, E, B]>
export declare function chainEnvK(
F: FromEnv4,
C: Chain4,
): (
f: (value: A) => E.Env,
) => (hkt: Hkt) => Hkt, E, B]>
export declare function chainEnvK(
F: FromEnv,
C: Chain,
): (
f: (value: A) => E.Env,
) => (hkt: Hkt) => Hkt, B]>
```
Added in v0.9.2
## chainFirstEnvK
**Signature**
```ts
export declare function chainFirstEnvK(
F: FromEnv2,
C: Chain2,
): (
f: (value: A) => E.Env,
) => (hkt: Hkt) => Hkt, A]>
export declare function chainFirstEnvK(
F: FromEnv3,
C: Chain3,
): (
f: (value: A) => E.Env,
) => (hkt: Hkt) => Hkt, E, A]>
export declare function chainFirstEnvK(
F: FromEnv4,
C: Chain4,
): (
f: (value: A) => E.Env,
) => (hkt: Hkt) => Hkt, E, A]>
export declare function chainFirstEnvK(
F: FromEnv,
C: Chain,
): (
f: (value: A) => E.Env,
) => (hkt: Hkt) => Hkt, A]>
```
Added in v0.9.2
## provideAllWithEnv
**Signature**
```ts
export declare function provideAllWithEnv(
F: FromEnv4 & Provide.ProvideAll4 & Chain4,
): (env: E.Env) => (hkt: Kind4) => Kind4
export declare function provideAllWithEnv(
F: FromEnv3 & Provide.ProvideAll3 & Chain3,
): (env: E.Env) => (hkt: Kind3) => Kind3
export declare function provideAllWithEnv(
F: FromEnv2 & Provide.ProvideAll2 & Chain2,
): (env: E.Env) => (hkt: Kind2) => Kind2
export declare function provideAllWithEnv(
F: FromEnv & Provide.ProvideAll & Chain,
): (env: E.Env) => (hkt: HKT2) => HKT2
```
Added in v0.9.2
## provideSomeWithEnv
**Signature**
```ts
export declare function provideSomeWithEnv(
F: FromEnv4 & Provide.ProvideSome4 & Chain4,
): (env: E.Env) => Provide.Provider4, Initial>
export declare function provideSomeWithEnv(
F: FromEnv3 & Provide.ProvideSome3 & Chain3,
): (env: E.Env) => Provide.Provider3>
export declare function provideSomeWithEnv(
F: FromEnv2 & Provide.ProvideSome2 & Chain2,
): (env: E.Env) => Provide.Provider2
export declare function provideSomeWithEnv(
F: FromEnv & Provide.ProvideSome & Chain,
): (env: E.Env) => Provide.Provider
```
Added in v0.9.2
## useAllWithEnv
**Signature**
```ts
export declare function useAllWithEnv(
F: FromEnv4 & Provide.UseAll4 & Chain4,
): (env: E.Env) => (hkt: Kind4) => Kind4
export declare function useAllWithEnv(
F: FromEnv3 & Provide.UseAll3 & Chain3,
): (env: E.Env) => (hkt: Kind3) => Kind3
export declare function useAllWithEnv(
F: FromEnv2 & Provide.UseAll2 & Chain2,
): (env: E.Env) => (hkt: Kind2) => Kind2
export declare function useAllWithEnv(
F: FromEnv & Provide.UseAll & Chain,
): (env: E.Env) => (hkt: HKT2) => HKT2
```
Added in v0.9.2
## useSomeWithEnv
**Signature**
```ts
export declare function useSomeWithEnv(
F: FromEnv4 & Provide.UseSome4 & Chain4,
): (env: E.Env) => Provide.Provider4, Initial>
export declare function useSomeWithEnv(
F: FromEnv3 & Provide.UseSome3 & Chain3,
): (env: E.Env) => Provide.Provider3>
export declare function useSomeWithEnv(
F: FromEnv2 & Provide.UseSome2 & Chain2,
): (env: E.Env) => Provide.Provider2
export declare function useSomeWithEnv(
F: FromEnv & Provide.UseSome & Chain,
): (env: E.Env) => Provide.Provider
```
Added in v0.9.2
# Constructor
## fromEnvK
**Signature**
```ts
export declare function fromEnvK(
F: FromEnv2,
): (
f: (...args: A) => E.Env,
) => (...args: A) => Hkt
export declare function fromEnvK(
F: FromEnv3,
): (
f: (...args: A) => E.Env,
) => (...args: A) => Hkt
export declare function fromEnvK(
F: FromEnv4,
): (
f: (...args: A) => E.Env,
) => (...args: A) => Hkt
export declare function fromEnvK(
F: FromEnv,
): (
f: (...args: A) => E.Env,
) => (...args: A) => Hkt
```
Added in v0.9.2
# Typeclass
## FromEnv (type alias)
**Signature**
```ts
export type FromEnv = {
readonly URI?: F
readonly fromEnv: (env: E.Env) => HKT2
}
```
Added in v0.9.2
## FromEnv3 (type alias)
**Signature**
```ts
export type FromEnv3 = {
readonly URI?: F
readonly fromEnv: NaturalTransformation23R
}
```
Added in v0.9.2
## FromEnv3C (type alias)
**Signature**
```ts
export type FromEnv3C = {
readonly URI?: F
readonly fromEnv: NaturalTransformation23RC
}
```
Added in v0.9.2
## FromEnv4 (type alias)
**Signature**
```ts
export type FromEnv4 = {
readonly URI?: F
readonly fromEnv: NaturalTransformation24R
}
```
Added in v0.9.2