Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Moffy.Internal.Sig

Contents

Synopsis

adjustSig :: Adjustable es es' => Sig s es a r -> Sig s es' a r
app_ :: ((es :+: es) ~ es, Mergeable es es es, Monoid r) => React s es (ThreadId, ThreadId) -> 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) => React s es (ThreadId, ThreadId) -> ISig s es (a -> b) r -> ISig s es a r -> ISig s es b r
at_ :: Firstable es es' (ISig s (es :+: es') a r) r' => React s (es :+: es') (ThreadId, ThreadId) -> 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' => React s (es :+: es') (ThreadId, ThreadId) -> 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' => React s (es :+: es') (ThreadId, ThreadId) -> 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') => React s (es :+: es') (ThreadId, ThreadId) -> Sig s es a r -> Sig s es' b r' -> Sig s (es :+: es') (a, b) (Either r (Maybe a, r'))
spawn :: Sig s es a r -> Sig s es (ISig s es a r) r'
parList_ :: ((es :+: es) ~ es, Mergeable es es es) => React s es (ThreadId, ThreadId) -> Sig s es (ISig s es a r) r' -> Sig s es [a] ([r], r')

Adjust

adjustSig :: Adjustable es es' => Sig s es a r -> Sig s es' a r Source #

Applicative

app_ :: ((es :+: es) ~ es, Mergeable es es es, Monoid r) => React s es (ThreadId, ThreadId) -> Sig s es (a -> b) r -> Sig s es a r -> Sig s es b r Source #

iapp_ :: ((es :+: es) ~ es, Mergeable es es es, Semigroup r) => React s es (ThreadId, ThreadId) -> ISig s es (a -> b) r -> ISig s es a r -> ISig s es b r Source #

at_ :: Firstable es es' (ISig s (es :+: es') a r) r' => React s (es :+: es') (ThreadId, ThreadId) -> Sig s es a r -> React s es' r' -> React s (es :+: es') (Either r (Maybe a, r')) Source #

break_ :: Firstable es es' (ISig s (es :+: es') a r) r' => React s (es :+: es') (ThreadId, ThreadId) -> Sig s es a r -> React s es' r' -> Sig s (es :+: es') a (Either r (Maybe a, r')) Source #

until_ :: Firstable es es' (ISig s (es :+: es') a r) r' => React s (es :+: es') (ThreadId, ThreadId) -> Sig s es a r -> React s es' r' -> Sig s (es :+: es') a (Either r (a, r')) Source #

indexBy_ :: Firstable es es' (ISig s (es :+: es') a r) (ISig s (es :+: es') b r') => React s (es :+: es') (ThreadId, ThreadId) -> Sig s es a r -> Sig s es' b r' -> Sig s (es :+: es') (a, b) (Either r (Maybe a, r')) Source #

spawn :: Sig s es a r -> Sig s es (ISig s es a r) r' Source #

parList_ :: ((es :+: es) ~ es, Mergeable es es es) => React s es (ThreadId, ThreadId) -> Sig s es (ISig s es a r) r' -> Sig s es [a] ([r], r') Source #

((es :+: es) ~ es, Mergeable es es es, Semigroup r) => Applicative (Flip (ISig s es) r) Source #
Instance details Methods pure :: a -> Flip (ISig s es) r a # (<>) :: Flip (ISig s es) r (a -> b) -> Flip (ISig s es) r a -> Flip (ISig s es) r b # liftA2 :: (a -> b -> c) -> Flip (ISig s es) r a -> Flip (ISig s es) r b -> Flip (ISig s es) r c # (>) :: Flip (ISig s es) r a -> Flip (ISig s es) r b -> Flip (ISig s es) r b # (<*) :: Flip (ISig s es) r a -> Flip (ISig s es) r b -> Flip (ISig s es) r a #
((es :+: es) ~ es, Mergeable es es es, Monoid r) => Applicative (Flip (Sig s es) r) Source #
Instance details Methods pure :: a -> Flip (Sig s es) r a # (<>) :: Flip (Sig s es) r (a -> b) -> Flip (Sig s es) r a -> Flip (Sig s es) r b # liftA2 :: (a -> b -> c) -> Flip (Sig s es) r a -> Flip (Sig s es) r b -> Flip (Sig s es) r c # (>) :: Flip (Sig s es) r a -> Flip (Sig s es) r b -> Flip (Sig s es) r b # (<*) :: Flip (Sig s es) r a -> Flip (Sig s es) r b -> Flip (Sig s es) r a #