impure | /examples/freer.ts | fun@v2.0.0

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.

baetheus/fun

Latest

arrow.ts

eta

get

map

put

run

Fix

map

map

Nat

function impure

import { impure } from "https://deno.land/x/fun@v2.0.0/examples/freer.ts";

impure<G, D, A>(from: $<G, [D, never, never]>, to: (d: D) => Freer<G, A>): Freer<G, A>

Type Parameters

Parameters

from: $<G, [D, never, never]>

to: (d: D) => Freer<G, A>

Returns

Freer<G, A>