parameterized internal.ts

0% Statements 0/0

0% Branches 1/1

0% Functions 1/1

0% Lines 0/0

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  
 
 
 
 
 
 
 
 
 
  import type {LawSet} from '#law'
import type {TypeLambda} from 'effect/HKT'
import {ParameterizedGiven} from './given.js'
 
export interface BuildInternal<Typeclass extends TypeLambda> {
  <F extends TypeLambda, A, B = A, C = A, R = never, O = unknown, E = unknown>(
    name: string,
    given: ParameterizedGiven<Typeclass, F, A, B, C, R, O, E>,
  ): LawSet
}