incepted
searching PlanetScale…
- 1.▲
- 2.▲
- 3.▲
- 4.▲
- 5.▲
- 6.▲
45 ms·
- 421.▲
- 422.▲
- 423.▲
Random example from a popular project: def bimap[C, X[_, _], D](g: Bijection[C, D])(implicit F: Bifunctor[X], evF: F[B] =:= Id[B], evG: G[A] =:= Id[A]): Bijection[X[A, C], X[B, D]] =
bijection(
F.bimap(_)(to(_), g.t - 424.▲
- 425.▲
- 426.▲
- 427.▲
- 428.▲
- 429.▲
- 430.▲
- 431.▲
- 432.▲
- 433.▲
- 434.▲
- 435.▲
- 436.▲
- 437.▲
- 438.▲
- 439.▲
- 440.▲
- 441.▲
- 442.▲
- 443.▲
- 444.▲