Synthesizer.LLVM.Filter.ComplexFirstOrder

Documentation

data Parameter a

Constructors

Parameter a (T a)

Instances

Foldable Parameter

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

Methods

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

foldMap :: Monoid m => (a -> m) -> Parameter a -> 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.Filter.ComplexFirstOrder

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)

Applicative Parameter

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

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

Functor Parameter

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

Methods

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

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

Flatten a => Flatten (Parameter a)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

Associated Types

type Registers (Parameter a)

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.Filter.ComplexFirstOrder

Associated Types

type Struct (Parameter a)

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)))

Phi a => Phi (Parameter a)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

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.Filter.ComplexFirstOrder

Methods

undef :: Parameter a

Aggregate e mv => Aggregate (Parameter e) (Parameter mv)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

Associated Types

type MultiValuesOf (Parameter e)

type ExpressionsOf (Parameter mv)

Methods

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

dissect :: Parameter mv -> Parameter e

(PseudoRing a, RationalConstant a, C a) => C (Parameter a) (T a) (T a)

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (Parameter a) (T a)

type Output (Parameter a) (T a)

Methods

process :: T0 (Parameter a, T a) (T a)

type ExpressionsOf (Parameter mv)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

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

type MultiValuesOf (Parameter e)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

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

type Registers (Parameter a)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

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

type Struct (Parameter a)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrder

type Struct (Parameter a)

type Input (Parameter a) (T a)

Defined in Synthesizer.LLVM.Causal.Controlled

type Input (Parameter a) (T a) = T a

type Output (Parameter a) (T a)

Defined in Synthesizer.LLVM.Causal.Controlled

type Output (Parameter a) (T a) = T a

parameter :: C a => a -> a -> Parameter a

causal :: (PseudoRing a, IntegerConstant a, C a) => T (Parameter a, T a) (T a)

parameterCode :: (Transcendental a, RationalConstant a) => a -> a -> CodeGenFunction r (Parameter a)

causalExp :: (C ae, Aggregate ae a, C a) => T (Parameter a, T a) (T a)