@@ -73,7 +73,7 @@ instance Query Void where
74#if MIN_VERSION_base(4,12,0)
74#if MIN_VERSION_base(4,12,0)
75-- | We can lift queries into monoidal containers.
75-- | We can lift queries into monoidal containers.
76−-- But beware of Applicatives who's monoid is different from (pure mempty, liftA2 mappend)
76+-- But beware of Applicatives whose monoid is different from (pure mempty, liftA2 mappend)
77instance (Query q, Applicative f) => Query (Ap f q) where
77instance (Query q, Applicative f) => Query (Ap f q) where
78 type QueryResult (Ap f q) = Ap f (QueryResult q)
78 type QueryResult (Ap f q) = Ap f (QueryResult q)
79 crop = liftA2 crop
79 crop = liftA2 crop
@@ -148,4 +148,3 @@ queryDyn q = do
148-- | use a query morphism to operate on a smaller version of a query.
148-- | use a query morphism to operate on a smaller version of a query.
149subQuery :: (Reflex t, MonadQuery t q2 m, Monad m) => QueryMorphism q1 q2 -> Dynamic t q1 -> m (Dynamic t (QueryResult q1))
149subQuery :: (Reflex t, MonadQuery t q2 m, Monad m) => QueryMorphism q1 q2 -> Dynamic t q1 -> m (Dynamic t (QueryResult q1))
150subQuery (QueryMorphism f g) x = fmap g <$> queryDyn (fmap f x)
150subQuery (QueryMorphism f g) x = fmap g <$> queryDyn (fmap f x)