deimos-lang/dm_lib_sketching/std/core/monad.dm
2024-12-31 12:07:48 -06:00

5 lines
118 B
Plaintext

pub hkt Monad[T<A>] {
fn <B> map(m: fn (from: A) => B): T<B>
fn <B> flat_map(m: fn (from: A) => T<B>): T<B>
}