@frp-ts/fp-ts | frp-ts

Index

Namespaces

frptsProperty

Type aliases

Variables

instance

Functions

Type aliases

URI

URI: typeof URI

Variables

instance

instance: Applicative1<URI> = ...

Functions

ap

ap<A>(fa: Property<A>): (fab: Property<(a: A) => B>) => Property

- Defined in node_modules/.pnpm/fp-ts@2.11.5/node_modules/fp-ts/lib/pipeable.d.ts:252
Type parameters
- A
Parameters
- fa: Property<A>
Returns (fab: Property<(a: A) => B>) => Property
- - (fab: Property<(a: A) => B>): Property
 - Type parameters
 - B
 Parameters
 - fab: Property<(a: A) => B>
 Returns Property

apFirst

apFirst(fb: Property): <A>(fa: Property<A>) => Property<A>

- Defined in node_modules/.pnpm/fp-ts@2.11.5/node_modules/fp-ts/lib/pipeable.d.ts:253
Type parameters
- B
Parameters
- fb: Property
Returns <A>(fa: Property<A>) => Property<A>
- - <A>(fa: Property<A>): Property<A>
 - Type parameters
 - A
 Parameters
 - fa: Property<A>
 Returns Property<A>

apSecond

apSecond(fb: Property): <A>(fa: Property<A>) => Property

- Defined in node_modules/.pnpm/fp-ts@2.11.5/node_modules/fp-ts/lib/pipeable.d.ts:254
Type parameters
- B
Parameters
- fb: Property
Returns <A>(fa: Property<A>) => Property
- - <A>(fa: Property<A>): Property
 - Type parameters
 - A
 Parameters
 - fa: Property<A>
 Returns Property

map

map<A, B>(f: (a: A) => B): (fa: Property<A>) => Property

- Defined in node_modules/.pnpm/fp-ts@2.11.5/node_modules/fp-ts/lib/pipeable.d.ts:103
Type parameters
- A
- B
Parameters
- f: (a: A) => B
 - - (a: A): B
 - Parameters
 - a: A
 Returns B
Returns (fa: Property<A>) => Property
- - (fa: Property<A>): Property
 - Parameters
 - fa: Property<A>
 Returns Property

sample

sample<F>(F: Functor4<F>): <S, R, E, A, B>(property: Property<A>, sampler: Kind4<F, S, R, E, B>) => Kind4<F, S, R, E, A>
sample<F>(F: Functor3<F>): <R, E, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>) => Kind3<F, R, E, A>
sample<F, E>(F: Functor3C<F, E>): <R, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>) => Kind3<F, R, E, A>
sample<F>(F: Functor2<F>): <E, A, B>(property: Property<A>, sampler: Kind2<F, E, B>) => Kind2<F, E, A>
sample<F, E>(F: Functor2C<F, E>): <A, B>(property: Property<A>, sampler: Kind2<F, E, B>) => Kind2<F, E, A>
sample<F>(F: Functor1<F>): <A, B>(property: Property<A>, sampler: Kind<F, B>) => Kind<F, A>
sample<F>(F: Functor<F>): <A, B>(property: Property<A>, sampler: HKT<F, B>) => HKT<F, A>

- Defined in packages/fp-ts/src/property.ts:46
Type parameters
- F: never
Parameters
- F: Functor4<F>
Returns <S, R, E, A, B>(property: Property<A>, sampler: Kind4<F, S, R, E, B>) => Kind4<F, S, R, E, A>
- - <S, R, E, A, B>(property: Property<A>, sampler: Kind4<F, S, R, E, B>): Kind4<F, S, R, E, A>
 - Type parameters
 - S
 - R
 - E
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind4<F, S, R, E, B>
 Returns Kind4<F, S, R, E, A>
- Defined in packages/fp-ts/src/property.ts:49
Type parameters
- F: never
Parameters
- F: Functor3<F>
Returns <R, E, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>) => Kind3<F, R, E, A>
- - <R, E, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>): Kind3<F, R, E, A>
 - Type parameters
 - R
 - E
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind3<F, R, E, B>
 Returns Kind3<F, R, E, A>
- Defined in packages/fp-ts/src/property.ts:52
Type parameters
- F: never
- E
Parameters
- F: Functor3C<F, E>
Returns <R, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>) => Kind3<F, R, E, A>
- - <R, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>): Kind3<F, R, E, A>
 - Type parameters
 - R
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind3<F, R, E, B>
 Returns Kind3<F, R, E, A>
