
scalaz.geo.Position.scala Maven / Gradle / Ivy
The newest version!
package scalaz
package geo
sealed trait Position {
val coord: Coord
val elevation: Elevation
}
trait Positions {
def position(c: Coord, e: Elevation) = new Position {
val coord = c
val elevation = e
}
}
object Position {
import Predef.{implicitly => i}
import Scalaz._
implicit def PositionShow: Show[Position] = showBy(((_: Position).coord) &&& ((_: Position).elevation))
implicit def PositionEqual: Equal[Position] = equalBy(((_: Position).coord) &&& ((_: Position).elevation))
implicit def PositionOrder: Order[Position] = orderBy(((_: Position).coord) &&& ((_: Position).elevation))
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy