Documentation

spec :: forall (m :: Type -> Type) n. (Applicative m, Monad n) => Test m n -> n () Source #