| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Moffy.NoThreadId
Contents
Synopsis
- app :: ((es :+: es) ~ es, Mergeable es es es, Monoid r) => Sig s es (a -> b) r -> Sig s es a r -> Sig s es b r
- iapp :: ((es :+: es) ~ es, Mergeable es es es, Semigroup r) => ISig s es (a -> b) r -> ISig s es a r -> ISig s es b r
- first :: Firstable es es' a b => React s es a -> React s es' b -> React s (es :+: es') (Or a b)
- at :: Firstable es es' (ISig s (es :+: es') a r) r' => Sig s es a r -> React s es' r' -> React s (es :+: es') (Either r (Maybe a, r'))
- break :: Firstable es es' (ISig s (es :+: es') a r) r' => Sig s es a r -> React s es' r' -> Sig s (es :+: es') a (Either r (Maybe a, r'))
- until :: Firstable es es' (ISig s (es :+: es') a r) r' => Sig s es a r -> React s es' r' -> Sig s (es :+: es') a (Either r (a, r'))
- indexBy :: Firstable es es' (ISig s (es :+: es') a r) (ISig s (es :+: es') b r') => Sig s es a r -> Sig s es' b r' -> Sig s (es :+: es') (a, b) (Either r (Maybe a, r'))
- parList :: ((es :+: es) ~ es, Mergeable es es es) => Sig s es (ISig s es a r) r' -> Sig s es [a] ([r], r')
Applicative
app :: ((es :+: es) ~ es, Mergeable es es es, Monoid r) => Sig s es (a -> b) r -> Sig s es a r -> Sig s es b r infixl 4 Source #
iapp :: ((es :+: es) ~ es, Mergeable es es es, Semigroup r) => ISig s es (a -> b) r -> ISig s es a r -> ISig s es b r infixl 4 Source #
Parallel
first :: Firstable es es' a b => React s es a -> React s es' b -> React s (es :+: es') (Or a b) infixr 8 Source #
at :: Firstable es es' (ISig s (es :+: es') a r) r' => Sig s es a r -> React s es' r' -> React s (es :+: es') (Either r (Maybe a, r')) infixr 7 Source #
break :: Firstable es es' (ISig s (es :+: es') a r) r' => Sig s es a r -> React s es' r' -> Sig s (es :+: es') a (Either r (Maybe a, r')) infixl 7 Source #
until :: Firstable es es' (ISig s (es :+: es') a r) r' => Sig s es a r -> React s es' r' -> Sig s (es :+: es') a (Either r (a, r')) infixl 7 Source #
indexBy :: Firstable es es' (ISig s (es :+: es') a r) (ISig s (es :+: es') b r') => Sig s es a r -> Sig s es' b r' -> Sig s (es :+: es') (a, b) (Either r (Maybe a, r')) infixl 7 Source #