Safe Haskell | None |
---|---|
Language | Haskell98 |
Synopsis
- data T pp inp out
- ($&) :: T a b -> T pp inp a -> T pp inp b
- (&|&) :: T pp inp a -> T pp inp b -> T pp inp (a, b)
- 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)
- 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
- type family Arguments (f :: * -> *) arg
- makeArgs :: (MakeArguments arg, Functor f) => f arg -> Arguments f arg
Documentation
This data type detects sharing.
Instances
Functor (T pp inp) Source # | |
Applicative (T pp inp) Source # | |
(Field b, Real b, RationalConstant b) => Fractional (T pp a b) Source # | |
(PseudoRing b, Real b, IntegerConstant b) => Num (T pp a b) Source # | |
Defined in Synthesizer.LLVM.Causal.FunctionalPlug | |
(Transcendental b, RationalConstant b) => C (T pp a b) Source # | |
Defined in Synthesizer.LLVM.Causal.FunctionalPlug 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 # 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 # | |
(Transcendental b, RationalConstant b) => C (T pp a b) Source # | |
(Field b, RationalConstant b) => C (T pp a b) Source # | |
(PseudoRing b, IntegerConstant b) => C (T pp a b) Source # | |
Additive b => C (T pp a b) Source # | |
fromSignal :: T a -> T pp inp a Source #
askParameter :: Input pp a pp Source #
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) Source #
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) Source #
class MakeArguments arg Source #
Instances
MakeArguments (Vector a) Source # | |
MakeArguments (T i a) Source # | |
(MakeArguments a, MakeArguments b) => MakeArguments (T a b) Source # | |
type family Arguments (f :: * -> *) arg Source #
Instances
type Arguments f (Vector a) Source # | |
Defined in Synthesizer.LLVM.Causal.FunctionalPlug | |
type Arguments f (T a b) Source # | |
Defined in Synthesizer.LLVM.Causal.FunctionalPlug | |
type Arguments f (T i a) Source # | |
Defined in Synthesizer.LLVM.Causal.FunctionalPlug |