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 25 26 27 28 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x | /** Typeclass law tests for the `Cause` datatype. */
import {Covariant as CO, Monad as MD} from '@effect/typeclass'
import {Cause as CA, Equal} from 'effect'
import type {LiftEquivalence} from '../../law.js'
import {constant} from 'effect/Function'
import type {TypeLambda} from 'effect/HKT'
export interface CauseTypeLambda extends TypeLambda {
readonly type: CA.Cause<this['Target']>
}
/**
* @category instances
*/
export const Monad: MD.Monad<CauseTypeLambda> = {
map: CA.map,
imap: CO.imap<CauseTypeLambda>(CA.map),
flatMap: CA.flatMap,
of: CA.fail,
}
/**
* @category instances
*/
export const getEquivalence: LiftEquivalence<CauseTypeLambda> = constant(
Equal.equals,
)
|