Skip to main content
Using Deno in production at your company? Earn free Deno merch.
Give us feedback
Module

x/hkts/testing/assert.ts>assertComonad

Functional programming tools: option, either, task, state, optics, etc.
Latest
variable assertComonad
import { assertComonad } from "https://deno.land/x/hkts@v0.0.52/testing/assert.ts";

Assert: Comonad


type

<URI extends URIS, A = never, B = never, C = never, D = never, I = never, J = never>(C: TC.Comonad<URI>, unnamed 1: { ta: Kind<URI,
[
A,
B,
C,
D,
]
>; fai: (a: A) => I; fij: (i: I) => J; ftai: (ta: Kind<URI,
[
A,
B,
C,
D,
]
>
) => I; ftij: (tb: Kind<URI,
[
I,
B,
C,
D,
]
>
) => J; }
) => void