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

DuplicateFindings (NonEmpty Set finding)
MissingChoices (NonEmpty Map finding (NonEmpty Set choice))
MissingResults (NonEmpty Map finding (NonEmpty Map choice (NonEmpty Set result)))
SimpleDecisionTreeFailures (NonEmpty Map finding (Failure choice result))
EmptyFindings

Instances

(Ord finding, Ord choice, Ord result, Show finding, Show choice, Show result) => Show (Failure finding choice result)

#Skeleton Source

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

#choices Source

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

#choose Source

choose :: forall prob result choice finding. 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 prob result choice finding. 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 prob result choice finding. 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 prob result2 choice2 finding2 result1 choice1 finding1. 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 prob result choice finding. 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 prob result choice finding. Ord finding => Ord choice => Ord result => Ord prob => Semiring prob => InvestigationAndDecisionTree prob finding choice result -> Skeleton finding choice result

#skeleton' Source

skeleton' :: forall prob choice result finding. 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 prob result choice finding. 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 prob result choice finding. 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 prob result choice finding. 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 prob rest finding. Ord rest => Ord finding => Semiring prob => Dist prob (Tuple rest finding) -> Either (NonEmpty Set rest) Unit

#validateResults Source

validateResults :: forall prob result choice finding. 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

(Ord choice, Show finding, Show choice, Show result, Show prob) => Show (InvestigationAndDecisionTree prob finding choice result)
(Ord finding, Ord choice, Ord result, Ord prob, Semiring prob) => Eq (InvestigationAndDecisionTree prob finding choice result)
(Ord finding, Ord choice, Ord result, Ord prob, Semiring prob) => Ord (InvestigationAndDecisionTree prob finding choice result)

Modules: Data.Either.Extras; Data.Map.Extras2; Data.Semigroup.Foldable.Extras; Math.Probability.Information.Value; Math.Probability.Information.Value.InvestigationAndDecisionTree; Math.Probability.Information.Value.InvestigationAndDecisionTree.Internal; Math.Probability.Information.Value.SimpleDecisionTree; Math.Probability.Information.Value.SimpleDecisionTree.Internal; Math.Probability.Information.Value.Utility