Safe Haskell	None
Language	Haskell98

Reflex.Query.Class

Description

Synopsis

class (Monoid (QueryResult a), Semigroup (QueryResult a)) => Query a where
- type QueryResult a :: *
- crop :: a -> QueryResult a -> QueryResult a
data QueryMorphism q q' = QueryMorphism {
- _queryMorphism_mapQuery :: q -> q'
- _queryMorphism_mapQueryResult :: QueryResult q' -> QueryResult q
}
newtype SelectedCount = SelectedCount {
- unSelectedCount :: Int
}
combineSelectedCounts :: SelectedCount -> SelectedCount -> Maybe SelectedCount
class (Group q, Additive q, Query q) => MonadQuery t q m | m -> q t where
- tellQueryIncremental :: Incremental t (AdditivePatch q) -> m ()
- askQueryResult :: m (Dynamic t (QueryResult q))
- queryIncremental :: Incremental t (AdditivePatch q) -> m (Dynamic t (QueryResult q))
tellQueryDyn :: (Reflex t, MonadQuery t q m) => Dynamic t q -> m ()
queryDyn :: (Reflex t, Monad m, MonadQuery t q m) => Dynamic t q -> m (Dynamic t (QueryResult q))
mapQuery :: QueryMorphism q q' -> q -> q'
mapQueryResult :: QueryMorphism q q' -> QueryResult q' -> QueryResult q

Documentation

class (Monoid (QueryResult a), Semigroup (QueryResult a)) => Query a where Source #

A Query can be thought of as a declaration of interest in some set of data. A QueryResult is the set of data associated with that interest set. The crop function provides a way to determine what part of a given QueryResult is relevant to a given Query.

Associated Types

type QueryResult a :: * Source #

Methods

crop :: a -> QueryResult a -> QueryResult a Source #

Instances

(Ord k, Query v) => Query (MonoidalMap k v) Source #
Instance details Defined in Reflex.Query.Class Associated Types type QueryResult (MonoidalMap k v) :: Type Source # Methods crop :: MonoidalMap k v -> QueryResult (MonoidalMap k v) -> QueryResult (MonoidalMap k v) Source #

data QueryMorphism q q' Source #

QueryMorphism's must be group homomorphisms when acting on the query type and compatible with the query relationship when acting on the query result.

Constructors

QueryMorphism
Fields _queryMorphism_mapQuery :: q -> q' _queryMorphism_mapQueryResult :: QueryResult q' -> QueryResult q

Instances

Category QueryMorphism Source #
Instance details Defined in Reflex.Query.Class Methods id :: QueryMorphism a a # (.) :: QueryMorphism b c -> QueryMorphism a b -> QueryMorphism a c #

newtype SelectedCount Source #

This type can be used to track of the frequency of interest in a given Query. See note on combineSelectedCounts

Constructors

SelectedCount
Fields unSelectedCount :: Int

Instances

Bounded SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods minBound :: SelectedCount # maxBound :: SelectedCount #
Enum SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods succ :: SelectedCount -> SelectedCount # pred :: SelectedCount -> SelectedCount # toEnum :: Int -> SelectedCount # fromEnum :: SelectedCount -> Int # enumFrom :: SelectedCount -> [SelectedCount] # enumFromThen :: SelectedCount -> SelectedCount -> [SelectedCount] # enumFromTo :: SelectedCount -> SelectedCount -> [SelectedCount] # enumFromThenTo :: SelectedCount -> SelectedCount -> SelectedCount -> [SelectedCount] #
Eq SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods (==) :: SelectedCount -> SelectedCount -> Bool # (/=) :: SelectedCount -> SelectedCount -> Bool #
Integral SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods quot :: SelectedCount -> SelectedCount -> SelectedCount # rem :: SelectedCount -> SelectedCount -> SelectedCount # div :: SelectedCount -> SelectedCount -> SelectedCount # mod :: SelectedCount -> SelectedCount -> SelectedCount # quotRem :: SelectedCount -> SelectedCount -> (SelectedCount, SelectedCount) # divMod :: SelectedCount -> SelectedCount -> (SelectedCount, SelectedCount) # toInteger :: SelectedCount -> Integer #
Data SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SelectedCount -> c SelectedCount # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SelectedCount # toConstr :: SelectedCount -> Constr # dataTypeOf :: SelectedCount -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SelectedCount) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SelectedCount) # gmapT :: (forall b. Data b => b -> b) -> SelectedCount -> SelectedCount # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SelectedCount -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SelectedCount -> r # gmapQ :: (forall d. Data d => d -> u) -> SelectedCount -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SelectedCount -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SelectedCount -> m SelectedCount # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectedCount -> m SelectedCount # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectedCount -> m SelectedCount #
Num SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods (+) :: SelectedCount -> SelectedCount -> SelectedCount # (-) :: SelectedCount -> SelectedCount -> SelectedCount # (*) :: SelectedCount -> SelectedCount -> SelectedCount # negate :: SelectedCount -> SelectedCount # abs :: SelectedCount -> SelectedCount # signum :: SelectedCount -> SelectedCount # fromInteger :: Integer -> SelectedCount #
Ord SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods compare :: SelectedCount -> SelectedCount -> Ordering # (<) :: SelectedCount -> SelectedCount -> Bool # (<=) :: SelectedCount -> SelectedCount -> Bool # (>) :: SelectedCount -> SelectedCount -> Bool # (>=) :: SelectedCount -> SelectedCount -> Bool # max :: SelectedCount -> SelectedCount -> SelectedCount # min :: SelectedCount -> SelectedCount -> SelectedCount #
Read SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods readsPrec :: Int -> ReadS SelectedCount # readList :: ReadS [SelectedCount] # readPrec :: ReadPrec SelectedCount # readListPrec :: ReadPrec [SelectedCount] #
Real SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods toRational :: SelectedCount -> Rational #
Show SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods showsPrec :: Int -> SelectedCount -> ShowS # show :: SelectedCount -> String # showList :: [SelectedCount] -> ShowS #
Ix SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods range :: (SelectedCount, SelectedCount) -> [SelectedCount] # index :: (SelectedCount, SelectedCount) -> SelectedCount -> Int # unsafeIndex :: (SelectedCount, SelectedCount) -> SelectedCount -> Int inRange :: (SelectedCount, SelectedCount) -> SelectedCount -> Bool # rangeSize :: (SelectedCount, SelectedCount) -> Int # unsafeRangeSize :: (SelectedCount, SelectedCount) -> Int
Semigroup SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods (<>) :: SelectedCount -> SelectedCount -> SelectedCount # sconcat :: NonEmpty SelectedCount -> SelectedCount # stimes :: Integral b => b -> SelectedCount -> SelectedCount #
Monoid SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods mempty :: SelectedCount # mappend :: SelectedCount -> SelectedCount -> SelectedCount # mconcat :: [SelectedCount] -> SelectedCount #
Storable SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods sizeOf :: SelectedCount -> Int # alignment :: SelectedCount -> Int # peekElemOff :: Ptr SelectedCount -> Int -> IO SelectedCount # pokeElemOff :: Ptr SelectedCount -> Int -> SelectedCount -> IO () # peekByteOff :: Ptr b -> Int -> IO SelectedCount # pokeByteOff :: Ptr b -> Int -> SelectedCount -> IO () # peek :: Ptr SelectedCount -> IO SelectedCount # poke :: Ptr SelectedCount -> SelectedCount -> IO () #
Bits SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods (.&.) :: SelectedCount -> SelectedCount -> SelectedCount # (.\|.) :: SelectedCount -> SelectedCount -> SelectedCount # xor :: SelectedCount -> SelectedCount -> SelectedCount # complement :: SelectedCount -> SelectedCount # shift :: SelectedCount -> Int -> SelectedCount # rotate :: SelectedCount -> Int -> SelectedCount # zeroBits :: SelectedCount # bit :: Int -> SelectedCount # setBit :: SelectedCount -> Int -> SelectedCount # clearBit :: SelectedCount -> Int -> SelectedCount # complementBit :: SelectedCount -> Int -> SelectedCount # testBit :: SelectedCount -> Int -> Bool # bitSizeMaybe :: SelectedCount -> Maybe Int # bitSize :: SelectedCount -> Int # isSigned :: SelectedCount -> Bool # shiftL :: SelectedCount -> Int -> SelectedCount # unsafeShiftL :: SelectedCount -> Int -> SelectedCount # shiftR :: SelectedCount -> Int -> SelectedCount # unsafeShiftR :: SelectedCount -> Int -> SelectedCount # rotateL :: SelectedCount -> Int -> SelectedCount # rotateR :: SelectedCount -> Int -> SelectedCount # popCount :: SelectedCount -> Int #
FiniteBits SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods finiteBitSize :: SelectedCount -> Int # countLeadingZeros :: SelectedCount -> Int # countTrailingZeros :: SelectedCount -> Int #
Additive SelectedCount Source #
Instance details Defined in Reflex.Query.Class
Group SelectedCount Source #
Instance details Defined in Reflex.Query.Class Methods negateG :: SelectedCount -> SelectedCount Source # (~~) :: SelectedCount -> SelectedCount -> SelectedCount Source #

