Where are the common typeclasses instances in scalaz? -


i'm trying understand how scalaz organized, , know common monad (or other typeclasses) instances monad[int], monad[list] ... defined.

take example monad[list]. saw scalaz.std module contains listinstances trait contains implicit values typeclass instances of lists, monoid[list]. implicit value defines append function list instance of monoid.

is there place find implicit value monad[list], defines point , bind lists?

here can find monad instance , other instances monoid list: listinstances. can see there's no monad[list] instance monadplus[list] instance. monadplus monad plus applicativeplus (no pun intended).

in general there's trait, allinstances, mixes in all instances , can find here.


Comments

Popular posts from this blog

html - Outlook 2010 Anchor (url/address/link) -

javascript - Why does running this loop 9 times take 100x longer than running it 8 times? -

Getting gateway time-out Rails app with Nginx + Puma running on Digital Ocean -