Language.Hakaru.Runtime.LogFloatPrelude

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 LogFloat

type MayBoxVec LogFloat = 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 = LogFloat

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

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

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

ann_ :: a -> b -> b

exp :: Double -> Prob

log :: Prob -> Double

betaFunc :: Prob -> Prob -> Prob

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

(**) :: Prob -> Double -> Prob

pi :: Prob

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

class Num a => Num' a where

Methods

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

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

Instances

Num' Double

Methods

product :: Int -> Int -> (Int -> Double) -> Double

summate :: Int -> Int -> (Int -> Double) -> Double

Num' Int

Methods

product :: Int -> Int -> (Int -> Int) -> Int

summate :: Int -> Int -> (Int -> Int) -> Int

Num' LogFloat

Methods

product :: Int -> Int -> (Int -> LogFloat) -> LogFloat

summate :: Int -> Int -> (Int -> LogFloat) -> LogFloat

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

Orphan instances

Read LogFloat

Methods

readsPrec :: Int -> ReadS LogFloat

readList :: ReadS [LogFloat]

readPrec :: ReadPrec LogFloat

readListPrec :: ReadPrec [LogFloat]

Unbox LogFloat

Parseable LogFloat

Methods

parse :: String -> IO LogFloat

Vector Vector LogFloat

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) LogFloat -> m (Vector LogFloat)

basicUnsafeThaw :: PrimMonad m => Vector LogFloat -> m (Mutable Vector (PrimState m) LogFloat)

basicLength :: Vector LogFloat -> Int

basicUnsafeSlice :: Int -> Int -> Vector LogFloat -> Vector LogFloat

basicUnsafeIndexM :: Monad m => Vector LogFloat -> Int -> m LogFloat

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) LogFloat -> Vector LogFloat -> m ()

elemseq :: Vector LogFloat -> LogFloat -> b -> b

MVector MVector LogFloat

Methods

basicLength :: MVector s LogFloat -> Int

basicUnsafeSlice :: Int -> Int -> MVector s LogFloat -> MVector s LogFloat

basicOverlaps :: MVector s LogFloat -> MVector s LogFloat -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) LogFloat)

basicInitialize :: PrimMonad m => MVector (PrimState m) LogFloat -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> LogFloat -> m (MVector (PrimState m) LogFloat)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) LogFloat -> Int -> m LogFloat

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) LogFloat -> Int -> LogFloat -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) LogFloat -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) LogFloat -> LogFloat -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) LogFloat -> MVector (PrimState m) LogFloat -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) LogFloat -> MVector (PrimState m) LogFloat -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) LogFloat -> Int -> m (MVector (PrimState m) LogFloat)