Copyright	2018 Automattic Inc.
License	BSD3
Maintainer	Nathan Bloomfield (nbloomf@gmail.com)
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Data.MockIO

Contents

Description

A fake IO monad for testing.

Synopsis

MockIO

A state monad over MockWorld.

Constructors

MockIO
Fields runMockIO :: MockWorld s -> (a, MockWorld s)

Instances

Monad (MockIO s) Source #
Methods (>>=) :: MockIO s a -> (a -> MockIO s b) -> MockIO s b # (>>) :: MockIO s a -> MockIO s b -> MockIO s b # return :: a -> MockIO s a # fail :: String -> MockIO s a #
Functor (MockIO s) Source #
Methods fmap :: (a -> b) -> MockIO s a -> MockIO s b # (<$) :: a -> MockIO s b -> MockIO s a #
Applicative (MockIO s) Source #
Methods pure :: a -> MockIO s a # (<>) :: MockIO s (a -> b) -> MockIO s a -> MockIO s b # liftA2 :: (a -> b -> c) -> MockIO s a -> MockIO s b -> MockIO s c # (>) :: MockIO s a -> MockIO s b -> MockIO s b # (<*) :: MockIO s a -> MockIO s b -> MockIO s a #
Show (MockIO s a) Source #
Methods showsPrec :: Int -> MockIO s a -> ShowS # show :: MockIO s a -> String # showList :: [MockIO s a] -> ShowS #
Arbitrary a => Arbitrary (MockIO s a) Source #
Methods arbitrary :: Gen (MockIO s a) # shrink :: MockIO s a -> [MockIO s a] #

Retrieve the current MockWorld.

Replace the current MockWorld.

Mutate the current MockWorld strictly.

Bump the timer by a given number of microseconds.

MockWorld

Just enough state to mock out a basic filesystem and HTTP server.

Constructors

MockWorld
Fields _files :: FileSystem (Either FilePath Handle) _time :: UTCTime _httpGet :: String -> MockNetwork s HttpResponse _httpPost :: String -> ByteString -> MockNetwork s HttpResponse _httpDelete :: String -> MockNetwork s HttpResponse _serverState :: MockServer s

Instances

Eq s => Eq (MockWorld s) Source #
Methods (==) :: MockWorld s -> MockWorld s -> Bool # (/=) :: MockWorld s -> MockWorld s -> Bool #
Show s => Show (MockWorld s) Source #
Methods showsPrec :: Int -> MockWorld s -> ShowS # show :: MockWorld s -> String # showList :: [MockWorld s] -> ShowS #
Arbitrary s => Arbitrary (MockWorld s) Source #
Methods arbitrary :: Gen (MockWorld s) # shrink :: MockWorld s -> [MockWorld s] #
CoArbitrary s => CoArbitrary (MockWorld s) Source #
Methods coarbitrary :: MockWorld s -> Gen b -> Gen b #

Type representing the internal state of an HTTP server.

Constructors

MockServer
Fields unMockServer :: s

Instances

Eq s => Eq (MockServer s) Source #
Methods (==) :: MockServer s -> MockServer s -> Bool # (/=) :: MockServer s -> MockServer s -> Bool #
Show s => Show (MockServer s) Source #
Methods showsPrec :: Int -> MockServer s -> ShowS # show :: MockServer s -> String # showList :: [MockServer s] -> ShowS #

1970-01-01 00:00:00

Empty filesystem and trivial HTTP responses

State monad representing network interaction.

Constructors

MockNetwork
Fields unMockNetwork :: MockServer s -> (Either HttpException a, MockServer s)

Instances

Monad (MockNetwork s) Source #
Methods (>>=) :: MockNetwork s a -> (a -> MockNetwork s b) -> MockNetwork s b # (>>) :: MockNetwork s a -> MockNetwork s b -> MockNetwork s b # return :: a -> MockNetwork s a # fail :: String -> MockNetwork s a #
Functor (MockNetwork s) Source #
Methods fmap :: (a -> b) -> MockNetwork s a -> MockNetwork s b # (<$) :: a -> MockNetwork s b -> MockNetwork s a #
Applicative (MockNetwork s) Source #
Methods pure :: a -> MockNetwork s a # (<>) :: MockNetwork s (a -> b) -> MockNetwork s a -> MockNetwork s b # liftA2 :: (a -> b -> c) -> MockNetwork s a -> MockNetwork s b -> MockNetwork s c # (>) :: MockNetwork s a -> MockNetwork s b -> MockNetwork s b # (<*) :: MockNetwork s a -> MockNetwork s b -> MockNetwork s a #
Show (MockNetwork s a) Source #
Methods showsPrec :: Int -> MockNetwork s a -> ShowS # show :: MockNetwork s a -> String # showList :: [MockNetwork s a] -> ShowS #
Arbitrary a => Arbitrary (MockNetwork s a) Source #
Methods arbitrary :: Gen (MockNetwork s a) # shrink :: MockNetwork s a -> [MockNetwork s a] #