id | title |
---|---|
IxMonad |
Module IxMonad |
Signature (type class) Source
export interface IxMonad<F> {
readonly URI: F
readonly iof: <I, A>(a: A) => HKT3<F, I, I, A>
readonly ichain: <I, O, Z, A, B>(fa: HKT3<F, I, O, A>, f: (a: A) => HKT3<F, O, Z, B>) => HKT3<F, I, Z, B>
}
Added in v1.0.0
Signature (function) Source
export function iapplyFirst<F>(
ixmonad: IxMonad<F>
): <I, O, A, Z, B>(fa: HKT3<F, I, O, A>, fb: HKT3<F, O, Z, B>) => HKT3<F, I, Z, A> { ... }
Added in v1.0.0
Signature (function) Source
export function iapplySecond<F>(
ixmonad: IxMonad<F>
): <I, O, A, Z, B>(fa: HKT3<F, I, O, A>, fb: HKT3<F, O, Z, B>) => HKT3<F, I, Z, B> { ... }
Added in v1.0.0