import * as mod from "https://github.gh-proxy.cn/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.
| ApplicableIdentity | The canonical implementation of Applicable for Identity. |
| FlatmappableIdentity | The canonical implementation of Flatmappable for Identity. |
| MappableIdentity | The canonical implementation of Mappable for Identity. |
| WrappableIdentity |
| apply | Apply a function wrapped in an Identity to a value wrapped in an Identity. |
| flatmap | Chain Identity computations together. |
| map | Apply a function to the value in an Identity. |
| 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 | Specifies Identity as a Higher Kinded Type, with covariant parameter A corresponding to the 0th index of any substitutions. |