0 | -- Note: This module is automatically generated when Idris builds
  1 | -- the library and the constants will be replaced with values
  2 | -- matching the system this is generated on.
  3 | --
  4 | -- The placeholders are here so that it works with tools like the LSP
  5 | -- without first compiling the library. They were generated on an x86_64
  6 | -- GNU/Linux system with GCC. If you are on a similar system, your numbers
  7 | -- might very well be identical.
  8 | module Data.C.Integer
  9 |
 10 | %default total
 11 |
 12 | public export
 13 | 0 Short : Type
 14 | Short = Int16
 15 |
 16 | public export
 17 | 0 CInt : Type
 18 | CInt = Int32
 19 |
 20 | public export
 21 | 0 Long : Type
 22 | Long = Int64
 23 |
 24 | public export
 25 | 0 LongLong : Type
 26 | LongLong = Int64
 27 |
 28 | public export
 29 | 0 UShort : Type
 30 | UShort = Bits16
 31 |
 32 | public export
 33 | 0 UInt : Type
 34 | UInt = Bits32
 35 |
 36 | public export
 37 | 0 ULong : Type
 38 | ULong = Bits64
 39 |
 40 | public export
 41 | 0 ULongLong : Type
 42 | ULongLong = Bits64
 43 |
 44 | public export
 45 | 0 PidT : Type
 46 | PidT = Int32
 47 |
 48 | public export
 49 | 0 UidT : Type
 50 | UidT = Int32
 51 |
 52 | public export
 53 | 0 GidT : Type
 54 | GidT = Int32
 55 |
 56 | public export
 57 | 0 IdT : Type
 58 | IdT = Int32
 59 |
 60 | public export
 61 | 0 KeyT : Type
 62 | KeyT = Bits32
 63 |
 64 | public export
 65 | 0 SsizeT : Type
 66 | SsizeT = Int64
 67 |
 68 | public export
 69 | 0 SizeT : Type
 70 | SizeT = Bits64
 71 |
 72 | public export
 73 | 0 ModeT : Type
 74 | ModeT = Int32
 75 |
 76 | public export
 77 | 0 OffT : Type
 78 | OffT = Int64
 79 |
 80 | public export
 81 | 0 TimeT : Type
 82 | TimeT = Int64
 83 |
 84 | public export
 85 | 0 ClockT : Type
 86 | ClockT = Int64
 87 |
 88 | public export
 89 | 0 SusecondsT : Type
 90 | SusecondsT = Int64
 91 |
 92 | public export
 93 | 0 NsecT : Type
 94 | NsecT = Int64
 95 |
 96 | public export %inline
 97 | TimespecSize : Bits32
 98 | TimespecSize = 16
 99 |
100 | public export %inline
101 | AnyPtrSize : Bits32
102 | AnyPtrSize = 8
103 |
104 | public export
105 | 0 FsBlkCntT : Type
106 | FsBlkCntT = Int64
107 |
108 | public export
109 | 0 FsFilCntT : Type
110 | FsFilCntT = Int64
111 |
112 | public export
113 | 0 DevT : Type
114 | DevT = Int64
115 |
116 | public export
117 | 0 InoT : Type
118 | InoT = Int64
119 |
120 | public export
121 | 0 NlinkT : Type
122 | NlinkT = Int64
123 |
124 | public export
125 | 0 BlkSizeT : Type
126 | BlkSizeT = Int64
127 |
128 | public export
129 | 0 BlkCntT : Type
130 | BlkCntT = Int64
131 |