Safe Haskell	Safe-Inferred
Language	Haskell2010

Inference.Conjugate

Synopsis

class Distribution a where
- type Params a :: Type
- type Support a :: Type
- distSample :: PrimMonad m => a -> Params a -> Prob m (Support a)
- distLogP :: a -> Params a -> Support a -> Double
newtype AsPrior p = AsPrior p
class (Distribution p, Distribution l, Support p ~ Params l) => Conjugate p l where
- priorSingleton :: p
- updatePrior :: l -> Params p -> Support l -> Params p
- predLogP :: l -> Params p -> Support l -> Double
type family Hyper (a :: k) :: Type
type family Probs (a :: k) :: Type
newtype HyperRep p = HyperRep {
- runHyper :: Hyper (AsPrior p)
}
newtype ProbsRep p = ProbsRep {
- runProbs :: Probs (AsPrior p)
}
class Jeffreys a where
- jeffreysPrior :: Hyper a
class GJeffreys t where
- gjeffreysPrior :: forall p. t p
class Uniform a where
- uniformPrior :: Hyper a
class GUniform t where
- guniformPrior :: forall p. t p
class Prior a where
- sampleProbs :: PrimMonad m => Hyper a -> Prob m (Probs a)
class GPrior i o where
- gsampleProbs :: forall m p. PrimMonad m => i p -> Prob m (o p)
type Accessor r p = forall f. Lens' (r f) (f p)
class Monad m => RandomInterpreter m r | m -> r where
- type SampleCtx m a :: Constraint
- sampleValue :: (Conjugate p l, SampleCtx m l) => String -> l -> Accessor r p -> m (Support l)
- sampleConst :: (Distribution d, SampleCtx m d) => String -> d -> Params d -> m (Support d)
- permutationPlate :: Ord a => Int -> m a -> m [a]
newtype Trace (r :: (Type -> Type) -> Type) = Trace {
- runTrace :: Seq Dynamic
}
observeValue :: (Conjugate p l, Typeable (Support l), Monad m) => String -> l -> Accessor r p -> Support l -> StateT (Trace r) m ()
observeConst :: (Distribution d, Typeable (Support d), Monad m) => String -> d -> Params d -> Support d -> StateT (Trace r) m ()
takeTrace :: Typeable a => Trace r -> Maybe (a, Trace r)
newtype SampleI m r a = SampleI (ReaderT (r ProbsRep) (Prob m) a)
sampleResult :: p ProbsRep -> SampleI m p a -> Gen (PrimState m) -> m a
newtype TraceI m r a = TraceI (ReaderT (r ProbsRep) (StateT (Trace r) (Prob m)) a)
sampleTrace :: r ProbsRep -> TraceI m r a -> Gen (PrimState m) -> m (a, Trace r)
newtype EvalTraceI r a = EvalTraceI (ReaderT (r ProbsRep) (StateT (Trace r, Double) Maybe) a)
runTraceLogP :: r ProbsRep -> Trace r -> EvalTraceI r a -> Maybe (a, (Trace r, Double))
evalTraceLogP :: r ProbsRep -> Trace r -> EvalTraceI r a -> Maybe (a, Double)
newtype EvalPredTraceI r a = EvalPredTraceI (ReaderT (r HyperRep) (StateT (Trace r, Double) Maybe) a)
runTracePredLogP :: r HyperRep -> Trace r -> EvalPredTraceI r a -> Maybe (a, (Trace r, Double))
evalTracePredLogP :: r HyperRep -> Trace r -> EvalPredTraceI r a -> Maybe (a, Double)
newtype UpdatePriorsI r a = UpdatePriorsI (StateT (Trace r, r HyperRep) Maybe a)
getPosterior :: r HyperRep -> Trace r -> UpdatePriorsI r a -> Maybe (r HyperRep)
newtype ShowTraceI r a = ShowTraceI (MaybeT (WriterT String (State (Trace r))) a)
showTraceItem :: forall l r. (Show (Support l), Typeable l, Typeable (Support l)) => String -> ShowTraceI r (Support l)
showTrace :: Trace r -> ShowTraceI r a -> (Maybe a, String)
printTrace :: Trace r -> ShowTraceI r a -> IO ()
newtype TraceTraceI r a = TraceTraceI (State (Trace r) a)
traceTraceItem :: forall l r. (Show (Support l), Typeable l, Typeable (Support l)) => String -> TraceTraceI r (Support l)
traceTrace :: Trace r -> TraceTraceI r a -> a
data Beta = Beta
data Bernoulli = Bernoulli
newtype Binomial = Binomial Int
data Categorical n = Categorical
data Dirichlet n = Dirichlet
data Geometric0 = Geometric0
data Geometric1 = Geometric1

Documentation

class Distribution a where Source #

Describes a family of distributions with a fixed form. For example, a Bernoulli distribution is parameterized by a probability p and produces binary samples (True with probability p, False with probability 1-p).

Its Distribution instance is: > instance Distribution Bernoulli where > type Params Bernoulli = Double > type Support Bernoulli = Bool > distSample _ = uncurry bernoulli > distLogP _ p True = log p > distLogP _ p False = log (1 - p)

Associated Types

type Params a :: Type Source #

type Support a :: Type Source #

Methods

distSample :: PrimMonad m => a -> Params a -> Prob m (Support a) Source #

distLogP :: a -> Params a -> Support a -> Double Source #

Instances

Instances details

Distribution Bernoulli Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Bernoulli Source # type Support Bernoulli Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Bernoulli -> Params Bernoulli -> Prob m (Support Bernoulli) Source # distLogP :: Bernoulli -> Params Bernoulli -> Support Bernoulli -> Double Source #
Distribution Beta Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Beta Source # type Support Beta Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Beta -> Params Beta -> Prob m (Support Beta) Source # distLogP :: Beta -> Params Beta -> Support Beta -> Double Source #
Distribution Binomial Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Binomial Source # type Support Binomial Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Binomial -> Params Binomial -> Prob m (Support Binomial) Source # distLogP :: Binomial -> Params Binomial -> Support Binomial -> Double Source #
Distribution Geometric0 Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Geometric0 Source # type Support Geometric0 Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Geometric0 -> Params Geometric0 -> Prob m (Support Geometric0) Source # distLogP :: Geometric0 -> Params Geometric0 -> Support Geometric0 -> Double Source #
Distribution Geometric1 Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Geometric1 Source # type Support Geometric1 Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Geometric1 -> Params Geometric1 -> Prob m (Support Geometric1) Source # distLogP :: Geometric1 -> Params Geometric1 -> Support Geometric1 -> Double Source #
Distribution (Categorical n) Source #
Instance details Defined in Inference.Conjugate Associated Types type Params (Categorical n) Source # type Support (Categorical n) Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Categorical n -> Params (Categorical n) -> Prob m (Support (Categorical n)) Source # distLogP :: Categorical n -> Params (Categorical n) -> Support (Categorical n) -> Double Source #
Distribution (Dirichlet n) Source #
Instance details Defined in Inference.Conjugate Associated Types type Params (Dirichlet n) Source # type Support (Dirichlet n) Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Dirichlet n -> Params (Dirichlet n) -> Prob m (Support (Dirichlet n)) Source # distLogP :: Dirichlet n -> Params (Dirichlet n) -> Support (Dirichlet n) -> Double Source #

