Safe Haskell	None
Language	Haskell98

Synthesizer.LLVM.Causal.ProcessValue

Documentation

data T a b Source #

Instances

Arrow T Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details 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 Source #

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 Source #