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 29 30 31 32 33 34 35 36 37 38 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x | import {Covariant as CO, Foldable as FO, Monad as MD} from '@effect/typeclass'
import type {TypeLambda} from 'effect/HKT'
import {flatMap, map, of, reduce, reduceRight} from 'effect/List'
import type {List} from 'effect/List'
import * as RF from '../RightFoldable.js'
/**
* @category type lambda
*/
export interface ListTypeLambda extends TypeLambda {
readonly type: List<this['Target']>
}
/**
* @category instances
*/
export const Monad: MD.Monad<ListTypeLambda> = {
of,
flatMap,
map,
imap: CO.imap<ListTypeLambda>(map),
}
/**
* @category instances
*/
export const Foldable: FO.Foldable<ListTypeLambda> = {
reduce,
}
/**
* @category instances
*/
export const RightFoldable: RF.RightFoldable<ListTypeLambda> = {
...Foldable,
reduceRight,
}
|