The Idris Tutorial Version 0.11.2Indicates how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 instance Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 = integer, but we want a Provider BitWidth. -- Since our sizeOf* functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 = Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we’ll write one0 码力 | 14 页 | 120.71 KB | 2 年前3- The Idris Tutorial Version 0.12.1Indicates how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 instance Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 = integer, but we want a Provider BitWidth. -- Since our sizeOf* functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 = Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we’ll write one0 码力 | 14 页 | 120.74 KB | 2 年前3
- The Idris Tutorial Version 0.12Indicates how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 instance Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 = integer, but we want a Provider BitWidth. -- Since our sizeOf* functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 = Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we’ll write one0 码力 | 14 页 | 120.74 KB | 2 年前3
- The Idris Tutorial Version 0.12.3how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 implementation Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 integer, but we want a Provider BitWidth. -- Since our sizeOf* functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 = Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we’ll write one0 码力 | 14 页 | 121.89 KB | 2 年前3
- The Idris Tutorial Version 0.11.1Indicates how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 instance Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 = integer, but we want a Provider BitWidth. -- Since our sizeOf* functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 = Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we’ll write one0 码力 | 14 页 | 120.52 KB | 2 年前3
- The Idris Tutorial Version 0.99how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 implementation Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 integer, but we want a Provider BitWidth. -- Since our sizeOf functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we'll write0 码力 | 182 页 | 1.04 MB | 2 年前3
- The Idris Tutorial Version 2.3.0how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 implementation Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 = "32 bits" show an integer, but we want a Provider BitWidth. -- Since our sizeOf* functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 bytesToType 8 = Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we’ll write one more0 码力 | 228 页 | 1.23 MB | 2 年前3
- The Idris Tutorial Version 1.0.1how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 implementation Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 integer, but we want a Provider BitWidth. -- Since our sizeOf* functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 = Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we’ll write one0 码力 | 223 页 | 1.21 MB | 2 年前3
- The Idris Tutorial Version 1.1.0how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 implementation Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 integer, but we want a Provider BitWidth. -- Since our sizeOf* functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 = Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we’ll write one0 码力 | 223 页 | 1.21 MB | 2 年前3
- The Idris Tutorial Version 0.99.2how many bits are used to represent various system -- stat types. data BitWidth = B8 | B16 | B32 | B64 implementation Show BitWidth where show B8 = "8 bits" show B16 = "16 bits" show B32 integer, but we want a Provider BitWidth. -- Since our sizeOf* functions are ordinary IO actions, we -- can just map over them. bytesToType : Int -> Provider BitWidth bytesToType 1 = Provide B8 -- "8 Provide B64 bytesToType _ = Error "Unrecognised integral type." getDevT : IO (Provider BitWidth) getDevT = map bytesToType sizeOfDevT {- lots of similar functions -} Finally, we’ll write one0 码力 | 224 页 | 1.22 MB | 2 年前3
共 16 条
- 1
- 2