Skip to content

Instantly share code, notes, and snippets.

View eparejatobes's full-sized avatar

Eduardo Pareja Tobes eparejatobes

34 followers · 5 following
View GitHub Profile
@eparejatobes
eparejatobes / neo4jTypes.scala
Created February 17, 2012 17:48
neo4j fields and records with shapeless
import shapeless._
import shapeless.TypeOperators._
import shapeless.Record._
import shapeless.BasisConstraint._
import Neo4jTypesConstraints.OfNeo4jFieldsConstraint._
import Neo4jTypesConstraints._
import Neo4jTypes._
object Neo4jTypes {
@eparejatobes
eparejatobes / imageOf.scala
Last active December 14, 2015 10:29
Image of a type constructor; compiler crashes, probably related with https://issues.scala-lang.org/browse/SI-5559
trait ImageOfAux {
type F[_]
type A
type FA
}
trait ImageOf[FA0, F0[_]] extends ImageOfAux {
type F[_] = F0[_]
type FA = FA0
@eparejatobes
eparejatobes / UnionHList.scala
Created October 3, 2013 11:48 — forked from laughedelic/UnionHList.scala
trait UnionOf[L <: HList] {
type Mix
type Out = not[Mix]
type is[O] = UnionAux[L, O]
}
/* Implicits for constructing union: */
object UnionOf {
implicit val nil =
new UnionOf[HNil] { type Mix = not[Nothing] }
@eparejatobes
eparejatobes / relsAndRelTypes.java
Last active August 29, 2015 13:57
mutually recursive interfaces and enums for types
interface reltype<t extends Enum<t> & reltype<t,r>, r extends rel<r,t>> {
public t value();
}
interface rel<r extends rel<r,t>, t extends Enum<t> & reltype<t,r>> {
public t getType();
}
@eparejatobes
eparejatobes / URS00008E71FD-cluster.csv
Created October 4, 2016 12:13
URS00008E71FD cluster
gnl|ohnosequences.db.rna16s|URS0000090DB3 gnl|ohnosequences.db.rna16s|URS00003FE4F2 gnl|ohnosequences.db.rna16s|URS00006113A7 gnl|ohnosequences.db.rna16s|URS0000449F6D gnl|ohnosequences.db.rna16s|URS000008B573 gnl|ohnosequences.db.rna16s|URS00003282C3 gnl|ohnosequences.db.rna16s|URS00003C0005 gnl|ohnosequences.db.rna16s|URS00007645E4 gnl|ohnosequences.db.rna16s|URS0000447EE3 gnl|ohnosequences.db.rna16s|URS00001B3240 gnl|ohnosequences.db.rna16s|URS00003C8852 gnl|ohnosequences.db.rna16s|URS00008DAE4A gnl|ohnosequences.db.rna16s|URS0000036E40 gnl|ohnosequences.db.rna16s|URS000032F56E gnl|ohnosequences.db.rna16s|URS0000734B64 gnl|ohnosequences.db.rna16s|URS0000743A13 gnl|ohnosequences.db.rna16s|URS00008DFAB0 gnl|ohnosequences.db.rna16s|URS0000500F75 gnl|ohnosequences.db.rna16s|URS00008D991B gnl|ohnosequences.db.rna16s|URS00001D8AA8 gnl|ohnosequences.db.rna16s|URS00008E8071 gnl|ohnosequences.db.rna16s|URS000045BD95 gnl|ohnosequences.db.rna16s|URS00008DDDEB gnl|ohnosequences.db.rna16s|URS0000330EB7 gnl|ohnosequence
@eparejatobes
eparejatobes / keybase.md
Created June 7, 2018 08:58

Keybase proof

I hereby claim:

  • I am eparejatobes on github.
  • I am eparejatobes (https://keybase.io/eparejatobes) on keybase.
  • I have a public key ASCOYr3LjrlJHPcInQxvgje-7DvEWvc2twMNc6cOOQC5JAo

To claim this, I am signing this object:

@eparejatobes
eparejatobes / keybase.md
Created June 16, 2018 14:52

Keybase proof

I hereby claim:

To claim this, I am signing this object: