Synthesizer.LLVM.Causal.ProcessValue

Documentation

data T a b

Instances

Arrow T

Defined in Synthesizer.LLVM.Causal.Private

Methods

arr :: (b -> c) -> T b c

first :: T b c -> T (b, d) (c, d)

second :: T b c -> T (d, b) (d, c)

(***) :: T b c -> T b' c' -> T (b, b') (c, c')

(&&&) :: T b c -> T b c' -> T b (c, c')

C T

Defined in Synthesizer.LLVM.Causal.Private

Associated Types

type SignalOf T :: Type -> Type

Methods

toSignal :: T () a -> SignalOf T a

fromSignal :: SignalOf T b -> T a b

Functor (T a)

Defined in Synthesizer.LLVM.Causal.Private

Methods

fmap :: (a0 -> b) -> T a a0 -> T a b

(<$) :: a0 -> T a b -> T a a0

Applicative (T a)

Defined in Synthesizer.LLVM.Causal.Private

Methods

pure :: a0 -> T a a0

(<*>) :: T a (a0 -> b) -> T a a0 -> T a b

liftA2 :: (a0 -> b -> c) -> T a a0 -> T a b -> T a c

(*>) :: T a a0 -> T a b -> T a b

(<*) :: T a a0 -> T a b -> T a a0

Category T

Defined in Synthesizer.LLVM.Causal.Private

Methods

id :: T a a

(.) :: T b c -> T a b -> T a c

(Field b, Real b, RationalConstant b) => Fractional (T a b)

Defined in Synthesizer.LLVM.Causal.Private

Methods

(/) :: T a b -> T a b -> T a b

recip :: T a b -> T a b

fromRational :: Rational -> T a b

(PseudoRing b, Real b, IntegerConstant b) => Num (T a b)

Defined in Synthesizer.LLVM.Causal.Private

Methods

(+) :: T a b -> T a b -> T a b

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

(*) :: T a b -> T a b -> T a b

negate :: T a b -> T a b

abs :: T a b -> T a b

signum :: T a b -> T a b

fromInteger :: Integer -> T a b

(Field b, RationalConstant b) => C (T a b)

Defined in Synthesizer.LLVM.Causal.Private

Methods

(/) :: T a b -> T a b -> T a b

recip :: T a b -> T a b

fromRational' :: Rational -> T a b

(^-) :: T a b -> Integer -> T a b

(PseudoRing b, IntegerConstant b) => C (T a b)

Defined in Synthesizer.LLVM.Causal.Private

Methods

(*) :: T a b -> T a b -> T a b

one :: T a b

fromInteger :: Integer -> T a b

(^) :: T a b -> Integer -> T a b

Additive b => C (T a b)

Defined in Synthesizer.LLVM.Causal.Private

Methods

zero :: T a b

(+) :: T a b -> T a b -> T a b

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

negate :: T a b -> T a b

type SignalOf T

Defined in Synthesizer.LLVM.Causal.Private

type SignalOf T = T

mapAccum :: C state => (forall r. a -> state -> CodeGenFunction r (b, state)) -> (forall r. CodeGenFunction r state) -> T a b

fromModifier :: (Flatten ah, Registers ah ~ al, Flatten bh, Registers bh ~ bl, Flatten ch, Registers ch ~ cl, Flatten sh, Registers sh ~ sl, C sl) => Simple sh ch ah bh -> T (cl, al) bl