Module

Math.Probability.Information.Value.InvestigationAndDecisionTree

Package
purescript-value-of-information
Repository
colehaus/purescript-value-of-information

#Failure Source

data Failure finding choice result

Constructors

Instances

#Skeleton Source

type Skeleton finding choice result = NonEmpty Map finding (Skeleton choice result)

#choices Source

choices :: forall finding choice result prob. Ord choice => Ord finding => Ord result => Ord prob => Semiring prob => InvestigationAndDecisionTree prob finding choice result -> NonEmpty Set choice

#choose Source

choose :: forall finding choice result prob. Ord choice => Ord finding => Ord result => Bounded prob => Semigroup prob => Semiring prob => choice -> InvestigationAndDecisionTree prob finding choice result -> Dist prob (Tuple finding (Maybe (Dist prob result)))

#elementary Source

elementary :: forall finding choice result prob. Ord finding => Ord choice => Ord result => Ord prob => Semiring prob => InvestigationAndDecisionTree prob finding choice result -> List (Tuple (Tuple finding (List (Tuple choice (List (Tuple result prob))))) prob)

#fromElementary Source

fromElementary :: forall finding choice result prob. Ord finding => Ord choice => Ord result => EuclideanRing prob => Ord prob => List (Tuple (Tuple finding (List (Tuple choice (List (Tuple result prob))))) prob) -> Either (Failure finding choice result) (InvestigationAndDecisionTree prob finding choice result)

#lift Source

lift :: forall finding1 choice1 result1 finding2 choice2 result2 prob. Ord finding1 => Ord choice1 => Ord result1 => Ord finding2 => Ord choice2 => Ord result2 => Ord prob => Semiring prob => (Dist prob (Tuple finding1 (SimpleDecisionTree prob choice1 result1)) -> Dist prob (Tuple finding2 (SimpleDecisionTree prob choice2 result2))) -> InvestigationAndDecisionTree prob finding1 choice1 result1 -> Either (Failure finding2 choice2 result2) (InvestigationAndDecisionTree prob finding2 choice2 result2)

#make Source

make :: forall finding choice result prob. Ord choice => Ord finding => Ord result => Ord prob => Semiring prob => Dist prob (Tuple finding (SimpleDecisionTree prob choice result)) -> Either (Failure finding choice result) (InvestigationAndDecisionTree prob finding choice result)

#skeleton Source

skeleton :: forall finding choice result prob. Ord finding => Ord choice => Ord result => Ord prob => Semiring prob => InvestigationAndDecisionTree prob finding choice result -> Skeleton finding choice result

#skeleton' Source

skeleton' :: forall finding result choice prob. Ord finding => Ord result => Ord choice => Ord prob => Semiring prob => (Skeleton choice result -> Skeleton choice result -> Skeleton choice result) -> Dist prob (Tuple finding (SimpleDecisionTree prob choice result)) -> Skeleton finding choice result

#unmake Source

unmake :: forall finding choice result prob. Ord finding => Ord choice => Ord result => Ord prob => Semiring prob => InvestigationAndDecisionTree prob finding choice result -> Dist prob (Tuple finding (SimpleDecisionTree prob choice result))

#validate Source

validate :: forall finding choice result prob. Ord choice => Ord finding => Ord result => Ord prob => Semiring prob => Dist prob (Tuple finding (SimpleDecisionTree prob choice result)) -> Either (Failure finding choice result) Unit

#validateChoices Source

validateChoices :: forall finding choice result prob. Ord finding => Ord choice => Ord result => Ord prob => Semiring prob => Dist prob (Tuple finding (SimpleDecisionTree prob choice result)) -> Either (NonEmpty Map finding (NonEmpty Set choice)) Unit

#validateFindings Source

validateFindings :: forall finding rest prob. Ord rest => Ord finding => Semiring prob => Dist prob (Tuple rest finding) -> Either (NonEmpty Set rest) Unit

#validateResults Source

validateResults :: forall finding choice result prob. Ord finding => Ord choice => Ord result => Ord prob => Semiring prob => Dist prob (Tuple finding (SimpleDecisionTree prob choice result)) -> Either (NonEmpty Map finding (NonEmpty Map choice (NonEmpty Set result))) Unit

Re-exports from Math.Probability.Information.Value.InvestigationAndDecisionTree.Internal

#InvestigationAndDecisionTree Source

newtype InvestigationAndDecisionTree prob finding choice result

Instances