Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Qsimple | |
|
Instances
GrpFunctor Qsimple Source # | |
Eq g => Eq (Qsimple g) Source # | |
Ord g => Ord (Qsimple g) Source # | |
Defined in Tutorial | |
Read g => Read (Qsimple g) Source # | |
Show g => Show (Qsimple g) Source # | |
(Eq g, Monoid g) => Semigroup (Qsimple g) Source # | |
(Eq g, Monoid g) => Monoid (Qsimple g) Source # | |
(Eq g, Monoid g, Commutative g) => Commutative (Qsimple g) Source # | |
Defined in Tutorial | |
(Eq g, Group g) => Group (Qsimple g) Source # | |
Query (Qsimple g) Source # | |
Defined in Tutorial type QueryResult (Qsimple g) # crop :: Qsimple g -> QueryResult (Qsimple g) -> QueryResult (Qsimple g) # | |
type QueryResult (Qsimple g) Source # | |
Defined in Tutorial |
Rsimple | |
|
watchPost :: (MonadQuery t (Qsimple SelectedCount) m, QueryResult (Qsimple SelectedCount) ~ Rsimple, Reflex t, Monad m) => Dynamic t PostId -> m (Dynamic t (Maybe (Maybe Post))) Source #
watchLatestPostId :: (MonadQuery t (Qsimple SelectedCount) m, QueryResult (Qsimple SelectedCount) ~ Rsimple, Reflex t, Monad m) => m (Dynamic t (Maybe (Maybe PostId))) Source #
displayLatestPost :: (MonadHold t m, MonadFix m, MonadQuery t (Qsimple SelectedCount) m, QueryResult (Qsimple SelectedCount) ~ Rsimple, Reflex t, PostBuild t m, Widget t m) => m () Source #
displayPost :: (MonadQuery t (Qsimple SelectedCount) m, QueryResult (Qsimple SelectedCount) ~ Rsimple, PostBuild t m, MonadHold t m, MonadFix m, Widget t m) => Dynamic t PostId -> m () Source #
data Qhkd (f :: * -> *) Source #
Qhkd | |
|
type Qhkd_query g = Qhkd (Const g) Source #
type Qhkd_response = Qhkd Identity Source #
data Qvessel (v :: (* -> *) -> *) where Source #
Posts :: Qvessel (MapV PostId (First (Maybe Post))) | |
LatestPostId :: Qvessel (IdentityV (Max (Maybe PostId))) |
viewPost :: (MonadQuery t (Vessel Qvessel (Const SelectedCount)) m, Reflex t, Monad m) => Dynamic t PostId -> m (Dynamic t (Maybe (Maybe Post))) Source #
viewLatestPostId :: (MonadQuery t (Vessel Qvessel (Const SelectedCount)) m, Reflex t, Monad m) => m (Dynamic t (Maybe (Maybe PostId))) Source #
dischargeMonadQuery :: forall v t m a. (Commutative (v SelectedCount), Group (v SelectedCount), PerformEvent t m, GrpFunctor v, Eq (v SelectedCount), Monoid (QueryResult (v SelectedCount)), PostBuild t m, MonadHold t m, MonadFix m, Widget t m, Query (v SelectedCount)) => (v SelectedCount -> Performable m (QueryResult (v SelectedCount))) -> (forall m'. (PostBuild t m', MonadHold t m', Widget t m', MonadFix m', MonadQuery t (v SelectedCount) m') => m' a) -> m a Source #
readShowLatestPost :: (MonadIO (Performable m), PerformEvent t m, PostBuild t m, MonadHold t m, MonadFix m, Query (Qsimple SelectedCount), QueryResult (Qsimple SelectedCount) ~ Rsimple, Widget t m) => m () Source #
Instances
Ord k => GrpFunctor (GrpMap k) Source # | |
(Eq k, Eq v) => Eq (GrpMap k v) Source # | |
(Ord k, Ord v) => Ord (GrpMap k v) Source # | |
(Ord k, Read k, Read v) => Read (GrpMap k v) Source # | |
(Show k, Show v) => Show (GrpMap k v) Source # | |
(Monoid g, Eq g, Ord k) => Semigroup (GrpMap k g) Source # | |
(Monoid g, Eq g, Ord k) => Monoid (GrpMap k g) Source # | |
(Group g, Eq g, Ord k) => Group (GrpMap k g) Source # | |
class (forall g. (Eq g, Group g) => Group (f g)) => GrpFunctor f where Source #
Instances
GrpFunctor Identity Source # | |
GrpFunctor Qsimple Source # | |
GrpFunctor (Proxy :: Type -> Type) Source # | |
Ord k => GrpFunctor (GrpMap k) Source # | |
GrpFunctor ((->) r :: Type -> Type) Source # | |