newtype AsPrior p Source #

A type-level marker for treating a distribution as a prior.

Constructors

AsPrior p

Instances

Instances details

Jeffreys (AsPrior Beta) Source #
Instance details Defined in Inference.Conjugate Methods jeffreysPrior :: Hyper (AsPrior Beta) Source #
KnownNat n => Jeffreys (AsPrior (Dirichlet n) :: Type) Source #
Instance details Defined in Inference.Conjugate Methods jeffreysPrior :: Hyper (AsPrior (Dirichlet n)) Source #
Prior (AsPrior Beta) Source #
Instance details Defined in Inference.Conjugate Methods sampleProbs :: forall (m :: Type -> Type). PrimMonad m => Hyper (AsPrior Beta) -> Prob m (Probs (AsPrior Beta)) Source #
Prior (AsPrior (Dirichlet n) :: Type) Source #
Instance details Defined in Inference.Conjugate Methods sampleProbs :: forall (m :: Type -> Type). PrimMonad m => Hyper (AsPrior (Dirichlet n)) -> Prob m (Probs (AsPrior (Dirichlet n))) Source #
Uniform (AsPrior Beta) Source #
Instance details Defined in Inference.Conjugate Methods uniformPrior :: Hyper (AsPrior Beta) Source #
KnownNat n => Uniform (AsPrior (Dirichlet n) :: Type) Source #
Instance details Defined in Inference.Conjugate Methods uniformPrior :: Hyper (AsPrior (Dirichlet n)) Source #
type Hyper (AsPrior p :: Type) Source #
Instance details Defined in Inference.Conjugate type Hyper (AsPrior p :: Type) = Params p
type Probs (AsPrior p :: Type) Source #
Instance details Defined in Inference.Conjugate type Probs (AsPrior p :: Type) = Support p

class (Distribution p, Distribution l, Support p ~ Params l) => Conjugate p l where Source #

Marks two distributions as a conjugate pair of prior and likelihood. The property of such a pair is that the posterior has the same form as the prior (including the same Params and Support), and that its parameters can be obtained analytically from the parameters of the prior and a set of observations.

The class method updatePrior returns the parameters of the posterior given the prior parameters after a single observation.

Methods

priorSingleton Source #

Arguments

:: p	provides a singleton instance of the prior distribution in order to make sampling from priors easier.

updatePrior :: l -> Params p -> Support l -> Params p Source #

predLogP :: l -> Params p -> Support l -> Double Source #

Instances

Instances details

Conjugate Beta Bernoulli Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Bernoulli -> Params Beta -> Support Bernoulli -> Params Beta Source # predLogP :: Bernoulli -> Params Beta -> Support Bernoulli -> Double Source #
Conjugate Beta Binomial Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Binomial -> Params Beta -> Support Binomial -> Params Beta Source # predLogP :: Binomial -> Params Beta -> Support Binomial -> Double Source #
Conjugate Beta Geometric0 Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Geometric0 -> Params Beta -> Support Geometric0 -> Params Beta Source # predLogP :: Geometric0 -> Params Beta -> Support Geometric0 -> Double Source #
Conjugate Beta Geometric1 Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Geometric1 -> Params Beta -> Support Geometric1 -> Params Beta Source # predLogP :: Geometric1 -> Params Beta -> Support Geometric1 -> Double Source #
Conjugate (Dirichlet n) (Categorical n) Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Dirichlet n Source # updatePrior :: Categorical n -> Params (Dirichlet n) -> Support (Categorical n) -> Params (Dirichlet n) Source # predLogP :: Categorical n -> Params (Dirichlet n) -> Support (Categorical n) -> Double Source #

type family Hyper (a :: k) :: Type Source #

Instances

Instances details

type Hyper (AsPrior p :: Type) Source #
Instance details Defined in Inference.Conjugate type Hyper (AsPrior p :: Type) = Params p
type Hyper (a :: (Type -> Type) -> Type) Source #
Instance details Defined in Inference.Conjugate type Hyper (a :: (Type -> Type) -> Type) = a HyperRep

type family Probs (a :: k) :: Type Source #

Instances

Instances details

type Probs (AsPrior p :: Type) Source #
Instance details Defined in Inference.Conjugate type Probs (AsPrior p :: Type) = Support p
type Probs (a :: (Type -> Type) -> Type) Source #
Instance details Defined in Inference.Conjugate type Probs (a :: (Type -> Type) -> Type) = a ProbsRep

newtype HyperRep p Source #

Constructors

HyperRep
Fields runHyper :: Hyper (AsPrior p)

Instances

Instances details

Jeffreys (AsPrior p) => GJeffreys (K1 i (HyperRep p) :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p0 :: k0). K1 i (HyperRep p) p0 Source #
(Jeffreys k2, k2 HyperRep ~ Hyper k2) => GJeffreys (K1 i (k2 HyperRep) :: k1 -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p :: k). K1 i (k2 HyperRep) p Source #
Uniform (AsPrior p) => GUniform (K1 i (HyperRep p) :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p0 :: k0). K1 i (HyperRep p) p0 Source #
(Uniform k2, k2 HyperRep ~ Hyper k2) => GUniform (K1 i (k2 HyperRep) :: k1 -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p :: k). K1 i (k2 HyperRep) p Source #
Prior (AsPrior p) => GPrior (K1 i (HyperRep p) :: k -> Type) (K1 i (ProbsRep p) :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p0 :: k0). PrimMonad m => K1 i (HyperRep p) p0 -> Prob m (K1 i (ProbsRep p) p0) Source #
(Prior k2, k2 HyperRep ~ Hyper k2, k2 ProbsRep ~ Probs k2) => GPrior (K1 i (k2 HyperRep) :: k1 -> Type) (K1 i (k2 ProbsRep) :: k1 -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k). PrimMonad m => K1 i (k2 HyperRep) p -> Prob m (K1 i (k2 ProbsRep) p) Source #
Show (Hyper (AsPrior p)) => Show (HyperRep p) Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> HyperRep p -> ShowS # show :: HyperRep p -> String # showList :: [HyperRep p] -> ShowS #

newtype ProbsRep p Source #

Constructors

ProbsRep
Fields runProbs :: Probs (AsPrior p)

Instances

Instances details

Prior (AsPrior p) => GPrior (K1 i (HyperRep p) :: k -> Type) (K1 i (ProbsRep p) :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p0 :: k0). PrimMonad m => K1 i (HyperRep p) p0 -> Prob m (K1 i (ProbsRep p) p0) Source #
(Prior k2, k2 HyperRep ~ Hyper k2, k2 ProbsRep ~ Probs k2) => GPrior (K1 i (k2 HyperRep) :: k1 -> Type) (K1 i (k2 ProbsRep) :: k1 -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k). PrimMonad m => K1 i (k2 HyperRep) p -> Prob m (K1 i (k2 ProbsRep) p) Source #
Show (Probs (AsPrior p)) => Show (ProbsRep p) Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> ProbsRep p -> ShowS # show :: ProbsRep p -> String # showList :: [ProbsRep p] -> ShowS #

