Database.Seakale.Tests.Mock

Documentation

data QueryPredicate

Constructors

QPredPlain ByteString

QPredFunction (ByteString -> Bool)

Instances

Eq QueryPredicate

Methods

(==) :: QueryPredicate -> QueryPredicate -> Bool

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

Show QueryPredicate

Methods

showsPrec :: Int -> QueryPredicate -> ShowS

show :: QueryPredicate -> String

showList :: [QueryPredicate] -> ShowS

runQueryPredicate :: QueryPredicate -> ByteString -> Bool

data Mock sub a

Constructors

Action sub

Or (Mock sub a) (Mock sub a)

And (Mock sub a) (Mock sub a)

After (Mock sub a) (Mock sub a)

None (Maybe a)

Instances

Monad (Mock sub)

Methods

(>>=) :: Mock sub a -> (a -> Mock sub b) -> Mock sub b

(>>) :: Mock sub a -> Mock sub b -> Mock sub b

return :: a -> Mock sub a

fail :: String -> Mock sub a

Functor (Mock sub)

Methods

fmap :: (a -> b) -> Mock sub a -> Mock sub b

(<$) :: a -> Mock sub b -> Mock sub a

Applicative (Mock sub)

Methods

pure :: a -> Mock sub a

(<*>) :: Mock sub (a -> b) -> Mock sub a -> Mock sub b

(*>) :: Mock sub a -> Mock sub b -> Mock sub b

(<*) :: Mock sub a -> Mock sub b -> Mock sub a

Alternative (Mock sub)

Methods

empty :: Mock sub a

(<|>) :: Mock sub a -> Mock sub a -> Mock sub a

some :: Mock sub a -> Mock sub [a]

many :: Mock sub a -> Mock sub [a]

(Eq a, Eq sub) => Eq (Mock sub a)

Methods

(==) :: Mock sub a -> Mock sub a -> Bool

(/=) :: Mock sub a -> Mock sub a -> Bool

(Show a, Show sub) => Show (Mock sub a)

Methods

showsPrec :: Int -> Mock sub a -> ShowS

show :: Mock sub a -> String

showList :: [Mock sub a] -> ShowS

Monoid (Mock sub a)

Methods

mempty :: Mock sub a

mappend :: Mock sub a -> Mock sub a -> Mock sub a

mconcat :: [Mock sub a] -> Mock sub a

Recursive (Mock sub a)

Methods

project :: Mock sub a -> Base (Mock sub a) (Mock sub a)

cata :: (Base (Mock sub a) a -> a) -> Mock sub a -> a

para :: (Base (Mock sub a) (Mock sub a, a) -> a) -> Mock sub a -> a

gpara :: (Corecursive (Mock sub a), Comonad w) => (forall b. Base (Mock sub a) (w b) -> w (Base (Mock sub a) b)) -> (Base (Mock sub a) (EnvT (Mock sub a) w a) -> a) -> Mock sub a -> a

prepro :: Corecursive (Mock sub a) => (forall b. Base (Mock sub a) b -> Base (Mock sub a) b) -> (Base (Mock sub a) a -> a) -> Mock sub a -> a

gprepro :: (Corecursive (Mock sub a), Comonad w) => (forall b. Base (Mock sub a) (w b) -> w (Base (Mock sub a) b)) -> (forall c. Base (Mock sub a) c -> Base (Mock sub a) c) -> (Base (Mock sub a) (w a) -> a) -> Mock sub a -> a

type Base (Mock sub a)

type Base (Mock sub a) = MockF sub

mockConsumed :: Mock sub a -> Bool

notMonadError :: a

data MockF sub f

Constructors

FAction sub

FOr f f

FAnd f f

FAfter f f

FNone

Instances

Functor (MockF sub)

Methods

fmap :: (a -> b) -> MockF sub a -> MockF sub b

(<$) :: a -> MockF sub b -> MockF sub a

consumeMock :: (sub -> Maybe b) -> Mock sub a -> Maybe (b, Mock sub a)

castMock :: Mock sub a -> Mock sub b

mor :: Mock sub a -> Mock sub a -> Mock sub a

mand :: Mock sub a -> Mock sub a -> Mock sub a

after :: Mock sub a -> Mock sub a -> Mock sub a

andThen :: Mock sub a -> Mock sub a -> Mock sub a

anyOf :: [Mock sub a] -> Mock sub a

allOf :: [Mock sub a] -> Mock sub a

fixAfter :: Mock sub a -> Mock sub a

times :: Int -> Mock sub a -> Mock sub a