combineSelectedCounts :: SelectedCount -> SelectedCount -> Maybe SelectedCount Source #

The SemigroupMonoidGroup instances for a Query containing SelectedCounts should use this function which returns Nothing if the result is 0. This allows the pruning of leaves of the Query that are no longer wanted.

class (Group q, Additive q, Query q) => MonadQuery t q m | m -> q t where Source #

A class that allows sending of Querys and retrieval of QueryResults. See queryDyn for a commonly used interface.

Methods

tellQueryIncremental :: Incremental t (AdditivePatch q) -> m () Source #

askQueryResult :: m (Dynamic t (QueryResult q)) Source #

queryIncremental :: Incremental t (AdditivePatch q) -> m (Dynamic t (QueryResult q)) Source #

Instances

(Monad m, MonadQuery t q m) => MonadQuery t q (ReaderT r m) Source #
Instance details Defined in Reflex.Query.Class Methods tellQueryIncremental :: Incremental t (AdditivePatch q) -> ReaderT r m () Source # askQueryResult :: ReaderT r m (Dynamic t (QueryResult q)) Source # queryIncremental :: Incremental t (AdditivePatch q) -> ReaderT r m (Dynamic t (QueryResult q)) Source #
(MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t w m) Source #
Instance details Defined in Reflex.EventWriter.Base Methods tellQueryIncremental :: Incremental t (AdditivePatch q) -> EventWriterT t w m () Source # askQueryResult :: EventWriterT t w m (Dynamic t (QueryResult q)) Source # queryIncremental :: Incremental t (AdditivePatch q) -> EventWriterT t w m (Dynamic t (QueryResult q)) Source #
(Monad m, Group q, Additive q, Query q, Reflex t) => MonadQuery t q (QueryT t q m) Source #
Instance details Defined in Reflex.Query.Base Methods tellQueryIncremental :: Incremental t (AdditivePatch q) -> QueryT t q m () Source # askQueryResult :: QueryT t q m (Dynamic t (QueryResult q)) Source # queryIncremental :: Incremental t (AdditivePatch q) -> QueryT t q m (Dynamic t (QueryResult q)) Source #
(MonadQuery t q m, Monad m) => MonadQuery t q (DynamicWriterT t w m) Source #
Instance details Defined in Reflex.DynamicWriter.Base Methods tellQueryIncremental :: Incremental t (AdditivePatch q) -> DynamicWriterT t w m () Source # askQueryResult :: DynamicWriterT t w m (Dynamic t (QueryResult q)) Source # queryIncremental :: Incremental t (AdditivePatch q) -> DynamicWriterT t w m (Dynamic t (QueryResult q)) Source #
(MonadQuery t q m, Monad m) => MonadQuery t q (BehaviorWriterT t w m) Source #
Instance details Defined in Reflex.BehaviorWriter.Base Methods tellQueryIncremental :: Incremental t (AdditivePatch q) -> BehaviorWriterT t w m () Source # askQueryResult :: BehaviorWriterT t w m (Dynamic t (QueryResult q)) Source # queryIncremental :: Incremental t (AdditivePatch q) -> BehaviorWriterT t w m (Dynamic t (QueryResult q)) Source #

tellQueryDyn :: (Reflex t, MonadQuery t q m) => Dynamic t q -> m () Source #

Produce and send an Incremental Query from a Dynamic Query.

queryDyn :: (Reflex t, Monad m, MonadQuery t q m) => Dynamic t q -> m (Dynamic t (QueryResult q)) Source #

Retrieve Dynamically updating QueryResults for a Dynamically updating Query.

mapQuery :: QueryMorphism q q' -> q -> q' Source #

Apply a QueryMorphism to a Query

mapQueryResult :: QueryMorphism q q' -> QueryResult q' -> QueryResult q Source #

Map a QueryMorphism to a QueryResult