Language.Hakaru.Syntax.Value

Documentation

data Value :: Hakaru -> * where

Constructors

VNat :: !Natural -> Value HNat

VInt :: !Integer -> Value HInt

VProb :: !LogFloat -> Value HProb

VReal :: !Double -> Value HReal

VDatum :: !(Datum Value (HData' t)) -> Value (HData' t)

VLam :: (Value a -> Value b) -> Value (a :-> b)

VMeasure :: (Value HProb -> GenIO -> IO (Maybe (Value a, Value HProb))) -> Value (HMeasure a)

VArray :: !(Vector (Value a)) -> Value (HArray a)

Instances

Coerce Value

Methods

coerceTo :: Coercion a b -> Value a -> Value b

coerceFrom :: Coercion a b -> Value b -> Value a

PrimCoerce Value

Methods

primCoerceTo :: PrimCoercion a b -> Value a -> Value b

primCoerceFrom :: PrimCoercion a b -> Value b -> Value a

Eq1 Value

Methods

eq1 :: Value i -> Value i -> Bool

Show1 Value

Methods

showsPrec1 :: Int -> Value i -> ShowS

show1 :: Value i -> String

Eq (Value a)

Methods

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

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

Show (Value a)

Methods

showsPrec :: Int -> Value a -> ShowS

show :: Value a -> String

showList :: [Value a] -> ShowS

lam2 :: Value (a :-> (b :-> c)) -> Value a -> Value b -> Value c

enumFromUntilValue :: HDiscrete a -> Value a -> Value a -> [Value a]

data VReducer :: * -> Hakaru -> * where

Constructors

VRed_Num :: STRef s (Value a) -> VReducer s a

VRed_Unit :: VReducer s HUnit

VRed_Pair :: Sing a -> Sing b -> VReducer s a -> VReducer s b -> VReducer s (HPair a b)

VRed_Array :: Vector (VReducer s a) -> VReducer s (HArray a)