Safe Haskell	None
Language	Haskell2010

Inference.Conjugate

Synopsis

class Distribution a where
- type Params a
- type Support a
- distSample :: forall (m :: Type -> Type). 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 family Probs (a :: k)
newtype HyperRep p = HyperRep {
- runHyper :: Hyper (AsPrior p)
}
newtype ProbsRep p = ProbsRep {
- runProbs :: Probs (AsPrior p)
}
class Jeffreys (a :: k) where
- jeffreysPrior :: Hyper a
class GJeffreys (t :: k -> Type) where
- gjeffreysPrior :: forall (p :: k). t p
class Uniform (a :: k) where
- uniformPrior :: Hyper a
class GUniform (t :: k -> Type) where
- guniformPrior :: forall (p :: k). t p
class Prior (a :: k) where
- sampleProbs :: forall (m :: Type -> Type). PrimMonad m => Hyper a -> Prob m (Probs a)
- expectedProbs :: Hyper a -> Probs a
class GPrior (i :: k -> Type) (o :: k -> Type) where
- gsampleProbs :: forall (m :: Type -> Type) (p :: k). PrimMonad m => i p -> Prob m (o p)
- gexpectedProbs :: forall (p :: k). i p -> o p
type Accessor (r :: (k -> Type) -> Type) (p :: k) = forall (f :: k -> Type). Lens' (r f) (f p)
class Monad m => RandomInterpreter (m :: Type -> Type) (r :: (Type -> Type) -> Type) | m -> r where
- type SampleCtx (m :: Type -> Type) a
- 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 -> (Int -> m a) -> m [a]
newtype Trace (r :: (Type -> Type) -> Type) = Trace {
- runTrace :: Seq (String, Dynamic)
}
observeValue :: forall p l (m :: Type -> Type) (r :: (Type -> Type) -> Type). (Conjugate p l, Typeable (Support l), Monad m) => String -> l -> Accessor r p -> Support l -> StateT (Trace r) m ()
observeConst :: forall d (m :: Type -> Type) (r :: (Type -> Type) -> Type). (Distribution d, Typeable (Support d), Monad m) => String -> d -> Params d -> Support d -> StateT (Trace r) m ()
takeTrace :: forall a (r :: (Type -> Type) -> Type). Typeable a => Trace r -> Maybe ((String, a), Trace r)
peekTrace :: forall (r :: (Type -> Type) -> Type). Trace r -> Maybe (String, Dynamic)
newtype SampleI (m :: Type -> Type) (r :: (Type -> Type) -> Type) a = SampleI (ReaderT (r ProbsRep) (Prob m) a)
sampleResult :: p ProbsRep -> SampleI m p a -> Gen (PrimState m) -> m a
newtype TraceI (m :: Type -> Type) (r :: (Type -> Type) -> Type) 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 :: (Type -> Type) -> Type) 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 :: (Type -> Type) -> Type) 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 :: (Type -> Type) -> Type) a = UpdatePriorsI (StateT (Trace r, r HyperRep) Maybe a)
getPosterior :: r HyperRep -> Trace r -> UpdatePriorsI r a -> Maybe (r HyperRep)
newtype ShowTraceI (r :: (Type -> Type) -> Type) a = ShowTraceI (MaybeT (WriterT String (State (Trace r))) a)
showTraceItem :: forall l (r :: (Type -> Type) -> Type). (Show (Support l), Typeable l, Typeable (Support l)) => String -> ShowTraceI r (Support l)
showTrace :: forall (r :: (Type -> Type) -> Type) a. Trace r -> ShowTraceI r a -> (Maybe a, String)
printTrace :: forall (r :: (Type -> Type) -> Type) a. Trace r -> ShowTraceI r a -> IO ()
newtype TraceTraceI (r :: (Type -> Type) -> Type) a = TraceTraceI (State (Trace r) a)
traceTraceItem :: forall l (r :: (Type -> Type) -> Type). (Show (Support l), Typeable l, Typeable (Support l)) => String -> TraceTraceI r (Support l)
traceTrace :: forall (r :: (Type -> Type) -> Type) a. Trace r -> TraceTraceI r a -> a
data Beta = Beta
data Bernoulli = Bernoulli
newtype Binomial = Binomial Int
data Categorical (n :: Nat) = Categorical
data Dirichlet (n :: Nat) = Dirichlet
data Geometric0 = Geometric0
data Geometric1 = Geometric1
replicateMWithI :: Applicative m => Int -> (Int -> m a) -> m [a]

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 Source #

type Support a Source #

Methods

distSample :: forall (m :: Type -> Type). 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

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 # expectedProbs :: Hyper (AsPrior Beta) -> 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 # expectedProbs :: Hyper (AsPrior (Dirichlet n)) -> 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

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 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 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

