Language.Hakaru.Runtime.Prelude

Documentation

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

Instances

type MinBoxVec v Vector

type MinBoxVec v Vector = Vector

type MinBoxVec Vector v

type MinBoxVec Vector v = Vector

type MinBoxVec Vector Vector

type MinBoxVec Vector Vector = Vector

type family MayBoxVec a :: * -> *

Instances

type MayBoxVec Double

type MayBoxVec Double = Vector

type MayBoxVec Int

type MayBoxVec Int = 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)

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

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

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

ann_ :: a -> b -> b

newtype Measure a

Constructors

Measure

Fields

• unMeasure :: GenIO -> IO (Maybe a)

Instances

Monad Measure

Methods

(>>=) :: Measure a -> (a -> Measure b) -> Measure b

(>>) :: Measure a -> Measure b -> Measure b

return :: a -> Measure a

fail :: String -> Measure a

Functor Measure

Methods

fmap :: (a -> b) -> Measure a -> Measure b

(<$) :: a -> Measure b -> Measure a

Applicative Measure

Methods

pure :: a -> Measure a

(<*>) :: Measure (a -> b) -> Measure a -> Measure b

(*>) :: Measure a -> Measure b -> Measure b

(<*) :: Measure a -> Measure b -> Measure a

makeMeasure :: (GenIO -> IO a) -> Measure a

uniform :: Double -> Double -> Measure Double

normal :: Double -> Double -> Measure Double

beta :: Double -> Double -> Measure Double

gamma :: Double -> Double -> Measure Double

categorical :: MayBoxVec Double Double -> Measure Int

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

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

true :: Bool

false :: Bool

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

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

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

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

dirac :: a -> Measure a

pose :: Double -> Measure a -> Measure a

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

reject :: Measure a

nat_ :: Int -> Int

int_ :: Int -> Int

unsafeNat :: Int -> Int

nat2prob :: Int -> Double

fromInt :: Int -> Double

nat2int :: Int -> Int

nat2real :: Int -> Double

fromProb :: Double -> Double

unsafeProb :: Double -> Double

real_ :: Rational -> Double

prob_ :: NonNegativeRational -> Double

infinity :: Double

abs_ :: Num a => a -> a

thRootOf :: Int -> Double -> Double

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

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

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

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