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

Defined in Language.Hakaru.Syntax.Value

Methods

coerceTo :: forall (a :: Hakaru) (b :: Hakaru). Coercion a b -> Value a -> Value b

coerceFrom :: forall (a :: Hakaru) (b :: Hakaru). Coercion a b -> Value b -> Value a

PrimCoerce Value

Defined in Language.Hakaru.Syntax.Value

Methods

primCoerceTo :: forall (a :: Hakaru) (b :: Hakaru). PrimCoercion a b -> Value a -> Value b

primCoerceFrom :: forall (a :: Hakaru) (b :: Hakaru). PrimCoercion a b -> Value b -> Value a

Eq1 Value

Defined in Language.Hakaru.Syntax.Value

Methods

eq1 :: forall (i :: k). Value i -> Value i -> Bool

Show1 Value

Defined in Language.Hakaru.Syntax.Value

Methods

showsPrec1 :: forall (i :: k). Int -> Value i -> ShowS

show1 :: forall (i :: k). Value i -> String

Eq (Value a)

Defined in Language.Hakaru.Syntax.Value

Methods

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

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

Show (Value a)

Defined in Language.Hakaru.Syntax.Value

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)