Synthesizer.LLVM.Causal.Exponential2

Exponential curve with controllable delay.

Documentation

data Parameter a

Instances

Functor Parameter

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

fmap :: (a -> b) -> Parameter a -> Parameter b

(<$) :: a -> Parameter b -> Parameter a

Applicative Parameter

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

pure :: a -> Parameter a

(<*>) :: Parameter (a -> b) -> Parameter a -> Parameter b

liftA2 :: (a -> b -> c) -> Parameter a -> Parameter b -> Parameter c

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

(<*) :: Parameter a -> Parameter b -> Parameter a

Foldable Parameter

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

fold :: Monoid m => Parameter m -> m

foldMap :: Monoid m => (a -> m) -> Parameter a -> m

foldr :: (a -> b -> b) -> b -> Parameter a -> b

foldr' :: (a -> b -> b) -> b -> Parameter a -> b

foldl :: (b -> a -> b) -> b -> Parameter a -> b

foldl' :: (b -> a -> b) -> b -> Parameter a -> b

foldr1 :: (a -> a -> a) -> Parameter a -> a

foldl1 :: (a -> a -> a) -> Parameter a -> a

toList :: Parameter a -> [a]

null :: Parameter a -> Bool

length :: Parameter a -> Int

elem :: Eq a => a -> Parameter a -> Bool

maximum :: Ord a => Parameter a -> a

minimum :: Ord a => Parameter a -> a

sum :: Num a => Parameter a -> a

product :: Num a => Parameter a -> a

Traversable Parameter

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

traverse :: Applicative f => (a -> f b) -> Parameter a -> f (Parameter b)

sequenceA :: Applicative f => Parameter (f a) -> f (Parameter a)

mapM :: Monad m => (a -> m b) -> Parameter a -> m (Parameter b)

sequence :: Monad m => Parameter (m a) -> m (Parameter a)

