rirakkumya rirakkumya

rirakkumya / train.scala

Last active December 16, 2015 05:59

	import TrainOps._
	import TrainService._

	object TrainService {
	type ANSWER = Either[String, List[TrainStatus]]
	trait Train[A] {
	def status(x: A): ANSWER
	}
	case class TrainStatus(name: String, Status: String)
	case class 運行状況(area: String) {

rirakkumya / addressRun5.scala

Created March 31, 2013 07:57

	List(Address(List("100-0001","100-0002"))) flatMap Addr.zip
	// ->List[Addr.郵便番号] = List(100-0001, 100-0002)

rirakkumya / addressRun5.scala

Created March 31, 2013 07:52

	case class Address(zip:List[String])

	object Addr {
	type 住所 = Address
	type 郵便番号 = String
	def zip:住所 => List[郵便番号] = _.zip
	}

	List(Address(List("100-0001","100-0002"))) map Addr.zip
	//->List[List[Addr.郵便番号]] = List(List(100-0001, 100-0002))

rirakkumya / addressRun4.scala

Last active December 15, 2015 15:09

	import Addr._
	def lift(f: 住所 => 郵便番号): Option[住所] => Option[郵便番号] = _ map f
	lift(Addr.zip)(Some(Address("100-1000")))
	// -> Option[Addr.郵便番号] = Some(100-1000)

rirakkumya / addressRun2.scala

Created March 31, 2013 05:04

	Some(Address("100-0000")) map Addr.zip
	//-> Option[Addr.郵便番号] = Some(100-0000)

rirakkumya / addressRun3.scala

Last active December 15, 2015 15:09

	List(Address("100-0000"),Address("200-0000")) map Addr.zip
	//-> List[Addr.郵便番号] = List(100-0000, 200-0000)

rirakkumya / addressRun.scala

Created March 31, 2013 04:38

Addr.zip(Address("100-0000")) //-> Addr.郵便番号 = 100-0000

rirakkumya / address.scala

Created March 31, 2013 04:03

	case class Address(zip:String)

	object Addr {
	type 住所 = Address
	type 郵便番号 = String
	def zip:住所 => 郵便番号 = _.zip
	}

rirakkumya / compose.scala

Created March 31, 2013 03:33

rirakkumya / cat.scala

Created March 31, 2013 02:48