Type Members

1.  sealed abstract class Asterism extends Product with Serializable
2.  sealed abstract case class CoAdds extends Product with Serializable
3.  final case class Dataset(label: Label, filename: String, timestamp: Instant) extends Product with Serializable

   A labeled, timestamped data file.

4.  trait EnumParsers extends AnyRef

   Parsers for gem.enum data types.

5.  sealed trait EphemerisKey extends Product with Serializable

   Ephemeris data lookup key which uniquely identifies a non-sidreal object in the database.

6.  final case class EphemerisMeta(lastUpdate: Timestamp, lastUpdateCheck: Timestamp, solnRef: Option[HorizonsSolutionRef]) extends Product with Serializable

   Ephemeris meta data related to updates.

   Ephemeris meta data related to updates.

   lastUpdate

   time of last update

   lastUpdateCheck

   time of last update check

   solnRef

   horizons solution reference, if any (applies to comet and asteroid ephemeris data fetched from horizons)

7.  trait EphemerisOptics extends AnyRef
8.  sealed trait Event extends AnyRef

   An observing event, with many constuctors.

9.  final case class HorizonsSolutionRef(stringValue: String) extends Product with Serializable

   Horizons solution reference.

   Horizons solution reference. Comets and asteriods have a unique version that is updated when the ephemeris calculation changes. For our purposes this is opaque data whose only use is to compare to an earlier version in order to check for changes.

10.  sealed trait Observation extends AnyRef

    ADT for an observation, with constructors for each instrument.

11.  final case class Program(id: Id, title: String, observations: SortedMap[Index, Observation]) extends Product with Serializable

    A science program, the root data type in the science model.

12.  sealed trait ProgramId extends Product with Serializable

    A science program id, which has three constructors: Science for standard programs; Science for standard daily engineering and calibration programs; and Nonstandard for all others.

13.  final case class Semester(year: Year, half: Half) extends Product with Serializable

    A (Year, Half) pair.

14.  sealed trait Step extends AnyRef
15.  final case class Target(name: String, track: Either[EphemerisKey, ProperMotion]) extends Product with Serializable

    A target of observation.

16.  sealed trait TargetEnvironment extends AnyRef

    Collection of targets associated with an observation.

17.  sealed trait Track extends Product with Serializable

    Time/site-parameterized coordinates over a span of time.

    Time/site-parameterized coordinates over a span of time. This generalizes proper motion and ephemerides.

18.  final case class User[A](id: Id, firstName: String, lastName: String, email: String, isStaff: Boolean, roles: Map[Id, Set[A]]) extends Product with Serializable

    A Gem user, parameterized on the type of granted program roles, typically ProgramRole for a fully specified user, or Nothing for a user with unstated grants.

    A Gem user, parameterized on the type of granted program roles, typically ProgramRole for a fully specified user, or Nothing for a user with unstated grants. Permissions are granted based on a combination of granted roles, staff status, and rootness.

19.  final case class UserTarget(target: Target, targetType: UserTargetType) extends Product with Serializable

    Pairs a Target and a UserTargetType.