Manabu Nakamura gakuzzzz

ActionFunction の紹介

この記事は Play framework Advent Calendar 2014 の7日目です。

さて、そんなこんなで~~公式ドキュメントではまだ語られていない~~ ActionFunction とそのサブトレイトについて紹介したいと思います。 (公式ドキュメントにも記載ありました https://www.playframework.com/documentation/2.3.x/ScalaActionsComposition#Different-request-types )

氏名は必須
メアドはオプショナル
- だけど入力されていたら簡易な正規表現でチェック
開始日と終了日は必須
- 開始日 < 終了日である必要がある
全てのバリデーションが通ったら Subscription(name: String, mail: Option[String], interval: Interval) というオブジェクトにする
氏名とメアドと開始日と終了日のvalidationはどれががこけても全て実施して全てのエラーを返す必要がある

	@annotation.tailrec
	def diff(s1: Seq[Char], s2: Seq[Char], acc: StringBuilder = new StringBuilder()): String = {
	(s1, s2) match {
	case (Nil , Nil) => acc.toString
	case (x +: _ , Nil) => acc.append(s"[$x][$$END$$]").toString
	case (Nil , y +: _) => acc.append(s"[$$END$$][$y]").toString
	case (x +: xs, y +: ys) if x == y => diff(xs, ys, acc.append(x))
	case (x +: _ , y +: _) => acc.append(s"[$x][$y]").toString
	}
	}

	import play.api.mvc._

	import scala.concurrent.Future

	case class ZippedRequest[A, R1[_] <: Request[_], R2[_] <: Request[_]](_1: R1[A], _2: R2[A]) extends WrappedRequest[A](_1.asInstanceOf[Request[A]])

	object ActionBuilderZipper {

	private def zip[R1[_] <: Request[_], R2[_] <: Request[_]](b1: ActionBuilder[R1], b2: ActionBuilder[R2]): ActionBuilder[({type L[A] = ZippedRequest[A, R1, R2]})#L] = {
	new ActionBuilder[({type L[A] = ZippedRequest[A, R1, R2]})#L] {

	scala> def add(a: Int, b: Int): Int = a + b
	add: (a: Int, b: Int)Int

	scala> add(_)
	<console>:9: error: missing parameter type for expanded function ((x$1) => add(x$1))
	add(_)
	^
	<console>:9: error: not enough arguments for method add: (a: Int, b: Int)Int.
	Unspecified value parameter b.
	add(_)

	package controllers.util

	import play.api.mvc.{Result, Controller}
	import play.api.data.Form
	import scala.util.Either.RightProjection

	object Implicits {

	implicit def formToEither[A](form: Form[A]): Either[Form[A], A] = form.fold(Left.apply, Right.apply)

	import scalikejdbc._

	case class Tx[+A] private (underlying: DBSession => A) {

	def apply(s: DBSession): A = underlying(s)

	def map[B](f: A => B): Tx[B] = Tx(underlying andThen f)

	def flatMap[B](f: A => Tx[B]): Tx[B] = Tx(s => f(underlying(s))(s))

	import Control.Monad.State

	type Birds = Int
	type Pole = (Birds, Birds)

	landLeft' :: Birds -> Pole -> Either Pole Pole
	landLeft' n (left, right)
	\| abs ((left + n) - right) < 4 = Right (left + n, right)
	\| otherwise = Left (left + n, right)

	val (u, g) = (User.syntax("u"), Group.syntax("g"))
	val groupId: Option[GroupId] = ...

	// getOrElse
	sql"""
	SELECT
	${u.result.*}
	${groupId.map(v => sqls", ${g.result.name}") getOrElse sqls""}
	FROM
	${User as u}