idea-plugin / arrow.meta.ide.dsl.application.services / Id
Id
data class Id<A>
minimal port from arrow-core
Functions
| extract | fun extract(): A |
| map | fun <R> map(f: (A) -> R): Id<R> |
Companion Object Functions
| just | fun <A> just(value: A): Id<A> |