git.iko.soy/Idris-dev
on master help sign in
Remove trailing whitespace.
dd6b95aMatus Tejiscak
libs/base/Data/Erased.idr+1−1
compare with master
unifiedsplit
@@ -22,7 +22,7 @@ instance Monad Erased where
22 (>>=) (Erase x) f = f x
22 (>>=) (Erase x) f = f x
23
23
24||| Project the erased value out of the monad.
24||| Project the erased value out of the monad.
25−|||
25+|||
26||| This is usable only in types and other erased contexts,
26||| This is usable only in types and other erased contexts,
27||| where it won't cause erasure violations.
27||| where it won't cause erasure violations.
28unerase : Erased a -> a
28unerase : Erased a -> a