Merge pull request #4649 from zenntenn/makingtotal
Makingtotal
commit22f69e8abbdecfa1774c1721b59007760561554c
authorNiklas Larsson <metaniklas@gmail.com>
dateWed 27 Feb 2019, 01:04 (8 years ago)
parent83d3acfd27b255
libs/base/Control/Catchable.idr+1
@@ -7,6 +7,7 @@ import Control.Monad.RWS
77import Control.Monad.Trans
88
99%access public export
10+%default total
1011
1112interface Catchable (m : Type -> Type) t | m where
1213 throw : t -> m a
libs/base/Data/IORef.idr+2
@@ -1,5 +1,7 @@
11module Data.IORef
22
3+%default total
4+
35||| A mutable variable in the IO monad.
46export
57data IORef a = MkIORef a