Language.Hakaru.Sample

Documentation

data EAssoc

Constructors

EAssoc !(Variable a) !(Value a)

newtype Env

Constructors

Env (IntMap EAssoc)

emptyEnv :: Env

updateEnv :: EAssoc -> Env -> Env

updateEnvs :: List1 Variable xs -> List1 Value xs -> Env -> Env

lookupVar :: Variable a -> Env -> Maybe (Value a)

poisson_rng :: Double -> GenIO -> IO Int

normalize :: [Value HProb] -> (LogFloat, Double, [Double])

normalizeVector :: Value (HArray HProb) -> (LogFloat, Double, Vector Double)

runEvaluate :: ABT Term abt => abt '[] a -> Value a

evaluate :: ABT Term abt => abt '[] a -> Env -> Value a

evaluateVar :: Env -> Variable a -> Value a

evaluateTerm :: ABT Term abt => Term abt a -> Env -> Value a

evaluateSCon :: ABT Term abt => SCon args a -> SArgs abt args -> Env -> Value a

evaluatePrimOp :: (ABT Term abt, typs ~ UnLCs args, args ~ LCs typs) => PrimOp typs a -> SArgs abt args -> Env -> Value a

evaluateArrayOp :: (ABT Term abt, typs ~ UnLCs args, args ~ LCs typs) => ArrayOp typs a -> SArgs abt args -> Env -> Value a

evaluateMeasureOp :: (ABT Term abt, typs ~ UnLCs args, args ~ LCs typs) => MeasureOp typs a -> SArgs abt args -> Env -> Value (HMeasure a)

evaluateNaryOp :: ABT Term abt => NaryOp a -> Seq (abt '[] a) -> Env -> Value a

identityElement :: NaryOp a -> Value a

evalOp :: NaryOp a -> Value a -> Value a -> Value a

mapEvaluate :: ABT Term abt => Seq (abt '[] a) -> Env -> Seq (Value a)

evaluateLiteral :: Literal a -> Value a

evaluateEmpty :: Value (HArray a)

evaluateArray :: ABT Term abt => abt '[] HNat -> abt '[HNat] a -> Env -> Value (HArray a)

evaluateBucket :: ABT Term abt => abt '[] HNat -> abt '[] HNat -> Reducer abt '[] a -> Env -> Value a

evaluateDatum :: ABT Term abt => Datum (abt '[]) (HData' a) -> Env -> Value (HData' a)

evaluateCase :: forall abt a b. ABT Term abt => abt '[] a -> [Branch a abt b] -> Env -> Value b

evaluateSuperpose :: ABT Term abt => NonEmpty (abt '[] HProb, abt '[] (HMeasure a)) -> Env -> Value (HMeasure a)

intToNatural :: Int -> Natural

unsafeInt :: Natural -> Int