@typed/fp/esm/StreamOption.js

Data Structures and Resources for fp-ts

import * as Ei from 'fp-ts/Either';
import { flow, pipe } from 'fp-ts/function';
import * as O from 'fp-ts/Option';
import * as OT from 'fp-ts/OptionT';
import * as S from './Stream';
/**
 * @since 0.9.2
 * @category Combinator
 */
export const alt = OT.alt(S.Monad);
/**
 * @since 0.9.2
 * @category Combinator
 */
export const ap = OT.ap(S.Apply);
/**
 * @since 0.9.2
 * @category Combinator
 */
export const chain = OT.chain(S.Monad);
/**
 * @since 0.9.2
 * @category Combinator
 */
export const chainNullableK = OT.chainNullableK(S.Monad);
/**
 * @since 0.9.2
 * @category Combinator
 */
export const chainOptionK = OT.chainOptionK(S.Monad);
/**
 * @since 0.9.2
 * @category Constructor
 */
export const fromEither = OT.fromEither(S.Monad);
/**
 * @since 0.9.2
 * @category Constructor
 */
export const fromStream = OT.fromF(S.Monad);
/**
 * @since 0.9.2
 * @category Constructor
 */
export const fromNullable = OT.fromNullable(S.Pointed);
/**
 * @since 0.9.2
 * @category Constructor
 */
export const fromNullableK = OT.fromNullableK(S.Pointed);
/**
 * @since 0.9.2
 * @category Constructor
 */
export const fromOptionK = OT.fromOptionK(S.Pointed);
/**
 * @since 0.9.2
 * @category Constructor
 */
export const fromPredicate = OT.fromPredicate(S.Pointed);
/**
 * @since 0.9.2
 * @category Combinator
 */
export const getOrElse = OT.getOrElse(S.Functor);
/**
 * @since 0.9.2
 * @category Combinator
 */
export const getOrElseE = OT.getOrElseE(S.Monad);
/**
 * @since 0.9.2
 * @category Combinator
 */
export const map = OT.map(S.Functor);
/**
 * @since 0.9.2
 * @category Combinator
 */
export const match = OT.match(S.Functor);
/**
 * @since 0.9.2
 * @category Combinator
 */
export const matchE = OT.matchE(S.Chain);
/**
 * @since 0.9.2
 * @category Constructor
 */
export const some = OT.some(S.Pointed);
/**
 * @since 0.9.2
 * @category Constructor
 */
export const zero = OT.zero(S.Pointed);
/**
 * @since 0.9.2
 * @category URI
 */
export const URI = '@typed/fp/StreamOption';
/**
 * @since 0.9.2
 * @category Instance
 */
export const Pointed = {
    of: flow(O.some, S.of),
};
/**
 * @since 0.9.2
 * @category Instance
 */
export const Functor = {
    map,
};
/**
 * @since 0.9.2
 * @category Instance
 */
export const Apply = {
    ...Functor,
    ap,
};
/**
 * @since 0.9.2
 * @category Instance
 */
export const Applicative = {
    ...Apply,
    ...Pointed,
};
/**
 * @since 0.9.2
 * @category Instance
 */
export const Chain = {
    ...Functor,
    chain,
};
/**
 * @since 0.9.2
 * @category Combinator
 */
export const chainRec = (f) => (value) => pipe(value, S.chainRec((a) => pipe(a, f, S.map((oe) => {
    if (O.isNone(oe)) {
        return Ei.right(oe);
    }
    return pipe(oe.value, Ei.map(O.some));
}))));
/**
 * @since 0.9.2
 * @category Instance
 */
export const ChainRec = {
    chainRec,
};
/**
 * @since 0.9.2
 * @category Instance
 */
export const Monad = {
    ...Chain,
    ...Pointed,
};
/**
 * @since 0.9.2
 * @category Instance
 */
export const MonadRec = {
    ...Monad,
    chainRec,
};
//# sourceMappingURL=StreamOption.js.map