• Home
• edu.gemini
• lucuma-catalog-testkit_3
• 0.48.7
• source code
• ArbAngularSize.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

lucuma.catalog.arb.ArbAngularSize.scala Maven / Gradle / Ivy

// Copyright (c) 2016-2023 Association of Universities for Research in Astronomy, Inc. (AURA)
// For license information see LICENSE or https://opensource.org/licenses/BSD-3-Clause

package lucuma.catalog.arb

import lucuma.catalog.AngularSize
import lucuma.core.math.Angle
import lucuma.core.math.arb.ArbAngle
import org.scalacheck.*
import org.scalacheck.Arbitrary.arbitrary
import org.scalacheck.Cogen.*

trait ArbAngularSize {
  import ArbAngle.given

  given Arbitrary[AngularSize] =
    Arbitrary {
      for {
        a <- arbitrary[Angle]
        b <- arbitrary[Angle]
      } yield AngularSize(Angle.AngleOrder.max(a, b), Angle.AngleOrder.min(a, b))
    }

  given Cogen[AngularSize] =
    Cogen[(Angle, Angle)].contramap(a => (a.majorAxis, a.minorAxis))
}

object ArbAngularSize extends ArbAngularSize