@@ -200,6 +200,7 @@ Next, an Idris file to define our providers:
200 module Providers
200 module Providers
202 %dynamic "./stattypes.so"
202 %dynamic "./stattypes.so"
204 sizeOfDevT : IO Int
205 sizeOfDevT : IO Int
205 sizeOfDevT = foreign FFI_C "sizeof_dev_t" (IO Int)
206 sizeOfDevT = foreign FFI_C "sizeof_dev_t" (IO Int)
@@ -207,9 +208,10 @@ Next, an Idris file to define our providers:
208 -- Indicates how many bits are used to represent various system
209 -- Indicates how many bits are used to represent various system
209 -- stat types.
210 -- stat types.
210 data BitWidth = B8 | B16 | B32 | B64
212 data BitWidth = B8 | B16 | B32 | B64
212− implementation Show BitWidth where
214+ Show BitWidth where
213 show B8 = "8 bits"
215 show B8 = "8 bits"
214 show B16 = "16 bits"
216 show B16 = "16 bits"
215 show B32 = "32 bits"
217 show B32 = "32 bits"