Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
27 lines (21 sloc) 1.28 KB
package molecule.generic.datom
import java.util.Date
import scala.language.higherKinds
trait Datom_5[Ns5[_,_,_,_,_], Ns6[_,_,_,_,_,_], In5[_,_,_,_,_,_], In6[_,_,_,_,_,_,_], A, B, C, D, E] extends Datom {
type Next_[Attr[_, _], Type] = Attr[Ns6[A, B, C, D, E, Type], In6[_,_,_,_,_,_,_]] with Ns6[A, B, C, D, E, Type]
type Stay_[Attr[_, _], Type] = Attr[Ns5[A, B, C, D, E], In5[_,_,_,_,_,_]] with Ns5[A, B, C, D, E]
final lazy val e : Next_[e , Long ] = ???
final lazy val a : Next_[a , String ] = ???
final lazy val v : Next_[v , Any ] = ???
final lazy val t : Next_[t , Long ] = ???
final lazy val tx : Next_[tx , Long ] = ???
final lazy val txInstant : Next_[txInstant , Date ] = ???
final lazy val op : Next_[op , Boolean] = ???
final lazy val e_ : Stay_[e , Long ] = ???
final lazy val a_ : Stay_[a , String ] = ???
final lazy val v_ : Stay_[v , Any ] = ???
final lazy val t_ : Stay_[t , Long ] = ???
final lazy val tx_ : Stay_[tx , Long ] = ???
final lazy val txInstant_ : Stay_[txInstant , Date ] = ???
final lazy val op_ : Stay_[op , Boolean] = ???
}
You can’t perform that action at this time.