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, Monoid g, Commutative g) => Commutative (Qsimple g)

Defined in Tutorial

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

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 => 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

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

Defined in Tutorial

Methods

negateG :: Qsimple g -> Qsimple g

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

Query (Qsimple g)

Defined in Tutorial

Associated Types

type QueryResult (Qsimple g)

Defined in Tutorial

type QueryResult (Qsimple g) = Rsimple

Methods

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

type QueryResult (Qsimple g)

Defined in Tutorial

type QueryResult (Qsimple g) = Rsimple

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

(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

(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

(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

(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

(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

data Rsimple

Constructors

Rsimple

Fields

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

  posts

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

  the max post id;

Instances

Monoid Rsimple

Defined in Tutorial

Methods

mempty :: Rsimple

mappend :: Rsimple -> Rsimple -> Rsimple

mconcat :: [Rsimple] -> Rsimple

Semigroup Rsimple

Defined in Tutorial

Methods

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

sconcat :: NonEmpty Rsimple -> Rsimple

stimes :: Integral b => b -> 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

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

class (forall g. (Eq g, Group g) => Group (f g)) => GrpFunctor (f :: Type -> Type) 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)

Defined in Tutorial

Methods

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

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

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

type Widget t (m :: Type -> Type) = (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 ()

data Qhkd (f :: Type -> Type)

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

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

type Qtag_response = DMap Qtag Identity

data Qvessel (v :: (Type -> Type) -> Type) 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

omitField :: Qvessel v -> Bool

FromJSON (Some Qvessel)

Defined in Tutorial

Methods

parseJSON :: Value -> Parser (Some Qvessel)

parseJSONList :: Value -> Parser [Some Qvessel]

omittedField :: Maybe (Some Qvessel)

GCompare Qvessel

Defined in Tutorial

Methods

gcompare :: forall (a :: (Type -> Type) -> Type) (b :: (Type -> Type) -> Type). Qvessel a -> Qvessel b -> GOrdering a b

GEq Qvessel

Defined in Tutorial

Methods

geq :: forall (a :: (Type -> Type) -> Type) (b :: (Type -> Type) -> Type). Qvessel a -> Qvessel b -> Maybe (a :~: b)

GShow Qvessel

Defined in Tutorial

Methods

gshowsPrec :: forall (a :: (Type -> Type) -> Type). Int -> Qvessel a -> ShowS

(c (MapV PostId (First (Maybe Post))), c (IdentityV (Max (Maybe PostId)))) => Has (c :: ((Type -> Type) -> Type) -> Constraint) Qvessel

Defined in Tutorial

Methods

has :: forall (a :: (Type -> Type) -> Type) r. Qvessel a -> (c a => r) -> r

argDict :: forall (a :: (Type -> Type) -> Type). Qvessel a -> Dict (c a)

viewPost :: (MonadQuery t (Vessel Qvessel (Const SelectedCount :: Type -> Type)) m, Reflex t, Monad m) => Dynamic t PostId -> m (Dynamic t (Maybe (Maybe Post)))

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

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

dischargeMonadQuery :: (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' :: Type -> Type). (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 ()