Synthesizer.LLVM.Filter.Moog

Documentation

data Parameter n a

Instances

Functor (Parameter n)

Defined in Synthesizer.LLVM.Filter.Moog

Methods

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

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

Applicative (Parameter n)

Defined in Synthesizer.LLVM.Filter.Moog

Methods

pure :: a -> Parameter n a

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

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

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

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

Foldable (Parameter n)

Defined in Synthesizer.LLVM.Filter.Moog

Methods

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

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

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

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

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

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

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

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

toList :: Parameter n a -> [a]

null :: Parameter n a -> Bool

length :: Parameter n a -> Int

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

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

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

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

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

Traversable (Parameter n)

Defined in Synthesizer.LLVM.Filter.Moog

Methods

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

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

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

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

(C a, Natural n) => C (Parameter n a)

Defined in Synthesizer.LLVM.Filter.Moog

Associated Types

type Struct (Parameter n a) :: Type

Methods

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

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

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

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

(C v, Natural n) => C (Parameter n v)

Defined in Synthesizer.LLVM.Filter.Moog

Methods

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

(Simple v, Natural n) => Simple (Parameter n v)

Defined in Synthesizer.LLVM.Filter.Moog

Associated Types

type Element (Parameter n v) :: Type

type Size (Parameter n v) :: Type

Methods

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

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

(Phi a, Natural n) => Phi (Parameter n a)

Defined in Synthesizer.LLVM.Filter.Moog

Methods

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

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

(Undefined a, Natural n) => Undefined (Parameter n a)

Defined in Synthesizer.LLVM.Filter.Moog

Methods

undef :: Parameter n a

(Zero a, Natural n) => Zero (Parameter n a)

Defined in Synthesizer.LLVM.Filter.Moog

Methods

zero :: Parameter n a

(Natural n, Write v, Element v ~ b, C b, Phi a, Undefined a, Aggregate ae a, Aggregate be b, C ae be) => C (Parameter n a) v v

Defined in Synthesizer.LLVM.Causal.ControlledPacked

Associated Types

type Output (Parameter n a) v :: Type

type Input (Parameter n a) v :: Type

Methods

process :: T (Parameter n a, v) v

(C ae ve, Aggregate ae a, Aggregate ve v, C v, Natural n) => C (Parameter n a) v v

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (Parameter n a) v :: Type

type Output (Parameter n a) v :: Type

Methods

process :: T (Parameter n a, v) v

(n ~ m, Aggregate e mv) => Aggregate (Parameter n e) (Parameter m mv)

Defined in Synthesizer.LLVM.Filter.Moog

Associated Types

type MultiValuesOf (Parameter n e) :: Type

type ExpressionsOf (Parameter m mv) :: Type

Methods

bundle :: Parameter n e -> CodeGenFunction r (Parameter m mv)

dissect :: Parameter m mv -> Parameter n e

type ExpressionsOf (Parameter m mv)

Defined in Synthesizer.LLVM.Filter.Moog

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

type MultiValuesOf (Parameter n e)

Defined in Synthesizer.LLVM.Filter.Moog

type MultiValuesOf (Parameter n e) = Parameter n (MultiValuesOf e)

type Struct (Parameter n a)

Defined in Synthesizer.LLVM.Filter.Moog

type Struct (Parameter n a)

type Size (Parameter n v)

Defined in Synthesizer.LLVM.Filter.Moog

type Size (Parameter n v) = Size v

type Element (Parameter n v)

Defined in Synthesizer.LLVM.Filter.Moog

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

type Output (Parameter n a) v

Defined in Synthesizer.LLVM.Causal.ControlledPacked

type Output (Parameter n a) v = v

type Input (Parameter n a) v

Defined in Synthesizer.LLVM.Causal.ControlledPacked

type Input (Parameter n a) v = v

type Input (Parameter n a) v

Defined in Synthesizer.LLVM.Causal.Controlled

type Input (Parameter n a) v = v

type Output (Parameter n a) v

Defined in Synthesizer.LLVM.Causal.Controlled

type Output (Parameter n a) v = v

parameter :: (Natural n, C a) => Proxy n -> a -> a -> Parameter n a

causal :: (Natural n, C v, C ae ve, Aggregate ae a, Aggregate ve v) => T (Parameter n a, v) v

causalInit :: (Natural n, C v, C ae ve, Aggregate ae a, Aggregate ve v) => ve -> T (Parameter n a, v) v