---
title: FromReaderStream.ts
nav_order: 22
parent: Modules
---
## FromReaderStream overview
FromReaderStream is a Typeclass which represents the Natural Transformation from an ReaderStream
into another effect.
Added in v0.13.9
---
Table of contents
- [Combinator](#combinator)
- [FromReaderStream2 (type alias)](#fromreaderstream2-type-alias)
- [chainFirstReaderStreamK](#chainfirstreaderstreamk)
- [chainReaderStreamK](#chainreaderstreamk)
- [provideAllWithReaderStream](#provideallwithreaderstream)
- [provideSomeWithReaderStream](#providesomewithreaderstream)
- [useAllWithReaderStream](#useallwithreaderstream)
- [useSomeWithReaderStream](#usesomewithreaderstream)
- [Constructor](#constructor)
- [fromReaderStreamK](#fromreaderstreamk)
- [Typeclass](#typeclass)
- [FromReaderStream (type alias)](#fromreaderstream-type-alias)
- [FromReaderStream3 (type alias)](#fromreaderstream3-type-alias)
- [FromReaderStream3C (type alias)](#fromreaderstream3c-type-alias)
- [FromReaderStream4 (type alias)](#fromreaderstream4-type-alias)
---
# Combinator
## FromReaderStream2 (type alias)
**Signature**
```ts
export type FromReaderStream2 = {
readonly URI?: F
readonly fromReaderStream: NaturalTransformation22
}
```
Added in v0.13.9
## chainFirstReaderStreamK
**Signature**
```ts
export declare function chainFirstReaderStreamK(
F: FromReaderStream2,
C: Chain2,
): (
f: (value: A) => RS.ReaderStream,
) => (hkt: Hkt) => Hkt, A]>
export declare function chainFirstReaderStreamK(
F: FromReaderStream3,
C: Chain3,
): (
f: (value: A) => RS.ReaderStream,
) => (hkt: Hkt) => Hkt, E, A]>
export declare function chainFirstReaderStreamK(
F: FromReaderStream4,
C: Chain4,
): (
f: (value: A) => RS.ReaderStream,
) => (hkt: Hkt) => Hkt, E, A]>
export declare function chainFirstReaderStreamK(
F: FromReaderStream,
C: Chain,
): (
f: (value: A) => RS.ReaderStream,
) => (hkt: Hkt) => Hkt, A]>
```
Added in v0.13.9
## chainReaderStreamK
**Signature**
```ts
export declare function chainReaderStreamK(
F: FromReaderStream2,
C: Chain2,
): (
f: (value: A) => RS.ReaderStream,
) => (hkt: Hkt) => Hkt, B]>
export declare function chainReaderStreamK(
F: FromReaderStream3,
C: Chain3,
): (
f: (value: A) => RS.ReaderStream,
) => (hkt: Hkt) => Hkt, E, B]>
export declare function chainReaderStreamK(
F: FromReaderStream4,
C: Chain4,
): (
f: (value: A) => RS.ReaderStream,
) => (hkt: Hkt) => Hkt, E, B]>
export declare function chainReaderStreamK(
F: FromReaderStream,
C: Chain,
): (
f: (value: A) => RS.ReaderStream,
) => (hkt: Hkt) => Hkt, B]>
```
Added in v0.13.9
## provideAllWithReaderStream
**Signature**
```ts
export declare function provideAllWithReaderStream(
F: FromReaderStream4 & Provide.ProvideAll4 & Chain4,
): (
stream: RS.ReaderStream,
) => (hkt: Kind4) => Kind4
export declare function provideAllWithReaderStream(
F: FromReaderStream3 & Provide.ProvideAll3 & Chain3,
): (stream: RS.ReaderStream) => (hkt: Kind3) => Kind3
export declare function provideAllWithReaderStream(
F: FromReaderStream2 & Provide.ProvideAll2 & Chain2,
): (stream: RS.ReaderStream) => (hkt: Kind2) => Kind2
export declare function provideAllWithReaderStream(
F: FromReaderStream & Provide.ProvideAll & Chain,
): (stream: RS.ReaderStream) => (hkt: HKT2) => HKT2
```
Added in v0.13.9
## provideSomeWithReaderStream
**Signature**
```ts
export declare function provideSomeWithReaderStream(
F: FromReaderStream4 & Provide.ProvideSome4 & Chain4,
): (
stream: RS.ReaderStream,
) => Provide.Provider4, Initial>
export declare function provideSomeWithReaderStream(
F: FromReaderStream3 & Provide.ProvideSome3 & Chain3,
): (stream: RS.ReaderStream) => Provide.Provider3>
export declare function provideSomeWithReaderStream(
F: FromReaderStream2 & Provide.ProvideSome2 & Chain2,
): (stream: RS.ReaderStream) => Provide.Provider2
export declare function provideSomeWithReaderStream(
F: FromReaderStream & Provide.ProvideSome & Chain,
): (stream: RS.ReaderStream) => Provide.Provider
```
Added in v0.13.9
## useAllWithReaderStream
**Signature**
```ts
export declare function useAllWithReaderStream(
F: FromReaderStream4 & Provide.UseAll4 & Chain4,
): (
stream: RS.ReaderStream,
) => (hkt: Kind4) => Kind4
export declare function useAllWithReaderStream(
F: FromReaderStream3 & Provide.UseAll3 & Chain3,
): (stream: RS.ReaderStream) => (hkt: Kind3) => Kind3
export declare function useAllWithReaderStream(
F: FromReaderStream2 & Provide.UseAll2 & Chain2,
): (stream: RS.ReaderStream) => (hkt: Kind2) => Kind2
export declare function useAllWithReaderStream(
F: FromReaderStream & Provide.UseAll & Chain,
): (stream: RS.ReaderStream) => (hkt: HKT2) => HKT2
```
Added in v0.13.9
## useSomeWithReaderStream
**Signature**
```ts
export declare function useSomeWithReaderStream(
F: FromReaderStream4 & Provide.UseSome4 & Chain4,
): (
stream: RS.ReaderStream,
) => Provide.Provider4, Initial>
export declare function useSomeWithReaderStream(
F: FromReaderStream3 & Provide.UseSome3 & Chain3,
): (stream: RS.ReaderStream) => Provide.Provider3>
export declare function useSomeWithReaderStream(
F: FromReaderStream2 & Provide.UseSome2 & Chain2,
): (stream: RS.ReaderStream) => Provide.Provider2
export declare function useSomeWithReaderStream(
F: FromReaderStream & Provide.UseSome & Chain,
): (stream: RS.ReaderStream) => Provide.Provider
```
Added in v0.13.9
# Constructor
## fromReaderStreamK
**Signature**
```ts
export declare function fromReaderStreamK(
F: FromReaderStream2,
): (
f: (...args: A) => RS.ReaderStream,
) => (...args: A) => Hkt
export declare function fromReaderStreamK(
F: FromReaderStream3,
): (
f: (...args: A) => RS.ReaderStream,
) => (...args: A) => Hkt
export declare function fromReaderStreamK(
F: FromReaderStream4,
): (
f: (...args: A) => RS.ReaderStream,
) => (...args: A) => Hkt
export declare function fromReaderStreamK(
F: FromReaderStream,
): (
f: (...args: A) => RS.ReaderStream,
) => (...args: A) => Hkt
```
Added in v0.13.9
# Typeclass
## FromReaderStream (type alias)
**Signature**
```ts
export type FromReaderStream = {
readonly URI?: F
readonly fromReaderStream: (stream: RS.ReaderStream) => HKT2
}
```
Added in v0.13.9
## FromReaderStream3 (type alias)
**Signature**
```ts
export type FromReaderStream3 = {
readonly URI?: F
readonly fromReaderStream: NaturalTransformation23R
}
```
Added in v0.13.9
## FromReaderStream3C (type alias)
**Signature**
```ts
export type FromReaderStream3C = {
readonly URI?: F
readonly fromReaderStream: NaturalTransformation23RC
}
```
Added in v0.13.9
## FromReaderStream4 (type alias)
**Signature**
```ts
export type FromReaderStream4 = {
readonly URI?: F
readonly fromReaderStream: NaturalTransformation24R
}
```
Added in v0.13.9