Safe Haskell	Safe-Inferred
Language	Haskell2010

Signet.Unstable.Type.Test

Documentation

data Test (io :: Type -> Type) (tree :: Type -> Type) Source #

Constructors

MkTest
Fields assertFailure :: forall void. HasCallStack => String -> io void describe :: String -> tree () -> tree () it :: String -> io () -> tree ()

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