effect-ts-laws/src/typeclass/data/List.d.ts

effect-ts law testing using fast-check.

import { Foldable as FO, Monad as MD } from '@effect/typeclass';
import type { TypeLambda } from 'effect/HKT';
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 declare const Monad: MD.Monad<ListTypeLambda>;
/**
 * @category instances
 */
export declare const Foldable: FO.Foldable<ListTypeLambda>;
/**
 * @category instances
 */
export declare const RightFoldable: RF.RightFoldable<ListTypeLambda>;
//# sourceMappingURL=List.d.ts.map