Quali sono le monadi Scala standard diverse da Opzione?

Question

Option monad diventa praticamente una struttura alcune volte in Scala. Ci sono altre monadi nella libreria standard di Scala?

Answer 1

È possibile risolvere questo problema cercando la spia flatMap nello API index. Dà:

FilterMonadic 
Stream 
StreamWithFilter 
TraversableMethods 
Iterator 
ParIterableLike 
ParIterableLike 
ParIterableViewLike 
TraversableLike 
WithFilter 
MonadOps 
TraversableProxyLike 
TraversableViewLike 
LeftProjection 
RightProjection 
Option 
WithFilter 
Responder 
Zipped 
ControlContext 
Parser 

Answer 2

La risposta di Luigi è corretta, ma non molto informativa, IMHO.

Tutte le raccolte possono implementare l'interfaccia di monad, ma la firma per flatMap in esse non è una flatmap di monade. Però si comportano come monadi la maggior parte del tempo. Quasi tutte le classi elencate da Luigi sono legate alle collezioni.

LeftProject e RightProject si riferisce a Either. Fondamentalmente, Either non è una monade, ma se si "proietta" uno dei lati, allora quella parte si comporta come una monade Option.

Parser è una monade, che costituisce la base dei combinatori di parser.

Ammetto che non riconosco ControlContext. Mi chiedo se sia legato alle continuazioni (che sono anche le monadi).

Answer 3

Qui ci sono i link ai tre file Sources da Scalaz:

• Pure.scala
• Bind.scala
• Monad.scala

Date un'occhiata a dichiarazioni di istanza. Questo potrebbe darti un'idea di quali tipi dalla libreria standard soddisfano l'interfaccia monadica.