Muchas mónadas en Cats se definen usando el transformador correspondiente y la mónada Id. Esto es tranquilizador ya que confirma que las API para mónadas y transformadores son idénticas. Reader, Writer, y State se definen de esta manera:
type Reader[E, A] = ReaderT[Id, E, A]
type Writer[W, A] = WriterT[Id, W, A]
type State[S, A] = StateT[Id, S, A]
En otros casos, los transformadores de mónadas se definen por separado de sus correspondientes mónadas. En estos casos, los métodos del transformador tienden a reflejar los métodos de la mónada. Por ejemplo, OptionT define getOrElse, y EitherT define fold, bimap, swap y otros métodos útiles.
No hay comentarios.:
Publicar un comentario