Skip to content

Instantly share code, notes, and snippets.

@izeigerman

izeigerman/Join_constraint_example.scala

Created January 29, 2021 19:07
Show Gist options
  • Save izeigerman/2644f914241ca58b15c471d47785cdde to your computer and use it in GitHub Desktop.
Save izeigerman/2644f914241ca58b15c471d47785cdde to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Join_constraint_example.scala
import shapeless.ops.hlist.Selector
def mustHaveDeviceModel[J <: JoinList](
input: AnnotatedDataFrame[DeviceMeasurement, J]
)(implicit S: Selector[J, DeviceModel]) = ???
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment