tonymorris

Waypoint symbols on Garmin MapSource version 6.16.3

Outdoor

1. Trail Head
2. Bike Trail
3. Skiing Area
4. Swimming Area
5. Ski Resort
6. Ice Skating

tonymorris

{-# LANGUAGE NoImplicitPrelude #-}

import Prelude(Eq(..), Bool, (.))

class Functor f where
  (<$>) ::
    (a -> b)
    -> f a
    -> f b

tonymorris

1. Look at the scaladoc for Option#zip.

   (Option[A])([B]GenIterable[B] => Option[(A, B)]

2. Look at the Option.scala source.

   > grep zip | wc -l

   0

tonymorris

Jason

• Spotlights x 2
• Heated grips not working Resolved
• SR10

Tony

• Spotlights x 4 Installed
• Front/rear indicators Installed

tonymorris

Teviotville Tree

• 
• 
• 

Waterfall Creek Road

• 
• 

tonymorris

Item 151234269792

22-Feb-14 20:49

dibblego:

Hi there, I was wondering if I could just "buy it now" for this item at $120.00 + postage instead of waiting 4 days for the auction to end. What do you think?

---

tonymorris

module FirstNothing where

-- $setup
-- >>> import Test.QuickCheck
-- >>> instance Arbitrary a => Arbitrary (FirstNothing a) where arbitrary = fmap FirstNothing arbitrary
newtype FirstNothing a =
  FirstNothing (Maybe a)
  deriving (Eq, Show)

class Semigroup a where

tonymorris

1. Trivial example of dependent types that is also useful (therefore, not the canonical vector size example). Better example: function spaces

2. Interoperability of the Idris language with legacy libraries (JVM).

3. Stream processing with scalaz-stream.

4. Profunctors, the new Arrows.

tonymorris

object LetsTellLies {
  def f1[A]: List[A] => Int =
    _ => util.Random.nextInt

  def f2[A]: List[A] => Int =
    f2

  def f3[A]: List[A] => Int =
    _ => {
      println("hi")

tonymorris

case class ~=>[T, A](f: T => A) {
  def map[B](g: A => B): T ~=> B =
    ~=>(f andThen g)

  def flatMap[B](g: A => T ~=> B): T ~=> B =  
    ~=>(t => g(f(t)).f(t))
}

object ~=> {
  // unit: A => F[A]