Safe Haskell	None
Language	Haskell98

Reflex.Query.Class

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 #

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 #

NB: 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 keeps track of the multiplicity of elements of the view selector that are being used by the app

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 ViewSelector should use this function which returns Nothing if the result is 0. This allows the pruning of leaves that are no longer wanted.

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

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 #

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

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

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