| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Hakaru.Syntax.Value
Documentation
data Value :: Hakaru -> * where Source #
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) |