import * as fun from "https://raw.githubusercontent.com/baetheus/fun/main/identity.ts";
This file contains the Identity algebraic data type. Identity is one of the simplest data types in that it represents a type AS IS, allowing one to create algebraic structures for the inner type. This is most useful for constructing arrow optics.
apply | |
flatmap | |
map | |
wrap | Wraps a value into an Identity type. This function allows any value to be lifted into the context of an Identity, making it possible to interact with other functions that operate on the Identity type. |
KindIdentity |