Module DA.Assert

Functions

assertEq

: (CanAbort m, Show a, Eq a) => a -> a -> m ()

Check two values for equality. If they’re not equal, fail with a message.

(===)

: (CanAbort m, Show a, Eq a) => a -> a -> m ()

Infix version of assertEq.

assertNotEq

: (CanAbort m, Show a, Eq a) => a -> a -> m ()

Check two values for inequality. If they’re equal, fail with a message.

(=/=)

: (CanAbort m, Show a, Eq a) => a -> a -> m ()

Infix version of assertNotEq.

assertAfterMsg

: (CanAbort m, HasTime m) => Text -> Time -> m ()

Check whether the given time is in the future. If it’s not, abort with a message.

assertBeforeMsg

: (CanAbort m, HasTime m) => Text -> Time -> m ()

Check whether the given time is in the past. If it’s not, abort with a message.