Synthesizer.LLVM.CausalParameterized.FunctionalPlug

Documentation

data T pp pl inp out

This data type detects sharing.

Instances

Functor (T pp pl inp)

Applicative (T pp pl inp)

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

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

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

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

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

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

Additive b => C (T pp pl a b)

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

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

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

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

fromSignal :: T pl a -> T pp pl inp a

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

askParameter :: Input pp a pp

type Input pp a = Reader (pp, a)

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

Cf. withArgs.

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

class MakeArguments arg where

Methods

makeArgs :: Functor f => f arg -> Arguments f arg

Instances

MakeArguments (Vector a)

MakeArguments (T i a)

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

type family Arguments f arg

Instances

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

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

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