class Jeffreys a where Source #

Methods

jeffreysPrior :: Hyper a Source #

Instances

Instances details

Jeffreys (AsPrior Beta) Source #
Instance details Defined in Inference.Conjugate Methods jeffreysPrior :: Hyper (AsPrior Beta) Source #
KnownNat n => Jeffreys (AsPrior (Dirichlet n) :: Type) Source #
Instance details Defined in Inference.Conjugate Methods jeffreysPrior :: Hyper (AsPrior (Dirichlet n)) Source #
(Generic (t HyperRep), GJeffreys (Rep (t HyperRep))) => Jeffreys (t :: (Type -> TYPE LiftedRep) -> Type) Source #
Instance details Defined in Inference.Conjugate Methods jeffreysPrior :: Hyper t Source #

class GJeffreys t where Source #

Methods

gjeffreysPrior :: forall p. t p Source #

Instances

Instances details

GJeffreys (U1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p :: k0). U1 p Source #
GJeffreys (V1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p :: k0). V1 p Source #
(GJeffreys ta, GJeffreys tb) => GJeffreys (ta :*: tb :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p :: k0). (ta :*: tb) p Source #
Jeffreys (AsPrior p) => GJeffreys (K1 i (HyperRep p) :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p0 :: k0). K1 i (HyperRep p) p0 Source #
(Jeffreys k2, k2 HyperRep ~ Hyper k2) => GJeffreys (K1 i (k2 HyperRep) :: k1 -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p :: k). K1 i (k2 HyperRep) p Source #
GJeffreys t => GJeffreys (M1 i c t :: Type -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p :: k). M1 i c t p Source #

class Uniform a where Source #

Methods

uniformPrior :: Hyper a Source #

Instances

Instances details

Uniform (AsPrior Beta) Source #
Instance details Defined in Inference.Conjugate Methods uniformPrior :: Hyper (AsPrior Beta) Source #
KnownNat n => Uniform (AsPrior (Dirichlet n) :: Type) Source #
Instance details Defined in Inference.Conjugate Methods uniformPrior :: Hyper (AsPrior (Dirichlet n)) Source #
(Generic (t HyperRep), GUniform (Rep (t HyperRep))) => Uniform (t :: (Type -> TYPE LiftedRep) -> Type) Source #
Instance details Defined in Inference.Conjugate Methods uniformPrior :: Hyper t Source #

class GUniform t where Source #

Methods

guniformPrior :: forall p. t p Source #

Instances

Instances details

GUniform (U1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p :: k0). U1 p Source #
GUniform (V1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p :: k0). V1 p Source #
(GUniform ta, GUniform tb) => GUniform (ta :*: tb :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p :: k0). (ta :*: tb) p Source #
Uniform (AsPrior p) => GUniform (K1 i (HyperRep p) :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p0 :: k0). K1 i (HyperRep p) p0 Source #
(Uniform k2, k2 HyperRep ~ Hyper k2) => GUniform (K1 i (k2 HyperRep) :: k1 -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p :: k). K1 i (k2 HyperRep) p Source #
GUniform t => GUniform (M1 i c t :: Type -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p :: k). M1 i c t p Source #

class Prior a where Source #

Methods

sampleProbs :: PrimMonad m => Hyper a -> Prob m (Probs a) Source #

Instances

Instances details

Prior (AsPrior Beta) Source #
Instance details Defined in Inference.Conjugate Methods sampleProbs :: forall (m :: Type -> Type). PrimMonad m => Hyper (AsPrior Beta) -> Prob m (Probs (AsPrior Beta)) Source #
Prior (AsPrior (Dirichlet n) :: Type) Source #
Instance details Defined in Inference.Conjugate Methods sampleProbs :: forall (m :: Type -> Type). PrimMonad m => Hyper (AsPrior (Dirichlet n)) -> Prob m (Probs (AsPrior (Dirichlet n))) Source #
(Generic (a HyperRep), Generic (a ProbsRep), GPrior (Rep (a HyperRep)) (Rep (a ProbsRep))) => Prior (a :: (Type -> TYPE LiftedRep) -> Type) Source #
Instance details Defined in Inference.Conjugate Methods sampleProbs :: forall (m :: Type -> Type). PrimMonad m => Hyper a -> Prob m (Probs a) Source #

class GPrior i o where Source #

Methods

gsampleProbs :: forall m p. PrimMonad m => i p -> Prob m (o p) Source #

Instances

Instances details

GPrior (U1 :: k -> Type) (U1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k0). PrimMonad m => U1 p -> Prob m (U1 p) Source #
GPrior (V1 :: k -> Type) (V1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k0). PrimMonad m => V1 p -> Prob m (V1 p) Source #
(GPrior ia oa, GPrior ib ob) => GPrior (ia :: ib :: k -> Type) (oa :: ob :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k0). PrimMonad m => (ia :: ib) p -> Prob m ((oa :: ob) p) Source #
(GPrior ia oa, GPrior ib ob) => GPrior (ia :+: ib :: k -> Type) (oa :+: ob :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k0). PrimMonad m => (ia :+: ib) p -> Prob m ((oa :+: ob) p) Source #
Prior (AsPrior p) => GPrior (K1 i (HyperRep p) :: k -> Type) (K1 i (ProbsRep p) :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p0 :: k0). PrimMonad m => K1 i (HyperRep p) p0 -> Prob m (K1 i (ProbsRep p) p0) Source #
(Prior k2, k2 HyperRep ~ Hyper k2, k2 ProbsRep ~ Probs k2) => GPrior (K1 i (k2 HyperRep) :: k1 -> Type) (K1 i (k2 ProbsRep) :: k1 -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k). PrimMonad m => K1 i (k2 HyperRep) p -> Prob m (K1 i (k2 ProbsRep) p) Source #
GPrior ti to => GPrior (M1 i c ti :: k -> Type) (M1 i' c' to :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k0). PrimMonad m => M1 i c ti p -> Prob m (M1 i' c' to p) Source #

type Accessor r p = forall f. Lens' (r f) (f p) Source #

class Monad m => RandomInterpreter m r | m -> r where Source #

Associated Types

type SampleCtx m a :: Constraint Source #

Methods

sampleValue :: (Conjugate p l, SampleCtx m l) => String -> l -> Accessor r p -> m (Support l) Source #

sampleConst :: (Distribution d, SampleCtx m d) => String -> d -> Params d -> m (Support d) Source #

permutationPlate :: Ord a => Int -> m a -> m [a] Source #

Instances

Instances details

