scalaz.http.request.Line.scala Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of scalaz-http_2.9.3-RC1 Show documentation
scalaz-http
The newest version!
package scalaz
package http
package request

import Util.Nel._
import Scalaz._

/**
 * A request line.
 * RFC 2616 Section 5.1 Request-Line.
 *
 * @author Tony Morris
 */
sealed trait Line {
  /**
   * The request method.
   */
  val method: Method

  /**
   * The request URI.
   */
  val uri: Uri

  /**
   * The request version.
   */
  val version: Version

  import Line.line

  /**
   * Returns a request line with the given method and this URI and version.
   */
  def apply(m: Method): Line = line(m, uri, version)

  /**
   * Returns a request line with the given URI and this method and version.
   */
  def apply(u: Uri): Line = line(method, u, version)
  
  /**
   * Returns a request line with the given version and this method and URI.
   */
  def apply(v: Version): Line = line(method, uri, v)

  /**
   *  Returns the first occurrence of the given request parameter in the request URI.
   */
  def !(p: String) = uri.parametersMapHeads flatMap (_.get(p.toList))

  /**
   * Returns the first occurrence of the given request parameter in the request URI or the given error value.
   */
  def ![E](p: String, e: => E): Validation[E, List[Char]] = this ! p toSuccess e

  /**
   * Returns all occurrences of the given request parameter in the request URI.
   */
  def !!(p: String) = OptionNonEmptyListList(uri.parametersMap flatMap (_.get(p.toList)))

  /**
   * Returns all occurrences of the given request parameter in the request URI or the given error value.
   */
  def !![E](p: String, e: => E): Validation[E, NonEmptyList[List[Char]]] = (this !! p).toNel toSuccess e

  /**
   * Returns true if the given request parameter occurs in the request URI.
   */
  def !?(p: String) = this ! p isDefined

  /**
   * Returns false if the given request parameter occurs in the request URI.
   */
  def ~!?(p: String) = this ! p isEmpty
}

trait Lines {
  import Character.isWhitespace
  import Scalaz._

  /**
   * Converts the given string into a potential request line.
   */
  implicit def ListLine(cs: List[Char]): Option[Line] = {
    def reverseTrim(c: List[Char]) = c.dropWhile(isWhitespace(_)).reverse.dropWhile(isWhitespace(_))
    val x = cs span (!isWhitespace(_))
    val m: Option[Method] = x._1
    val y = x._2.reverse span (!isWhitespace(_))
    val u: Option[Uri] = reverseTrim(y._2)
    val v: Option[Version] = reverseTrim(y._1)
    v <*> (u <*> (m map (m => u => v => Line.line(m, u, v))))
  }
}
/**
 * A request line.
 * RFC 2616 Section 5.1 Request-Line.
 */
object Line extends Lines {
  /**
   * An extractor that always matches with the method, URI and version of the given request line.
   */
  def unapply(line: Line): Option[(Method, Uri, Version)] =
    Some(line.method, line.uri, line.version)

  /**
   * Construct a request line with the given method, URI and version
   */
  def line(m: Method, u: Uri, v: Version): Line = new Line {
    val method = m
    val uri = u
    val version = v
  }
}