arrow-mtl / arrow.mtl.extensions / Function1MonadReader

Function1MonadReader

@extension interface Function1MonadReader<I> : MonadReader<Function1PartialOf<I>, I>, Function1Monad<I>

Functions

ask open fun ask(): (I) -> I
local open fun <A> Kind<Function1PartialOf<I>, A>.local(f: (I) -> I): (I) -> A