Tutorial

Documentation

type PostId = Int

type Post = Text

data Qsimple g

Constructors

Qsimple

Fields

• _q_posts :: GrpMap PostId g

  a map from post ID's to refcounts, represents querying for that post

• _q_latestPostId :: GrpMap () g

  morally a "bool"; for if the maxPost Id is being requested.

Instances

GrpFunctor Qsimple

Defined in Tutorial

Methods

mapG :: (Eq b, Group b) => (a -> b) -> Qsimple a -> Qsimple b

Eq g => Eq (Qsimple g)

Defined in Tutorial

Methods

(==) :: Qsimple g -> Qsimple g -> Bool

(/=) :: Qsimple g -> Qsimple g -> Bool

Ord g => Ord (Qsimple g)

Defined in Tutorial

Methods

compare :: Qsimple g -> Qsimple g -> Ordering

(<) :: Qsimple g -> Qsimple g -> Bool

(<=) :: Qsimple g -> Qsimple g -> Bool

(>) :: Qsimple g -> Qsimple g -> Bool

(>=) :: Qsimple g -> Qsimple g -> Bool

max :: Qsimple g -> Qsimple g -> Qsimple g

min :: Qsimple g -> Qsimple g -> Qsimple g

Read g => Read (Qsimple g)

Defined in Tutorial

Methods

readsPrec :: Int -> ReadS (Qsimple g)

readList :: ReadS [Qsimple g]

readPrec :: ReadPrec (Qsimple g)

readListPrec :: ReadPrec [Qsimple g]

Show g => Show (Qsimple g)

Defined in Tutorial

Methods

showsPrec :: Int -> Qsimple g -> ShowS

show :: Qsimple g -> String

showList :: [Qsimple g] -> ShowS

(Eq g, Monoid g) => Semigroup (Qsimple g)

Defined in Tutorial

Methods

(<>) :: Qsimple g -> Qsimple g -> Qsimple g

sconcat :: NonEmpty (Qsimple g) -> Qsimple g

stimes :: Integral b => b -> Qsimple g -> Qsimple g

(Eq g, Monoid g) => Monoid (Qsimple g)

Defined in Tutorial

Methods

mempty :: Qsimple g

mappend :: Qsimple g -> Qsimple g -> Qsimple g

mconcat :: [Qsimple g] -> Qsimple g

(Eq g, Group g) => Group (Qsimple g)

Defined in Tutorial

Methods

negateG :: Qsimple g -> Qsimple g

(~~) :: Qsimple g -> Qsimple g -> Qsimple g

(Eq g, Monoid g, Additive g) => Additive (Qsimple g)

Defined in Tutorial

Query (Qsimple g)

Defined in Tutorial

Associated Types

type QueryResult (Qsimple g) :: Type

Methods

crop :: Qsimple g -> QueryResult (Qsimple g) -> QueryResult (Qsimple g)

type QueryResult (Qsimple g)

Defined in Tutorial

type QueryResult (Qsimple g) = Rsimple

data Rsimple

Constructors

Rsimple

Fields

• _r_posts :: MonoidalMap PostId (First (Maybe Post))

  posts

• _r_latestPostId :: MonoidalMap () (Max (Maybe PostId))

  the max post id;

Instances

Eq Rsimple

Defined in Tutorial

Methods

(==) :: Rsimple -> Rsimple -> Bool

(/=) :: Rsimple -> Rsimple -> Bool

Ord Rsimple

Defined in Tutorial

Methods

compare :: Rsimple -> Rsimple -> Ordering

(<) :: Rsimple -> Rsimple -> Bool

(<=) :: Rsimple -> Rsimple -> Bool

(>) :: Rsimple -> Rsimple -> Bool

(>=) :: Rsimple -> Rsimple -> Bool

max :: Rsimple -> Rsimple -> Rsimple

min :: Rsimple -> Rsimple -> Rsimple

Read Rsimple

Defined in Tutorial

Methods

readsPrec :: Int -> ReadS Rsimple

readList :: ReadS [Rsimple]

readPrec :: ReadPrec Rsimple

readListPrec :: ReadPrec [Rsimple]

