Safe Haskell	Safe-Inferred
Language	Haskell2010

Heck

Documentation

data Test (m :: Type -> Type) (n :: Type -> Type) Source #

Constructors

MkTest
Fields assertFailure :: forall x. HasCallStack => String -> m x describe :: String -> n () -> n () it :: String -> m () -> n ()

assertEq :: forall m a (n :: Type -> Type). (HasCallStack, Applicative m, Eq a, Show a) => Test m n -> a -> a -> m () Source #

assertNe :: forall m a (n :: Type -> Type). (HasCallStack, Applicative m, Eq a, Show a) => Test m n -> a -> a -> m () Source #

assertLt :: forall m a (n :: Type -> Type). (HasCallStack, Applicative m, Ord a, Show a) => Test m n -> a -> a -> m () Source #

assertLe :: forall m a (n :: Type -> Type). (HasCallStack, Applicative m, Ord a, Show a) => Test m n -> a -> a -> m () Source #

assertGt :: forall m a (n :: Type -> Type). (HasCallStack, Applicative m, Ord a, Show a) => Test m n -> a -> a -> m () Source #

assertGe :: forall m a (n :: Type -> Type). (HasCallStack, Applicative m, Ord a, Show a) => Test m n -> a -> a -> m () Source #