- Defined in packages/fp-ts/src/property.ts:55
Type parameters
- F: keyof URItoKind2<any, any>
Parameters
- F: Functor2<F>
Returns <E, A, B>(property: Property<A>, sampler: Kind2<F, E, B>) => Kind2<F, E, A>
- - <E, A, B>(property: Property<A>, sampler: Kind2<F, E, B>): Kind2<F, E, A>
 - Type parameters
 - E
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind2<F, E, B>
 Returns Kind2<F, E, A>
- Defined in packages/fp-ts/src/property.ts:58
Type parameters
- F: keyof URItoKind2<any, any>
- E
Parameters
- F: Functor2C<F, E>
Returns <A, B>(property: Property<A>, sampler: Kind2<F, E, B>) => Kind2<F, E, A>
- - <A, B>(property: Property<A>, sampler: Kind2<F, E, B>): Kind2<F, E, A>
 - Type parameters
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind2<F, E, B>
 Returns Kind2<F, E, A>
- Defined in packages/fp-ts/src/property.ts:61
Type parameters
- F: keyof URItoKind<any>
Parameters
- F: Functor1<F>
Returns <A, B>(property: Property<A>, sampler: Kind<F, B>) => Kind<F, A>
- - <A, B>(property: Property<A>, sampler: Kind<F, B>): Kind<F, A>
 - Type parameters
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind<F, B>
 Returns Kind<F, A>
- Defined in packages/fp-ts/src/property.ts:62
Type parameters
- F
Parameters
- F: Functor<F>
Returns <A, B>(property: Property<A>, sampler: HKT<F, B>) => HKT<F, A>
- - <A, B>(property: Property<A>, sampler: HKT<F, B>): HKT<F, A>
 - Type parameters
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: HKT<F, B>
 Returns HKT<F, A>

sampleIO

sampleIO<F>(F: Functor4<F>): <S, R, E, A, B>(property: Property<A>, sampler: Kind4<F, S, R, E, B>) => Kind4<F, S, R, E, IO<A>>
sampleIO<F>(F: Functor3<F>): <R, E, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>) => Kind3<F, R, E, IO<A>>
sampleIO<F, E>(F: Functor3C<F, E>): <R, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>) => Kind3<F, R, E, IO<A>>
sampleIO<F>(F: Functor2<F>): <E, A, B>(property: Property<A>, sampler: Kind2<F, E, B>) => Kind2<F, E, IO<A>>
sampleIO<F, E>(F: Functor2C<F, E>): <A, B>(property: Property<A>, sampler: Kind2<F, E, B>) => Kind2<F, E, IO<A>>
sampleIO<F>(F: Functor1<F>): <A, B>(property: Property<A>, sampler: Kind<F, B>) => Kind<F, IO<A>>
sampleIO<F>(F: Functor<F>): <A, B>(property: Property<A>, sampler: HKT<F, B>) => HKT<F, IO<A>>

- Defined in packages/fp-ts/src/property.ts:67
Type parameters
- F: never
Parameters
- F: Functor4<F>
Returns <S, R, E, A, B>(property: Property<A>, sampler: Kind4<F, S, R, E, B>) => Kind4<F, S, R, E, IO<A>>
- - <S, R, E, A, B>(property: Property<A>, sampler: Kind4<F, S, R, E, B>): Kind4<F, S, R, E, IO<A>>
 - Type parameters
 - S
 - R
 - E
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind4<F, S, R, E, B>
 Returns Kind4<F, S, R, E, IO<A>>
- Defined in packages/fp-ts/src/property.ts:70
Type parameters
- F: never
Parameters
- F: Functor3<F>
Returns <R, E, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>) => Kind3<F, R, E, IO<A>>
- - <R, E, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>): Kind3<F, R, E, IO<A>>
 - Type parameters
 - R
 - E
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind3<F, R, E, B>
 Returns Kind3<F, R, E, IO<A>>
- Defined in packages/fp-ts/src/property.ts:73
Type parameters
- F: never
- E
Parameters
- F: Functor3C<F, E>
Returns <R, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>) => Kind3<F, R, E, IO<A>>
- - <R, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>): Kind3<F, R, E, IO<A>>
 - Type parameters
 - R
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind3<F, R, E, B>
 Returns Kind3<F, R, E, IO<A>>
