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 System.Posix.Limits
  9 |
 10 | import Data.C.Integer
 11 |
 12 | %default total
 13 |
 14 | export %foreign "C:sysconf, posix-idris"
 15 | sysconf : Bits32 -> Long
 16 |
 17 | export %foreign "C:pathconf, posix-idris"
 18 | pathconf : String -> Bits32 -> Long
 19 |
 20 | export %foreign "C:fpathconf, posix-idris"
 21 | fpathconf : Bits32 -> Bits32 -> Long
 22 |
 23 | public export
 24 | SC_ARG_MAX : Bits32
 25 | SC_ARG_MAX = 0
 26 |
 27 | public export
 28 | SC_CHILD_MAX : Bits32
 29 | SC_CHILD_MAX = 1
 30 |
 31 | public export
 32 | SC_HOST_NAME_MAX : Bits32
 33 | SC_HOST_NAME_MAX = 180
 34 |
 35 | public export
 36 | SC_LOGIN_NAME_MAX : Bits32
 37 | SC_LOGIN_NAME_MAX = 71
 38 |
 39 | public export
 40 | SC_NGROUPS_MAX : Bits32
 41 | SC_NGROUPS_MAX = 3
 42 |
 43 | public export
 44 | SC_CLK_TCK : Bits32
 45 | SC_CLK_TCK = 2
 46 |
 47 | public export
 48 | SC_OPEN_MAX : Bits32
 49 | SC_OPEN_MAX = 4
 50 |
 51 | public export
 52 | SC_PAGESIZE : Bits32
 53 | SC_PAGESIZE = 30
 54 |
 55 | public export
 56 | SC_PAGE_SIZE : Bits32
 57 | SC_PAGE_SIZE = 30
 58 |
 59 | public export
 60 | SC_RE_DUP_MAX : Bits32
 61 | SC_RE_DUP_MAX = 44
 62 |
 63 | public export
 64 | SC_STREAM_MAX : Bits32
 65 | SC_STREAM_MAX = 5
 66 |
 67 | public export
 68 | SC_SYMLOOP_MAX : Bits32
 69 | SC_SYMLOOP_MAX = 173
 70 |
 71 | public export
 72 | SC_TTY_NAME_MAX : Bits32
 73 | SC_TTY_NAME_MAX = 72
 74 |
 75 | public export
 76 | SC_TZNAME_MAX : Bits32
 77 | SC_TZNAME_MAX = 6
 78 |
 79 | public export
 80 | SC_VERSION : Bits32
 81 | SC_VERSION = 29
 82 |
 83 | public export
 84 | SC_BC_BASE_MAX : Bits32
 85 | SC_BC_BASE_MAX = 36
 86 |
 87 | public export
 88 | SC_BC_DIM_MAX : Bits32
 89 | SC_BC_DIM_MAX = 37
 90 |
 91 | public export
 92 | SC_BC_SCALE_MAX : Bits32
 93 | SC_BC_SCALE_MAX = 38
 94 |
 95 | public export
 96 | SC_BC_STRING_MAX : Bits32
 97 | SC_BC_STRING_MAX = 39
 98 |
 99 | public export
100 | SC_COLL_WEIGHTS_MAX : Bits32
101 | SC_COLL_WEIGHTS_MAX = 40
102 |
103 | public export
104 | SC_EXPR_NEST_MAX : Bits32
105 | SC_EXPR_NEST_MAX = 42
106 |
107 | public export
108 | SC_RTSIG_MAX : Bits32
109 | SC_RTSIG_MAX = 31
110 |
111 | public export
112 | SC_SIGQUEUE_MAX : Bits32
113 | SC_SIGQUEUE_MAX = 34
114 |
115 | public export
116 | SC_LINE_MAX : Bits32
117 | SC_LINE_MAX = 43
118 |
119 | public export
120 | SC_2_VERSION : Bits32
121 | SC_2_VERSION = 46
122 |
123 | public export
124 | SC_2_C_DEV : Bits32
125 | SC_2_C_DEV = 48
126 |
127 | public export
128 | SC_2_FORT_DEV : Bits32
129 | SC_2_FORT_DEV = 49
130 |
131 | public export
132 | SC_2_FORT_RUN : Bits32
133 | SC_2_FORT_RUN = 50
134 |
135 | public export
136 | SC_2_LOCALEDEF : Bits32
137 | SC_2_LOCALEDEF = 52
138 |
139 | public export
140 | SC_2_SW_DEV : Bits32
141 | SC_2_SW_DEV = 51
142 |
143 | public export
144 | PC_LINK_MAX : Bits32
145 | PC_LINK_MAX = 0
146 |
147 | public export
148 | PC_MAX_CANON : Bits32
149 | PC_MAX_CANON = 1
150 |
151 | public export
152 | PC_MAX_INPUT : Bits32
153 | PC_MAX_INPUT = 2
154 |
155 | public export
156 | PC_NAME_MAX : Bits32
157 | PC_NAME_MAX = 3
158 |
159 | public export
160 | PC_PATH_MAX : Bits32
161 | PC_PATH_MAX = 4
162 |
163 | public export
164 | PC_PIPE_BUF : Bits32
165 | PC_PIPE_BUF = 5
166 |
167 | public export
168 | PC_CHOWN_RESTRICTED : Bits32
169 | PC_CHOWN_RESTRICTED = 6
170 |
171 | public export
172 | PC_NO_TRUNC : Bits32
173 | PC_NO_TRUNC = 7
174 |
175 | public export
176 | PC_VDISABLE : Bits32
177 | PC_VDISABLE = 8
178 |