RandomInterpreter (EvalPredTraceI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (EvalPredTraceI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (EvalPredTraceI r) l) => String -> l -> Accessor r p -> EvalPredTraceI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (EvalPredTraceI r) d) => String -> d -> Params d -> EvalPredTraceI r (Support d) Source # permutationPlate :: Ord a => Int -> EvalPredTraceI r a -> EvalPredTraceI r [a] Source #
RandomInterpreter (EvalTraceI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (EvalTraceI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (EvalTraceI r) l) => String -> l -> Accessor r p -> EvalTraceI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (EvalTraceI r) d) => String -> d -> Params d -> EvalTraceI r (Support d) Source # permutationPlate :: Ord a => Int -> EvalTraceI r a -> EvalTraceI r [a] Source #
RandomInterpreter (ShowTraceI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (ShowTraceI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (ShowTraceI r) l) => String -> l -> Accessor r p -> ShowTraceI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (ShowTraceI r) d) => String -> d -> Params d -> ShowTraceI r (Support d) Source # permutationPlate :: Ord a => Int -> ShowTraceI r a -> ShowTraceI r [a] Source #
RandomInterpreter (TraceTraceI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (TraceTraceI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (TraceTraceI r) l) => String -> l -> Accessor r p -> TraceTraceI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (TraceTraceI r) d) => String -> d -> Params d -> TraceTraceI r (Support d) Source # permutationPlate :: Ord a => Int -> TraceTraceI r a -> TraceTraceI r [a] Source #
RandomInterpreter (UpdatePriorsI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (UpdatePriorsI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (UpdatePriorsI r) l) => String -> l -> Accessor r p -> UpdatePriorsI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (UpdatePriorsI r) d) => String -> d -> Params d -> UpdatePriorsI r (Support d) Source # permutationPlate :: Ord a => Int -> UpdatePriorsI r a -> UpdatePriorsI r [a] Source #
PrimMonad m => RandomInterpreter (SampleI m r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (SampleI m r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (SampleI m r) l) => String -> l -> Accessor r p -> SampleI m r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (SampleI m r) d) => String -> d -> Params d -> SampleI m r (Support d) Source # permutationPlate :: Ord a => Int -> SampleI m r a -> SampleI m r [a] Source #
PrimMonad m => RandomInterpreter (TraceI m r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (TraceI m r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (TraceI m r) l) => String -> l -> Accessor r p -> TraceI m r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (TraceI m r) d) => String -> d -> Params d -> TraceI m r (Support d) Source # permutationPlate :: Ord a => Int -> TraceI m r a -> TraceI m r [a] Source #

newtype Trace (r :: (Type -> Type) -> Type) Source #

Constructors

Trace
Fields runTrace :: Seq Dynamic

Instances

Instances details

Show (Trace r) Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> Trace r -> ShowS # show :: Trace r -> String # showList :: [Trace r] -> ShowS #

observeValue :: (Conjugate p l, Typeable (Support l), Monad m) => String -> l -> Accessor r p -> Support l -> StateT (Trace r) m () Source #

observeConst :: (Distribution d, Typeable (Support d), Monad m) => String -> d -> Params d -> Support d -> StateT (Trace r) m () Source #

takeTrace :: Typeable a => Trace r -> Maybe (a, Trace r) Source #

newtype SampleI m r a Source #

Constructors

SampleI (ReaderT (r ProbsRep) (Prob m) a)

Instances

Instances details

Monad m => Applicative (SampleI m r) Source #
Instance details Defined in Inference.Conjugate Methods pure :: a -> SampleI m r a # (<>) :: SampleI m r (a -> b) -> SampleI m r a -> SampleI m r b # liftA2 :: (a -> b -> c) -> SampleI m r a -> SampleI m r b -> SampleI m r c # (>) :: SampleI m r a -> SampleI m r b -> SampleI m r b # (<*) :: SampleI m r a -> SampleI m r b -> SampleI m r a #
Functor m => Functor (SampleI m r) Source #
Instance details Defined in Inference.Conjugate Methods fmap :: (a -> b) -> SampleI m r a -> SampleI m r b # (<$) :: a -> SampleI m r b -> SampleI m r a #
Monad m => Monad (SampleI m r) Source #
Instance details Defined in Inference.Conjugate Methods (>>=) :: SampleI m r a -> (a -> SampleI m r b) -> SampleI m r b # (>>) :: SampleI m r a -> SampleI m r b -> SampleI m r b # return :: a -> SampleI m r a #
PrimMonad m => RandomInterpreter (SampleI m r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (SampleI m r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (SampleI m r) l) => String -> l -> Accessor r p -> SampleI m r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (SampleI m r) d) => String -> d -> Params d -> SampleI m r (Support d) Source # permutationPlate :: Ord a => Int -> SampleI m r a -> SampleI m r [a] Source #
type SampleCtx (SampleI m r) a Source #
Instance details Defined in Inference.Conjugate type SampleCtx (SampleI m r) a = ()

sampleResult :: p ProbsRep -> SampleI m p a -> Gen (PrimState m) -> m a Source #

newtype TraceI m r a Source #

Constructors

TraceI (ReaderT (r ProbsRep) (StateT (Trace r) (Prob m)) a)

Instances

Instances details

Monad m => Applicative (TraceI m r) Source #
Instance details Defined in Inference.Conjugate Methods pure :: a -> TraceI m r a # (<>) :: TraceI m r (a -> b) -> TraceI m r a -> TraceI m r b # liftA2 :: (a -> b -> c) -> TraceI m r a -> TraceI m r b -> TraceI m r c # (>) :: TraceI m r a -> TraceI m r b -> TraceI m r b # (<*) :: TraceI m r a -> TraceI m r b -> TraceI m r a #
Functor m => Functor (TraceI m r) Source #
Instance details Defined in Inference.Conjugate Methods fmap :: (a -> b) -> TraceI m r a -> TraceI m r b # (<$) :: a -> TraceI m r b -> TraceI m r a #
Monad m => Monad (TraceI m r) Source #
Instance details Defined in Inference.Conjugate Methods (>>=) :: TraceI m r a -> (a -> TraceI m r b) -> TraceI m r b # (>>) :: TraceI m r a -> TraceI m r b -> TraceI m r b # return :: a -> TraceI m r a #
PrimMonad m => RandomInterpreter (TraceI m r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (TraceI m r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (TraceI m r) l) => String -> l -> Accessor r p -> TraceI m r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (TraceI m r) d) => String -> d -> Params d -> TraceI m r (Support d) Source # permutationPlate :: Ord a => Int -> TraceI m r a -> TraceI m r [a] Source #
type SampleCtx (TraceI m r) l Source #
Instance details Defined in Inference.Conjugate type SampleCtx (TraceI m r) l = Typeable (Support l)

sampleTrace :: r ProbsRep -> TraceI m r a -> Gen (PrimState m) -> m (a, Trace r) Source #

newtype EvalTraceI r a Source #

Constructors

EvalTraceI (ReaderT (r ProbsRep) (StateT (Trace r, Double) Maybe) a)

Instances

Instances details

