HaskellWorks.Data.MQuery

Documentation

newtype MQuery a

Constructors

MQuery (DList a)

Instances

Monad 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

Methods

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

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

Applicative MQuery

Methods

pure :: a -> MQuery a

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

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

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

Alternative MQuery

Methods

empty :: MQuery a

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

some :: MQuery a -> MQuery [a]

many :: MQuery a -> MQuery [a]

MonadPlus MQuery

Methods

mzero :: MQuery a

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

Pretty (MQuery Int)

Methods

pretty :: MQuery Int -> Doc

prettyList :: [MQuery Int] -> Doc

Pretty (MQuery Integer)

Methods

pretty :: MQuery Integer -> Doc

prettyList :: [MQuery Integer] -> Doc

Pretty (MQuery String)

Methods

pretty :: MQuery String -> Doc

prettyList :: [MQuery String] -> Doc

ToBool (MQuery a)

Methods

toBool :: MQuery a -> Bool

class IsPredicate a where

Minimal complete definition

toPredicate

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]