UNPKG

@typed/fp

Version:

Data Structures and Resources for fp-ts

198 lines 3.47 kB
/** * EnvData is DataT of Env. * @since 0.9.2 */ import * as App from 'fp-ts/Applicative'; import * as Ap from 'fp-ts/Apply'; import * as Ch from 'fp-ts/Chain'; import * as F from 'fp-ts/Functor'; import * as DT from './DataT'; import * as E from './Env'; /** * @since 0.9.2 * @category Combinator */ export const alt = DT.alt(E.Monad); /** * @since 0.9.2 * @category Combinator */ export const ap = DT.ap(E.Apply); /** * @since 0.9.2 * @category Combinator */ export const chain = DT.chain(E.Monad); /** * @since 0.9.2 * @category Combinator */ export const getOrElse = DT.getOrElse(E.Functor); /** * @since 0.9.2 * @category Combinator */ export const map = DT.map(E.Functor); /** * @since 0.9.2 * @category Deconstructor */ export const match = DT.match(E.Functor); /** * @since 0.9.2 * @category Deconstructor */ export const matchW = DT.matchW(E.Functor); /** * @since 0.9.2 * @category Deconstructor */ export const match3W = DT.match3W(E.Functor); /** * @since 0.9.2 * @category Deconstructor */ export const matchE = DT.matchE(E.Chain); /** * @since 0.9.2 * @category Deconstructor */ export const matchEW = DT.matchEW(E.Chain); /** * @since 0.9.2 * @category Constructor */ export const noData = DT.noData(E.Pointed); /** * @since 0.9.2 * @category Constructor */ export const loading = DT.loading(E.Pointed); /** * @since 0.9.2 * @category Constructor */ export const refresh = DT.refresh(E.Pointed); /** * @since 0.9.2 * @category Constructor */ export const replete = DT.replete(E.Pointed); /** * @since 0.9.2 * @category Constructor */ export const repleteF = DT.repleteF(E.Functor); /** * @since 0.9.2 * @category URI */ export const URI = '@typed/fp/EnvData'; /** * @since 0.9.2 * @category Combinator */ export const of = replete; /** * @since 0.9.2 * @category Instance */ export const Pointed = { of, }; /** * @since 0.9.2 * @category Instance */ export const Functor = { map, }; /** * @since 0.9.2 * @category Combinator */ export const bindTo = F.bindTo(Functor); /** * @since 0.9.2 * @category Combinator */ export const flap = F.flap(Functor); /** * @since 0.9.2 * @category Combinator */ export const tupled = F.tupled(Functor); /** * @since 0.9.2 * @category Instance */ export const Apply = { map, ap, }; /** * @since 0.9.2 * @category Combinator */ export const apFirst = Ap.apFirst(Apply); /** * @since 0.9.2 * @category Combinator */ export const apS = Ap.apS(Apply); /** * @since 0.9.2 * @category Combinator */ export const apSecond = Ap.apSecond(Apply); /** * @since 0.9.2 * @category Combinator */ export const apT = Ap.apT(Apply); /** * @since 0.9.2 * @category Typeclass Constructor */ export const getApplySemigroup = Ap.getApplySemigroup(Apply); /** * @since 0.9.2 * @category Instance */ export const Applicative = { ...Pointed, ...Apply, }; /** * @since 0.9.2 * @category Typeclass Constructor */ export const getApplicativeMonoid = App.getApplicativeMonoid(Applicative); /** * @since 0.9.2 * @category Instance */ export const Chain = { map, chain, }; /** * @since 0.9.2 * @category Combinator */ export const bind = Ch.bind(Chain); /** * @since 0.9.2 * @category Combinator */ export const chainFirst = Ch.chainFirst(Chain); /** * @since 0.9.2 * @category Instance */ export const Monad = { ...Pointed, ...Chain, }; // TODO: Additional typeclasses //# sourceMappingURL=EnvData.js.map