Effects.Dist

The effect Dist for primitive distributions

Address

type Tag = String

An observable variable name assigned to a primitive distribution

type Addr = (Tag, Int)

An observable variable name and the index of its run-time occurrence

Dist effect

data Dist a

Distribution effect

Constructors

Dist

Fields

• getPrimDist :: PrimDist a

  primitive distribution

• getObs :: Maybe a

  optional observed value

• getTag :: Maybe Tag

  optional observable variable name

Instances

Eq (Dist a)

Defined in Effects.Dist

Methods

(==) :: Dist a -> Dist a -> Bool

(/=) :: Dist a -> Dist a -> Bool

Show a => Show (Dist a)

Defined in Effects.Dist

Methods

showsPrec :: Int -> Dist a -> ShowS

show :: Dist a -> String

showList :: [Dist a] -> ShowS

handleDist :: (Member Sample es, Member Observe es) => Prog (Dist ': es) a -> Prog es a

Handle the Dist effect to a Sample or Observe effect and assign an address

Sample effect

data Sample a where

The effect for sampling from distirbutions

Constructors

Sample

Fields

• :: PrimDist a

  Distribution to sample from

• -> Addr

  Address of Sample operation

• -> Sample a

Observe effect

data Observe a where

The effect for conditioning against observed values

Constructors

Observe

Fields

• :: PrimDist a

  Distribution to condition with

• -> a

  Observed value

• -> Addr

  Address of Observe operation

• -> Observe a