Package

libra

ops

Permalink

package ops

Visibility
  1. Public
  2. All

Type Members

  1. trait Merge[L <: HList, R <: HList] extends AnyRef

    Permalink

    Typeclass for merging two records

    Typeclass for merging two records

    Given a field with key K with value LV in L and value RV in R, this produces a FieldType[K, (LV, RV)] Given a field with key K with value LV in L and no value in R, this produces a FieldType[K, LV] Given a field with key K with no value in L and value RV in R, this produces a FieldType[K, RV]

  2. trait Refute[A] extends AnyRef

    Permalink

    Evidence that an implicit A is not present

Value Members

  1. object Merge

    Permalink

  2. object Refute

    Permalink

  3. object base

    Permalink

  4. object dimensions

    Permalink

  5. object fraction

    Permalink

  6. object quantity

    Permalink

  7. object recordExtensions

    Permalink

Ungrouped