Reflex.Query.Class

Documentation

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

Minimal complete definition

crop

Associated Types

type QueryResult a :: *

Methods

crop :: a -> QueryResult a -> QueryResult a

Instances

(Ord k, Query v) => Query (MonoidalMap k v)

Defined in Reflex.Query.Class

Associated Types

type QueryResult (MonoidalMap k v) :: *

Methods

crop :: MonoidalMap k v -> QueryResult (MonoidalMap k v) -> QueryResult (MonoidalMap k v)

data QueryMorphism q q'

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

Defined in Reflex.Query.Class

Methods

id :: QueryMorphism a a

(.) :: QueryMorphism b c -> QueryMorphism a b -> QueryMorphism a c

newtype SelectedCount

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

Defined in Reflex.Query.Class

Methods

minBound :: SelectedCount

maxBound :: SelectedCount

Enum SelectedCount

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

Defined in Reflex.Query.Class

Methods

(==) :: SelectedCount -> SelectedCount -> Bool

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

Integral SelectedCount

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

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

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

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

Defined in Reflex.Query.Class

Methods

readsPrec :: Int -> ReadS SelectedCount

readList :: ReadS [SelectedCount]

readPrec :: ReadPrec SelectedCount

readListPrec :: ReadPrec [SelectedCount]

Real SelectedCount

Defined in Reflex.Query.Class

Methods

toRational :: SelectedCount -> Rational

Show SelectedCount

Defined in Reflex.Query.Class

Methods

showsPrec :: Int -> SelectedCount -> ShowS

show :: SelectedCount -> String

showList :: [SelectedCount] -> ShowS

Ix SelectedCount

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

Defined in Reflex.Query.Class

Methods

(<>) :: SelectedCount -> SelectedCount -> SelectedCount

sconcat :: NonEmpty SelectedCount -> SelectedCount

stimes :: Integral b => b -> SelectedCount -> SelectedCount

Monoid SelectedCount

Defined in Reflex.Query.Class

Methods

mempty :: SelectedCount

mappend :: SelectedCount -> SelectedCount -> SelectedCount

mconcat :: [SelectedCount] -> SelectedCount

Storable SelectedCount

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

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

Defined in Reflex.Query.Class

Methods

finiteBitSize :: SelectedCount -> Int

countLeadingZeros :: SelectedCount -> Int

countTrailingZeros :: SelectedCount -> Int

Additive SelectedCount

Defined in Reflex.Query.Class

Group SelectedCount

Defined in Reflex.Query.Class

Methods

negateG :: SelectedCount -> SelectedCount

(~~) :: SelectedCount -> SelectedCount -> SelectedCount

combineSelectedCounts :: SelectedCount -> SelectedCount -> Maybe SelectedCount

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

Minimal complete definition

tellQueryIncremental, askQueryResult, queryIncremental

Methods

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

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

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

Instances

(Monad m, MonadQuery t q m) => MonadQuery t q (ReaderT r m)

Defined in Reflex.Query.Class

Methods

tellQueryIncremental :: Incremental t (AdditivePatch q) -> ReaderT r m ()

askQueryResult :: ReaderT r m (Dynamic t (QueryResult q))

queryIncremental :: Incremental t (AdditivePatch q) -> ReaderT r m (Dynamic t (QueryResult q))

(MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t w m)

Defined in Reflex.EventWriter.Base

Methods

tellQueryIncremental :: Incremental t (AdditivePatch q) -> EventWriterT t w m ()

askQueryResult :: EventWriterT t w m (Dynamic t (QueryResult q))

queryIncremental :: Incremental t (AdditivePatch q) -> EventWriterT t w m (Dynamic t (QueryResult q))

(Monad m, Group q, Additive q, Query q, Reflex t) => MonadQuery t q (QueryT t q m)

Defined in Reflex.Query.Base

Methods

tellQueryIncremental :: Incremental t (AdditivePatch q) -> QueryT t q m ()

askQueryResult :: QueryT t q m (Dynamic t (QueryResult q))

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

(MonadQuery t q m, Monad m) => MonadQuery t q (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

tellQueryIncremental :: Incremental t (AdditivePatch q) -> DynamicWriterT t w m ()

askQueryResult :: DynamicWriterT t w m (Dynamic t (QueryResult q))

queryIncremental :: Incremental t (AdditivePatch q) -> DynamicWriterT t w m (Dynamic t (QueryResult q))

(MonadQuery t q m, Monad m) => MonadQuery t q (BehaviorWriterT t w m)

Defined in Reflex.BehaviorWriter.Base

Methods

tellQueryIncremental :: Incremental t (AdditivePatch q) -> BehaviorWriterT t w m ()

askQueryResult :: BehaviorWriterT t w m (Dynamic t (QueryResult q))

queryIncremental :: Incremental t (AdditivePatch q) -> BehaviorWriterT t w 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