Jeffreys (AsPrior p) => GJeffreys (K1 i (HyperRep p) :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p0 :: k). 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 :: k1). 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 :: k). 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 :: k1). 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 :: k). PrimMonad m => K1 i (HyperRep p) p0 -> Prob m (K1 i (ProbsRep p) p0) Source # gexpectedProbs :: forall (p0 :: k). K1 i (HyperRep p) p0 -> 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 :: k1). PrimMonad m => K1 i (k2 HyperRep) p -> Prob m (K1 i (k2 ProbsRep) p) Source # gexpectedProbs :: forall (p :: k1). K1 i (k2 HyperRep) p -> 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 #

GJeffreys (U1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p :: k). U1 p Source #
GJeffreys (V1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p :: k). V1 p Source #
(GJeffreys ta, GJeffreys tb) => GJeffreys (ta :*: tb :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: forall (p :: k). (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 :: k). 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 :: k1). K1 i (k2 HyperRep) p Source #
GJeffreys t => GJeffreys (M1 i c t :: Type -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gjeffreysPrior :: M1 i c t p Source #

GUniform (U1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p :: k). U1 p Source #
GUniform (V1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p :: k). V1 p Source #
(GUniform ta, GUniform tb) => GUniform (ta :*: tb :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: forall (p :: k). (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 :: k). 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 :: k1). K1 i (k2 HyperRep) p Source #
GUniform t => GUniform (M1 i c t :: Type -> Type) Source #
Instance details Defined in Inference.Conjugate Methods guniformPrior :: M1 i c t p Source #

GPrior (U1 :: k -> Type) (U1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k). PrimMonad m => U1 p -> Prob m (U1 p) Source # gexpectedProbs :: forall (p :: k). U1 p -> U1 p Source #
GPrior (V1 :: k -> Type) (V1 :: k -> Type) Source #
Instance details Defined in Inference.Conjugate Methods gsampleProbs :: forall (m :: Type -> Type) (p :: k). PrimMonad m => V1 p -> Prob m (V1 p) Source # gexpectedProbs :: forall (p :: k). V1 p -> 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 :: k). PrimMonad m => (ia :: ib) p -> Prob m ((oa :: ob) p) Source # gexpectedProbs :: forall (p :: k). (ia :: ib) p -> (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 :: k). PrimMonad m => (ia :+: ib) p -> Prob m ((oa :+: ob) p) Source # gexpectedProbs :: forall (p :: k). (ia :+: ib) p -> (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 :: k). PrimMonad m => K1 i (HyperRep p) p0 -> Prob m (K1 i (ProbsRep p) p0) Source # gexpectedProbs :: forall (p0 :: k). K1 i (HyperRep p) p0 -> 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 :: k1). PrimMonad m => K1 i (k2 HyperRep) p -> Prob m (K1 i (k2 ProbsRep) p) Source # gexpectedProbs :: forall (p :: k1). K1 i (k2 HyperRep) p -> 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 :: k). PrimMonad m => M1 i c ti p -> Prob m (M1 i' c' to p) Source # gexpectedProbs :: forall (p :: k). M1 i c ti p -> M1 i' c' to p Source #

RandomInterpreter (EvalPredTraceI r) r Source #
Instance details Defined in Inference.Conjugate 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 -> (Int -> EvalPredTraceI r a) -> EvalPredTraceI r [a] Source #
RandomInterpreter (EvalTraceI r) r Source #
Instance details Defined in Inference.Conjugate 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 -> (Int -> EvalTraceI r a) -> EvalTraceI r [a] Source #
RandomInterpreter (ShowTraceI r) r Source #
Instance details Defined in Inference.Conjugate 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 -> (Int -> ShowTraceI r a) -> ShowTraceI r [a] Source #
RandomInterpreter (TraceTraceI r) r Source #
Instance details Defined in Inference.Conjugate 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 -> (Int -> TraceTraceI r a) -> TraceTraceI r [a] Source #
RandomInterpreter (UpdatePriorsI r) r Source #
Instance details Defined in Inference.Conjugate 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 -> (Int -> UpdatePriorsI r a) -> UpdatePriorsI r [a] Source #
PrimMonad m => RandomInterpreter (SampleI m r) r Source #
Instance details Defined in Inference.Conjugate 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 -> (Int -> SampleI m r a) -> SampleI m r [a] Source #
PrimMonad m => RandomInterpreter (TraceI m r) r Source #
Instance details Defined in Inference.Conjugate 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 -> (Int -> TraceI m r a) -> TraceI m r [a] Source #

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

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 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 -> (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 = ()

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 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 -> (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)

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 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 -> (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)

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 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 -> (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)

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 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 -> (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)

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 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 -> (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))

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 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 -> (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))