Language.Hakaru.Syntax.Value

Documentation

data Value :: Hakaru -> * where

Constructors

VNat :: !Nat -> Value HNat

VInt :: !Int -> 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 Hakaru Value

Methods

eq1 :: a i -> a i -> Bool

Show1 Hakaru Value

Methods

showsPrec1 :: Int -> a i -> ShowS

show1 :: a 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]