Packages

class RandomVar[+O] extends RandomVarFamily[HNil, O]

A formal Random Variable up to equality of distribution. May actually have representations instead of distributions, for example.

Linear Supertypes
RandomVarFamily[HNil, O], AnyRef, Any
Known Subclasses
GeomVar, AtCoord, RandomVector, AtomVar, ContextTerms, ContextTyps, FuncFoldVar, Funcs, Goals, IndexedIntroRuleTyps, IndexedIterFuncTypTo, InducDefns, InducStrucs, IntroRuleTypes, IsleDomains, IterFuncTypTo, PartiallyApplied, TargetTyps, Terms, TypFamilies, Typs, TypsAndFamilies, TypsFromFamily
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RandomVar
  2. RandomVarFamily
  3. AnyRef
  4. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new RandomVar(range: Sort[_, O] = Sort.All[O]())

Value Members

  1. def at(x: HNil): AtCoord[HNil, O]
    Definition Classes
    RandomVarFamily
  2. def init[Y >: O]: BasePi[HNil, Y]
    Definition Classes
    RandomVarFamily
  3. val polyDomain: RandomVarList[HNil]
    Definition Classes
    RandomVarFamily
  4. val range: Sort[_, O]
  5. val rangeFamily: (HNil) => Sort[_, O]
    Definition Classes
    RandomVarFamily
  6. def target[State, V, Y >: O]: Target[State, V, HNil, Y]
    Definition Classes
    RandomVarFamily