Show a => Show (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

showsPrec :: Int -> Parameter a -> ShowS

show :: Parameter a -> String

showList :: [Parameter a] -> ShowS

Storable a => Storable (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

sizeOf :: Parameter a -> Int

alignment :: Parameter a -> Int

peekElemOff :: Ptr (Parameter a) -> Int -> IO (Parameter a)

pokeElemOff :: Ptr (Parameter a) -> Int -> Parameter a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Parameter a)

pokeByteOff :: Ptr b -> Int -> Parameter a -> IO ()

peek :: Ptr (Parameter a) -> IO (Parameter a)

poke :: Ptr (Parameter a) -> Parameter a -> IO ()

C a => C (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

pack :: Parameter a -> Struct (Parameter a)

unpack :: Struct (Parameter a) -> Parameter a

C a => C (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type Struct (Parameter a) :: Type

Methods

load :: Value (Ptr (Struct (Parameter a))) -> CodeGenFunction r (Parameter a)

store :: Parameter a -> Value (Ptr (Struct (Parameter a))) -> CodeGenFunction r ()

decompose :: Value (Struct (Parameter a)) -> CodeGenFunction r (Parameter a)

compose :: Parameter a -> CodeGenFunction r (Value (Struct (Parameter a)))

C a => C (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type Repr (Parameter a) :: Type

Methods

cons :: Parameter a -> T (Parameter a)

undef :: T (Parameter a)

zero :: T (Parameter a)

phi :: BasicBlock -> T (Parameter a) -> CodeGenFunction r (T (Parameter a))

addPhi :: BasicBlock -> T (Parameter a) -> T (Parameter a) -> CodeGenFunction r ()

Phi a => Phi (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

phi :: BasicBlock -> Parameter a -> CodeGenFunction r (Parameter a)

addPhi :: BasicBlock -> Parameter a -> Parameter a -> CodeGenFunction r ()

Undefined a => Undefined (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

undef :: Parameter a

Zero a => Zero (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

zero :: Parameter a

Value a => Value (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type ValueOf (Parameter a) :: Type

Methods

valueOf :: Parameter a -> ValueOf (Parameter a)

C a => C (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

pack :: Parameter a -> Struct (Parameter a)

unpack :: Struct (Parameter a) -> Parameter a

C v => C (Parameter v)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

insert :: Value Word32 -> Element (Parameter v) -> Parameter v -> CodeGenFunction r (Parameter v)

Simple v => Simple (Parameter v)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type Element (Parameter v) :: Type

type Size (Parameter v) :: Type

Methods

shuffleMatch :: ConstValue (Vector (Size (Parameter v)) Word32) -> Parameter v -> CodeGenFunction r (Parameter v)

extract :: Value Word32 -> Parameter v -> CodeGenFunction r (Element (Parameter v))

Flatten a => Flatten (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type Registers (Parameter a) :: Type

Methods

flattenCode :: Parameter a -> Compute r (Registers (Parameter a))

unfoldCode :: T (Registers (Parameter a)) -> Parameter a

C a => C (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

load :: Value (Ptr (Parameter a)) -> CodeGenFunction r (ValueOf (Parameter a))

store :: ValueOf (Parameter a) -> Value (Ptr (Parameter a)) -> CodeGenFunction r ()

Aggregate exp mv => Aggregate (Parameter exp) (Parameter mv)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type MultiValuesOf (Parameter exp) :: Type

type ExpressionsOf (Parameter mv) :: Type

Methods

bundle :: Parameter exp -> CodeGenFunction r (Parameter mv)

dissect :: Parameter mv -> Parameter exp

type Struct (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

type Struct (Parameter a) = Struct a

type Repr (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

type Repr (Parameter a) = Parameter (Repr a)

type ValueOf (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

type ValueOf (Parameter a) = Parameter (ValueOf a)

type Element (Parameter v)

Defined in Synthesizer.LLVM.Causal.Exponential2

type Element (Parameter v) = Parameter (Element v)

type Size (Parameter v)

Defined in Synthesizer.LLVM.Causal.Exponential2

type Size (Parameter v) = Size v

type ExpressionsOf (Parameter mv)

Defined in Synthesizer.LLVM.Causal.Exponential2

type ExpressionsOf (Parameter mv) = Parameter (ExpressionsOf mv)

type MultiValuesOf (Parameter exp)

Defined in Synthesizer.LLVM.Causal.Exponential2

type MultiValuesOf (Parameter exp) = Parameter (MultiValuesOf exp)

type Registers (Parameter a)

Defined in Synthesizer.LLVM.Causal.Exponential2

type Registers (Parameter a) = Parameter (Registers a)

parameter :: (C a, TranscendentalConstant a, IsFloating a) => Value a -> CodeGenFunction r (Parameter (Value a))

parameterPlain :: C a => a -> Parameter a

multiValueParameter :: Parameter (T a) -> T (Parameter a)

unMultiValueParameter :: T (Parameter a) -> Parameter (T a)

causal :: (C a, T a ~ am, PseudoRing a) => Exp a -> T (Parameter am) am

data ParameterPacked a

Instances

Functor ParameterPacked

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

fmap :: (a -> b) -> ParameterPacked a -> ParameterPacked b

(<$) :: a -> ParameterPacked b -> ParameterPacked a

Applicative ParameterPacked

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

pure :: a -> ParameterPacked a

(<*>) :: ParameterPacked (a -> b) -> ParameterPacked a -> ParameterPacked b

liftA2 :: (a -> b -> c) -> ParameterPacked a -> ParameterPacked b -> ParameterPacked c

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

(<*) :: ParameterPacked a -> ParameterPacked b -> ParameterPacked a

Foldable ParameterPacked

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

fold :: Monoid m => ParameterPacked m -> m

foldMap :: Monoid m => (a -> m) -> ParameterPacked a -> m

foldr :: (a -> b -> b) -> b -> ParameterPacked a -> b

foldr' :: (a -> b -> b) -> b -> ParameterPacked a -> b

foldl :: (b -> a -> b) -> b -> ParameterPacked a -> b

foldl' :: (b -> a -> b) -> b -> ParameterPacked a -> b

foldr1 :: (a -> a -> a) -> ParameterPacked a -> a

foldl1 :: (a -> a -> a) -> ParameterPacked a -> a

toList :: ParameterPacked a -> [a]

null :: ParameterPacked a -> Bool

length :: ParameterPacked a -> Int

elem :: Eq a => a -> ParameterPacked a -> Bool

maximum :: Ord a => ParameterPacked a -> a

minimum :: Ord a => ParameterPacked a -> a

sum :: Num a => ParameterPacked a -> a

product :: Num a => ParameterPacked a -> a

Traversable ParameterPacked

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

traverse :: Applicative f => (a -> f b) -> ParameterPacked a -> f (ParameterPacked b)

sequenceA :: Applicative f => ParameterPacked (f a) -> f (ParameterPacked a)

mapM :: Monad m => (a -> m b) -> ParameterPacked a -> m (ParameterPacked b)

sequence :: Monad m => ParameterPacked (m a) -> m (ParameterPacked a)

Storable a => Storable (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

sizeOf :: ParameterPacked a -> Int

alignment :: ParameterPacked a -> Int

peekElemOff :: Ptr (ParameterPacked a) -> Int -> IO (ParameterPacked a)

pokeElemOff :: Ptr (ParameterPacked a) -> Int -> ParameterPacked a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (ParameterPacked a)

pokeByteOff :: Ptr b -> Int -> ParameterPacked a -> IO ()

peek :: Ptr (ParameterPacked a) -> IO (ParameterPacked a)

poke :: Ptr (ParameterPacked a) -> ParameterPacked a -> IO ()

C a => C (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

pack :: ParameterPacked a -> Struct (ParameterPacked a)

unpack :: Struct (ParameterPacked a) -> ParameterPacked a

C a => C (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type Struct (ParameterPacked a) :: Type

Methods

load :: Value (Ptr (Struct (ParameterPacked a))) -> CodeGenFunction r (ParameterPacked a)

store :: ParameterPacked a -> Value (Ptr (Struct (ParameterPacked a))) -> CodeGenFunction r ()

decompose :: Value (Struct (ParameterPacked a)) -> CodeGenFunction r (ParameterPacked a)

compose :: ParameterPacked a -> CodeGenFunction r (Value (Struct (ParameterPacked a)))

C a => C (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type Repr (ParameterPacked a) :: Type

Methods

cons :: ParameterPacked a -> T (ParameterPacked a)

undef :: T (ParameterPacked a)

zero :: T (ParameterPacked a)

phi :: BasicBlock -> T (ParameterPacked a) -> CodeGenFunction r (T (ParameterPacked a))

addPhi :: BasicBlock -> T (ParameterPacked a) -> T (ParameterPacked a) -> CodeGenFunction r ()

Phi a => Phi (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

phi :: BasicBlock -> ParameterPacked a -> CodeGenFunction r (ParameterPacked a)

addPhi :: BasicBlock -> ParameterPacked a -> ParameterPacked a -> CodeGenFunction r ()

Undefined a => Undefined (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

undef :: ParameterPacked a

Zero a => Zero (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

zero :: ParameterPacked a

Value a => Value (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type ValueOf (ParameterPacked a) :: Type

Methods

valueOf :: ParameterPacked a -> ValueOf (ParameterPacked a)

C a => C (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

pack :: ParameterPacked a -> Struct (ParameterPacked a)

unpack :: Struct (ParameterPacked a) -> ParameterPacked a

Flatten a => Flatten (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type Registers (ParameterPacked a) :: Type

Methods

flattenCode :: ParameterPacked a -> Compute r (Registers (ParameterPacked a))

unfoldCode :: T (Registers (ParameterPacked a)) -> ParameterPacked a

C a => C (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

load :: Value (Ptr (ParameterPacked a)) -> CodeGenFunction r (ValueOf (ParameterPacked a))

store :: ValueOf (ParameterPacked a) -> Value (Ptr (ParameterPacked a)) -> CodeGenFunction r ()

MakeArguments (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

Methods

makeArgs :: Functor f => f (ParameterPacked a) -> Arguments f (ParameterPacked a)

Aggregate exp mv => Aggregate (ParameterPacked exp) (ParameterPacked mv)

Defined in Synthesizer.LLVM.Causal.Exponential2

Associated Types

type MultiValuesOf (ParameterPacked exp) :: Type

type ExpressionsOf (ParameterPacked mv) :: Type

Methods

bundle :: ParameterPacked exp -> CodeGenFunction r (ParameterPacked mv)

dissect :: ParameterPacked mv -> ParameterPacked exp

type Arguments f (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

type Arguments f (ParameterPacked a) = f (ParameterPacked a)

type Struct (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

type Struct (ParameterPacked a)

type Repr (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

type Repr (ParameterPacked a) = ParameterPacked (Repr a)

type ValueOf (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

type ValueOf (ParameterPacked a) = ParameterPacked (ValueOf a)

type ExpressionsOf (ParameterPacked mv)

Defined in Synthesizer.LLVM.Causal.Exponential2

type ExpressionsOf (ParameterPacked mv) = ParameterPacked (ExpressionsOf mv)

type MultiValuesOf (ParameterPacked exp)

Defined in Synthesizer.LLVM.Causal.Exponential2

type MultiValuesOf (ParameterPacked exp) = ParameterPacked (MultiValuesOf exp)

type Registers (ParameterPacked a)

Defined in Synthesizer.LLVM.Causal.Exponential2

type Registers (ParameterPacked a) = ParameterPacked (Registers a)

parameterPacked :: (Write v, Element v ~ a, PseudoRing v, RationalConstant v, Transcendental a, RationalConstant a) => a -> CodeGenFunction r (ParameterPacked v)

parameterPackedExp :: Positive n => (Transcendental a, RationalConstant a) => C a => Exp a -> ParameterPacked (Exp (T n a))

parameterPackedPlain :: (Positive n, C a) => a -> ParameterPacked (T n a)

multiValueParameterPacked :: ParameterPacked (T a) -> T (ParameterPacked a)

unMultiValueParameterPacked :: T (ParameterPacked a) -> ParameterPacked (T a)

causalPacked :: (PseudoRing a, IntegerConstant a, Positive n, Vector n a, C a) => Exp a -> T (ParameterPacked (Value n a)) (Value n a)