Added in v2.0.0
Identifies an associative operation on a type constructor. It is similar to Semigroup
, except that it applies to
types of kind * -> *
.
Signature
export declare const alt: <A>(that: () => A) => (fa: A) => A
Added in v2.0.0
Less strict version of alt
.
Signature
export declare const altW: <B>(that: () => B) => <A>(fa: A) => B | A
Added in v2.9.0
Wrap a value into the type constructor.
Signature
export declare const of: <A>(a: A) => A
Added in v2.0.0
Apply a function to an argument under a type constructor.
Signature
export declare const ap: <A>(fa: A) => <B>(fab: (a: A) => B) => B
Added in v2.0.0
Signature
export declare const extend: <A, B>(f: (wa: A) => B) => (wa: A) => B
Added in v2.0.0
Signature
export declare const extract: <A>(wa: A) => A
Added in v2.6.2
Signature
export declare const foldMap: <M>(M: Monoid<M>) => <A>(f: (a: A) => M) => (fa: A) => M
Added in v2.0.0
Signature
export declare const reduce: <A, B>(b: B, f: (b: B, a: A) => B) => (fa: A) => B
Added in v2.0.0
Signature
export declare const reduceRight: <A, B>(b: B, f: (a: A, b: B) => B) => (fa: A) => B
Added in v2.0.0
map
can be used to turn functions (a: A) => B
into functions (fa: F<A>) => F<B>
whose argument and return types
use the type constructor F
to represent some computational context.
Signature
export declare const map: <A, B>(f: (a: A) => B) => (fa: A) => B
Added in v2.0.0
Composes computations in sequence, using the return value of one computation to determine the next computation.
Signature
export declare const chain: <A, B>(f: (a: A) => B) => (ma: A) => B
Added in v2.0.0
Combine two effectful actions, keeping only the result of the first.
Derivable from Apply
.
Signature
export declare const apFirst: <B>(fb: B) => <A>(fa: A) => A
Added in v2.0.0
Combine two effectful actions, keeping only the result of the second.
Derivable from Apply
.
Signature
export declare const apSecond: <B>(fb: B) => <A>(fa: A) => B
Added in v2.0.0
Composes computations in sequence, using the return value of one computation to determine the next computation and keeping only the result of the first.
Derivable from Monad
.
Signature
export declare const chainFirst: <A, B>(f: (a: A) => B) => (ma: A) => A
Added in v2.0.0
Derivable from Extend
.
Signature
export declare const duplicate: <A>(ma: A) => A
Added in v2.0.0
Derivable from Monad
.
Signature
export declare const flatten: <A>(mma: A) => A
Added in v2.0.0
Signature
export declare const Alt: Alt1<'Identity'>
Added in v2.7.0
Signature
export declare const Applicative: Applicative1<'Identity'>
Added in v2.7.0
Signature
export declare const ChainRec: ChainRec1<'Identity'>
Added in v2.7.0
Signature
export declare const Comonad: Comonad1<'Identity'>
Added in v2.7.0
Signature
export declare const Foldable: Foldable1<'Identity'>
Added in v2.7.0
Signature
export declare const Functor: Functor1<'Identity'>
Added in v2.7.0
Signature
export declare const Monad: Monad1<'Identity'>
Added in v2.7.0
Signature
export declare const Traversable: Traversable1<'Identity'>
Added in v2.7.0
Signature
export declare const URI: 'Identity'
Added in v2.0.0
Signature
export type URI = typeof URI
Added in v2.0.0
Signature
export declare const getEq: <A>(E: Eq<A>) => Eq<A>
Added in v2.0.0
Signature
export declare const getShow: <A>(S: Show<A>) => Show<A>
Added in v2.0.0
Signature
export declare const identity: Monad1<'Identity'> &
Foldable1<'Identity'> &
Traversable1<'Identity'> &
Alt1<'Identity'> &
Comonad1<'Identity'> &
ChainRec1<'Identity'>
Added in v2.0.0
Signature
export type Identity<A> = A
Added in v2.0.0
Signature
export declare const Do: {}
Added in v2.9.0
Signature
export declare const apS: <A, N extends string, B>(
name: Exclude<N, keyof A>,
fb: B
) => (fa: A) => { [K in N | keyof A]: K extends keyof A ? A[K] : B }
Added in v2.8.0
Signature
export declare const bind: <N extends string, A, B>(
name: Exclude<N, keyof A>,
f: (a: A) => B
) => (fa: A) => { [K in N | keyof A]: K extends keyof A ? A[K] : B }
Added in v2.8.0
Signature
export declare const bindTo: <N extends string>(name: N) => <A>(fa: A) => { [K in N]: A }
Added in v2.8.0
Signature
export declare const sequence: Sequence1<'Identity'>
Added in v2.6.3
Signature
export declare const traverse: PipeableTraverse1<'Identity'>
Added in v2.6.3