Documentation

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