- Defined in packages/fp-ts/src/property.ts:76
Type parameters
- F: keyof URItoKind2<any, any>
Parameters
- F: Functor2<F>
Returns <E, A, B>(property: Property<A>, sampler: Kind2<F, E, B>) => Kind2<F, E, IO<A>>
- - <E, A, B>(property: Property<A>, sampler: Kind2<F, E, B>): Kind2<F, E, IO<A>>
 - Type parameters
 - E
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind2<F, E, B>
 Returns Kind2<F, E, IO<A>>
- Defined in packages/fp-ts/src/property.ts:79
Type parameters
- F: keyof URItoKind2<any, any>
- E
Parameters
- F: Functor2C<F, E>
Returns <A, B>(property: Property<A>, sampler: Kind2<F, E, B>) => Kind2<F, E, IO<A>>
- - <A, B>(property: Property<A>, sampler: Kind2<F, E, B>): Kind2<F, E, IO<A>>
 - Type parameters
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind2<F, E, B>
 Returns Kind2<F, E, IO<A>>
- Defined in packages/fp-ts/src/property.ts:82
Type parameters
- F: keyof URItoKind<any>
Parameters
- F: Functor1<F>
Returns <A, B>(property: Property<A>, sampler: Kind<F, B>) => Kind<F, IO<A>>
- - <A, B>(property: Property<A>, sampler: Kind<F, B>): Kind<F, IO<A>>
 - Type parameters
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: Kind<F, B>
 Returns Kind<F, IO<A>>
- Defined in packages/fp-ts/src/property.ts:85
Type parameters
- F
Parameters
- F: Functor<F>
Returns <A, B>(property: Property<A>, sampler: HKT<F, B>) => HKT<F, IO<A>>
- - <A, B>(property: Property<A>, sampler: HKT<F, B>): HKT<F, IO<A>>
 - Type parameters
 - A
 - B
 Parameters
 - property: Property<A>
 - sampler: HKT<F, B>
 Returns HKT<F, IO<A>>

Const sequenceS

sequenceS<NER>(r: EnforceNonEmptyRecord<NER>): Property<{ [ K in string | number | symbol]: [NER[K]] extends [Property<A>] ? A : never }>

- Defined in packages/fp-ts/src/property.ts:43
Type parameters
- NER: Record<string, Property<any>>
Parameters
- r: EnforceNonEmptyRecord<NER>
Returns Property<{ [ K in string | number | symbol]: [NER[K]] extends [Property<A>] ? A : never }>

Const sequenceT

sequenceT<T>(...t: T & { 0: Property<any> }): Property<{ [ K in string | number | symbol]: [T[K]] extends [Property<A>] ? A : never }>

- Defined in packages/fp-ts/src/property.ts:44
Type parameters
- T: Property<any>[]
Parameters
- Rest ...t: T & { 0: Property<any> }
Returns Property<{ [ K in string | number | symbol]: [T[K]] extends [Property<A>] ? A : never }>

Index

Namespaces

Type aliases

Variables

Functions

Type aliases

URI

Variables

instance

Functions

ap

Type parameters

A

Parameters

fa: Property<A>

Returns <B>(fab: Property<(a: A) => B>) => Property<B>

Type parameters

B

Parameters

fab: Property<(a: A) => B>

Returns Property<B>

apFirst

Type parameters

B

Parameters

fb: Property<B>

Returns <A>(fa: Property<A>) => Property<A>

Type parameters

A

Parameters

fa: Property<A>

Returns Property<A>

apSecond

Type parameters

B

Parameters

fb: Property<B>

Returns <A>(fa: Property<A>) => Property<B>

Type parameters

A

Parameters

fa: Property<A>

Returns Property<B>

map

Type parameters

A

B

Parameters

f: (a: A) => B

Parameters

a: A

Returns B

Returns (fa: Property<A>) => Property<B>

Parameters

fa: Property<A>

Returns Property<B>

sample

Type parameters

F: never

Parameters

F: Functor4<F>

Returns <S, R, E, A, B>(property: Property<A>, sampler: Kind4<F, S, R, E, B>) => Kind4<F, S, R, E, A>

Type parameters

S

R

E

A

B

Parameters

property: Property<A>

sampler: Kind4<F, S, R, E, B>

Returns Kind4<F, S, R, E, A>

Type parameters

F: never

Parameters

F: Functor3<F>

Returns <R, E, A, B>(property: Property<A>, sampler: Kind3<F, R, E, B>) => Kind3<F, R, E, A>

Type parameters

R

E