paf31

data Zero = Zero
 
data Succ a = Succ a
 
pred = \s -> case s of Succ a -> a
 
meters = \n -> 
  { multiply: \v -> v { value = n * v.value, meters = Succ (v.meters) }
  , divide: \v -> v { value = n / v.value, meters = pred (v.meters) }      
  }      

badboy

Original link: http://www.concentric.net/~Ttwang/tech/inthash.htm
Taken from: http://web.archive.org/web/20071223173210/http://www.concentric.net/~Ttwang/tech/inthash.htm
Reformatted using pandoc

Integer Hash Function

Thomas Wang, Jan 1997

last update Mar 2007

mariussoutier

package object mail {

  implicit def stringToSeq(single: String): Seq[String] = Seq(single)
  implicit def liftToOption[T](t: T): Option[T] = Some(t)

  sealed abstract class MailType
  case object Plain extends MailType
  case object Rich extends MailType
  case object MultiPart extends MailType