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 ()

Arguments

:: forall m a (n :: Type -> Type). (HasCallStack, Applicative m, Eq a, Show a)
=> Test m n
-> a	expected
-> a	actual
-> m ()