Applicative (EvalTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods pure :: a -> EvalTraceI r a # (<>) :: EvalTraceI r (a -> b) -> EvalTraceI r a -> EvalTraceI r b # liftA2 :: (a -> b -> c) -> EvalTraceI r a -> EvalTraceI r b -> EvalTraceI r c # (>) :: EvalTraceI r a -> EvalTraceI r b -> EvalTraceI r b # (<*) :: EvalTraceI r a -> EvalTraceI r b -> EvalTraceI r a #
Functor (EvalTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods fmap :: (a -> b) -> EvalTraceI r a -> EvalTraceI r b # (<$) :: a -> EvalTraceI r b -> EvalTraceI r a #
Monad (EvalTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods (>>=) :: EvalTraceI r a -> (a -> EvalTraceI r b) -> EvalTraceI r b # (>>) :: EvalTraceI r a -> EvalTraceI r b -> EvalTraceI r b # return :: a -> EvalTraceI r a #
RandomInterpreter (EvalTraceI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (EvalTraceI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (EvalTraceI r) l) => String -> l -> Accessor r p -> EvalTraceI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (EvalTraceI r) d) => String -> d -> Params d -> EvalTraceI r (Support d) Source # permutationPlate :: Ord a => Int -> EvalTraceI r a -> EvalTraceI r [a] Source #
type SampleCtx (EvalTraceI r) l Source #
Instance details Defined in Inference.Conjugate type SampleCtx (EvalTraceI r) l = Typeable (Support l)

runTraceLogP :: r ProbsRep -> Trace r -> EvalTraceI r a -> Maybe (a, (Trace r, Double)) Source #

evalTraceLogP :: r ProbsRep -> Trace r -> EvalTraceI r a -> Maybe (a, Double) Source #

newtype EvalPredTraceI r a Source #

Constructors

EvalPredTraceI (ReaderT (r HyperRep) (StateT (Trace r, Double) Maybe) a)

Instances

Instances details

Applicative (EvalPredTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods pure :: a -> EvalPredTraceI r a # (<>) :: EvalPredTraceI r (a -> b) -> EvalPredTraceI r a -> EvalPredTraceI r b # liftA2 :: (a -> b -> c) -> EvalPredTraceI r a -> EvalPredTraceI r b -> EvalPredTraceI r c # (>) :: EvalPredTraceI r a -> EvalPredTraceI r b -> EvalPredTraceI r b # (<*) :: EvalPredTraceI r a -> EvalPredTraceI r b -> EvalPredTraceI r a #
Functor (EvalPredTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods fmap :: (a -> b) -> EvalPredTraceI r a -> EvalPredTraceI r b # (<$) :: a -> EvalPredTraceI r b -> EvalPredTraceI r a #
Monad (EvalPredTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods (>>=) :: EvalPredTraceI r a -> (a -> EvalPredTraceI r b) -> EvalPredTraceI r b # (>>) :: EvalPredTraceI r a -> EvalPredTraceI r b -> EvalPredTraceI r b # return :: a -> EvalPredTraceI r a #
RandomInterpreter (EvalPredTraceI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (EvalPredTraceI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (EvalPredTraceI r) l) => String -> l -> Accessor r p -> EvalPredTraceI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (EvalPredTraceI r) d) => String -> d -> Params d -> EvalPredTraceI r (Support d) Source # permutationPlate :: Ord a => Int -> EvalPredTraceI r a -> EvalPredTraceI r [a] Source #
type SampleCtx (EvalPredTraceI r) l Source #
Instance details Defined in Inference.Conjugate type SampleCtx (EvalPredTraceI r) l = Typeable (Support l)

runTracePredLogP :: r HyperRep -> Trace r -> EvalPredTraceI r a -> Maybe (a, (Trace r, Double)) Source #

evalTracePredLogP :: r HyperRep -> Trace r -> EvalPredTraceI r a -> Maybe (a, Double) Source #

newtype UpdatePriorsI r a Source #

Constructors

UpdatePriorsI (StateT (Trace r, r HyperRep) Maybe a)

Instances

Instances details

Applicative (UpdatePriorsI r) Source #
Instance details Defined in Inference.Conjugate Methods pure :: a -> UpdatePriorsI r a # (<>) :: UpdatePriorsI r (a -> b) -> UpdatePriorsI r a -> UpdatePriorsI r b # liftA2 :: (a -> b -> c) -> UpdatePriorsI r a -> UpdatePriorsI r b -> UpdatePriorsI r c # (>) :: UpdatePriorsI r a -> UpdatePriorsI r b -> UpdatePriorsI r b # (<*) :: UpdatePriorsI r a -> UpdatePriorsI r b -> UpdatePriorsI r a #
Functor (UpdatePriorsI r) Source #
Instance details Defined in Inference.Conjugate Methods fmap :: (a -> b) -> UpdatePriorsI r a -> UpdatePriorsI r b # (<$) :: a -> UpdatePriorsI r b -> UpdatePriorsI r a #
Monad (UpdatePriorsI r) Source #
Instance details Defined in Inference.Conjugate Methods (>>=) :: UpdatePriorsI r a -> (a -> UpdatePriorsI r b) -> UpdatePriorsI r b # (>>) :: UpdatePriorsI r a -> UpdatePriorsI r b -> UpdatePriorsI r b # return :: a -> UpdatePriorsI r a #
RandomInterpreter (UpdatePriorsI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (UpdatePriorsI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (UpdatePriorsI r) l) => String -> l -> Accessor r p -> UpdatePriorsI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (UpdatePriorsI r) d) => String -> d -> Params d -> UpdatePriorsI r (Support d) Source # permutationPlate :: Ord a => Int -> UpdatePriorsI r a -> UpdatePriorsI r [a] Source #
type SampleCtx (UpdatePriorsI r) l Source #
Instance details Defined in Inference.Conjugate type SampleCtx (UpdatePriorsI r) l = Typeable (Support l)

getPosterior :: r HyperRep -> Trace r -> UpdatePriorsI r a -> Maybe (r HyperRep) Source #

newtype ShowTraceI r a Source #

Constructors

ShowTraceI (MaybeT (WriterT String (State (Trace r))) a)

Instances

Instances details

Applicative (ShowTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods pure :: a -> ShowTraceI r a # (<>) :: ShowTraceI r (a -> b) -> ShowTraceI r a -> ShowTraceI r b # liftA2 :: (a -> b -> c) -> ShowTraceI r a -> ShowTraceI r b -> ShowTraceI r c # (>) :: ShowTraceI r a -> ShowTraceI r b -> ShowTraceI r b # (<*) :: ShowTraceI r a -> ShowTraceI r b -> ShowTraceI r a #
Functor (ShowTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods fmap :: (a -> b) -> ShowTraceI r a -> ShowTraceI r b # (<$) :: a -> ShowTraceI r b -> ShowTraceI r a #
Monad (ShowTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods (>>=) :: ShowTraceI r a -> (a -> ShowTraceI r b) -> ShowTraceI r b # (>>) :: ShowTraceI r a -> ShowTraceI r b -> ShowTraceI r b # return :: a -> ShowTraceI r a #
RandomInterpreter (ShowTraceI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (ShowTraceI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (ShowTraceI r) l) => String -> l -> Accessor r p -> ShowTraceI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (ShowTraceI r) d) => String -> d -> Params d -> ShowTraceI r (Support d) Source # permutationPlate :: Ord a => Int -> ShowTraceI r a -> ShowTraceI r [a] Source #
type SampleCtx (ShowTraceI r) l Source #
Instance details Defined in Inference.Conjugate type SampleCtx (ShowTraceI r) l = (Typeable (Support l), Typeable l, Show (Support l))

showTraceItem :: forall l r. (Show (Support l), Typeable l, Typeable (Support l)) => String -> ShowTraceI r (Support l) Source #

showTrace :: Trace r -> ShowTraceI r a -> (Maybe a, String) Source #

printTrace :: Trace r -> ShowTraceI r a -> IO () Source #

newtype TraceTraceI r a Source #

Constructors

TraceTraceI (State (Trace r) a)

Instances

Instances details

Applicative (TraceTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods pure :: a -> TraceTraceI r a # (<>) :: TraceTraceI r (a -> b) -> TraceTraceI r a -> TraceTraceI r b # liftA2 :: (a -> b -> c) -> TraceTraceI r a -> TraceTraceI r b -> TraceTraceI r c # (>) :: TraceTraceI r a -> TraceTraceI r b -> TraceTraceI r b # (<*) :: TraceTraceI r a -> TraceTraceI r b -> TraceTraceI r a #
Functor (TraceTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods fmap :: (a -> b) -> TraceTraceI r a -> TraceTraceI r b # (<$) :: a -> TraceTraceI r b -> TraceTraceI r a #
Monad (TraceTraceI r) Source #
Instance details Defined in Inference.Conjugate Methods (>>=) :: TraceTraceI r a -> (a -> TraceTraceI r b) -> TraceTraceI r b # (>>) :: TraceTraceI r a -> TraceTraceI r b -> TraceTraceI r b # return :: a -> TraceTraceI r a #
RandomInterpreter (TraceTraceI r) r Source #
Instance details Defined in Inference.Conjugate Associated Types type SampleCtx (TraceTraceI r) a Source # Methods sampleValue :: (Conjugate p l, SampleCtx (TraceTraceI r) l) => String -> l -> Accessor r p -> TraceTraceI r (Support l) Source # sampleConst :: (Distribution d, SampleCtx (TraceTraceI r) d) => String -> d -> Params d -> TraceTraceI r (Support d) Source # permutationPlate :: Ord a => Int -> TraceTraceI r a -> TraceTraceI r [a] Source #
type SampleCtx (TraceTraceI r) l Source #
Instance details Defined in Inference.Conjugate type SampleCtx (TraceTraceI r) l = (Typeable (Support l), Typeable l, Show (Support l))

traceTraceItem :: forall l r. (Show (Support l), Typeable l, Typeable (Support l)) => String -> TraceTraceI r (Support l) Source #

traceTrace :: Trace r -> TraceTraceI r a -> a Source #

data Beta Source #

Constructors

Beta

Instances

Instances details

Generic Beta Source #
Instance details Defined in Inference.Conjugate Associated Types type Rep Beta :: Type -> Type # Methods from :: Beta -> Rep Beta x # to :: Rep Beta x -> Beta #
Show Beta Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> Beta -> ShowS # show :: Beta -> String # showList :: [Beta] -> ShowS #
Distribution Beta Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Beta Source # type Support Beta Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Beta -> Params Beta -> Prob m (Support Beta) Source # distLogP :: Beta -> Params Beta -> Support Beta -> Double Source #
Eq Beta Source #
Instance details Defined in Inference.Conjugate Methods (==) :: Beta -> Beta -> Bool # (/=) :: Beta -> Beta -> Bool #
Ord Beta Source #
Instance details Defined in Inference.Conjugate Methods compare :: Beta -> Beta -> Ordering # (<) :: Beta -> Beta -> Bool # (<=) :: Beta -> Beta -> Bool # (>) :: Beta -> Beta -> Bool # (>=) :: Beta -> Beta -> Bool # max :: Beta -> Beta -> Beta # min :: Beta -> Beta -> Beta #
Conjugate Beta Bernoulli Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Bernoulli -> Params Beta -> Support Bernoulli -> Params Beta Source # predLogP :: Bernoulli -> Params Beta -> Support Bernoulli -> Double Source #
Conjugate Beta Binomial Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Binomial -> Params Beta -> Support Binomial -> Params Beta Source # predLogP :: Binomial -> Params Beta -> Support Binomial -> Double Source #
Conjugate Beta Geometric0 Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Geometric0 -> Params Beta -> Support Geometric0 -> Params Beta Source # predLogP :: Geometric0 -> Params Beta -> Support Geometric0 -> Double Source #
Conjugate Beta Geometric1 Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Geometric1 -> Params Beta -> Support Geometric1 -> Params Beta Source # predLogP :: Geometric1 -> Params Beta -> Support Geometric1 -> Double Source #
Jeffreys (AsPrior Beta) Source #
Instance details Defined in Inference.Conjugate Methods jeffreysPrior :: Hyper (AsPrior Beta) Source #
Prior (AsPrior Beta) Source #
Instance details Defined in Inference.Conjugate Methods sampleProbs :: forall (m :: Type -> Type). PrimMonad m => Hyper (AsPrior Beta) -> Prob m (Probs (AsPrior Beta)) Source #
Uniform (AsPrior Beta) Source #
Instance details Defined in Inference.Conjugate Methods uniformPrior :: Hyper (AsPrior Beta) Source #
type Rep Beta Source #
Instance details Defined in Inference.Conjugate type Rep Beta = D1 ('MetaData "Beta" "Inference.Conjugate" "conjugate-programs-0.1.0.0-5RDDF0110zxLGkcTtWyODY" 'False) (C1 ('MetaCons "Beta" 'PrefixI 'False) (U1 :: Type -> Type))
type Params Beta Source #
Instance details Defined in Inference.Conjugate type Params Beta = (Double, Double)
type Support Beta Source #
Instance details Defined in Inference.Conjugate type Support Beta = Double

data Bernoulli Source #

Constructors

Bernoulli

Instances

Instances details

Generic Bernoulli Source #
Instance details Defined in Inference.Conjugate Associated Types type Rep Bernoulli :: Type -> Type # Methods from :: Bernoulli -> Rep Bernoulli x # to :: Rep Bernoulli x -> Bernoulli #
Show Bernoulli Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> Bernoulli -> ShowS # show :: Bernoulli -> String # showList :: [Bernoulli] -> ShowS #
Distribution Bernoulli Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Bernoulli Source # type Support Bernoulli Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Bernoulli -> Params Bernoulli -> Prob m (Support Bernoulli) Source # distLogP :: Bernoulli -> Params Bernoulli -> Support Bernoulli -> Double Source #
Eq Bernoulli Source #
Instance details Defined in Inference.Conjugate Methods (==) :: Bernoulli -> Bernoulli -> Bool # (/=) :: Bernoulli -> Bernoulli -> Bool #
Ord Bernoulli Source #
Instance details Defined in Inference.Conjugate Methods compare :: Bernoulli -> Bernoulli -> Ordering # (<) :: Bernoulli -> Bernoulli -> Bool # (<=) :: Bernoulli -> Bernoulli -> Bool # (>) :: Bernoulli -> Bernoulli -> Bool # (>=) :: Bernoulli -> Bernoulli -> Bool # max :: Bernoulli -> Bernoulli -> Bernoulli # min :: Bernoulli -> Bernoulli -> Bernoulli #
Conjugate Beta Bernoulli Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Bernoulli -> Params Beta -> Support Bernoulli -> Params Beta Source # predLogP :: Bernoulli -> Params Beta -> Support Bernoulli -> Double Source #
type Rep Bernoulli Source #
Instance details Defined in Inference.Conjugate type Rep Bernoulli = D1 ('MetaData "Bernoulli" "Inference.Conjugate" "conjugate-programs-0.1.0.0-5RDDF0110zxLGkcTtWyODY" 'False) (C1 ('MetaCons "Bernoulli" 'PrefixI 'False) (U1 :: Type -> Type))
type Params Bernoulli Source #
Instance details Defined in Inference.Conjugate type Params Bernoulli = Double
type Support Bernoulli Source #
Instance details Defined in Inference.Conjugate type Support Bernoulli = Bool

newtype Binomial Source #

Constructors

Binomial Int

Instances

Instances details

Generic Binomial Source #
Instance details Defined in Inference.Conjugate Associated Types type Rep Binomial :: Type -> Type # Methods from :: Binomial -> Rep Binomial x # to :: Rep Binomial x -> Binomial #
Show Binomial Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> Binomial -> ShowS # show :: Binomial -> String # showList :: [Binomial] -> ShowS #
Distribution Binomial Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Binomial Source # type Support Binomial Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Binomial -> Params Binomial -> Prob m (Support Binomial) Source # distLogP :: Binomial -> Params Binomial -> Support Binomial -> Double Source #
Eq Binomial Source #
Instance details Defined in Inference.Conjugate Methods (==) :: Binomial -> Binomial -> Bool # (/=) :: Binomial -> Binomial -> Bool #
Ord Binomial Source #
Instance details Defined in Inference.Conjugate Methods compare :: Binomial -> Binomial -> Ordering # (<) :: Binomial -> Binomial -> Bool # (<=) :: Binomial -> Binomial -> Bool # (>) :: Binomial -> Binomial -> Bool # (>=) :: Binomial -> Binomial -> Bool # max :: Binomial -> Binomial -> Binomial # min :: Binomial -> Binomial -> Binomial #
Conjugate Beta Binomial Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Binomial -> Params Beta -> Support Binomial -> Params Beta Source # predLogP :: Binomial -> Params Beta -> Support Binomial -> Double Source #
type Rep Binomial Source #
Instance details Defined in Inference.Conjugate type Rep Binomial = D1 ('MetaData "Binomial" "Inference.Conjugate" "conjugate-programs-0.1.0.0-5RDDF0110zxLGkcTtWyODY" 'True) (C1 ('MetaCons "Binomial" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
type Params Binomial Source #
Instance details Defined in Inference.Conjugate type Params Binomial = Double
type Support Binomial Source #
Instance details Defined in Inference.Conjugate type Support Binomial = Int

data Categorical n Source #

Constructors

Categorical

Instances

Instances details

Generic (Categorical n) Source #
Instance details Defined in Inference.Conjugate Associated Types type Rep (Categorical n) :: Type -> Type # Methods from :: Categorical n -> Rep (Categorical n) x # to :: Rep (Categorical n) x -> Categorical n #
Show (Categorical n) Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> Categorical n -> ShowS # show :: Categorical n -> String # showList :: [Categorical n] -> ShowS #
Distribution (Categorical n) Source #
Instance details Defined in Inference.Conjugate Associated Types type Params (Categorical n) Source # type Support (Categorical n) Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Categorical n -> Params (Categorical n) -> Prob m (Support (Categorical n)) Source # distLogP :: Categorical n -> Params (Categorical n) -> Support (Categorical n) -> Double Source #
Eq (Categorical n) Source #
Instance details Defined in Inference.Conjugate Methods (==) :: Categorical n -> Categorical n -> Bool # (/=) :: Categorical n -> Categorical n -> Bool #
Ord (Categorical n) Source #
Instance details Defined in Inference.Conjugate Methods compare :: Categorical n -> Categorical n -> Ordering # (<) :: Categorical n -> Categorical n -> Bool # (<=) :: Categorical n -> Categorical n -> Bool # (>) :: Categorical n -> Categorical n -> Bool # (>=) :: Categorical n -> Categorical n -> Bool # max :: Categorical n -> Categorical n -> Categorical n # min :: Categorical n -> Categorical n -> Categorical n #
Conjugate (Dirichlet n) (Categorical n) Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Dirichlet n Source # updatePrior :: Categorical n -> Params (Dirichlet n) -> Support (Categorical n) -> Params (Dirichlet n) Source # predLogP :: Categorical n -> Params (Dirichlet n) -> Support (Categorical n) -> Double Source #
type Rep (Categorical n) Source #
Instance details Defined in Inference.Conjugate type Rep (Categorical n) = D1 ('MetaData "Categorical" "Inference.Conjugate" "conjugate-programs-0.1.0.0-5RDDF0110zxLGkcTtWyODY" 'False) (C1 ('MetaCons "Categorical" 'PrefixI 'False) (U1 :: Type -> Type))
type Params (Categorical n) Source #
Instance details Defined in Inference.Conjugate type Params (Categorical n) = Vector Double
type Support (Categorical n) Source #
Instance details Defined in Inference.Conjugate type Support (Categorical n) = Int

data Dirichlet n Source #

Constructors

Dirichlet

Instances

Instances details

KnownNat n => Jeffreys (AsPrior (Dirichlet n) :: Type) Source #
Instance details Defined in Inference.Conjugate Methods jeffreysPrior :: Hyper (AsPrior (Dirichlet n)) Source #
Prior (AsPrior (Dirichlet n) :: Type) Source #
Instance details Defined in Inference.Conjugate Methods sampleProbs :: forall (m :: Type -> Type). PrimMonad m => Hyper (AsPrior (Dirichlet n)) -> Prob m (Probs (AsPrior (Dirichlet n))) Source #
KnownNat n => Uniform (AsPrior (Dirichlet n) :: Type) Source #
Instance details Defined in Inference.Conjugate Methods uniformPrior :: Hyper (AsPrior (Dirichlet n)) Source #
Generic (Dirichlet n) Source #
Instance details Defined in Inference.Conjugate Associated Types type Rep (Dirichlet n) :: Type -> Type # Methods from :: Dirichlet n -> Rep (Dirichlet n) x # to :: Rep (Dirichlet n) x -> Dirichlet n #
Show (Dirichlet n) Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> Dirichlet n -> ShowS # show :: Dirichlet n -> String # showList :: [Dirichlet n] -> ShowS #
Distribution (Dirichlet n) Source #
Instance details Defined in Inference.Conjugate Associated Types type Params (Dirichlet n) Source # type Support (Dirichlet n) Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Dirichlet n -> Params (Dirichlet n) -> Prob m (Support (Dirichlet n)) Source # distLogP :: Dirichlet n -> Params (Dirichlet n) -> Support (Dirichlet n) -> Double Source #
Eq (Dirichlet n) Source #
Instance details Defined in Inference.Conjugate Methods (==) :: Dirichlet n -> Dirichlet n -> Bool # (/=) :: Dirichlet n -> Dirichlet n -> Bool #
Ord (Dirichlet n) Source #
Instance details Defined in Inference.Conjugate Methods compare :: Dirichlet n -> Dirichlet n -> Ordering # (<) :: Dirichlet n -> Dirichlet n -> Bool # (<=) :: Dirichlet n -> Dirichlet n -> Bool # (>) :: Dirichlet n -> Dirichlet n -> Bool # (>=) :: Dirichlet n -> Dirichlet n -> Bool # max :: Dirichlet n -> Dirichlet n -> Dirichlet n # min :: Dirichlet n -> Dirichlet n -> Dirichlet n #
Conjugate (Dirichlet n) (Categorical n) Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Dirichlet n Source # updatePrior :: Categorical n -> Params (Dirichlet n) -> Support (Categorical n) -> Params (Dirichlet n) Source # predLogP :: Categorical n -> Params (Dirichlet n) -> Support (Categorical n) -> Double Source #
type Rep (Dirichlet n) Source #
Instance details Defined in Inference.Conjugate type Rep (Dirichlet n) = D1 ('MetaData "Dirichlet" "Inference.Conjugate" "conjugate-programs-0.1.0.0-5RDDF0110zxLGkcTtWyODY" 'False) (C1 ('MetaCons "Dirichlet" 'PrefixI 'False) (U1 :: Type -> Type))
type Params (Dirichlet n) Source #
Instance details Defined in Inference.Conjugate type Params (Dirichlet n) = Vector Double
type Support (Dirichlet n) Source #
Instance details Defined in Inference.Conjugate type Support (Dirichlet n) = Vector Double

data Geometric0 Source #

Constructors

Geometric0

Instances

Instances details

Generic Geometric0 Source #
Instance details Defined in Inference.Conjugate Associated Types type Rep Geometric0 :: Type -> Type # Methods from :: Geometric0 -> Rep Geometric0 x # to :: Rep Geometric0 x -> Geometric0 #
Show Geometric0 Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> Geometric0 -> ShowS # show :: Geometric0 -> String # showList :: [Geometric0] -> ShowS #
Distribution Geometric0 Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Geometric0 Source # type Support Geometric0 Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Geometric0 -> Params Geometric0 -> Prob m (Support Geometric0) Source # distLogP :: Geometric0 -> Params Geometric0 -> Support Geometric0 -> Double Source #
Eq Geometric0 Source #
Instance details Defined in Inference.Conjugate Methods (==) :: Geometric0 -> Geometric0 -> Bool # (/=) :: Geometric0 -> Geometric0 -> Bool #
Ord Geometric0 Source #
Instance details Defined in Inference.Conjugate Methods compare :: Geometric0 -> Geometric0 -> Ordering # (<) :: Geometric0 -> Geometric0 -> Bool # (<=) :: Geometric0 -> Geometric0 -> Bool # (>) :: Geometric0 -> Geometric0 -> Bool # (>=) :: Geometric0 -> Geometric0 -> Bool # max :: Geometric0 -> Geometric0 -> Geometric0 # min :: Geometric0 -> Geometric0 -> Geometric0 #
Conjugate Beta Geometric0 Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Geometric0 -> Params Beta -> Support Geometric0 -> Params Beta Source # predLogP :: Geometric0 -> Params Beta -> Support Geometric0 -> Double Source #
type Rep Geometric0 Source #
Instance details Defined in Inference.Conjugate type Rep Geometric0 = D1 ('MetaData "Geometric0" "Inference.Conjugate" "conjugate-programs-0.1.0.0-5RDDF0110zxLGkcTtWyODY" 'False) (C1 ('MetaCons "Geometric0" 'PrefixI 'False) (U1 :: Type -> Type))
type Params Geometric0 Source #
Instance details Defined in Inference.Conjugate type Params Geometric0 = Double
type Support Geometric0 Source #
Instance details Defined in Inference.Conjugate type Support Geometric0 = Int

data Geometric1 Source #

Constructors

Geometric1

Instances

Instances details

Generic Geometric1 Source #
Instance details Defined in Inference.Conjugate Associated Types type Rep Geometric1 :: Type -> Type # Methods from :: Geometric1 -> Rep Geometric1 x # to :: Rep Geometric1 x -> Geometric1 #
Show Geometric1 Source #
Instance details Defined in Inference.Conjugate Methods showsPrec :: Int -> Geometric1 -> ShowS # show :: Geometric1 -> String # showList :: [Geometric1] -> ShowS #
Distribution Geometric1 Source #
Instance details Defined in Inference.Conjugate Associated Types type Params Geometric1 Source # type Support Geometric1 Source # Methods distSample :: forall (m :: Type -> Type). PrimMonad m => Geometric1 -> Params Geometric1 -> Prob m (Support Geometric1) Source # distLogP :: Geometric1 -> Params Geometric1 -> Support Geometric1 -> Double Source #
Eq Geometric1 Source #
Instance details Defined in Inference.Conjugate Methods (==) :: Geometric1 -> Geometric1 -> Bool # (/=) :: Geometric1 -> Geometric1 -> Bool #
Ord Geometric1 Source #
Instance details Defined in Inference.Conjugate Methods compare :: Geometric1 -> Geometric1 -> Ordering # (<) :: Geometric1 -> Geometric1 -> Bool # (<=) :: Geometric1 -> Geometric1 -> Bool # (>) :: Geometric1 -> Geometric1 -> Bool # (>=) :: Geometric1 -> Geometric1 -> Bool # max :: Geometric1 -> Geometric1 -> Geometric1 # min :: Geometric1 -> Geometric1 -> Geometric1 #
Conjugate Beta Geometric1 Source #
Instance details Defined in Inference.Conjugate Methods priorSingleton :: Beta Source # updatePrior :: Geometric1 -> Params Beta -> Support Geometric1 -> Params Beta Source # predLogP :: Geometric1 -> Params Beta -> Support Geometric1 -> Double Source #
type Rep Geometric1 Source #
Instance details Defined in Inference.Conjugate type Rep Geometric1 = D1 ('MetaData "Geometric1" "Inference.Conjugate" "conjugate-programs-0.1.0.0-5RDDF0110zxLGkcTtWyODY" 'False) (C1 ('MetaCons "Geometric1" 'PrefixI 'False) (U1 :: Type -> Type))
type Params Geometric1 Source #
Instance details Defined in Inference.Conjugate type Params Geometric1 = Double
type Support Geometric1 Source #
Instance details Defined in Inference.Conjugate type Support Geometric1 = Int