HaskellWorks.Data.MQuery

Documentation

newtype MQuery a

Constructors

MQuery (DList a)

Instances

Monad MQuery

Defined in HaskellWorks.Data.MQuery

Methods

(>>=) :: MQuery a -> (a -> MQuery b) -> MQuery b

(>>) :: MQuery a -> MQuery b -> MQuery b

return :: a -> MQuery a

fail :: String -> MQuery a

Functor MQuery

Defined in HaskellWorks.Data.MQuery

Methods

fmap :: (a -> b) -> MQuery a -> MQuery b

(<$) :: a -> MQuery b -> MQuery a

Applicative MQuery

Defined in HaskellWorks.Data.MQuery

Methods

pure :: a -> MQuery a

(<*>) :: MQuery (a -> b) -> MQuery a -> MQuery b

liftA2 :: (a -> b -> c) -> MQuery a -> MQuery b -> MQuery c

(*>) :: MQuery a -> MQuery b -> MQuery b

(<*) :: MQuery a -> MQuery b -> MQuery a

Foldable MQuery

Defined in HaskellWorks.Data.MQuery

Methods

fold :: Monoid m => MQuery m -> m

foldMap :: Monoid m => (a -> m) -> MQuery a -> m

foldr :: (a -> b -> b) -> b -> MQuery a -> b

foldr' :: (a -> b -> b) -> b -> MQuery a -> b

foldl :: (b -> a -> b) -> b -> MQuery a -> b

foldl' :: (b -> a -> b) -> b -> MQuery a -> b

foldr1 :: (a -> a -> a) -> MQuery a -> a

foldl1 :: (a -> a -> a) -> MQuery a -> a

toList :: MQuery a -> [a]

null :: MQuery a -> Bool

length :: MQuery a -> Int

elem :: Eq a => a -> MQuery a -> Bool

maximum :: Ord a => MQuery a -> a

minimum :: Ord a => MQuery a -> a

sum :: Num a => MQuery a -> a

product :: Num a => MQuery a -> a

Alternative MQuery

Defined in HaskellWorks.Data.MQuery

Methods

empty :: MQuery a

(<|>) :: MQuery a -> MQuery a -> MQuery a

some :: MQuery a -> MQuery [a]

many :: MQuery a -> MQuery [a]

MonadPlus MQuery

Defined in HaskellWorks.Data.MQuery

Methods

mzero :: MQuery a

mplus :: MQuery a -> MQuery a -> MQuery a

Semigroup (MQuery a)

Defined in HaskellWorks.Data.MQuery

Methods

(<>) :: MQuery a -> MQuery a -> MQuery a

sconcat :: NonEmpty (MQuery a) -> MQuery a

stimes :: Integral b => b -> MQuery a -> MQuery a

Monoid (MQuery a)

Defined in HaskellWorks.Data.MQuery

Methods

mempty :: MQuery a

mappend :: MQuery a -> MQuery a -> MQuery a

mconcat :: [MQuery a] -> MQuery a

Pretty (MQuery Int)

Defined in HaskellWorks.Data.MQuery

Methods

pretty :: MQuery Int -> Doc

prettyList :: [MQuery Int] -> Doc

Pretty (MQuery Integer)

Defined in HaskellWorks.Data.MQuery

Methods

pretty :: MQuery Integer -> Doc

prettyList :: [MQuery Integer] -> Doc

Pretty (MQuery String)

Defined in HaskellWorks.Data.MQuery

Methods

pretty :: MQuery String -> Doc

prettyList :: [MQuery String] -> Doc

ToBool (MQuery a)

Defined in HaskellWorks.Data.MQuery

Methods

toBool :: MQuery a -> Bool

class IsPredicate a where

Associated Types

type ArgOf a

Methods

toPredicate :: ArgOf a -> a -> Bool

mQuery :: MQuery a -> DList a

satisfying :: (a -> Bool) -> a -> MQuery a

key :: Entry k v -> MQuery k

value :: Entry k v -> MQuery v

dlTake :: Int -> DList a -> DList a

select :: ToBool b => a -> (a -> b) -> MQuery a

having :: (a -> MQuery b) -> a -> MQuery a

valueOf :: Eq a => a -> a -> MQuery a

limit :: Int -> MQuery a -> MQuery a

skip :: Int -> MQuery a -> MQuery a

page :: Int -> Int -> MQuery a -> MQuery a

sorted :: Ord a => MQuery a -> MQuery a

onList :: ([a] -> [a]) -> MQuery a -> MQuery a

count :: MQuery a -> MQuery Int

aggregate :: ([a] -> b) -> MQuery a -> MQuery b

uniq :: Eq a => [a] -> [a]

(/^.) :: Monad m => s -> Getting a s a -> m a

(/^..) :: (Monad m, Foldable t, Monoid (m a)) => s -> Getting (t a) s (t a) -> m a

(>>^.) :: Monad m => m a -> Getting b a b -> m b infixl 1

(>>^..) :: (Monad m, Foldable t, Monoid (m a), Monoid (m b)) => m a -> Getting (t b) a (t b) -> m b infixl 1