Language.Hakaru.Runtime.Prelude

Documentation

type family MinBoxVec (v1 :: * -> *) (v2 :: * -> *) :: * -> *

Instances

type MinBoxVec v Vector

type MinBoxVec v Vector = Vector

type MinBoxVec Vector Vector

type MinBoxVec Vector Vector = Vector

type MinBoxVec Vector v

type MinBoxVec Vector v = Vector

type family MayBoxVec a :: * -> *

Instances

type MayBoxVec Bool

type MayBoxVec Bool = Vector

type MayBoxVec Double

type MayBoxVec Double = Vector

type MayBoxVec Int

type MayBoxVec Int = Vector

type MayBoxVec ()

type MayBoxVec () = Vector

type MayBoxVec (Vector a)

type MayBoxVec (Vector a) = Vector

type MayBoxVec (Vector a)

type MayBoxVec (Vector a) = Vector

type MayBoxVec (a, b)

type MayBoxVec (a, b) = MinBoxVec (MayBoxVec a) (MayBoxVec b)

type Prob = Double

lam :: (a -> b) -> a -> b

app :: (a -> b) -> a -> b

let_ :: a -> (a -> b) -> b

ann_ :: a -> b -> b

uniform :: Double -> Double -> Measure Double

normal :: Double -> Prob -> Measure Double

beta :: Prob -> Prob -> Measure Prob

gamma :: Prob -> Prob -> Measure Prob

categorical :: MayBoxVec Prob Prob -> Measure Int

plate :: Vector (MayBoxVec a) a => Int -> (Int -> Measure a) -> Measure (MayBoxVec a a)

bucket :: Int -> Int -> (forall s. Reducer () s a) -> a

data Reducer xs s a

Constructors

Reducer

Fields

• init :: xs -> ST s cell
• accum :: xs -> Int -> cell -> ST s ()
• done :: cell -> ST s a

r_fanout :: Reducer xs s a -> Reducer xs s b -> Reducer xs s (a, b)

r_index :: Vector (MayBoxVec a) a => (xs -> Int) -> ((Int, xs) -> Int) -> Reducer (Int, xs) s a -> Reducer xs s (MayBoxVec a a)

r_split :: ((Int, xs) -> Bool) -> Reducer xs s a -> Reducer xs s b -> Reducer xs s (a, b)

r_add :: Num a => ((Int, xs) -> a) -> Reducer xs s a

r_nop :: Reducer xs s ()

pair :: a -> b -> (a, b)

true :: Bool

false :: Bool

nothing :: Maybe a

just :: a -> Maybe a

left :: a -> Either a b

right :: b -> Either a b

unit :: ()

data Pattern

Constructors

PVar

PWild

newtype Branch a b

Constructors

Branch

Fields

• extract :: a -> Maybe b

ptrue :: a -> Branch Bool a

pfalse :: a -> Branch Bool a

extractBool :: Bool -> a -> Bool -> Maybe a

pnothing :: b -> Branch (Maybe a) b

pjust :: Pattern -> (a -> b) -> Branch (Maybe a) b

pleft :: Pattern -> (a -> c) -> Branch (Either a b) c

pright :: Pattern -> (b -> c) -> Branch (Either a b) c

ppair :: Pattern -> Pattern -> (x -> y -> b) -> Branch (x, y) b

uncase_ :: Maybe a -> a

case_ :: a -> [Branch a b] -> b

branch :: (c -> Branch a b) -> c -> Branch a b

dirac :: a -> Measure a

pose :: Prob -> Measure a -> Measure a

superpose :: [(Prob, Measure a)] -> Measure a

reject :: Measure a

nat_ :: Int -> Int

int_ :: Int -> Int

unsafeNat :: Int -> Int

nat2prob :: Int -> Prob

fromInt :: Int -> Double

nat2int :: Int -> Int

nat2real :: Int -> Double

fromProb :: Prob -> Double

unsafeProb :: Double -> Prob

real_ :: Rational -> Double

prob_ :: NonNegativeRational -> Prob

infinity :: Double

abs_ :: Num a => a -> a

thRootOf :: Int -> Prob -> Prob

array :: Vector (MayBoxVec a) a => Int -> (Int -> a) -> MayBoxVec a a

arrayLit :: Vector (MayBoxVec a) a => [a] -> MayBoxVec a a

(!) :: Vector (MayBoxVec a) a => MayBoxVec a a -> Int -> a

size :: Vector (MayBoxVec a) a => MayBoxVec a a -> Int

reduce :: Vector (MayBoxVec a) a => (a -> a -> a) -> a -> MayBoxVec a a -> a

product :: Num a => Int -> Int -> (Int -> a) -> a

summate :: Num a => Int -> Int -> (Int -> a) -> a

run :: Show a => GenIO -> Measure a -> IO ()

iterateM_ :: Monad m => (a -> m a) -> a -> m b

withPrint :: Show a => (a -> IO b) -> a -> IO b