Press n or j to go to the next uncovered block, b, p or k for the previous block.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | 1x 1x | import {Monoid as MO} from '@effect/typeclass' import type {TypeLambda} from 'effect/HKT' /** * @category type lambda */ export interface DualTypeLambda extends TypeLambda { readonly type: Dual<this['Target']> } /** * A [Monoid](https://github.com/Effect-TS/effect/blob/main/packages/typeclass/src/Monoid.ts) * with the `combine` arguments flipped. * @category typeclass */ export interface Dual<A> extends MO.Monoid<A> {} /** * Build the `Dual<A>` of a `Monoid<A>`. * @category typeclass */ export const fromMonoid = <A>(monoid: MO.Monoid<A>): Dual<A> => MO.reverse(monoid) |