Packages

object ContextExport

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ContextExport
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type CtxDbl[A] = Map[(A, Vector[Term]), Double]

Value Members

  1. implicit def ctxMapExport[F]: ContextExport[Term, [A]Map[(A, Vector[Term]), F]]

    change in context typically corresponding to variables representing terms in a lambda-context

    change in context typically corresponding to variables representing terms in a lambda-context

    F

    the field; jet space for spire, outputs for tensorflow

  2. val dblCtxShift: ContextExport[Term, CtxDbl]
  3. implicit val fdTerm: ContextExport[Term, FiniteDistribution]

    no change in context for finite distributions

  4. def id[Boat, D[_]]: ContextExport[Boat, D] { def export[A]: (Boat, D[A]) => D[A] }

    No context change during export

    No context change during export

    Boat

    the boat for an island

    D

    the distribution-like object

  5. implicit val pdTerm: ContextExport[Term, ProbabilityDistribution]

    no change in context for probability distributions