Bimonad

intermediate

A datatype that’s both a Monad and a Comonad.

TODO. Meanwhile you can find a short description in the intro to typeclasses.

Data types

Module Data types
arrow.core Eval, Function0, Id
arrow.data NonEmptyList

Hierarchy