Safe Haskell | None |
---|
- data T pp pl inp out
- ($&) :: T pl a b -> T pp pl inp a -> T pp pl inp b
- (&|&) :: T pp pl inp a -> T pp pl inp b -> T pp pl inp (a, b)
- 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)
- 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
- type family Arguments f arg
Documentation
This data type detects sharing.
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) |
fromSignal :: T pl a -> T pp pl inp aSource
askParameter :: Input pp a ppSource
withArgs :: (MakeArguments a, Default b) => (Arguments (Input pp a) a -> T pp pl a (Element b)) -> IO (pp -> pl -> T a b)Source
Cf. withArgs
.
withArgsPlugOut :: MakeArguments a => (Arguments (Input pp a) a -> T pp pl a x) -> T x b -> IO (pp -> pl -> T a b)Source
class MakeArguments arg whereSource
MakeArguments (Vector a) | |
MakeArguments (T i a) | |
(MakeArguments a, MakeArguments b) => MakeArguments (T a b) |