raichoo

package Vect

import scala.language.higherKinds

sealed trait Nat
sealed trait Z extends Nat
sealed trait S[N <: Nat] extends Nat

trait Exists[A, +B[_ <: A]] {
  type fst <: A

deiu

#!/bin/sh

# RWW.IO Web app deployer. Simply run `sh deploy.sh` inside your Web app dir and follow the steps.

CERTCMD=""

# get target URI
read -p "Please provide the URI of the target dir (ex: http://example.org/apps/myapp/): " HOST
if [ "$HOST" = "" ]
then

jrudolph

object Test extends App {
  import DefaultJsonProtocol._

  trait ToLowerCase
  object ToLowerCase {
    def apply(str: String): String with ToLowerCase = str.toLowerCase.asInstanceOf[String with ToLowerCase]

    implicit val strWithToLowerCaseFormat: JsonFormat[String with ToLowerCase] =
      new JsonFormat[String with ToLowerCase] {
        def write(obj: String with ToLowerCase): JsValue = JsString(obj)

YoEight

import scala.language.higherKinds

trait Functor[F[_]] {
  def map[A, B](fa: F[A])(f: A => B): F[B]
}

object Functor {
  def apply[F[_], A, B](fa: F[A])(f: A => B)(implicit F: Functor[F]): F[B] =
    F.map(fa)(f)
}

purefn

import scalaz._
import Scalaz._

import scalaz.effect._

package object types {
  type Bytes = String

  type Path = String
}

YoEight

package deiko

import java.nio.charset.Charset
import java.util.concurrent.CancellationException
import org.jboss.netty.buffer.ChannelBuffers
import org.jboss.netty.channel.{ Channel, ChannelFuture, ChannelFutureListener }
import org.jboss.netty.handler.codec.http.{ DefaultHttpChunk, HttpChunk }
import scalaz.stream.{ Process, process1, processes }
import scalaz.concurrent.Task
import Process.{ Process1, Sink }

fommil

#!/bin/bash

# This script is the reference implementation of how to start the
# ENSIME server given an ENSIME config file, bootstrapping via sbt[1].
# It is not intended to be portable across operating systems, or
# efficient at caching the results of previous invocations.

# Typically it is best to take the basic concepts of this script and
# to port it to the natural language of the extensible editor that
# intends to support ENSIME.

przemek-pokrywka

#!/bin/bash
test -e ~/.coursier/cr || (mkdir -p ~/.coursier && wget -q -O ~/.coursier/cr https://git.io/vgvpD && chmod +x ~/.coursier/cr)
CLASSPATH="$(~/.coursier/cr fetch -q -p \
  \
  com.typesafe.play:play-netty-server_2.11:2.5.0 \
  com.typesafe.play:play_2.11:2.5.0 \
  com.lihaoyi:ammonite-repl_2.11.7:0.5.2 \
  \
)" java \
  -Dplay.crypto.secret=foo.bar.baz \

syllog1sm

/** @jsx React.DOM */
'use strict';

// Components wrapping Twitter Bootstrap stuff
//

var BSNames = {
    // This isn't exhaustive. Need to think through what should go here. Should
    // be exclusive.
    bsClass: {'column': 'col', 'button': 'btn', 'btn-group': 'btn-group', 'label': 'label',

sadache

Bits'bout Play2 Architecture

Play2 Simple HTTP API

Essential blueprint of Play2 architecture is pretty simple and it should be easy to explain in a fairly short blog post. The framework can be understood progressively at different levels; each time having better exposure to some aspects of its design.

The core of Play2 is really small, surrounded by a fair amount of useful APIs, services and structure to make Web Programming tasks easier.

Basically, Play2 is an API that abstractly have the folllowing type