Safe Haskell | None |
---|---|
Language | Haskell98 |
Re-export functions from Sound.Frame.Stereo and add (orphan) instances for various LLVM type classes. If you want to use the Stereo datatype with synthesizer-llvm we recommend to import this module instead of Sound.Frame.Stereo or Sound.Frame.NumericPrelude.Stereo.
Synopsis
- data T a
- cons :: a -> a -> T a
- left :: T a -> a
- right :: T a -> a
- data Channel
- select :: T a -> Channel -> a
- swap :: T a -> T a
- multiValue :: T (T a) -> T (T a)
- unMultiValue :: T (T a) -> T (T a)
- consMultiValue :: T a -> T a -> T (T a)
- unExpression :: Exp (T a) -> T (Exp a)
- multiVector :: T (T n a) -> T n (T a)
- unMultiVector :: T n (T a) -> T (T n a)
- multiValueSerial :: T (T (T n a)) -> T (T n (T a))
- unMultiValueSerial :: T (T n (T a)) -> T (T (T n a))
- arrowFromMono :: Arrow arrow => arrow a b -> arrow (T a) (T b)
- arrowFromMonoControlled :: Arrow arrow => arrow (c, a) b -> arrow (c, T a) (T b)
- arrowFromChannels :: Arrow arrow => arrow a b -> arrow a b -> arrow (T a) (T b)
- interleave :: (T a, T b) -> T (a, b)
- sequence :: Functor f => f (T a) -> T (f a)
- liftApplicative :: Applicative f => (f a -> f b) -> f (T a) -> f (T b)
Documentation
Instances
Functor T | |
Applicative T | |
Foldable T | |
Defined in Sound.Frame.Stereo fold :: Monoid m => T m -> m # foldMap :: Monoid m => (a -> m) -> T a -> m # foldr :: (a -> b -> b) -> b -> T a -> b # foldr' :: (a -> b -> b) -> b -> T a -> b # foldl :: (b -> a -> b) -> b -> T a -> b # foldl' :: (b -> a -> b) -> b -> T a -> b # foldr1 :: (a -> a -> a) -> T a -> a # foldl1 :: (a -> a -> a) -> T a -> a # elem :: Eq a => a -> T a -> Bool # maximum :: Ord a => T a -> a # | |
Traversable T | |
MakeGroundArguments f a => MakeGroundArguments f (T a) Source # | |
Defined in Synthesizer.LLVM.Causal.Functional makeGroundArgs :: f (GroundArguments (T a)) -> T a Source # | |
Eq a => Eq (T a) | |
Show a => Show (T a) | |
Arbitrary a => Arbitrary (T a) | |
Storable a => Storable (T a) | |
Defined in Sound.Frame.Stereo | |
C a => C (T a) | |
Defined in Sound.Frame.Stereo numberOfChannels :: T a -> Int # sizeOfElement :: T a -> Int # | |
C a => C (T a) | |
Defined in Sound.Sox.Frame | |
C l => C (T l) | |
C l => C (T l) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
C a => C (T a) | |
Phi a => Phi (T a) | |
C a => C (T a) | |
Defined in Synthesizer.LLVM.Frame.Stereo cons :: Positive n => Vector n (T a) -> T0 n (T a) undef :: Positive n => T0 n (T a) zero :: Positive n => T0 n (T a) phi :: Positive n => BasicBlock -> T0 n (T a) -> CodeGenFunction r (T0 n (T a)) addPhi :: Positive n => BasicBlock -> T0 n (T a) -> T0 n (T a) -> CodeGenFunction r () shuffle :: (Positive n, Positive m) => ConstValue (Vector m Word32) -> T0 n (T a) -> T0 n (T a) -> CodeGenFunction r (T0 m (T a)) extract :: Positive n => Value Word32 -> T0 n (T a) -> CodeGenFunction r (T1 (T a)) insert :: Positive n => Value Word32 -> T0 (T a) -> T1 n (T a) -> CodeGenFunction r (T1 n (T a)) | |
Undefined a => Undefined (T a) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
Additive a => Additive (T a) | |
Compose a => Compose (T a) | |
Decompose p => Decompose (T p) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
Additive a => Additive (T a) | |
PseudoModule a => PseudoModule (T a) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
Select a => Select (T a) | |
Zero a => Zero (T a) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
Value h => Value (T h) | |
C l => C (T l) | |
C v => C (T v) | |
Simple v => Simple (T v) | |
C l => C (T l) | |
(Vector l, C l) => Vector (T l) | |
Defined in Synthesizer.LLVM.Frame.Stereo assembleVector :: Positive n => Proxy (T l) -> Vector n (Repr (T l)) -> CodeGenFunction r (Repr n (T l)) disassembleVector :: Positive n => Proxy (T l) -> Repr n (T l) -> CodeGenFunction r (Vector n (Repr (T l))) | |
Flatten a => Flatten (T a) Source # | |
C l => C (T l) | |
Zero v => Zero (T v) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Class | |
Write v => Write (T v) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Class insert :: Value Word32 -> Element (T v) -> T v -> CodeGenFunction r (T v) Source # assemble :: [Element (T v)] -> CodeGenFunction r (T v) Source # writeStart :: CodeGenFunction r (WriteIterator (WriteIt (T v)) (T v)) Source # writeNext :: Element (T v) -> WriteIterator (WriteIt (T v)) (T v) -> CodeGenFunction r (WriteIterator (WriteIt (T v)) (T v)) Source # writeStop :: WriteIterator (WriteIt (T v)) (T v) -> CodeGenFunction r (T v) Source # | |
Read v => Read (T v) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Class extract :: Value Word32 -> T v -> CodeGenFunction r (Element (T v)) Source # dissect :: T v -> CodeGenFunction r [Element (T v)] Source # readStart :: T v -> CodeGenFunction r (ReadIterator (ReadIt (T v)) (T v)) Source # readNext :: ReadIterator (ReadIt (T v)) (T v) -> CodeGenFunction r (Element (T v), ReadIterator (ReadIt (T v)) (T v)) Source # | |
Sized value => Sized (T value) Source # | |
RunArg a => RunArg (T a) Source # | |
MakeGuidedArguments a => MakeGuidedArguments (T a) Source # | |
Defined in Synthesizer.LLVM.Causal.Functional makeGuidedArgs :: Functor f => T a -> f (PatternArguments (T a)) -> GuidedArguments f (T a) Source # | |
MakeArguments a => MakeArguments (T a) Source # | |
Aggregate e mv => Aggregate (T e) (T mv) | |
(PseudoRing a, RationalConstant a, C a) => C (Parameter a) (T a) (T a) Source # | |
(Vector n a, n ~ D3, PseudoRing a, inp ~ T a, out ~ T a) => C (ParameterMV a) (T inp) (T out) Source # | |
Defined in Synthesizer.LLVM.Causal.Controlled | |
type Repr n (T a) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type Decomposed f (T pa) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type GuidedArguments f (T a) Source # | |
Defined in Synthesizer.LLVM.Causal.Functional | |
type Arguments f (T a) Source # | Consistent with pair instance.
You may use |
Defined in Synthesizer.LLVM.Causal.Functional | |
type Struct (T l) | |
Defined in Synthesizer.LLVM.Frame.Stereo type Struct (T l) | |
type Repr (T a) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type Composed (T a) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type PatternTuple (T pa) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type Scalar (T a) | |
Defined in Synthesizer.LLVM.Frame.Stereo type Scalar (T a) = Scalar a | |
type ValueOf (T h) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type Element (T v) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type Size (T v) | |
Defined in Synthesizer.LLVM.Frame.Stereo type Size (T v) = Size v | |
type ExpressionsOf (T mv) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type MultiValuesOf (T e) | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type Registers (T a) Source # | |
Defined in Synthesizer.LLVM.Frame.Stereo | |
type WriteIt (T v) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Class | |
type Element (T v) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Class | |
type ReadIt (T v) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Class | |
type Size (T value) Source # | |
Defined in Synthesizer.LLVM.Frame.SerialVector.Class | |
type DSLArg (T a) Source # | |
Defined in Synthesizer.LLVM.Private.Render | |
type PatternArguments (T a) Source # | |
Defined in Synthesizer.LLVM.Causal.Functional | |
type GroundArguments (T a) Source # | |
Defined in Synthesizer.LLVM.Causal.Functional | |
type Input (Parameter a) (T a) Source # | |
Defined in Synthesizer.LLVM.Causal.Controlled | |
type Input (ParameterMV a) (T out) Source # | |
Defined in Synthesizer.LLVM.Causal.Controlled | |
type Output (Parameter a) (T a) Source # | |
Defined in Synthesizer.LLVM.Causal.Controlled | |
type Output (ParameterMV a) (T inp) Source # | |
Defined in Synthesizer.LLVM.Causal.Controlled |
multiValue :: T (T a) -> T (T a) Source #
unMultiValue :: T (T a) -> T (T a) Source #
consMultiValue :: T a -> T a -> T (T a) Source #
unExpression :: Exp (T a) -> T (Exp a) Source #
multiVector :: T (T n a) -> T n (T a) Source #
unMultiVector :: T n (T a) -> T (T n a) Source #
arrowFromMono :: Arrow arrow => arrow a b -> arrow (T a) (T b) #
Run a causal process independently on each stereo channel.
arrowFromMonoControlled :: Arrow arrow => arrow (c, a) b -> arrow (c, T a) (T b) #
arrowFromChannels :: Arrow arrow => arrow a b -> arrow a b -> arrow (T a) (T b) #
interleave :: (T a, T b) -> T (a, b) #
liftApplicative :: Applicative f => (f a -> f b) -> f (T a) -> f (T b) #
Orphan instances
C l => C (T l) Source # | |
C l => C (T l) Source # | |
C a => C (T a) Source # | |
Phi a => Phi (T a) Source # | |
C a => C (T a) Source # | |
cons :: Positive n => Vector n (T a) -> T0 n (T a) undef :: Positive n => T0 n (T a) zero :: Positive n => T0 n (T a) phi :: Positive n => BasicBlock -> T0 n (T a) -> CodeGenFunction r (T0 n (T a)) addPhi :: Positive n => BasicBlock -> T0 n (T a) -> T0 n (T a) -> CodeGenFunction r () shuffle :: (Positive n, Positive m) => ConstValue (Vector m Word32) -> T0 n (T a) -> T0 n (T a) -> CodeGenFunction r (T0 m (T a)) extract :: Positive n => Value Word32 -> T0 n (T a) -> CodeGenFunction r (T1 (T a)) insert :: Positive n => Value Word32 -> T0 (T a) -> T1 n (T a) -> CodeGenFunction r (T1 n (T a)) | |
Undefined a => Undefined (T a) Source # | |
Additive a => Additive (T a) Source # | |
Compose a => Compose (T a) Source # | |
Decompose p => Decompose (T p) Source # | |
Additive a => Additive (T a) Source # | |
PseudoModule a => PseudoModule (T a) Source # | |
Select a => Select (T a) Source # | |
Zero a => Zero (T a) Source # | |
Value h => Value (T h) Source # | |
C l => C (T l) Source # | |
C v => C (T v) Source # | |
Simple v => Simple (T v) Source # | |
C l => C (T l) Source # | |
(Vector l, C l) => Vector (T l) Source # | |
assembleVector :: Positive n => Proxy (T l) -> Vector n (Repr (T l)) -> CodeGenFunction r (Repr n (T l)) disassembleVector :: Positive n => Proxy (T l) -> Repr n (T l) -> CodeGenFunction r (Vector n (Repr (T l))) | |
Flatten a => Flatten (T a) Source # | |
C l => C (T l) Source # | |
Aggregate e mv => Aggregate (T e) (T mv) Source # | |