Advertisement
Guest User

Untitled

a guest
May 3rd, 2016
54
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.33 KB | None | 0 0
  1. import shapeless._
  2.  
  3. abstract class Historical[A, L <: HList]{
  4. def cur: A
  5. def past: L
  6.  
  7. def map[B](f: A => B): Historical[B, A :: L]
  8. //really can't have a flatMap, Historical[_, L] ? How many things will always have same history?
  9.  
  10. def clear: Historical[A, HNil]
  11. //def walk[N <: Nat](implicit d: Drop[N, L]): Historical[]
  12. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement