pshirshov

// hlist definition
sealed trait HList

case class HPair[A, B <: HList](head: A, tail: B) extends HList {
  override def toString = Seq(head, tail).mkString(" ::: ")
}

case object HNil extends HList

// instantiation

pshirshov

import com.typesafe.config.{Config, ConfigFactory}

import scala.language.{existentials, higherKinds, implicitConversions}

trait Monoid[T] {
  def mapply(a: T, b: T): T

  def mzero: T
}

pshirshov

import scala.reflect.ClassTag

trait Expr

case class Not(expr: Expr) extends Expr {
  override def toString = s"!$expr"
}

case class Value[T](t: T) extends Expr {
  override def toString = s"$t"

pshirshov

// flat <-> hierarchical conversions

import java.util
import java.util.regex.Pattern

import scala.collection.JavaConversions._

import com.typesafe.config.{Config, ConfigFactory, ConfigList, ConfigObject, ConfigUtil}
import com.typesafe.scalalogging.StrictLogging

pshirshov

import sys

port = 8080

if sys.version_info.major == 3:
    import http.server
    import socketserver
    handler = http.server.SimpleHTTPRequestHandler
    httpd = socketserver.TCPServer(("",port), handler)
elif sys.version_info.major == 2: