Skip to content

Commit 3abe7c7

Browse files
committed
Fix: もの付いて -> ものについて
1 parent f23e54a commit 3abe7c7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

preprocessed-site/posts/2020/property-io.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -145,7 +145,7 @@ instance [safe] Testable Test.HUnit.Lang.Assertion
145145
ありました!💡
146146
最後の方にある`instance [safe] Testable Test.HUnit.Lang.Assertion`という行に注目してください
147147
[`Test.HUnit.Lang.Assertion`](http://hackage.haskell.org/package/HUnit-1.6.0.0/docs/Test-HUnit-Lang.html#t:Assertion)は`IO ()`の型シノニムでありHspecでも間接的に型シノニムとして参照されています[^hspec-expectation]
148-
要するに`instance [safe] Testable Test.HUnit.Lang.Assertion`という行は`instance [safe] Testable (IO ())`と読み替えることができます<small>(`[safe]`という表記が指しているもの付いてはここでは省略しますすみません!)</small>。
148+
要するに`instance [safe] Testable Test.HUnit.Lang.Assertion`という行は`instance [safe] Testable (IO ())`と読み替えることができます<small>(`[safe]`という表記が指しているものについてはここでは省略しますすみません!)</small>。
149149

150150
[^hspec-expectation]: この節の冒頭で型シノニムのたらい回しと呼んだものを追いかけてみましょう
151151
おなじみ[`shouldBe`](http://hackage.haskell.org/package/hspec-expectations-0.8.2/docs/Test-Hspec-Expectations.html#v:shouldBe)は[`Expectation`](http://hackage.haskell.org/package/hspec-expectations-0.8.2/docs/Test-Hspec-Expectations.html#t:Expectation)という型の値を返します

0 commit comments

Comments
 (0)