Show Rsimple

Defined in Tutorial

Methods

showsPrec :: Int -> Rsimple -> ShowS

show :: Rsimple -> String

showList :: [Rsimple] -> ShowS

Semigroup Rsimple

Defined in Tutorial

Methods

(<>) :: Rsimple -> Rsimple -> Rsimple

sconcat :: NonEmpty Rsimple -> Rsimple

stimes :: Integral b => b -> Rsimple -> Rsimple

Monoid Rsimple

Defined in Tutorial

Methods

mempty :: Rsimple

mappend :: Rsimple -> Rsimple -> Rsimple

mconcat :: [Rsimple] -> Rsimple

watchPost :: (MonadQuery t (Qsimple SelectedCount) m, QueryResult (Qsimple SelectedCount) ~ Rsimple, Reflex t, Monad m) => Dynamic t PostId -> m (Dynamic t (Maybe (Maybe Post)))

watchLatestPostId :: (MonadQuery t (Qsimple SelectedCount) m, QueryResult (Qsimple SelectedCount) ~ Rsimple, Reflex t, Monad m) => m (Dynamic t (Maybe (Maybe PostId)))

displayLatestPost :: (MonadHold t m, MonadFix m, MonadQuery t (Qsimple SelectedCount) m, QueryResult (Qsimple SelectedCount) ~ Rsimple, Reflex t, PostBuild t m, Widget t m) => m ()

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 ()

data Qhkd (f :: * -> *)

Constructors

Qhkd

Fields

• _qhkd_posts :: MonoidalMap PostId (f (First (Maybe Post)))

  posts

• _qhkd_latestPostId :: MonoidalMap () (f (Max (Maybe PostId)))

  the max post id;

type Qhkd_query g = Qhkd (Const g)

type Qhkd_response = Qhkd Identity

data Qtag (a :: *) where

Constructors

Qtag_Posts :: PostId -> Qtag (First (Maybe Post))

Qtag_LatestPostId :: Qtag (Max (Maybe PostId))

type Qtag_query g = DMap Qtag (Const g)

type Qtag_response = DMap Qtag Identity

data Qvessel (v :: (* -> *) -> *) where

Constructors

Posts :: Qvessel (MapV PostId (First (Maybe Post)))

LatestPostId :: Qvessel (IdentityV (Max (Maybe PostId)))

Instances

ToJSON (Qvessel v)

Defined in Tutorial

Methods

toJSON :: Qvessel v -> Value

toEncoding :: Qvessel v -> Encoding

toJSONList :: [Qvessel v] -> Value

toEncodingList :: [Qvessel v] -> Encoding

FromJSON (Some Qvessel)

Defined in Tutorial

Methods

parseJSON :: Value -> Parser (Some Qvessel)

parseJSONList :: Value -> Parser [Some Qvessel]

GCompare Qvessel

Defined in Tutorial

Methods

gcompare :: Qvessel a -> Qvessel b -> GOrdering a b

GEq Qvessel

Defined in Tutorial

Methods

geq :: Qvessel a -> Qvessel b -> Maybe (a :~: b)

GShow Qvessel

Defined in Tutorial

Methods

gshowsPrec :: Int -> Qvessel a -> ShowS

ArgDict (c :: ((Type -> Type) -> Type) -> Constraint) Qvessel

Defined in Tutorial

Associated Types

type ConstraintsFor Qvessel c :: Constraint

Methods

argDict :: ConstraintsFor Qvessel c => Qvessel a -> Dict (c a)

type ConstraintsFor Qvessel (c :: ((Type -> Type) -> Type) -> Constraint)

Defined in Tutorial

type ConstraintsFor Qvessel (c :: ((Type -> Type) -> Type) -> Constraint) = (c (MapV PostId (First (Maybe Post))), c (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)))

viewLatestPostId :: (MonadQuery t (Vessel Qvessel (Const SelectedCount)) m, Reflex t, Monad m) => m (Dynamic t (Maybe (Maybe PostId)))

type Widget t m = (NotReady t m, Adjustable t m, PostBuild t m)

