Synthesizer.LLVM.Parameterized.Value

Documentation

newtype T p a

Constructors

Cons

Fields

decons :: forall r. p -> TValue r a

Instances

(C a, IsArithmetic a, IsConst a) => Enum (T p a)

(C a, IsConst a, IsFloating a) => C (T p a)

(C a, IsConst a, IsFloating a) => C (T p a)

(C a, IsConst a, IsFloating a) => C (T p a)

(C a, IsArithmetic a, IsConst a) => C (T p a)

(C a, IsArithmetic a, IsConst a) => C (T p a)

twoPi :: (C a, IsConst a, IsFloating a) => T p a

lift0 :: T a -> T p a

lift1 :: (T a -> T b) -> T p a -> T p b

lift2 :: (T a -> T b -> T c) -> T p a -> T p b -> T p c

constantValue :: Value a -> T p a

constant :: IsConst a => a -> T p a

choose :: IsConst a => (p -> a) -> T p a