Synthesizer.LLVM.Causal.FunctionalPlug

Documentation

data T pp inp out

This data type detects sharing.

Instances

Functor (T pp inp)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

fmap :: (a -> b) -> T pp inp a -> T pp inp b

(<$) :: a -> T pp inp b -> T pp inp a

Applicative (T pp inp)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

pure :: a -> T pp inp a

(<*>) :: T pp inp (a -> b) -> T pp inp a -> T pp inp b

liftA2 :: (a -> b -> c) -> T pp inp a -> T pp inp b -> T pp inp c

(*>) :: T pp inp a -> T pp inp b -> T pp inp b

(<*) :: T pp inp a -> T pp inp b -> T pp inp a

(Field b, Real b, RationalConstant b) => Fractional (T pp a b)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

(/) :: T pp a b -> T pp a b -> T pp a b

recip :: T pp a b -> T pp a b

fromRational :: Rational -> T pp a b

(PseudoRing b, Real b, IntegerConstant b) => Num (T pp a b)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

(+) :: T pp a b -> T pp a b -> T pp a b

(-) :: T pp a b -> T pp a b -> T pp a b

(*) :: T pp a b -> T pp a b -> T pp a b

negate :: T pp a b -> T pp a b

abs :: T pp a b -> T pp a b

signum :: T pp a b -> T pp a b

fromInteger :: Integer -> T pp a b

(Transcendental b, RationalConstant b) => C (T pp a b)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

pi :: T pp a b

exp :: T pp a b -> T pp a b

log :: T pp a b -> T pp a b

logBase :: T pp a b -> T pp a b -> T pp a b

(**) :: T pp a b -> T pp a b -> T pp a b

sin :: T pp a b -> T pp a b

cos :: T pp a b -> T pp a b

tan :: T pp a b -> T pp a b

asin :: T pp a b -> T pp a b

acos :: T pp a b -> T pp a b

atan :: T pp a b -> T pp a b

sinh :: T pp a b -> T pp a b

cosh :: T pp a b -> T pp a b

tanh :: T pp a b -> T pp a b

asinh :: T pp a b -> T pp a b

acosh :: T pp a b -> T pp a b

atanh :: T pp a b -> T pp a b

(Transcendental b, RationalConstant b) => C (T pp a b)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

sqrt :: T pp a b -> T pp a b

root :: Integer -> T pp a b -> T pp a b

(^/) :: T pp a b -> Rational -> T pp a b

(Field b, RationalConstant b) => C (T pp a b)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

(/) :: T pp a b -> T pp a b -> T pp a b

recip :: T pp a b -> T pp a b

fromRational' :: Rational -> T pp a b

(^-) :: T pp a b -> Integer -> T pp a b

(PseudoRing b, IntegerConstant b) => C (T pp a b)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

(*) :: T pp a b -> T pp a b -> T pp a b

one :: T pp a b

fromInteger :: Integer -> T pp a b

(^) :: T pp a b -> Integer -> T pp a b

Additive b => C (T pp a b)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

zero :: T pp a b

(+) :: T pp a b -> T pp a b -> T pp a b

(-) :: T pp a b -> T pp a b -> T pp a b

negate :: T pp a b -> T pp a b

($&) :: T a b -> T pp inp a -> T pp inp b infixr 0

(&|&) :: T pp inp a -> T pp inp b -> T pp inp (a, b) infixr 3

run :: C pl => Default b => (Exp pl -> T pp a (Element b)) -> IO (pp -> pl -> T a b)

runPlugOut :: C pl => (Exp pl -> T pp a x) -> T x b -> IO (pp -> pl -> T a b)

fromSignal :: T a -> T pp inp a

plug :: (Read b, Default b) => Input pp a b -> T pp a (Element b)

askParameter :: Input pp a pp

type Input pp a = Reader (pp, a)

withArgs :: C pl => (MakeArguments a, Default b) => (Arguments (Input pp a) a -> Exp pl -> T pp a (Element b)) -> IO (pp -> pl -> T a b)

Cf. withArgs.

withArgsPlugOut :: C pl => MakeArguments a => (Arguments (Input pp a) a -> Exp pl -> T pp a x) -> T x b -> IO (pp -> pl -> T a b)

class MakeArguments arg

Minimal complete definition

makeArgs

Instances

MakeArguments (Vector a)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

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

MakeArguments (T i a)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

makeArgs :: Functor f => f (T i a) -> Arguments f (T i a)

(MakeArguments a, MakeArguments b) => MakeArguments (T a b)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

Methods

makeArgs :: Functor f => f (T a b) -> Arguments f (T a b)

type family Arguments (f :: * -> *) arg

Instances

type Arguments f (Vector a)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

type Arguments f (Vector a) = f (Vector a)

type Arguments f (T a b)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

type Arguments f (T a b) = (Arguments f a, Arguments f b)

type Arguments f (T i a)

Defined in Synthesizer.LLVM.Causal.FunctionalPlug

type Arguments f (T i a) = f (T i a)

makeArgs :: (MakeArguments arg, Functor f) => f arg -> Arguments f arg