dyn_ :: (NotReady t m, Adjustable t m, PostBuild t m) => Dynamic t (m a) -> m ()

text :: Monad m => Text -> m ()

dynText :: Monad m => Dynamic t Text -> m ()

positive :: forall x. (Monoid x, Ord x) => x -> SelectedCount

dischargeMonadQuery :: forall v t m a. (Additive (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

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 ()

newtype GrpMap k v

Constructors

GrpMap

Fields

• unGrpMap :: Map k v

Instances

Ord k => GrpFunctor (GrpMap k)

Defined in Tutorial

Methods

mapG :: (Eq b, Group b) => (a -> b) -> GrpMap k a -> GrpMap k b

(Eq k, Eq v) => Eq (GrpMap k v)

Defined in Tutorial

Methods

(==) :: GrpMap k v -> GrpMap k v -> Bool

(/=) :: GrpMap k v -> GrpMap k v -> Bool

(Ord k, Ord v) => Ord (GrpMap k v)

Defined in Tutorial

Methods

compare :: GrpMap k v -> GrpMap k v -> Ordering

(<) :: GrpMap k v -> GrpMap k v -> Bool

(<=) :: GrpMap k v -> GrpMap k v -> Bool

(>) :: GrpMap k v -> GrpMap k v -> Bool

(>=) :: GrpMap k v -> GrpMap k v -> Bool

max :: GrpMap k v -> GrpMap k v -> GrpMap k v

min :: GrpMap k v -> GrpMap k v -> GrpMap k v

(Ord k, Read k, Read v) => Read (GrpMap k v)

Defined in Tutorial

Methods

readsPrec :: Int -> ReadS (GrpMap k v)

readList :: ReadS [GrpMap k v]

readPrec :: ReadPrec (GrpMap k v)

readListPrec :: ReadPrec [GrpMap k v]

(Show k, Show v) => Show (GrpMap k v)

Defined in Tutorial

Methods

showsPrec :: Int -> GrpMap k v -> ShowS

show :: GrpMap k v -> String

showList :: [GrpMap k v] -> ShowS

(Monoid g, Eq g, Ord k) => Semigroup (GrpMap k g)

Defined in Tutorial

Methods

(<>) :: GrpMap k g -> GrpMap k g -> GrpMap k g

sconcat :: NonEmpty (GrpMap k g) -> GrpMap k g

stimes :: Integral b => b -> GrpMap k g -> GrpMap k g

(Monoid g, Eq g, Ord k) => Monoid (GrpMap k g)

Defined in Tutorial

Methods

mempty :: GrpMap k g

mappend :: GrpMap k g -> GrpMap k g -> GrpMap k g

mconcat :: [GrpMap k g] -> GrpMap k g

(Group g, Eq g, Ord k) => Group (GrpMap k g)

Defined in Tutorial

Methods

negateG :: GrpMap k g -> GrpMap k g

(~~) :: GrpMap k g -> GrpMap k g -> GrpMap k g

liftNonZero :: (Monoid a, Eq a) => (a -> a -> a) -> a -> a -> Maybe a

class (forall g. (Eq g, Group g) => Group (f g)) => GrpFunctor f where

Methods

mapG :: (Eq b, Group b) => (a -> b) -> f a -> f b

Instances

GrpFunctor Identity

Defined in Tutorial

Methods

mapG :: (Eq b, Group b) => (a -> b) -> Identity a -> Identity b

GrpFunctor Qsimple

Defined in Tutorial

Methods

mapG :: (Eq b, Group b) => (a -> b) -> Qsimple a -> Qsimple b

GrpFunctor (Proxy :: Type -> Type)

Defined in Tutorial

Methods

mapG :: (Eq b, Group b) => (a -> b) -> Proxy a -> Proxy b

Ord k => GrpFunctor (GrpMap k)

Defined in Tutorial

Methods

mapG :: (Eq b, Group b) => (a -> b) -> GrpMap k a -> GrpMap k b

GrpFunctor ((->) r :: Type -> Type)

Defined in Tutorial

Methods

mapG :: (Eq b, Group b) => (a -> b) -> (r -> a) -> r -> b