• Home
• org.specs2
• specs2-scalaz-core_2.10
• 7.0.0
• source code
• MonadState.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

scalaz.MonadState.scala Maven / Gradle / Ivy

package org.specs2.internal.scalaz

trait MonadState[F[_,_],S] extends Monad[({type f[x]=F[S,x]})#f] {
  def init: F[S,S]
  def put(s: S): F[S,Unit]
  def modify(f: S => S): F[S, Unit] = bind(init)(s => put(f(s)))
  def gets[A](f: S => A): F[S, A] = bind(init)(s => point(f(s)))
}

object MonadState {
  def apply[F[_,_],S](implicit F: MonadState[F, S]) = F
}