Data.MockIO

A fake IO monad for testing.

MockIO

data MockIO s a

A state monad over MockWorld.

Constructors

MockIO

Fields

• runMockIO :: MockWorld s -> (a, MockWorld s)

Instances

Monad (MockIO s)

Defined in Data.MockIO

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)

Defined in Data.MockIO

Methods

fmap :: (a -> b) -> MockIO s a -> MockIO s b

(<$) :: a -> MockIO s b -> MockIO s a

Applicative (MockIO s)

Defined in Data.MockIO

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)

Defined in Data.MockIO

Methods

showsPrec :: Int -> MockIO s a -> ShowS

show :: MockIO s a -> String

showList :: [MockIO s a] -> ShowS

Arbitrary a => Arbitrary (MockIO s a)

Defined in Data.MockIO

Methods

arbitrary :: Gen (MockIO s a)

shrink :: MockIO s a -> [MockIO s a]

getMockWorld :: MockIO s (MockWorld s)

Retrieve the current MockWorld.

putMockWorld :: MockWorld s -> MockIO s ()

Replace the current MockWorld.

modifyMockWorld :: (MockWorld s -> MockWorld s) -> MockIO s ()

Mutate the current MockWorld strictly.

incrementTimer :: Int -> MockIO s ()

Bump the timer by a given number of microseconds.

MockWorld

data MockWorld s

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)

Defined in Data.MockIO

Methods

(==) :: MockWorld s -> MockWorld s -> Bool

(/=) :: MockWorld s -> MockWorld s -> Bool

Show s => Show (MockWorld s)

Defined in Data.MockIO

Methods

showsPrec :: Int -> MockWorld s -> ShowS

show :: MockWorld s -> String

showList :: [MockWorld s] -> ShowS

Arbitrary s => Arbitrary (MockWorld s)

Defined in Data.MockIO

Methods

arbitrary :: Gen (MockWorld s)

shrink :: MockWorld s -> [MockWorld s]

CoArbitrary s => CoArbitrary (MockWorld s)

Defined in Data.MockIO

Methods

coarbitrary :: MockWorld s -> Gen b -> Gen b

newtype MockServer s

Type representing the internal state of an HTTP server.

Constructors

MockServer

Fields

• unMockServer :: s

Instances

Eq s => Eq (MockServer s)

Defined in Data.MockIO

Methods

(==) :: MockServer s -> MockServer s -> Bool

(/=) :: MockServer s -> MockServer s -> Bool

Show s => Show (MockServer s)

Defined in Data.MockIO

Methods

showsPrec :: Int -> MockServer s -> ShowS

show :: MockServer s -> String

showList :: [MockServer s] -> ShowS

epoch :: UTCTime

1970-01-01 00:00:00

basicMockWorld :: s -> MockWorld s

Empty filesystem and trivial HTTP responses

MockNetwork

data MockNetwork s a

State monad representing network interaction.

Constructors

MockNetwork

Fields

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

Instances

Monad (MockNetwork s)

Defined in Data.MockIO

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)

Defined in Data.MockIO

Methods

fmap :: (a -> b) -> MockNetwork s a -> MockNetwork s b

(<$) :: a -> MockNetwork s b -> MockNetwork s a

Applicative (MockNetwork s)

Defined in Data.MockIO

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)

Defined in Data.MockIO

Methods

showsPrec :: Int -> MockNetwork s a -> ShowS

show :: MockNetwork s a -> String

showList :: [MockNetwork s a] -> ShowS

Arbitrary a => Arbitrary (MockNetwork s a)

Defined in Data.MockIO

Methods

arbitrary :: Gen (MockNetwork s a)

shrink :: MockNetwork s a -> [MockNetwork s a]

errorMockNetwork :: HttpException -> MockNetwork s a

Throw an HttpException.

getMockServer :: MockNetwork s s

Retrieve the internal state of the fake HTTP server.

putMockServer :: s -> MockNetwork s ()

Replace the internal state of the fake HTTP server.

modifyMockServer :: (s -> s) -> MockNetwork s ()

Mutate the internal state of the fake HTTP server (strictly).

Responses

_200ok :: ByteString -> HttpResponse

Status 200; no headers

_400badRequest :: ByteString -> HttpResponse

Status 400; no headers

_404notFound :: ByteString -> HttpResponse

Status 404; no headers

_405methodNotAllowed :: ByteString -> HttpResponse

Status 405; no headers

_408requestTimeout :: ByteString -> HttpResponse

Status 408; no headers

_500internalServerError :: ByteString -> HttpResponse

Status 500; no headers