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

x/hkts/testing/assert.ts>MonadTest

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

Utility Types


Type Parameters

URI extends URIS
A
optional
B = never
optional
C = never
optional
D = never
optional
I = never
optional
J = never
definition: { a: A; ta: Kind<URI,
[
A,
B,
C,
D,
]
>; fai: (a: A) => I; fij: (i: I) => J; tfai: Kind<URI,
[
(a: A) => I,
B,
C,
D,
]
>; tfij: Kind<URI,
[
(i: I) => J,
B,
C,
D,
]
>; fati: (a: A) => Kind<URI,
[
I,
B,
C,
D,
]
>; fitj: (i: I) => Kind<URI,
[
J,
B,
C,
D,
]
>; }