| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Moffy.Internal.React
Contents
Synopsis
- class Adjustable es es'
- class Updatable a b
- type Firstable es es' a b = (Updatable a b, Adjustable es (es :+: es'), Adjustable es' (es :+: es'), ((es :+: es') :+: (es :+: es')) ~ (es :+: es'), Mergeable (es :+: es') (es :+: es') (es :+: es'))
- adjust :: Adjustable es es' => React s es a -> React s es' a
- first_ :: Firstable es es' a b => React s (es :+: es') (ThreadId, ThreadId) -> React s es a -> React s es' b -> React s (es :+: es') (Or a b)
- par :: (Updatable a b, Mergeable es es es, (es :+: es) ~ es) => React s es (ThreadId, ThreadId) -> React s es a -> React s es b -> React s es (React s es a, React s es b)
Class
class Adjustable es es' Source #
Minimal complete definition
Instances
| Adjustable es es Source # | |
| (Expandable es es', CollapsableOccurred es' es) => Adjustable es es' Source # | |
Constraint Synonym
type Firstable es es' a b = (Updatable a b, Adjustable es (es :+: es'), Adjustable es' (es :+: es'), ((es :+: es') :+: (es :+: es')) ~ (es :+: es'), Mergeable (es :+: es') (es :+: es') (es :+: es')) Source #