Replanting Grass (total newbie)

So I found a dead mouse in the garden on a patch of grass inside the gazebo I have. I left the mouse for a day not expecting serious rot in only day. Unbelievably there was. maggots, flies etc. I got rid of it- put chemicals to neutralise the bacteria and kill maggots then after a couple of days dug out the grass in that area- leaving just a patch of soil not very deep.
How do I plant new grass back? Of the same type as the surrounding grass please- how do I find out what kind of grass seed I need when I wasn't the one who planted this garden?
Cheers, GiG08

 

By trim you mean use a lawnmower to cut grass from the edges and then dump that cut grass onto the soil?
But won’t that grass be loose still?
I have no idea about any of this- sorry if I sound real stupid...

 

Not what he meant. If you are edging the flower beds and cutting a hunk out of the grass to create a neat line, you will have little pieces od sod. Call it a divot from the edge.

Next time just remove the dead things right away and hose down. When dry, spray with peroxide. The kind you use on cuts. That should give you peace of mind.

 

and lovely toenails you have too @JWK

 

Ok I see what you all mean thanks- but once I place the sod on the soil patch- will it be solid after a week and be like nothing was dug out in the first place- how long will it take to be properly rooted in?

1) what to do about the new soil which has appeared around the edges?
2)I used diluted bleach instea of peroxide- is that ok?