Math.Probability

type Event a = a -> Boolean

type Iso a b = { from :: b -> a, to :: a -> b }

type Spread p a = NonEmpty Set a -> Dist p a

choose :: forall p a. Bounded p => Ring p => p -> a -> a -> Dist p a

complement :: forall p. Bounded p => Ring p => p -> p

cond :: forall p a. Semigroup p => Dist p Boolean -> Dist p a -> Dist p a -> Dist p a

expected :: forall p a. Ord a => Semiring a => Semiring p => (p -> a) -> Dist p a -> a

ffilter :: forall p a. Ord a => EuclideanRing p => Semiring p => Dist p a -> Event a -> Maybe (Dist p a)

filter :: forall p a. Ord a => EuclideanRing p => Semiring p => Event a -> Dist p a -> Maybe (Dist p a)

focus :: forall p a. Bounded p => EuclideanRing p => Ord a => a -> Spread p a

joinDists :: forall p c b a. Bounded p => Semigroup p => (a -> b -> c) -> Dist p a -> (a -> Dist p b) -> Dist p c

just :: forall a. Eq a => a -> Event a

lift :: forall p b a. EuclideanRing p => Ord a => Ord b => (NonEmpty Map a p -> NonEmpty Map b p) -> Dist p a -> Dist p b

lookup :: forall p a. Ord a => Semiring p => Event a -> Dist p a -> p

map :: forall p b a. Ord b => Semiring p => (a -> b) -> Dist p a -> Dist p b

mapMaybe :: forall p b a. Ord a => Ord b => Semiring p => EuclideanRing p => (a -> Maybe b) -> Dist p a -> Maybe (Dist p b)

marginalize :: forall p b a. Ord a => Ord b => EuclideanRing p => (a -> b) -> Dist p a -> Dist p b

norm :: forall p a. Semiring p => Ord a => Dist p a -> Dist p a

oneOf :: forall a. Eq a => List a -> Event a

relative :: forall p a. EuclideanRing p => Ord a => (a -> p) -> Spread p a

reshape :: forall p a. Ord a => Semiring p => Spread p a -> Dist p a -> Dist p a

size :: forall p a. Ord a => Semiring p => Dist p a -> Int

stdDev :: forall p a. Ord a => Ring a => Semiring p => Iso a Number -> (p -> a) -> Dist p a -> a

toMap :: forall k p. Ord k => Semiring p => NonEmpty Map k p -> Map k p

uniform :: forall p a. Bounded p => EuclideanRing p => Ord a => Spread p a

variance :: forall p a. Ord a => Ring a => Semiring p => (p -> a) -> Dist p a -> a

Operator alias for Math.Probability.ffilter (left-associative / precedence 1)

Operator alias for Math.Probability.filter (right-associative / precedence 1)

Operator alias for Math.Probability.lookup (right-associative / precedence 1)