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
Post a Comment