diff --git a/parser-typechecker/src/Unison/Builtin.hs b/parser-typechecker/src/Unison/Builtin.hs index 68c8be6cd..c2639773e 100644 --- a/parser-typechecker/src/Unison/Builtin.hs +++ b/parser-typechecker/src/Unison/Builtin.hs @@ -234,7 +234,11 @@ builtinTypesSrc = B' "Ref" CT.Data, B' "Scope" CT.Effect, B' "TimeSpec" CT.Data, - Rename' "TimeSpec" "io2.Clock.internals.TimeSpec" + Rename' "TimeSpec" "io2.Clock.internals.TimeSpec", + B' "ImmutableArray" CT.Data, + B' "MutableArray" CT.Data, + B' "ImmutableByteArray" CT.Data, + B' "MutableByteArray" CT.Data ] -- rename these to "builtin" later, when builtin means intrinsic as opposed to diff --git a/unison-src/transcripts/alias-many.output.md b/unison-src/transcripts/alias-many.output.md index 2dad53a33..ed41e104a 100644 --- a/unison-src/transcripts/alias-many.output.md +++ b/unison-src/transcripts/alias-many.output.md @@ -140,351 +140,425 @@ Let's try it! 117. Float.toText : Float -> Text 118. Float.truncate : Float -> Int 119. Handle.toText : Handle -> Text - 120. builtin type Int - 121. Int.* : Int -> Int -> Int - 122. Int.+ : Int -> Int -> Int - 123. Int.- : Int -> Int -> Int - 124. Int./ : Int -> Int -> Int - 125. Int.and : Int -> Int -> Int - 126. Int.complement : Int -> Int - 127. Int.eq : Int -> Int -> Boolean - 128. Int.fromRepresentation : Nat -> Int - 129. Int.fromText : Text -> Optional Int - 130. Int.gt : Int -> Int -> Boolean - 131. Int.gteq : Int -> Int -> Boolean - 132. Int.increment : Int -> Int - 133. Int.isEven : Int -> Boolean - 134. Int.isOdd : Int -> Boolean - 135. Int.leadingZeros : Int -> Nat - 136. Int.lt : Int -> Int -> Boolean - 137. Int.lteq : Int -> Int -> Boolean - 138. Int.mod : Int -> Int -> Int - 139. Int.negate : Int -> Int - 140. Int.or : Int -> Int -> Int - 141. Int.popCount : Int -> Nat - 142. Int.pow : Int -> Nat -> Int - 143. Int.shiftLeft : Int -> Nat -> Int - 144. Int.shiftRight : Int -> Nat -> Int - 145. Int.signum : Int -> Int - 146. Int.toFloat : Int -> Float - 147. Int.toRepresentation : Int -> Nat - 148. Int.toText : Int -> Text - 149. Int.trailingZeros : Int -> Nat - 150. Int.truncate0 : Int -> Nat - 151. Int.xor : Int -> Int -> Int - 152. unique type io2.BufferMode - 153. io2.BufferMode.BlockBuffering : BufferMode - 154. io2.BufferMode.LineBuffering : BufferMode - 155. io2.BufferMode.NoBuffering : BufferMode - 156. io2.BufferMode.SizedBlockBuffering : Nat -> BufferMode - 157. io2.Clock.internals.monotonic : '{IO} Either + 120. builtin type ImmutableArray + 121. ImmutableArray.read : ImmutableArray a + -> Nat + ->{Exception} a + 122. builtin type ImmutableByteArray + 123. ImmutableByteArray.read16 : ImmutableByteArray + -> Nat + ->{Exception} Nat + 124. ImmutableByteArray.read32 : ImmutableByteArray + -> Nat + ->{Exception} Nat + 125. ImmutableByteArray.read64 : ImmutableByteArray + -> Nat + ->{Exception} Nat + 126. ImmutableByteArray.read8 : ImmutableByteArray + -> Nat + ->{Exception} Nat + 127. builtin type Int + 128. Int.* : Int -> Int -> Int + 129. Int.+ : Int -> Int -> Int + 130. Int.- : Int -> Int -> Int + 131. Int./ : Int -> Int -> Int + 132. Int.and : Int -> Int -> Int + 133. Int.complement : Int -> Int + 134. Int.eq : Int -> Int -> Boolean + 135. Int.fromRepresentation : Nat -> Int + 136. Int.fromText : Text -> Optional Int + 137. Int.gt : Int -> Int -> Boolean + 138. Int.gteq : Int -> Int -> Boolean + 139. Int.increment : Int -> Int + 140. Int.isEven : Int -> Boolean + 141. Int.isOdd : Int -> Boolean + 142. Int.leadingZeros : Int -> Nat + 143. Int.lt : Int -> Int -> Boolean + 144. Int.lteq : Int -> Int -> Boolean + 145. Int.mod : Int -> Int -> Int + 146. Int.negate : Int -> Int + 147. Int.or : Int -> Int -> Int + 148. Int.popCount : Int -> Nat + 149. Int.pow : Int -> Nat -> Int + 150. Int.shiftLeft : Int -> Nat -> Int + 151. Int.shiftRight : Int -> Nat -> Int + 152. Int.signum : Int -> Int + 153. Int.toFloat : Int -> Float + 154. Int.toRepresentation : Int -> Nat + 155. Int.toText : Int -> Text + 156. Int.trailingZeros : Int -> Nat + 157. Int.truncate0 : Int -> Nat + 158. Int.xor : Int -> Int -> Int + 159. IO.arrayOf : a -> Nat ->{IO} MutableArray {IO} a + 160. IO.bytearray : Nat ->{IO} ImmutableByteArray {IO} + 161. IO.bytearrayOf : Nat + -> Nat + ->{IO} ImmutableByteArray {IO} + 162. unique type io2.ArrayFailure + 163. unique type io2.BufferMode + 164. io2.BufferMode.BlockBuffering : BufferMode + 165. io2.BufferMode.LineBuffering : BufferMode + 166. io2.BufferMode.NoBuffering : BufferMode + 167. io2.BufferMode.SizedBlockBuffering : Nat -> BufferMode + 168. io2.Clock.internals.monotonic : '{IO} Either Failure TimeSpec - 158. io2.Clock.internals.nsec : TimeSpec -> Nat - 159. io2.Clock.internals.processCPUTime : '{IO} Either + 169. io2.Clock.internals.nsec : TimeSpec -> Nat + 170. io2.Clock.internals.processCPUTime : '{IO} Either Failure TimeSpec - 160. io2.Clock.internals.realtime : '{IO} Either + 171. io2.Clock.internals.realtime : '{IO} Either Failure TimeSpec - 161. io2.Clock.internals.sec : TimeSpec -> Int - 162. io2.Clock.internals.threadCPUTime : '{IO} Either + 172. io2.Clock.internals.sec : TimeSpec -> Int + 173. io2.Clock.internals.threadCPUTime : '{IO} Either Failure TimeSpec - 163. builtin type io2.Clock.internals.TimeSpec - 164. unique type io2.Failure - 165. io2.Failure.Failure : Type -> Text -> Any -> Failure - 166. unique type io2.FileMode - 167. io2.FileMode.Append : FileMode - 168. io2.FileMode.Read : FileMode - 169. io2.FileMode.ReadWrite : FileMode - 170. io2.FileMode.Write : FileMode - 171. builtin type io2.Handle - 172. builtin type io2.IO - 173. io2.IO.clientSocket.impl : Text + 174. builtin type io2.Clock.internals.TimeSpec + 175. unique type io2.Failure + 176. io2.Failure.Failure : Type -> Text -> Any -> Failure + 177. unique type io2.FileMode + 178. io2.FileMode.Append : FileMode + 179. io2.FileMode.Read : FileMode + 180. io2.FileMode.ReadWrite : FileMode + 181. io2.FileMode.Write : FileMode + 182. builtin type io2.Handle + 183. builtin type io2.IO + 184. io2.IO.clientSocket.impl : Text -> Text ->{IO} Either Failure Socket - 174. io2.IO.closeFile.impl : Handle ->{IO} Either Failure () - 175. io2.IO.closeSocket.impl : Socket ->{IO} Either Failure () - 176. io2.IO.createDirectory.impl : Text + 185. io2.IO.closeFile.impl : Handle ->{IO} Either Failure () + 186. io2.IO.closeSocket.impl : Socket ->{IO} Either Failure () + 187. io2.IO.createDirectory.impl : Text ->{IO} Either Failure () - 177. io2.IO.createTempDirectory.impl : Text + 188. io2.IO.createTempDirectory.impl : Text ->{IO} Either Failure Text - 178. io2.IO.delay.impl : Nat ->{IO} Either Failure () - 179. io2.IO.directoryContents.impl : Text + 189. io2.IO.delay.impl : Nat ->{IO} Either Failure () + 190. io2.IO.directoryContents.impl : Text ->{IO} Either Failure [Text] - 180. io2.IO.fileExists.impl : Text + 191. io2.IO.fileExists.impl : Text ->{IO} Either Failure Boolean - 181. io2.IO.forkComp : '{IO} a ->{IO} ThreadId - 182. io2.IO.getArgs.impl : '{IO} Either Failure [Text] - 183. io2.IO.getBuffering.impl : Handle + 192. io2.IO.forkComp : '{IO} a ->{IO} ThreadId + 193. io2.IO.getArgs.impl : '{IO} Either Failure [Text] + 194. io2.IO.getBuffering.impl : Handle ->{IO} Either Failure BufferMode - 184. io2.IO.getBytes.impl : Handle + 195. io2.IO.getBytes.impl : Handle -> Nat ->{IO} Either Failure Bytes - 185. io2.IO.getCurrentDirectory.impl : '{IO} Either + 196. io2.IO.getCurrentDirectory.impl : '{IO} Either Failure Text - 186. io2.IO.getEnv.impl : Text ->{IO} Either Failure Text - 187. io2.IO.getFileSize.impl : Text ->{IO} Either Failure Nat - 188. io2.IO.getFileTimestamp.impl : Text + 197. io2.IO.getEnv.impl : Text ->{IO} Either Failure Text + 198. io2.IO.getFileSize.impl : Text ->{IO} Either Failure Nat + 199. io2.IO.getFileTimestamp.impl : Text ->{IO} Either Failure Nat - 189. io2.IO.getLine.impl : Handle ->{IO} Either Failure Text - 190. io2.IO.getSomeBytes.impl : Handle + 200. io2.IO.getLine.impl : Handle ->{IO} Either Failure Text + 201. io2.IO.getSomeBytes.impl : Handle -> Nat ->{IO} Either Failure Bytes - 191. io2.IO.getTempDirectory.impl : '{IO} Either Failure Text - 192. io2.IO.handlePosition.impl : Handle + 202. io2.IO.getTempDirectory.impl : '{IO} Either Failure Text + 203. io2.IO.handlePosition.impl : Handle ->{IO} Either Failure Nat - 193. io2.IO.isDirectory.impl : Text + 204. io2.IO.isDirectory.impl : Text ->{IO} Either Failure Boolean - 194. io2.IO.isFileEOF.impl : Handle + 205. io2.IO.isFileEOF.impl : Handle ->{IO} Either Failure Boolean - 195. io2.IO.isFileOpen.impl : Handle + 206. io2.IO.isFileOpen.impl : Handle ->{IO} Either Failure Boolean - 196. io2.IO.isSeekable.impl : Handle + 207. io2.IO.isSeekable.impl : Handle ->{IO} Either Failure Boolean - 197. io2.IO.kill.impl : ThreadId ->{IO} Either Failure () - 198. io2.IO.listen.impl : Socket ->{IO} Either Failure () - 199. io2.IO.openFile.impl : Text + 208. io2.IO.kill.impl : ThreadId ->{IO} Either Failure () + 209. io2.IO.listen.impl : Socket ->{IO} Either Failure () + 210. io2.IO.openFile.impl : Text -> FileMode ->{IO} Either Failure Handle - 200. io2.IO.putBytes.impl : Handle + 211. io2.IO.putBytes.impl : Handle -> Bytes ->{IO} Either Failure () - 201. io2.IO.ref : a ->{IO} Ref {IO} a - 202. io2.IO.removeDirectory.impl : Text + 212. io2.IO.ref : a ->{IO} Ref {IO} a + 213. io2.IO.removeDirectory.impl : Text ->{IO} Either Failure () - 203. io2.IO.removeFile.impl : Text ->{IO} Either Failure () - 204. io2.IO.renameDirectory.impl : Text + 214. io2.IO.removeFile.impl : Text ->{IO} Either Failure () + 215. io2.IO.renameDirectory.impl : Text -> Text ->{IO} Either Failure () - 205. io2.IO.renameFile.impl : Text + 216. io2.IO.renameFile.impl : Text -> Text ->{IO} Either Failure () - 206. io2.IO.seekHandle.impl : Handle + 217. io2.IO.seekHandle.impl : Handle -> SeekMode -> Int ->{IO} Either Failure () - 207. io2.IO.serverSocket.impl : Optional Text + 218. io2.IO.serverSocket.impl : Optional Text -> Text ->{IO} Either Failure Socket - 208. io2.IO.setBuffering.impl : Handle + 219. io2.IO.setBuffering.impl : Handle -> BufferMode ->{IO} Either Failure () - 209. io2.IO.setCurrentDirectory.impl : Text + 220. io2.IO.setCurrentDirectory.impl : Text ->{IO} Either Failure () - 210. io2.IO.socketAccept.impl : Socket + 221. io2.IO.socketAccept.impl : Socket ->{IO} Either Failure Socket - 211. io2.IO.socketPort.impl : Socket ->{IO} Either Failure Nat - 212. io2.IO.socketReceive.impl : Socket + 222. io2.IO.socketPort.impl : Socket ->{IO} Either Failure Nat + 223. io2.IO.socketReceive.impl : Socket -> Nat ->{IO} Either Failure Bytes - 213. io2.IO.socketSend.impl : Socket + 224. io2.IO.socketSend.impl : Socket -> Bytes ->{IO} Either Failure () - 214. io2.IO.stdHandle : StdHandle -> Handle - 215. io2.IO.systemTime.impl : '{IO} Either Failure Nat - 216. io2.IO.systemTimeMicroseconds : '{IO} Int - 217. unique type io2.IOError - 218. io2.IOError.AlreadyExists : IOError - 219. io2.IOError.EOF : IOError - 220. io2.IOError.IllegalOperation : IOError - 221. io2.IOError.NoSuchThing : IOError - 222. io2.IOError.PermissionDenied : IOError - 223. io2.IOError.ResourceBusy : IOError - 224. io2.IOError.ResourceExhausted : IOError - 225. io2.IOError.UserError : IOError - 226. unique type io2.IOFailure - 227. builtin type io2.MVar - 228. io2.MVar.isEmpty : MVar a ->{IO} Boolean - 229. io2.MVar.new : a ->{IO} MVar a - 230. io2.MVar.newEmpty : '{IO} MVar a - 231. io2.MVar.put.impl : MVar a -> a ->{IO} Either Failure () - 232. io2.MVar.read.impl : MVar a ->{IO} Either Failure a - 233. io2.MVar.swap.impl : MVar a -> a ->{IO} Either Failure a - 234. io2.MVar.take.impl : MVar a ->{IO} Either Failure a - 235. io2.MVar.tryPut.impl : MVar a + 225. io2.IO.stdHandle : StdHandle -> Handle + 226. io2.IO.systemTime.impl : '{IO} Either Failure Nat + 227. io2.IO.systemTimeMicroseconds : '{IO} Int + 228. unique type io2.IOError + 229. io2.IOError.AlreadyExists : IOError + 230. io2.IOError.EOF : IOError + 231. io2.IOError.IllegalOperation : IOError + 232. io2.IOError.NoSuchThing : IOError + 233. io2.IOError.PermissionDenied : IOError + 234. io2.IOError.ResourceBusy : IOError + 235. io2.IOError.ResourceExhausted : IOError + 236. io2.IOError.UserError : IOError + 237. unique type io2.IOFailure + 238. builtin type io2.MVar + 239. io2.MVar.isEmpty : MVar a ->{IO} Boolean + 240. io2.MVar.new : a ->{IO} MVar a + 241. io2.MVar.newEmpty : '{IO} MVar a + 242. io2.MVar.put.impl : MVar a -> a ->{IO} Either Failure () + 243. io2.MVar.read.impl : MVar a ->{IO} Either Failure a + 244. io2.MVar.swap.impl : MVar a -> a ->{IO} Either Failure a + 245. io2.MVar.take.impl : MVar a ->{IO} Either Failure a + 246. io2.MVar.tryPut.impl : MVar a -> a ->{IO} Either Failure Boolean - 236. io2.MVar.tryRead.impl : MVar a + 247. io2.MVar.tryRead.impl : MVar a ->{IO} Either Failure (Optional a) - 237. io2.MVar.tryTake : MVar a ->{IO} Optional a - 238. unique type io2.SeekMode - 239. io2.SeekMode.AbsoluteSeek : SeekMode - 240. io2.SeekMode.RelativeSeek : SeekMode - 241. io2.SeekMode.SeekFromEnd : SeekMode - 242. builtin type io2.Socket - 243. unique type io2.StdHandle - 244. io2.StdHandle.StdErr : StdHandle - 245. io2.StdHandle.StdIn : StdHandle - 246. io2.StdHandle.StdOut : StdHandle - 247. builtin type io2.STM - 248. io2.STM.atomically : '{STM} a ->{IO} a - 249. io2.STM.retry : '{STM} a - 250. builtin type io2.ThreadId - 251. builtin type io2.Tls - 252. builtin type io2.Tls.Cipher - 253. builtin type io2.Tls.ClientConfig - 254. io2.Tls.ClientConfig.certificates.set : [SignedCert] + 248. io2.MVar.tryTake : MVar a ->{IO} Optional a + 249. unique type io2.SeekMode + 250. io2.SeekMode.AbsoluteSeek : SeekMode + 251. io2.SeekMode.RelativeSeek : SeekMode + 252. io2.SeekMode.SeekFromEnd : SeekMode + 253. builtin type io2.Socket + 254. unique type io2.StdHandle + 255. io2.StdHandle.StdErr : StdHandle + 256. io2.StdHandle.StdIn : StdHandle + 257. io2.StdHandle.StdOut : StdHandle + 258. builtin type io2.STM + 259. io2.STM.atomically : '{STM} a ->{IO} a + 260. io2.STM.retry : '{STM} a + 261. builtin type io2.ThreadId + 262. builtin type io2.Tls + 263. builtin type io2.Tls.Cipher + 264. builtin type io2.Tls.ClientConfig + 265. io2.Tls.ClientConfig.certificates.set : [SignedCert] -> ClientConfig -> ClientConfig - 255. io2.TLS.ClientConfig.ciphers.set : [Cipher] + 266. io2.TLS.ClientConfig.ciphers.set : [Cipher] -> ClientConfig -> ClientConfig - 256. io2.Tls.ClientConfig.default : Text + 267. io2.Tls.ClientConfig.default : Text -> Bytes -> ClientConfig - 257. io2.Tls.ClientConfig.versions.set : [Version] + 268. io2.Tls.ClientConfig.versions.set : [Version] -> ClientConfig -> ClientConfig - 258. io2.Tls.decodeCert.impl : Bytes + 269. io2.Tls.decodeCert.impl : Bytes -> Either Failure SignedCert - 259. io2.Tls.decodePrivateKey : Bytes -> [PrivateKey] - 260. io2.Tls.encodeCert : SignedCert -> Bytes - 261. io2.Tls.encodePrivateKey : PrivateKey -> Bytes - 262. io2.Tls.handshake.impl : Tls ->{IO} Either Failure () - 263. io2.Tls.newClient.impl : ClientConfig + 270. io2.Tls.decodePrivateKey : Bytes -> [PrivateKey] + 271. io2.Tls.encodeCert : SignedCert -> Bytes + 272. io2.Tls.encodePrivateKey : PrivateKey -> Bytes + 273. io2.Tls.handshake.impl : Tls ->{IO} Either Failure () + 274. io2.Tls.newClient.impl : ClientConfig -> Socket ->{IO} Either Failure Tls - 264. io2.Tls.newServer.impl : ServerConfig + 275. io2.Tls.newServer.impl : ServerConfig -> Socket ->{IO} Either Failure Tls - 265. builtin type io2.Tls.PrivateKey - 266. io2.Tls.receive.impl : Tls ->{IO} Either Failure Bytes - 267. io2.Tls.send.impl : Tls -> Bytes ->{IO} Either Failure () - 268. builtin type io2.Tls.ServerConfig - 269. io2.Tls.ServerConfig.certificates.set : [SignedCert] + 276. builtin type io2.Tls.PrivateKey + 277. io2.Tls.receive.impl : Tls ->{IO} Either Failure Bytes + 278. io2.Tls.send.impl : Tls -> Bytes ->{IO} Either Failure () + 279. builtin type io2.Tls.ServerConfig + 280. io2.Tls.ServerConfig.certificates.set : [SignedCert] -> ServerConfig -> ServerConfig - 270. io2.Tls.ServerConfig.ciphers.set : [Cipher] + 281. io2.Tls.ServerConfig.ciphers.set : [Cipher] -> ServerConfig -> ServerConfig - 271. io2.Tls.ServerConfig.default : [SignedCert] + 282. io2.Tls.ServerConfig.default : [SignedCert] -> PrivateKey -> ServerConfig - 272. io2.Tls.ServerConfig.versions.set : [Version] + 283. io2.Tls.ServerConfig.versions.set : [Version] -> ServerConfig -> ServerConfig - 273. builtin type io2.Tls.SignedCert - 274. io2.Tls.terminate.impl : Tls ->{IO} Either Failure () - 275. builtin type io2.Tls.Version - 276. unique type io2.TlsFailure - 277. builtin type io2.TVar - 278. io2.TVar.new : a ->{STM} TVar a - 279. io2.TVar.newIO : a ->{IO} TVar a - 280. io2.TVar.read : TVar a ->{STM} a - 281. io2.TVar.readIO : TVar a ->{IO} a - 282. io2.TVar.swap : TVar a -> a ->{STM} a - 283. io2.TVar.write : TVar a -> a ->{STM} () - 284. io2.validateSandboxed : [Term] -> a -> Boolean - 285. unique type IsPropagated - 286. IsPropagated.IsPropagated : IsPropagated - 287. unique type IsTest - 288. IsTest.IsTest : IsTest - 289. unique type Link - 290. builtin type Link.Term - 291. Link.Term : Term -> Link - 292. Link.Term.toText : Term -> Text - 293. builtin type Link.Type - 294. Link.Type : Type -> Link - 295. builtin type List - 296. List.++ : [a] -> [a] -> [a] - 297. List.+: : a -> [a] -> [a] - 298. List.:+ : [a] -> a -> [a] - 299. List.at : Nat -> [a] -> Optional a - 300. List.cons : a -> [a] -> [a] - 301. List.drop : Nat -> [a] -> [a] - 302. List.empty : [a] - 303. List.size : [a] -> Nat - 304. List.snoc : [a] -> a -> [a] - 305. List.take : Nat -> [a] -> [a] - 306. metadata.isPropagated : IsPropagated - 307. metadata.isTest : IsTest - 308. builtin type Nat - 309. Nat.* : Nat -> Nat -> Nat - 310. Nat.+ : Nat -> Nat -> Nat - 311. Nat./ : Nat -> Nat -> Nat - 312. Nat.and : Nat -> Nat -> Nat - 313. Nat.complement : Nat -> Nat - 314. Nat.drop : Nat -> Nat -> Nat - 315. Nat.eq : Nat -> Nat -> Boolean - 316. Nat.fromText : Text -> Optional Nat - 317. Nat.gt : Nat -> Nat -> Boolean - 318. Nat.gteq : Nat -> Nat -> Boolean - 319. Nat.increment : Nat -> Nat - 320. Nat.isEven : Nat -> Boolean - 321. Nat.isOdd : Nat -> Boolean - 322. Nat.leadingZeros : Nat -> Nat - 323. Nat.lt : Nat -> Nat -> Boolean - 324. Nat.lteq : Nat -> Nat -> Boolean - 325. Nat.mod : Nat -> Nat -> Nat - 326. Nat.or : Nat -> Nat -> Nat - 327. Nat.popCount : Nat -> Nat - 328. Nat.pow : Nat -> Nat -> Nat - 329. Nat.shiftLeft : Nat -> Nat -> Nat - 330. Nat.shiftRight : Nat -> Nat -> Nat - 331. Nat.sub : Nat -> Nat -> Int - 332. Nat.toFloat : Nat -> Float - 333. Nat.toInt : Nat -> Int - 334. Nat.toText : Nat -> Text - 335. Nat.trailingZeros : Nat -> Nat - 336. Nat.xor : Nat -> Nat -> Nat - 337. structural type Optional a - 338. Optional.None : Optional a - 339. Optional.Some : a -> Optional a - 340. builtin type Ref - 341. Ref.read : Ref g a ->{g} a - 342. Ref.write : Ref g a -> a ->{g} () - 343. builtin type Request - 344. builtin type Scope - 345. Scope.ref : a ->{Scope s} Ref {Scope s} a - 346. Scope.run : (∀ s. '{g, Scope s} r) ->{g} r - 347. structural type SeqView a b - 348. SeqView.VElem : a -> b -> SeqView a b - 349. SeqView.VEmpty : SeqView a b - 350. Socket.toText : Socket -> Text - 351. unique type Test.Result - 352. Test.Result.Fail : Text -> Result - 353. Test.Result.Ok : Text -> Result - 354. builtin type Text - 355. Text.!= : Text -> Text -> Boolean - 356. Text.++ : Text -> Text -> Text - 357. Text.drop : Nat -> Text -> Text - 358. Text.empty : Text - 359. Text.eq : Text -> Text -> Boolean - 360. Text.fromCharList : [Char] -> Text - 361. Text.fromUtf8.impl : Bytes -> Either Failure Text - 362. Text.gt : Text -> Text -> Boolean - 363. Text.gteq : Text -> Text -> Boolean - 364. Text.lt : Text -> Text -> Boolean - 365. Text.lteq : Text -> Text -> Boolean - 366. Text.repeat : Nat -> Text -> Text - 367. Text.size : Text -> Nat - 368. Text.take : Nat -> Text -> Text - 369. Text.toCharList : Text -> [Char] - 370. Text.toUtf8 : Text -> Bytes - 371. Text.uncons : Text -> Optional (Char, Text) - 372. Text.unsnoc : Text -> Optional (Text, Char) - 373. ThreadId.toText : ThreadId -> Text - 374. todo : a -> b - 375. structural type Tuple a b - 376. Tuple.Cons : a -> b -> Tuple a b - 377. structural type Unit - 378. Unit.Unit : () - 379. Universal.< : a -> a -> Boolean - 380. Universal.<= : a -> a -> Boolean - 381. Universal.== : a -> a -> Boolean - 382. Universal.> : a -> a -> Boolean - 383. Universal.>= : a -> a -> Boolean - 384. Universal.compare : a -> a -> Int - 385. unsafe.coerceAbilities : (a ->{e1} b) -> a ->{e2} b - 386. builtin type Value - 387. Value.dependencies : Value -> [Term] - 388. Value.deserialize : Bytes -> Either Text Value - 389. Value.load : Value ->{IO} Either [Term] a - 390. Value.serialize : Value -> Bytes - 391. Value.value : a -> Value + 284. builtin type io2.Tls.SignedCert + 285. io2.Tls.terminate.impl : Tls ->{IO} Either Failure () + 286. builtin type io2.Tls.Version + 287. unique type io2.TlsFailure + 288. builtin type io2.TVar + 289. io2.TVar.new : a ->{STM} TVar a + 290. io2.TVar.newIO : a ->{IO} TVar a + 291. io2.TVar.read : TVar a ->{STM} a + 292. io2.TVar.readIO : TVar a ->{IO} a + 293. io2.TVar.swap : TVar a -> a ->{STM} a + 294. io2.TVar.write : TVar a -> a ->{STM} () + 295. io2.validateSandboxed : [Term] -> a -> Boolean + 296. unique type IsPropagated + 297. IsPropagated.IsPropagated : IsPropagated + 298. unique type IsTest + 299. IsTest.IsTest : IsTest + 300. unique type Link + 301. builtin type Link.Term + 302. Link.Term : Term -> Link + 303. Link.Term.toText : Term -> Text + 304. builtin type Link.Type + 305. Link.Type : Type -> Link + 306. builtin type List + 307. List.++ : [a] -> [a] -> [a] + 308. List.+: : a -> [a] -> [a] + 309. List.:+ : [a] -> a -> [a] + 310. List.at : Nat -> [a] -> Optional a + 311. List.cons : a -> [a] -> [a] + 312. List.drop : Nat -> [a] -> [a] + 313. List.empty : [a] + 314. List.size : [a] -> Nat + 315. List.snoc : [a] -> a -> [a] + 316. List.take : Nat -> [a] -> [a] + 317. metadata.isPropagated : IsPropagated + 318. metadata.isTest : IsTest + 319. builtin type MutableArray + 320. MutableArray.freeze! : MutableArray g a + ->{g} ImmutableArray a + 321. MutableArray.read : MutableArray g a + -> Nat + ->{g, Exception} a + 322. MutableArray.write : MutableArray g a + -> Nat + -> a + ->{g, Exception} () + 323. builtin type MutableByteArray + 324. MutableByteArray.freeze! : ImmutableByteArray g + ->{g} ImmutableByteArray + 325. MutableByteArray.read16 : ImmutableByteArray g + -> Nat + ->{g, Exception} Nat + 326. MutableByteArray.read32 : ImmutableByteArray g + -> Nat + ->{g, Exception} Nat + 327. MutableByteArray.read64 : ImmutableByteArray g + -> Nat + ->{g, Exception} Nat + 328. MutableByteArray.read8 : ImmutableByteArray g + -> Nat + ->{g, Exception} Nat + 329. MutableByteArray.write16 : ImmutableByteArray g + -> Nat + -> Nat + ->{g, Exception} () + 330. MutableByteArray.write32 : ImmutableByteArray g + -> Nat + -> Nat + ->{g, Exception} () + 331. MutableByteArray.write64 : ImmutableByteArray g + -> Nat + -> Nat + ->{g, Exception} () + 332. MutableByteArray.write8 : ImmutableByteArray g + -> Nat + -> Nat + ->{g, Exception} () + 333. builtin type Nat + 334. Nat.* : Nat -> Nat -> Nat + 335. Nat.+ : Nat -> Nat -> Nat + 336. Nat./ : Nat -> Nat -> Nat + 337. Nat.and : Nat -> Nat -> Nat + 338. Nat.complement : Nat -> Nat + 339. Nat.drop : Nat -> Nat -> Nat + 340. Nat.eq : Nat -> Nat -> Boolean + 341. Nat.fromText : Text -> Optional Nat + 342. Nat.gt : Nat -> Nat -> Boolean + 343. Nat.gteq : Nat -> Nat -> Boolean + 344. Nat.increment : Nat -> Nat + 345. Nat.isEven : Nat -> Boolean + 346. Nat.isOdd : Nat -> Boolean + 347. Nat.leadingZeros : Nat -> Nat + 348. Nat.lt : Nat -> Nat -> Boolean + 349. Nat.lteq : Nat -> Nat -> Boolean + 350. Nat.mod : Nat -> Nat -> Nat + 351. Nat.or : Nat -> Nat -> Nat + 352. Nat.popCount : Nat -> Nat + 353. Nat.pow : Nat -> Nat -> Nat + 354. Nat.shiftLeft : Nat -> Nat -> Nat + 355. Nat.shiftRight : Nat -> Nat -> Nat + 356. Nat.sub : Nat -> Nat -> Int + 357. Nat.toFloat : Nat -> Float + 358. Nat.toInt : Nat -> Int + 359. Nat.toText : Nat -> Text + 360. Nat.trailingZeros : Nat -> Nat + 361. Nat.xor : Nat -> Nat -> Nat + 362. structural type Optional a + 363. Optional.None : Optional a + 364. Optional.Some : a -> Optional a + 365. builtin type Ref + 366. Ref.read : Ref g a ->{g} a + 367. Ref.write : Ref g a -> a ->{g} () + 368. builtin type Request + 369. builtin type Scope + 370. Scope.arrayOf : a + -> Nat + ->{Scope s} MutableArray (Scope s) a + 371. Scope.bytearray : Nat + ->{Scope s} ImmutableByteArray + (Scope s) + 372. Scope.bytearrayOf : Nat + -> Nat + ->{Scope s} ImmutableByteArray + (Scope s) + 373. Scope.ref : a ->{Scope s} Ref {Scope s} a + 374. Scope.run : (∀ s. '{g, Scope s} r) ->{g} r + 375. structural type SeqView a b + 376. SeqView.VElem : a -> b -> SeqView a b + 377. SeqView.VEmpty : SeqView a b + 378. Socket.toText : Socket -> Text + 379. unique type Test.Result + 380. Test.Result.Fail : Text -> Result + 381. Test.Result.Ok : Text -> Result + 382. builtin type Text + 383. Text.!= : Text -> Text -> Boolean + 384. Text.++ : Text -> Text -> Text + 385. Text.drop : Nat -> Text -> Text + 386. Text.empty : Text + 387. Text.eq : Text -> Text -> Boolean + 388. Text.fromCharList : [Char] -> Text + 389. Text.fromUtf8.impl : Bytes -> Either Failure Text + 390. Text.gt : Text -> Text -> Boolean + 391. Text.gteq : Text -> Text -> Boolean + 392. Text.lt : Text -> Text -> Boolean + 393. Text.lteq : Text -> Text -> Boolean + 394. Text.repeat : Nat -> Text -> Text + 395. Text.size : Text -> Nat + 396. Text.take : Nat -> Text -> Text + 397. Text.toCharList : Text -> [Char] + 398. Text.toUtf8 : Text -> Bytes + 399. Text.uncons : Text -> Optional (Char, Text) + 400. Text.unsnoc : Text -> Optional (Text, Char) + 401. ThreadId.toText : ThreadId -> Text + 402. todo : a -> b + 403. structural type Tuple a b + 404. Tuple.Cons : a -> b -> Tuple a b + 405. structural type Unit + 406. Unit.Unit : () + 407. Universal.< : a -> a -> Boolean + 408. Universal.<= : a -> a -> Boolean + 409. Universal.== : a -> a -> Boolean + 410. Universal.> : a -> a -> Boolean + 411. Universal.>= : a -> a -> Boolean + 412. Universal.compare : a -> a -> Int + 413. unsafe.coerceAbilities : (a ->{e1} b) -> a ->{e2} b + 414. builtin type Value + 415. Value.dependencies : Value -> [Term] + 416. Value.deserialize : Bytes -> Either Text Value + 417. Value.load : Value ->{IO} Either [Term] a + 418. Value.serialize : Value -> Bytes + 419. Value.value : a -> Value .builtin> alias.many 94-104 .mylib diff --git a/unison-src/transcripts/builtins-merge.output.md b/unison-src/transcripts/builtins-merge.output.md index 719d7a5f5..df210f5ab 100644 --- a/unison-src/transcripts/builtins-merge.output.md +++ b/unison-src/transcripts/builtins-merge.output.md @@ -9,64 +9,73 @@ The `builtins.merge` command adds the known builtins to a `builtin` subnamespace .tmp> ls builtin - 1. Any (builtin type) - 2. Any/ (2 definitions) - 3. Boolean (builtin type) - 4. Boolean/ (1 definition) - 5. Bytes (builtin type) - 6. Bytes/ (33 definitions) - 7. Char (builtin type) - 8. Char/ (3 definitions) - 9. Code (builtin type) - 10. Code/ (8 definitions) - 11. Debug/ (2 definitions) - 12. Doc (type) - 13. Doc/ (6 definitions) - 14. Either (type) - 15. Either/ (2 definitions) - 16. Exception (type) - 17. Exception/ (1 definition) - 18. Float (builtin type) - 19. Float/ (38 definitions) - 20. Handle/ (1 definition) - 21. Int (builtin type) - 22. Int/ (31 definitions) - 23. IsPropagated (type) - 24. IsPropagated/ (1 definition) - 25. IsTest (type) - 26. IsTest/ (1 definition) - 27. Link (type) - 28. Link/ (5 definitions) - 29. List (builtin type) - 30. List/ (10 definitions) - 31. Nat (builtin type) - 32. Nat/ (28 definitions) - 33. Optional (type) - 34. Optional/ (2 definitions) - 35. Ref (builtin type) - 36. Ref/ (2 definitions) - 37. Request (builtin type) - 38. Scope (builtin type) - 39. Scope/ (2 definitions) - 40. SeqView (type) - 41. SeqView/ (2 definitions) - 42. Socket/ (1 definition) - 43. Test/ (3 definitions) - 44. Text (builtin type) - 45. Text/ (18 definitions) - 46. ThreadId/ (1 definition) - 47. Tuple (type) - 48. Tuple/ (1 definition) - 49. Unit (type) - 50. Unit/ (1 definition) - 51. Universal/ (6 definitions) - 52. Value (builtin type) - 53. Value/ (5 definitions) - 54. bug (a -> b) - 55. crypto/ (12 definitions) - 56. io2/ (133 definitions) - 57. metadata/ (2 definitions) - 58. todo (a -> b) - 59. unsafe/ (1 definition) + 1. Any (builtin type) + 2. Any/ (2 definitions) + 3. Boolean (builtin type) + 4. Boolean/ (1 definition) + 5. Bytes (builtin type) + 6. Bytes/ (33 definitions) + 7. Char (builtin type) + 8. Char/ (3 definitions) + 9. Code (builtin type) + 10. Code/ (8 definitions) + 11. Debug/ (2 definitions) + 12. Doc (type) + 13. Doc/ (6 definitions) + 14. Either (type) + 15. Either/ (2 definitions) + 16. Exception (type) + 17. Exception/ (1 definition) + 18. Float (builtin type) + 19. Float/ (38 definitions) + 20. Handle/ (1 definition) + 21. IO/ (3 definitions) + 22. ImmutableArray (builtin type) + 23. ImmutableArray/ (1 definition) + 24. ImmutableByteArray (builtin type) + 25. ImmutableByteArray/ (4 definitions) + 26. Int (builtin type) + 27. Int/ (31 definitions) + 28. IsPropagated (type) + 29. IsPropagated/ (1 definition) + 30. IsTest (type) + 31. IsTest/ (1 definition) + 32. Link (type) + 33. Link/ (5 definitions) + 34. List (builtin type) + 35. List/ (10 definitions) + 36. MutableArray (builtin type) + 37. MutableArray/ (3 definitions) + 38. MutableByteArray (builtin type) + 39. MutableByteArray/ (9 definitions) + 40. Nat (builtin type) + 41. Nat/ (28 definitions) + 42. Optional (type) + 43. Optional/ (2 definitions) + 44. Ref (builtin type) + 45. Ref/ (2 definitions) + 46. Request (builtin type) + 47. Scope (builtin type) + 48. Scope/ (5 definitions) + 49. SeqView (type) + 50. SeqView/ (2 definitions) + 51. Socket/ (1 definition) + 52. Test/ (3 definitions) + 53. Text (builtin type) + 54. Text/ (18 definitions) + 55. ThreadId/ (1 definition) + 56. Tuple (type) + 57. Tuple/ (1 definition) + 58. Unit (type) + 59. Unit/ (1 definition) + 60. Universal/ (6 definitions) + 61. Value (builtin type) + 62. Value/ (5 definitions) + 63. bug (a -> b) + 64. crypto/ (12 definitions) + 65. io2/ (134 definitions) + 66. metadata/ (2 definitions) + 67. todo (a -> b) + 68. unsafe/ (1 definition) ``` diff --git a/unison-src/transcripts/emptyCodebase.output.md b/unison-src/transcripts/emptyCodebase.output.md index b11235a4e..2bb4365a8 100644 --- a/unison-src/transcripts/emptyCodebase.output.md +++ b/unison-src/transcripts/emptyCodebase.output.md @@ -23,7 +23,7 @@ Technically, the definitions all exist, but they have no names. `builtins.merge` .foo> ls - 1. builtin/ (391 definitions) + 1. builtin/ (419 definitions) ``` And for a limited time, you can get even more builtin goodies: @@ -35,7 +35,7 @@ And for a limited time, you can get even more builtin goodies: .foo> ls - 1. builtin/ (577 definitions) + 1. builtin/ (605 definitions) ``` More typically, you'd start out by pulling `base. diff --git a/unison-src/transcripts/merges.output.md b/unison-src/transcripts/merges.output.md index 09685e42b..6146191c2 100644 --- a/unison-src/transcripts/merges.output.md +++ b/unison-src/transcripts/merges.output.md @@ -121,13 +121,13 @@ We can also delete the fork if we're done with it. (Don't worry, it's still in t Note: The most recent namespace hash is immediately below this message. - ⊙ 1. #1q6g6u3m73 + ⊙ 1. #1s8a7bk9ta - Deletes: feature1.y - ⊙ 2. #9e4kqo72l2 + ⊙ 2. #1c6m7928vs + Adds / updates: @@ -138,26 +138,26 @@ We can also delete the fork if we're done with it. (Don't worry, it's still in t Original name New name(s) feature1.y master.y - ⊙ 3. #n59irrs1fe + ⊙ 3. #j0qoj3r276 + Adds / updates: feature1.y - ⊙ 4. #7qstntsn5f + ⊙ 4. #h3kqn9af5i > Moves: Original name New name x master.x - ⊙ 5. #4360t4806a + ⊙ 5. #argto4qqhg + Adds / updates: x - □ 6. #n38tt1aodo (start of history) + □ 6. #ou466aob20 (start of history) ``` To resurrect an old version of a namespace, you can learn its hash via the `history` command, then use `fork #namespacehash .newname`. diff --git a/unison-src/transcripts/name-selection.output.md b/unison-src/transcripts/name-selection.output.md index d8cb9c264..e60359ca5 100644 --- a/unison-src/transcripts/name-selection.output.md +++ b/unison-src/transcripts/name-selection.output.md @@ -93,986 +93,1098 @@ d = c + 10 Added definitions: 7. builtin type builtin.Any - 8. builtin type builtin.Boolean - 9. unique type builtin.io2.BufferMode - 10. builtin type builtin.Bytes - 11. builtin type builtin.Char - 12. builtin type builtin.io2.Tls.Cipher - 13. builtin type builtin.io2.Tls.ClientConfig - 14. builtin type builtin.Code - 15. unique type builtin.Doc - 16. structural type builtin.Either a b - 17. structural ability builtin.Exception - 18. unique type builtin.io2.Failure - 19. unique type builtin.io2.FileMode - 20. builtin type builtin.Float - 21. builtin type builtin.io2.Handle - 22. builtin type builtin.crypto.HashAlgorithm - 23. builtin ability builtin.io2.IO - 24. unique type builtin.io2.IOError - 25. unique type builtin.io2.IOFailure - 26. builtin type builtin.Int - 27. unique type builtin.IsPropagated - 28. unique type builtin.IsTest - 29. unique type builtin.Link - 30. builtin type builtin.List - 31. builtin type builtin.io2.MVar - 32. builtin type builtin.Nat - 33. structural type builtin.Optional a - 34. builtin type builtin.io2.Tls.PrivateKey - 35. builtin type builtin.Ref - 36. builtin type builtin.Request - 37. unique type builtin.Test.Result - 38. builtin ability builtin.io2.STM - 39. builtin ability builtin.Scope - 40. unique type builtin.io2.SeekMode - 41. structural type builtin.SeqView a b - 42. builtin type builtin.io2.Tls.ServerConfig - 43. builtin type builtin.io2.Tls.SignedCert - 44. builtin type builtin.io2.Socket - 45. unique type builtin.io2.StdHandle - 46. builtin type builtin.io2.TVar - 47. builtin type builtin.Link.Term - 48. builtin type builtin.Text - 49. builtin type builtin.io2.ThreadId - 50. builtin type builtin.io2.Clock.internals.TimeSpec - 51. builtin type builtin.io2.Tls - 52. unique type builtin.io2.TlsFailure - 53. structural type builtin.Tuple a b - 54. builtin type builtin.Link.Type - 55. structural type builtin.Unit - 56. builtin type builtin.Value - 57. builtin type builtin.io2.Tls.Version - 58. builtin.io2.SeekMode.AbsoluteSeek : SeekMode - 59. builtin.io2.IOError.AlreadyExists : IOError - 60. builtin.io2.FileMode.Append : FileMode - 61. builtin.Doc.Blob : Text + 8. unique type builtin.io2.ArrayFailure + 9. builtin type builtin.Boolean + 10. unique type builtin.io2.BufferMode + 11. builtin type builtin.Bytes + 12. builtin type builtin.Char + 13. builtin type builtin.io2.Tls.Cipher + 14. builtin type builtin.io2.Tls.ClientConfig + 15. builtin type builtin.Code + 16. unique type builtin.Doc + 17. structural type builtin.Either a b + 18. structural ability builtin.Exception + 19. unique type builtin.io2.Failure + 20. unique type builtin.io2.FileMode + 21. builtin type builtin.Float + 22. builtin type builtin.io2.Handle + 23. builtin type builtin.crypto.HashAlgorithm + 24. builtin ability builtin.io2.IO + 25. unique type builtin.io2.IOError + 26. unique type builtin.io2.IOFailure + 27. builtin type builtin.ImmutableArray + 28. builtin type builtin.ImmutableByteArray + 29. builtin type builtin.Int + 30. unique type builtin.IsPropagated + 31. unique type builtin.IsTest + 32. unique type builtin.Link + 33. builtin type builtin.List + 34. builtin type builtin.io2.MVar + 35. builtin type builtin.MutableArray + 36. builtin type builtin.MutableByteArray + 37. builtin type builtin.Nat + 38. structural type builtin.Optional a + 39. builtin type builtin.io2.Tls.PrivateKey + 40. builtin type builtin.Ref + 41. builtin type builtin.Request + 42. unique type builtin.Test.Result + 43. builtin ability builtin.io2.STM + 44. builtin ability builtin.Scope + 45. unique type builtin.io2.SeekMode + 46. structural type builtin.SeqView a b + 47. builtin type builtin.io2.Tls.ServerConfig + 48. builtin type builtin.io2.Tls.SignedCert + 49. builtin type builtin.io2.Socket + 50. unique type builtin.io2.StdHandle + 51. builtin type builtin.io2.TVar + 52. builtin type builtin.Link.Term + 53. builtin type builtin.Text + 54. builtin type builtin.io2.ThreadId + 55. builtin type builtin.io2.Clock.internals.TimeSpec + 56. builtin type builtin.io2.Tls + 57. unique type builtin.io2.TlsFailure + 58. structural type builtin.Tuple a b + 59. builtin type builtin.Link.Type + 60. structural type builtin.Unit + 61. builtin type builtin.Value + 62. builtin type builtin.io2.Tls.Version + 63. builtin.io2.SeekMode.AbsoluteSeek : SeekMode + 64. builtin.io2.IOError.AlreadyExists : IOError + 65. builtin.io2.FileMode.Append : FileMode + 66. builtin.Doc.Blob : Text -> Doc - 62. builtin.io2.BufferMode.BlockBuffering : BufferMode - 63. builtin.Tuple.Cons : a + 67. builtin.io2.BufferMode.BlockBuffering : BufferMode + 68. builtin.Tuple.Cons : a -> b -> Tuple a b - 64. builtin.io2.IOError.EOF : IOError - 65. builtin.Doc.Evaluate : Term + 69. builtin.io2.IOError.EOF : IOError + 70. builtin.Doc.Evaluate : Term -> Doc - 66. builtin.Test.Result.Fail : Text + 71. builtin.Test.Result.Fail : Text -> Result - 67. builtin.io2.Failure.Failure : Type + 72. builtin.io2.Failure.Failure : Type -> Text -> Any -> Failure - 68. builtin.io2.IOError.IllegalOperation : IOError - 69. builtin.IsPropagated.IsPropagated : IsPropagated - 70. builtin.IsTest.IsTest : IsTest - 71. builtin.Doc.Join : [Doc] + 73. builtin.io2.IOError.IllegalOperation : IOError + 74. builtin.IsPropagated.IsPropagated : IsPropagated + 75. builtin.IsTest.IsTest : IsTest + 76. builtin.Doc.Join : [Doc] -> Doc - 72. builtin.Either.Left : a + 77. builtin.Either.Left : a -> Either a b - 73. builtin.io2.BufferMode.LineBuffering : BufferMode - 74. builtin.Doc.Link : Link + 78. builtin.io2.BufferMode.LineBuffering : BufferMode + 79. builtin.Doc.Link : Link -> Doc - 75. builtin.io2.BufferMode.NoBuffering : BufferMode - 76. builtin.io2.IOError.NoSuchThing : IOError - 77. builtin.Optional.None : Optional + 80. builtin.io2.BufferMode.NoBuffering : BufferMode + 81. builtin.io2.IOError.NoSuchThing : IOError + 82. builtin.Optional.None : Optional a - 78. builtin.Test.Result.Ok : Text + 83. builtin.Test.Result.Ok : Text -> Result - 79. builtin.io2.IOError.PermissionDenied : IOError - 80. builtin.io2.FileMode.Read : FileMode - 81. builtin.io2.FileMode.ReadWrite : FileMode - 82. builtin.io2.SeekMode.RelativeSeek : SeekMode - 83. builtin.io2.IOError.ResourceBusy : IOError - 84. builtin.io2.IOError.ResourceExhausted : IOError - 85. builtin.Either.Right : b + 84. builtin.io2.IOError.PermissionDenied : IOError + 85. builtin.io2.FileMode.Read : FileMode + 86. builtin.io2.FileMode.ReadWrite : FileMode + 87. builtin.io2.SeekMode.RelativeSeek : SeekMode + 88. builtin.io2.IOError.ResourceBusy : IOError + 89. builtin.io2.IOError.ResourceExhausted : IOError + 90. builtin.Either.Right : b -> Either a b - 86. builtin.io2.SeekMode.SeekFromEnd : SeekMode - 87. builtin.Doc.Signature : Term + 91. builtin.io2.SeekMode.SeekFromEnd : SeekMode + 92. builtin.Doc.Signature : Term -> Doc - 88. builtin.io2.BufferMode.SizedBlockBuffering : Nat + 93. builtin.io2.BufferMode.SizedBlockBuffering : Nat -> BufferMode - 89. builtin.Optional.Some : a + 94. builtin.Optional.Some : a -> Optional a - 90. builtin.Doc.Source : Link + 95. builtin.Doc.Source : Link -> Doc - 91. builtin.io2.StdHandle.StdErr : StdHandle - 92. builtin.io2.StdHandle.StdIn : StdHandle - 93. builtin.io2.StdHandle.StdOut : StdHandle - 94. builtin.Link.Term : Term + 96. builtin.io2.StdHandle.StdErr : StdHandle + 97. builtin.io2.StdHandle.StdIn : StdHandle + 98. builtin.io2.StdHandle.StdOut : StdHandle + 99. builtin.Link.Term : Term -> Link - 95. builtin.Link.Type : Type + 100. builtin.Link.Type : Type -> Link - 96. builtin.Unit.Unit : () - 97. builtin.io2.IOError.UserError : IOError - 98. builtin.SeqView.VElem : a + 101. builtin.Unit.Unit : () + 102. builtin.io2.IOError.UserError : IOError + 103. builtin.SeqView.VElem : a -> b -> SeqView a b - 99. builtin.SeqView.VEmpty : SeqView + 104. builtin.SeqView.VEmpty : SeqView a b - 100. builtin.io2.FileMode.Write : FileMode - 101. builtin.Exception.raise : Failure + 105. builtin.io2.FileMode.Write : FileMode + 106. builtin.Exception.raise : Failure ->{Exception} x - 102. builtin.Text.!= : Text + 107. builtin.Text.!= : Text -> Text -> Boolean - 103. builtin.Float.* : Float + 108. builtin.Float.* : Float -> Float -> Float - 104. builtin.Int.* : Int + 109. builtin.Int.* : Int -> Int -> Int - 105. builtin.Nat.* : Nat + 110. builtin.Nat.* : Nat -> Nat -> Nat - 106. builtin.Float.+ : Float + 111. builtin.Float.+ : Float -> Float -> Float - 107. builtin.Int.+ : Int + 112. builtin.Int.+ : Int -> Int -> Int - 108. builtin.Nat.+ : Nat + 113. builtin.Nat.+ : Nat -> Nat -> Nat - 109. builtin.Bytes.++ : Bytes + 114. builtin.Bytes.++ : Bytes -> Bytes -> Bytes - 110. builtin.List.++ : [a] + 115. builtin.List.++ : [a] -> [a] -> [a] - 111. builtin.Text.++ : Text + 116. builtin.Text.++ : Text -> Text -> Text - 112. ┌ builtin.List.+: : a + 117. ┌ builtin.List.+: : a -> [a] -> [a] - 113. └ builtin.List.cons : a + 118. └ builtin.List.cons : a -> [a] -> [a] - 114. builtin.Float.- : Float + 119. builtin.Float.- : Float -> Float -> Float - 115. builtin.Int.- : Int + 120. builtin.Int.- : Int -> Int -> Int - 116. builtin.Float./ : Float + 121. builtin.Float./ : Float -> Float -> Float - 117. builtin.Int./ : Int + 122. builtin.Int./ : Int -> Int -> Int - 118. builtin.Nat./ : Nat + 123. builtin.Nat./ : Nat -> Nat -> Nat - 119. ┌ builtin.List.:+ : [a] + 124. ┌ builtin.List.:+ : [a] -> a -> [a] - 120. └ builtin.List.snoc : [a] + 125. └ builtin.List.snoc : [a] -> a -> [a] - 121. builtin.Universal.< : a + 126. builtin.Universal.< : a -> a -> Boolean - 122. builtin.Universal.<= : a + 127. builtin.Universal.<= : a -> a -> Boolean - 123. builtin.Universal.== : a + 128. builtin.Universal.== : a -> a -> Boolean - 124. builtin.Universal.> : a + 129. builtin.Universal.> : a -> a -> Boolean - 125. builtin.Universal.>= : a + 130. builtin.Universal.>= : a -> a -> Boolean - 126. builtin.Any.Any : a + 131. builtin.Any.Any : a -> Any - 127. builtin.crypto.HashAlgorithm.Blake2b_256 : HashAlgorithm - 128. builtin.crypto.HashAlgorithm.Blake2b_512 : HashAlgorithm - 129. builtin.crypto.HashAlgorithm.Blake2s_256 : HashAlgorithm - 130. builtin.crypto.HashAlgorithm.Sha2_256 : HashAlgorithm - 131. builtin.crypto.HashAlgorithm.Sha2_512 : HashAlgorithm - 132. builtin.crypto.HashAlgorithm.Sha3_256 : HashAlgorithm - 133. builtin.crypto.HashAlgorithm.Sha3_512 : HashAlgorithm - 134. builtin.Float.abs : Float + 132. builtin.crypto.HashAlgorithm.Blake2b_256 : HashAlgorithm + 133. builtin.crypto.HashAlgorithm.Blake2b_512 : HashAlgorithm + 134. builtin.crypto.HashAlgorithm.Blake2s_256 : HashAlgorithm + 135. builtin.crypto.HashAlgorithm.Sha2_256 : HashAlgorithm + 136. builtin.crypto.HashAlgorithm.Sha2_512 : HashAlgorithm + 137. builtin.crypto.HashAlgorithm.Sha3_256 : HashAlgorithm + 138. builtin.crypto.HashAlgorithm.Sha3_512 : HashAlgorithm + 139. builtin.Float.abs : Float -> Float - 135. builtin.Float.acos : Float + 140. builtin.Float.acos : Float -> Float - 136. builtin.Float.acosh : Float + 141. builtin.Float.acosh : Float -> Float - 137. builtin.Int.and : Int + 142. builtin.Int.and : Int -> Int -> Int - 138. builtin.Nat.and : Nat + 143. builtin.Nat.and : Nat -> Nat -> Nat - 139. builtin.Float.asin : Float + 144. builtin.IO.arrayOf : a + -> Nat + ->{IO} MutableArray + {IO} a + 145. builtin.Scope.arrayOf : a + -> Nat + ->{Scope + s} MutableArray + (Scope + s) + a + 146. builtin.Float.asin : Float -> Float - 140. builtin.Float.asinh : Float + 147. builtin.Float.asinh : Float -> Float - 141. builtin.Bytes.at : Nat + 148. builtin.Bytes.at : Nat -> Bytes -> Optional Nat - 142. builtin.List.at : Nat + 149. builtin.List.at : Nat -> [a] -> Optional a - 143. builtin.Float.atan : Float + 150. builtin.Float.atan : Float -> Float - 144. builtin.Float.atan2 : Float + 151. builtin.Float.atan2 : Float -> Float -> Float - 145. builtin.Float.atanh : Float + 152. builtin.Float.atanh : Float -> Float - 146. builtin.io2.STM.atomically : '{STM} a + 153. builtin.io2.STM.atomically : '{STM} a ->{IO} a - 147. builtin.bug : a -> b - 148. ┌ c#gjmq673r1v : Nat - 149. └ aaaa.tooManySegments : Nat - 150. builtin.Code.cache_ : [( Term, + 154. builtin.bug : a -> b + 155. builtin.IO.bytearray : Nat + ->{IO} ImmutableByteArray + {IO} + 156. builtin.Scope.bytearray : Nat + ->{Scope + s} ImmutableByteArray + (Scope + s) + 157. builtin.IO.bytearrayOf : Nat + -> Nat + ->{IO} ImmutableByteArray + {IO} + 158. builtin.Scope.bytearrayOf : Nat + -> Nat + ->{Scope + s} ImmutableByteArray + (Scope + s) + 159. ┌ c#gjmq673r1v : Nat + 160. └ aaaa.tooManySegments : Nat + 161. builtin.Code.cache_ : [( Term, Code)] ->{IO} [Term] - 151. builtin.Float.ceiling : Float + 162. builtin.Float.ceiling : Float -> Int - 152. builtin.unsafe.coerceAbilities : (a + 163. builtin.unsafe.coerceAbilities : (a ->{e1} b) -> a ->{e2} b - 153. builtin.Universal.compare : a + 164. builtin.Universal.compare : a -> a -> Int - 154. builtin.Int.complement : Int + 165. builtin.Int.complement : Int -> Int - 155. builtin.Nat.complement : Nat + 166. builtin.Nat.complement : Nat -> Nat - 156. builtin.Bytes.gzip.compress : Bytes + 167. builtin.Bytes.gzip.compress : Bytes -> Bytes - 157. builtin.Bytes.zlib.compress : Bytes + 168. builtin.Bytes.zlib.compress : Bytes -> Bytes - 158. builtin.Float.cos : Float + 169. builtin.Float.cos : Float -> Float - 159. builtin.Float.cosh : Float + 170. builtin.Float.cosh : Float -> Float - 160. builtin.Bytes.decodeNat16be : Bytes + 171. builtin.Bytes.decodeNat16be : Bytes -> Optional ( Nat, Bytes) - 161. builtin.Bytes.decodeNat16le : Bytes + 172. builtin.Bytes.decodeNat16le : Bytes -> Optional ( Nat, Bytes) - 162. builtin.Bytes.decodeNat32be : Bytes + 173. builtin.Bytes.decodeNat32be : Bytes -> Optional ( Nat, Bytes) - 163. builtin.Bytes.decodeNat32le : Bytes + 174. builtin.Bytes.decodeNat32le : Bytes -> Optional ( Nat, Bytes) - 164. builtin.Bytes.decodeNat64be : Bytes + 175. builtin.Bytes.decodeNat64be : Bytes -> Optional ( Nat, Bytes) - 165. builtin.Bytes.decodeNat64le : Bytes + 176. builtin.Bytes.decodeNat64le : Bytes -> Optional ( Nat, Bytes) - 166. builtin.io2.Tls.decodePrivateKey : Bytes + 177. builtin.io2.Tls.decodePrivateKey : Bytes -> [PrivateKey] - 167. builtin.Bytes.gzip.decompress : Bytes + 178. builtin.Bytes.gzip.decompress : Bytes -> Either Text Bytes - 168. builtin.Bytes.zlib.decompress : Bytes + 179. builtin.Bytes.zlib.decompress : Bytes -> Either Text Bytes - 169. builtin.io2.Tls.ClientConfig.default : Text + 180. builtin.io2.Tls.ClientConfig.default : Text -> Bytes -> ClientConfig - 170. builtin.io2.Tls.ServerConfig.default : [SignedCert] + 181. builtin.io2.Tls.ServerConfig.default : [SignedCert] -> PrivateKey -> ServerConfig - 171. builtin.Code.dependencies : Code + 182. builtin.Code.dependencies : Code -> [Term] - 172. builtin.Value.dependencies : Value + 183. builtin.Value.dependencies : Value -> [Term] - 173. builtin.Code.deserialize : Bytes + 184. builtin.Code.deserialize : Bytes -> Either Text Code - 174. builtin.Value.deserialize : Bytes + 185. builtin.Value.deserialize : Bytes -> Either Text Value - 175. builtin.Code.display : Text + 186. builtin.Code.display : Text -> Code -> Text - 176. builtin.Bytes.drop : Nat + 187. builtin.Bytes.drop : Nat -> Bytes -> Bytes - 177. builtin.List.drop : Nat + 188. builtin.List.drop : Nat -> [a] -> [a] - 178. builtin.Nat.drop : Nat + 189. builtin.Nat.drop : Nat -> Nat -> Nat - 179. builtin.Text.drop : Nat + 190. builtin.Text.drop : Nat -> Text -> Text - 180. builtin.Bytes.empty : Bytes - 181. builtin.List.empty : [a] - 182. builtin.Text.empty : Text - 183. builtin.io2.Tls.encodeCert : SignedCert + 191. builtin.Bytes.empty : Bytes + 192. builtin.List.empty : [a] + 193. builtin.Text.empty : Text + 194. builtin.io2.Tls.encodeCert : SignedCert -> Bytes - 184. builtin.Bytes.encodeNat16be : Nat + 195. builtin.Bytes.encodeNat16be : Nat -> Bytes - 185. builtin.Bytes.encodeNat16le : Nat + 196. builtin.Bytes.encodeNat16le : Nat -> Bytes - 186. builtin.Bytes.encodeNat32be : Nat + 197. builtin.Bytes.encodeNat32be : Nat -> Bytes - 187. builtin.Bytes.encodeNat32le : Nat + 198. builtin.Bytes.encodeNat32le : Nat -> Bytes - 188. builtin.Bytes.encodeNat64be : Nat + 199. builtin.Bytes.encodeNat64be : Nat -> Bytes - 189. builtin.Bytes.encodeNat64le : Nat + 200. builtin.Bytes.encodeNat64le : Nat -> Bytes - 190. builtin.io2.Tls.encodePrivateKey : PrivateKey + 201. builtin.io2.Tls.encodePrivateKey : PrivateKey -> Bytes - 191. builtin.Float.eq : Float + 202. builtin.Float.eq : Float -> Float -> Boolean - 192. builtin.Int.eq : Int + 203. builtin.Int.eq : Int -> Int -> Boolean - 193. builtin.Nat.eq : Nat + 204. builtin.Nat.eq : Nat -> Nat -> Boolean - 194. builtin.Text.eq : Text + 205. builtin.Text.eq : Text -> Text -> Boolean - 195. builtin.Float.exp : Float + 206. builtin.Float.exp : Float -> Float - 196. builtin.Bytes.flatten : Bytes + 207. builtin.Bytes.flatten : Bytes -> Bytes - 197. builtin.Float.floor : Float + 208. builtin.Float.floor : Float -> Int - 198. builtin.io2.IO.forkComp : '{IO} a + 209. builtin.io2.IO.forkComp : '{IO} a ->{IO} ThreadId - 199. builtin.Bytes.fromBase16 : Bytes + 210. builtin.MutableArray.freeze! : MutableArray + g a + ->{g} ImmutableArray + a + 211. builtin.MutableByteArray.freeze! : ImmutableByteArray + g + ->{g} ImmutableByteArray + 212. builtin.Bytes.fromBase16 : Bytes -> Either Text Bytes - 200. builtin.Bytes.fromBase32 : Bytes + 213. builtin.Bytes.fromBase32 : Bytes -> Either Text Bytes - 201. builtin.Bytes.fromBase64 : Bytes + 214. builtin.Bytes.fromBase64 : Bytes -> Either Text Bytes - 202. builtin.Bytes.fromBase64UrlUnpadded : Bytes + 215. builtin.Bytes.fromBase64UrlUnpadded : Bytes -> Either Text Bytes - 203. builtin.Text.fromCharList : [Char] + 216. builtin.Text.fromCharList : [Char] -> Text - 204. builtin.Bytes.fromList : [Nat] + 217. builtin.Bytes.fromList : [Nat] -> Bytes - 205. builtin.Char.fromNat : Nat + 218. builtin.Char.fromNat : Nat -> Char - 206. builtin.Float.fromRepresentation : Nat + 219. builtin.Float.fromRepresentation : Nat -> Float - 207. builtin.Int.fromRepresentation : Nat + 220. builtin.Int.fromRepresentation : Nat -> Int - 208. builtin.Float.fromText : Text + 221. builtin.Float.fromText : Text -> Optional Float - 209. builtin.Int.fromText : Text + 222. builtin.Int.fromText : Text -> Optional Int - 210. builtin.Nat.fromText : Text + 223. builtin.Nat.fromText : Text -> Optional Nat - 211. builtin.Float.gt : Float + 224. builtin.Float.gt : Float -> Float -> Boolean - 212. builtin.Int.gt : Int + 225. builtin.Int.gt : Int -> Int -> Boolean - 213. builtin.Nat.gt : Nat + 226. builtin.Nat.gt : Nat -> Nat -> Boolean - 214. builtin.Text.gt : Text + 227. builtin.Text.gt : Text -> Text -> Boolean - 215. builtin.Float.gteq : Float + 228. builtin.Float.gteq : Float -> Float -> Boolean - 216. builtin.Int.gteq : Int + 229. builtin.Int.gteq : Int -> Int -> Boolean - 217. builtin.Nat.gteq : Nat + 230. builtin.Nat.gteq : Nat -> Nat -> Boolean - 218. builtin.Text.gteq : Text + 231. builtin.Text.gteq : Text -> Text -> Boolean - 219. builtin.crypto.hash : HashAlgorithm + 232. builtin.crypto.hash : HashAlgorithm -> a -> Bytes - 220. builtin.crypto.hashBytes : HashAlgorithm + 233. builtin.crypto.hashBytes : HashAlgorithm -> Bytes -> Bytes - 221. builtin.crypto.hmac : HashAlgorithm + 234. builtin.crypto.hmac : HashAlgorithm -> Bytes -> a -> Bytes - 222. builtin.crypto.hmacBytes : HashAlgorithm + 235. builtin.crypto.hmacBytes : HashAlgorithm -> Bytes -> Bytes -> Bytes - 223. builtin.io2.IO.clientSocket.impl : Text + 236. builtin.io2.IO.clientSocket.impl : Text -> Text ->{IO} Either Failure Socket - 224. builtin.io2.IO.closeFile.impl : Handle + 237. builtin.io2.IO.closeFile.impl : Handle ->{IO} Either Failure () - 225. builtin.io2.IO.closeSocket.impl : Socket + 238. builtin.io2.IO.closeSocket.impl : Socket ->{IO} Either Failure () - 226. builtin.io2.IO.createDirectory.impl : Text + 239. builtin.io2.IO.createDirectory.impl : Text ->{IO} Either Failure () - 227. builtin.io2.IO.createTempDirectory.impl : Text + 240. builtin.io2.IO.createTempDirectory.impl : Text ->{IO} Either Failure Text - 228. builtin.io2.Tls.decodeCert.impl : Bytes + 241. builtin.io2.Tls.decodeCert.impl : Bytes -> Either Failure SignedCert - 229. builtin.io2.IO.delay.impl : Nat + 242. builtin.io2.IO.delay.impl : Nat ->{IO} Either Failure () - 230. builtin.io2.IO.directoryContents.impl : Text + 243. builtin.io2.IO.directoryContents.impl : Text ->{IO} Either Failure [Text] - 231. builtin.io2.IO.fileExists.impl : Text + 244. builtin.io2.IO.fileExists.impl : Text ->{IO} Either Failure Boolean - 232. builtin.Text.fromUtf8.impl : Bytes + 245. builtin.Text.fromUtf8.impl : Bytes -> Either Failure Text - 233. builtin.io2.IO.getArgs.impl : '{IO} Either + 246. builtin.io2.IO.getArgs.impl : '{IO} Either Failure [Text] - 234. builtin.io2.IO.getBuffering.impl : Handle + 247. builtin.io2.IO.getBuffering.impl : Handle ->{IO} Either Failure BufferMode - 235. builtin.io2.IO.getBytes.impl : Handle + 248. builtin.io2.IO.getBytes.impl : Handle -> Nat ->{IO} Either Failure Bytes - 236. builtin.io2.IO.getCurrentDirectory.impl : '{IO} Either + 249. builtin.io2.IO.getCurrentDirectory.impl : '{IO} Either Failure Text - 237. builtin.io2.IO.getEnv.impl : Text + 250. builtin.io2.IO.getEnv.impl : Text ->{IO} Either Failure Text - 238. builtin.io2.IO.getFileSize.impl : Text + 251. builtin.io2.IO.getFileSize.impl : Text ->{IO} Either Failure Nat - 239. builtin.io2.IO.getFileTimestamp.impl : Text + 252. builtin.io2.IO.getFileTimestamp.impl : Text ->{IO} Either Failure Nat - 240. builtin.io2.IO.getLine.impl : Handle + 253. builtin.io2.IO.getLine.impl : Handle ->{IO} Either Failure Text - 241. builtin.io2.IO.getSomeBytes.impl : Handle + 254. builtin.io2.IO.getSomeBytes.impl : Handle -> Nat ->{IO} Either Failure Bytes - 242. builtin.io2.IO.getTempDirectory.impl : '{IO} Either + 255. builtin.io2.IO.getTempDirectory.impl : '{IO} Either Failure Text - 243. builtin.io2.IO.handlePosition.impl : Handle + 256. builtin.io2.IO.handlePosition.impl : Handle ->{IO} Either Failure Nat - 244. builtin.io2.Tls.handshake.impl : Tls + 257. builtin.io2.Tls.handshake.impl : Tls ->{IO} Either Failure () - 245. builtin.io2.IO.isDirectory.impl : Text + 258. builtin.io2.IO.isDirectory.impl : Text ->{IO} Either Failure Boolean - 246. builtin.io2.IO.isFileEOF.impl : Handle + 259. builtin.io2.IO.isFileEOF.impl : Handle ->{IO} Either Failure Boolean - 247. builtin.io2.IO.isFileOpen.impl : Handle + 260. builtin.io2.IO.isFileOpen.impl : Handle ->{IO} Either Failure Boolean - 248. builtin.io2.IO.isSeekable.impl : Handle + 261. builtin.io2.IO.isSeekable.impl : Handle ->{IO} Either Failure Boolean - 249. builtin.io2.IO.kill.impl : ThreadId + 262. builtin.io2.IO.kill.impl : ThreadId ->{IO} Either Failure () - 250. builtin.io2.IO.listen.impl : Socket + 263. builtin.io2.IO.listen.impl : Socket ->{IO} Either Failure () - 251. builtin.io2.Tls.newClient.impl : ClientConfig + 264. builtin.io2.Tls.newClient.impl : ClientConfig -> Socket ->{IO} Either Failure Tls - 252. builtin.io2.Tls.newServer.impl : ServerConfig + 265. builtin.io2.Tls.newServer.impl : ServerConfig -> Socket ->{IO} Either Failure Tls - 253. builtin.io2.IO.openFile.impl : Text + 266. builtin.io2.IO.openFile.impl : Text -> FileMode ->{IO} Either Failure Handle - 254. builtin.io2.MVar.put.impl : MVar a + 267. builtin.io2.MVar.put.impl : MVar a -> a ->{IO} Either Failure () - 255. builtin.io2.IO.putBytes.impl : Handle + 268. builtin.io2.IO.putBytes.impl : Handle -> Bytes ->{IO} Either Failure () - 256. builtin.io2.MVar.read.impl : MVar a + 269. builtin.io2.MVar.read.impl : MVar a ->{IO} Either Failure a - 257. builtin.io2.Tls.receive.impl : Tls + 270. builtin.io2.Tls.receive.impl : Tls ->{IO} Either Failure Bytes - 258. builtin.io2.IO.removeDirectory.impl : Text + 271. builtin.io2.IO.removeDirectory.impl : Text ->{IO} Either Failure () - 259. builtin.io2.IO.removeFile.impl : Text + 272. builtin.io2.IO.removeFile.impl : Text ->{IO} Either Failure () - 260. builtin.io2.IO.renameDirectory.impl : Text + 273. builtin.io2.IO.renameDirectory.impl : Text -> Text ->{IO} Either Failure () - 261. builtin.io2.IO.renameFile.impl : Text + 274. builtin.io2.IO.renameFile.impl : Text -> Text ->{IO} Either Failure () - 262. builtin.io2.IO.seekHandle.impl : Handle + 275. builtin.io2.IO.seekHandle.impl : Handle -> SeekMode -> Int ->{IO} Either Failure () - 263. builtin.io2.Tls.send.impl : Tls + 276. builtin.io2.Tls.send.impl : Tls -> Bytes ->{IO} Either Failure () - 264. builtin.io2.IO.serverSocket.impl : Optional + 277. builtin.io2.IO.serverSocket.impl : Optional Text -> Text ->{IO} Either Failure Socket - 265. builtin.io2.IO.setBuffering.impl : Handle + 278. builtin.io2.IO.setBuffering.impl : Handle -> BufferMode ->{IO} Either Failure () - 266. builtin.io2.IO.setCurrentDirectory.impl : Text + 279. builtin.io2.IO.setCurrentDirectory.impl : Text ->{IO} Either Failure () - 267. builtin.io2.IO.socketAccept.impl : Socket + 280. builtin.io2.IO.socketAccept.impl : Socket ->{IO} Either Failure Socket - 268. builtin.io2.IO.socketPort.impl : Socket + 281. builtin.io2.IO.socketPort.impl : Socket ->{IO} Either Failure Nat - 269. builtin.io2.IO.socketReceive.impl : Socket + 282. builtin.io2.IO.socketReceive.impl : Socket -> Nat ->{IO} Either Failure Bytes - 270. builtin.io2.IO.socketSend.impl : Socket + 283. builtin.io2.IO.socketSend.impl : Socket -> Bytes ->{IO} Either Failure () - 271. builtin.io2.MVar.swap.impl : MVar a + 284. builtin.io2.MVar.swap.impl : MVar a -> a ->{IO} Either Failure a - 272. builtin.io2.IO.systemTime.impl : '{IO} Either + 285. builtin.io2.IO.systemTime.impl : '{IO} Either Failure Nat - 273. builtin.io2.MVar.take.impl : MVar a + 286. builtin.io2.MVar.take.impl : MVar a ->{IO} Either Failure a - 274. builtin.io2.Tls.terminate.impl : Tls + 287. builtin.io2.Tls.terminate.impl : Tls ->{IO} Either Failure () - 275. builtin.io2.MVar.tryPut.impl : MVar a + 288. builtin.io2.MVar.tryPut.impl : MVar a -> a ->{IO} Either Failure Boolean - 276. builtin.io2.MVar.tryRead.impl : MVar a + 289. builtin.io2.MVar.tryRead.impl : MVar a ->{IO} Either Failure (Optional a) - 277. builtin.Int.increment : Int + 290. builtin.Int.increment : Int -> Int - 278. builtin.Nat.increment : Nat + 291. builtin.Nat.increment : Nat -> Nat - 279. builtin.io2.MVar.isEmpty : MVar a + 292. builtin.io2.MVar.isEmpty : MVar a ->{IO} Boolean - 280. builtin.Int.isEven : Int + 293. builtin.Int.isEven : Int -> Boolean - 281. builtin.Nat.isEven : Nat + 294. builtin.Nat.isEven : Nat -> Boolean - 282. builtin.Code.isMissing : Term + 295. builtin.Code.isMissing : Term ->{IO} Boolean - 283. builtin.Int.isOdd : Int + 296. builtin.Int.isOdd : Int -> Boolean - 284. builtin.Nat.isOdd : Nat + 297. builtin.Nat.isOdd : Nat -> Boolean - 285. builtin.metadata.isPropagated : IsPropagated - 286. builtin.metadata.isTest : IsTest - 287. builtin.Int.leadingZeros : Int + 298. builtin.metadata.isPropagated : IsPropagated + 299. builtin.metadata.isTest : IsTest + 300. builtin.Int.leadingZeros : Int -> Nat - 288. builtin.Nat.leadingZeros : Nat + 301. builtin.Nat.leadingZeros : Nat -> Nat - 289. builtin.Value.load : Value + 302. builtin.Value.load : Value ->{IO} Either [Term] a - 290. builtin.Float.log : Float + 303. builtin.Float.log : Float -> Float - 291. builtin.Float.logBase : Float + 304. builtin.Float.logBase : Float -> Float -> Float - 292. builtin.Code.lookup : Term + 305. builtin.Code.lookup : Term ->{IO} Optional Code - 293. builtin.Float.lt : Float + 306. builtin.Float.lt : Float -> Float -> Boolean - 294. builtin.Int.lt : Int + 307. builtin.Int.lt : Int -> Int -> Boolean - 295. builtin.Nat.lt : Nat + 308. builtin.Nat.lt : Nat -> Nat -> Boolean - 296. builtin.Text.lt : Text + 309. builtin.Text.lt : Text -> Text -> Boolean - 297. builtin.Float.lteq : Float + 310. builtin.Float.lteq : Float -> Float -> Boolean - 298. builtin.Int.lteq : Int + 311. builtin.Int.lteq : Int -> Int -> Boolean - 299. builtin.Nat.lteq : Nat + 312. builtin.Nat.lteq : Nat -> Nat -> Boolean - 300. builtin.Text.lteq : Text + 313. builtin.Text.lteq : Text -> Text -> Boolean - 301. builtin.Float.max : Float + 314. builtin.Float.max : Float -> Float -> Float - 302. builtin.Float.min : Float + 315. builtin.Float.min : Float -> Float -> Float - 303. builtin.Int.mod : Int + 316. builtin.Int.mod : Int -> Int -> Int - 304. builtin.Nat.mod : Nat + 317. builtin.Nat.mod : Nat -> Nat -> Nat - 305. builtin.io2.Clock.internals.monotonic : '{IO} Either + 318. builtin.io2.Clock.internals.monotonic : '{IO} Either Failure TimeSpec - 306. builtin.Int.negate : Int + 319. builtin.Int.negate : Int -> Int - 307. builtin.io2.MVar.new : a + 320. builtin.io2.MVar.new : a ->{IO} MVar a - 308. builtin.io2.TVar.new : a + 321. builtin.io2.TVar.new : a ->{STM} TVar a - 309. builtin.io2.MVar.newEmpty : '{IO} MVar + 322. builtin.io2.MVar.newEmpty : '{IO} MVar a - 310. builtin.io2.TVar.newIO : a + 323. builtin.io2.TVar.newIO : a ->{IO} TVar a - 311. builtin.Boolean.not : Boolean + 324. builtin.Boolean.not : Boolean -> Boolean - 312. builtin.io2.Clock.internals.nsec : TimeSpec + 325. builtin.io2.Clock.internals.nsec : TimeSpec -> Nat - 313. builtin.Int.or : Int + 326. builtin.Int.or : Int -> Int -> Int - 314. builtin.Nat.or : Nat + 327. builtin.Nat.or : Nat -> Nat -> Nat - 315. builtin.Int.popCount : Int + 328. builtin.Int.popCount : Int -> Nat - 316. builtin.Nat.popCount : Nat + 329. builtin.Nat.popCount : Nat -> Nat - 317. builtin.Float.pow : Float + 330. builtin.Float.pow : Float -> Float -> Float - 318. builtin.Int.pow : Int + 331. builtin.Int.pow : Int -> Nat -> Int - 319. builtin.Nat.pow : Nat + 332. builtin.Nat.pow : Nat -> Nat -> Nat - 320. builtin.io2.Clock.internals.processCPUTime : '{IO} Either + 333. builtin.io2.Clock.internals.processCPUTime : '{IO} Either Failure TimeSpec - 321. builtin.Ref.read : Ref g a + 334. builtin.ImmutableArray.read : ImmutableArray + a + -> Nat + ->{Exception} a + 335. builtin.MutableArray.read : MutableArray + g a + -> Nat + ->{g, + Exception} a + 336. builtin.Ref.read : Ref g a ->{g} a - 322. builtin.io2.TVar.read : TVar a + 337. builtin.io2.TVar.read : TVar a ->{STM} a - 323. builtin.io2.TVar.readIO : TVar a + 338. builtin.ImmutableByteArray.read16 : ImmutableByteArray + -> Nat + ->{Exception} Nat + 339. builtin.MutableByteArray.read16 : ImmutableByteArray + g + -> Nat + ->{g, + Exception} Nat + 340. builtin.ImmutableByteArray.read32 : ImmutableByteArray + -> Nat + ->{Exception} Nat + 341. builtin.MutableByteArray.read32 : ImmutableByteArray + g + -> Nat + ->{g, + Exception} Nat + 342. builtin.ImmutableByteArray.read64 : ImmutableByteArray + -> Nat + ->{Exception} Nat + 343. builtin.MutableByteArray.read64 : ImmutableByteArray + g + -> Nat + ->{g, + Exception} Nat + 344. builtin.ImmutableByteArray.read8 : ImmutableByteArray + -> Nat + ->{Exception} Nat + 345. builtin.MutableByteArray.read8 : ImmutableByteArray + g + -> Nat + ->{g, + Exception} Nat + 346. builtin.io2.TVar.readIO : TVar a ->{IO} a - 324. builtin.io2.Clock.internals.realtime : '{IO} Either + 347. builtin.io2.Clock.internals.realtime : '{IO} Either Failure TimeSpec - 325. builtin.io2.IO.ref : a + 348. builtin.io2.IO.ref : a ->{IO} Ref {IO} a - 326. builtin.Scope.ref : a + 349. builtin.Scope.ref : a ->{Scope s} Ref {Scope s} a - 327. builtin.Text.repeat : Nat + 350. builtin.Text.repeat : Nat -> Text -> Text - 328. builtin.io2.STM.retry : '{STM} a - 329. builtin.Float.round : Float + 351. builtin.io2.STM.retry : '{STM} a + 352. builtin.Float.round : Float -> Int - 330. builtin.Scope.run : (∀ s. + 353. builtin.Scope.run : (∀ s. '{g, Scope s} r) ->{g} r - 331. builtin.io2.Clock.internals.sec : TimeSpec + 354. builtin.io2.Clock.internals.sec : TimeSpec -> Int - 332. builtin.Code.serialize : Code + 355. builtin.Code.serialize : Code -> Bytes - 333. builtin.Value.serialize : Value + 356. builtin.Value.serialize : Value -> Bytes - 334. builtin.io2.Tls.ClientConfig.certificates.set : [SignedCert] + 357. builtin.io2.Tls.ClientConfig.certificates.set : [SignedCert] -> ClientConfig -> ClientConfig - 335. builtin.io2.Tls.ServerConfig.certificates.set : [SignedCert] + 358. builtin.io2.Tls.ServerConfig.certificates.set : [SignedCert] -> ServerConfig -> ServerConfig - 336. builtin.io2.TLS.ClientConfig.ciphers.set : [Cipher] + 359. builtin.io2.TLS.ClientConfig.ciphers.set : [Cipher] -> ClientConfig -> ClientConfig - 337. builtin.io2.Tls.ServerConfig.ciphers.set : [Cipher] + 360. builtin.io2.Tls.ServerConfig.ciphers.set : [Cipher] -> ServerConfig -> ServerConfig - 338. builtin.io2.Tls.ClientConfig.versions.set : [Version] + 361. builtin.io2.Tls.ClientConfig.versions.set : [Version] -> ClientConfig -> ClientConfig - 339. builtin.io2.Tls.ServerConfig.versions.set : [Version] + 362. builtin.io2.Tls.ServerConfig.versions.set : [Version] -> ServerConfig -> ServerConfig - 340. builtin.Int.shiftLeft : Int + 363. builtin.Int.shiftLeft : Int -> Nat -> Int - 341. builtin.Nat.shiftLeft : Nat + 364. builtin.Nat.shiftLeft : Nat -> Nat -> Nat - 342. builtin.Int.shiftRight : Int + 365. builtin.Int.shiftRight : Int -> Nat -> Int - 343. builtin.Nat.shiftRight : Nat + 366. builtin.Nat.shiftRight : Nat -> Nat -> Nat - 344. builtin.Int.signum : Int + 367. builtin.Int.signum : Int -> Int - 345. builtin.Float.sin : Float + 368. builtin.Float.sin : Float -> Float - 346. builtin.Float.sinh : Float + 369. builtin.Float.sinh : Float -> Float - 347. builtin.Bytes.size : Bytes + 370. builtin.Bytes.size : Bytes -> Nat - 348. builtin.List.size : [a] + 371. builtin.List.size : [a] -> Nat - 349. builtin.Text.size : Text + 372. builtin.Text.size : Text -> Nat - 350. builtin.Float.sqrt : Float + 373. builtin.Float.sqrt : Float -> Float - 351. builtin.io2.IO.stdHandle : StdHandle + 374. builtin.io2.IO.stdHandle : StdHandle -> Handle - 352. builtin.Nat.sub : Nat + 375. builtin.Nat.sub : Nat -> Nat -> Int - 353. builtin.io2.TVar.swap : TVar a + 376. builtin.io2.TVar.swap : TVar a -> a ->{STM} a - 354. builtin.io2.IO.systemTimeMicroseconds : '{IO} Int - 355. builtin.Bytes.take : Nat + 377. builtin.io2.IO.systemTimeMicroseconds : '{IO} Int + 378. builtin.Bytes.take : Nat -> Bytes -> Bytes - 356. builtin.List.take : Nat + 379. builtin.List.take : Nat -> [a] -> [a] - 357. builtin.Text.take : Nat + 380. builtin.Text.take : Nat -> Text -> Text - 358. builtin.Float.tan : Float + 381. builtin.Float.tan : Float -> Float - 359. builtin.Float.tanh : Float + 382. builtin.Float.tanh : Float -> Float - 360. builtin.io2.Clock.internals.threadCPUTime : '{IO} Either + 383. builtin.io2.Clock.internals.threadCPUTime : '{IO} Either Failure TimeSpec - 361. builtin.Bytes.toBase16 : Bytes + 384. builtin.Bytes.toBase16 : Bytes -> Bytes - 362. builtin.Bytes.toBase32 : Bytes + 385. builtin.Bytes.toBase32 : Bytes -> Bytes - 363. builtin.Bytes.toBase64 : Bytes + 386. builtin.Bytes.toBase64 : Bytes -> Bytes - 364. builtin.Bytes.toBase64UrlUnpadded : Bytes + 387. builtin.Bytes.toBase64UrlUnpadded : Bytes -> Bytes - 365. builtin.Text.toCharList : Text + 388. builtin.Text.toCharList : Text -> [Char] - 366. builtin.Int.toFloat : Int + 389. builtin.Int.toFloat : Int -> Float - 367. builtin.Nat.toFloat : Nat + 390. builtin.Nat.toFloat : Nat -> Float - 368. builtin.Nat.toInt : Nat + 391. builtin.Nat.toInt : Nat -> Int - 369. builtin.Bytes.toList : Bytes + 392. builtin.Bytes.toList : Bytes -> [Nat] - 370. builtin.Char.toNat : Char + 393. builtin.Char.toNat : Char -> Nat - 371. builtin.Float.toRepresentation : Float + 394. builtin.Float.toRepresentation : Float -> Nat - 372. builtin.Int.toRepresentation : Int + 395. builtin.Int.toRepresentation : Int -> Nat - 373. builtin.Char.toText : Char + 396. builtin.Char.toText : Char -> Text - 374. builtin.Float.toText : Float + 397. builtin.Float.toText : Float -> Text - 375. builtin.Handle.toText : Handle + 398. builtin.Handle.toText : Handle -> Text - 376. builtin.Int.toText : Int + 399. builtin.Int.toText : Int -> Text - 377. builtin.Nat.toText : Nat + 400. builtin.Nat.toText : Nat -> Text - 378. builtin.Socket.toText : Socket + 401. builtin.Socket.toText : Socket -> Text - 379. builtin.Link.Term.toText : Term + 402. builtin.Link.Term.toText : Term -> Text - 380. builtin.ThreadId.toText : ThreadId + 403. builtin.ThreadId.toText : ThreadId -> Text - 381. builtin.Text.toUtf8 : Text + 404. builtin.Text.toUtf8 : Text -> Bytes - 382. builtin.todo : a -> b - 383. builtin.Debug.trace : Text + 405. builtin.todo : a -> b + 406. builtin.Debug.trace : Text -> a -> () - 384. builtin.Int.trailingZeros : Int + 407. builtin.Int.trailingZeros : Int -> Nat - 385. builtin.Nat.trailingZeros : Nat + 408. builtin.Nat.trailingZeros : Nat -> Nat - 386. builtin.Float.truncate : Float + 409. builtin.Float.truncate : Float -> Int - 387. builtin.Int.truncate0 : Int + 410. builtin.Int.truncate0 : Int -> Nat - 388. builtin.io2.MVar.tryTake : MVar a + 411. builtin.io2.MVar.tryTake : MVar a ->{IO} Optional a - 389. builtin.Text.uncons : Text + 412. builtin.Text.uncons : Text -> Optional ( Char, Text) - 390. builtin.Any.unsafeExtract : Any + 413. builtin.Any.unsafeExtract : Any -> a - 391. builtin.Text.unsnoc : Text + 414. builtin.Text.unsnoc : Text -> Optional ( Text, Char) - 392. builtin.Code.validate : [( Term, + 415. builtin.Code.validate : [( Term, Code)] ->{IO} Optional Failure - 393. builtin.io2.validateSandboxed : [Term] + 416. builtin.io2.validateSandboxed : [Term] -> a -> Boolean - 394. builtin.Value.value : a + 417. builtin.Value.value : a -> Value - 395. builtin.Debug.watch : Text + 418. builtin.Debug.watch : Text -> a -> a - 396. builtin.Ref.write : Ref g a + 419. builtin.MutableArray.write : MutableArray + g a + -> Nat + -> a + ->{g, + Exception} () + 420. builtin.Ref.write : Ref g a -> a ->{g} () - 397. builtin.io2.TVar.write : TVar a + 421. builtin.io2.TVar.write : TVar a -> a ->{STM} () - 398. builtin.Int.xor : Int + 422. builtin.MutableByteArray.write16 : ImmutableByteArray + g + -> Nat + -> Nat + ->{g, + Exception} () + 423. builtin.MutableByteArray.write32 : ImmutableByteArray + g + -> Nat + -> Nat + ->{g, + Exception} () + 424. builtin.MutableByteArray.write64 : ImmutableByteArray + g + -> Nat + -> Nat + ->{g, + Exception} () + 425. builtin.MutableByteArray.write8 : ImmutableByteArray + g + -> Nat + -> Nat + ->{g, + Exception} () + 426. builtin.Int.xor : Int -> Int -> Int - 399. builtin.Nat.xor : Nat + 427. builtin.Nat.xor : Nat -> Nat -> Nat diff --git a/unison-src/transcripts/reflog.output.md b/unison-src/transcripts/reflog.output.md index 2c1071466..c51ef7fbb 100644 --- a/unison-src/transcripts/reflog.output.md +++ b/unison-src/transcripts/reflog.output.md @@ -59,16 +59,16 @@ y = 2 most recent, along with the command that got us there. Try: `fork 2 .old` - `fork #j7ar890fgd .old` to make an old namespace + `fork #8e6k8q9nsu .old` to make an old namespace accessible again, - `reset-root #j7ar890fgd` to reset the root namespace and + `reset-root #8e6k8q9nsu` to reset the root namespace and its history to that of the specified namespace. - 1. #396ap2v898 : add - 2. #j7ar890fgd : add - 3. #7eacs027uv : builtins.merge + 1. #r2injt702j : add + 2. #8e6k8q9nsu : add + 3. #tgct85ingr : builtins.merge 4. #sg60bvjo91 : (initial reflogged namespace) ``` diff --git a/unison-src/transcripts/squash.output.md b/unison-src/transcripts/squash.output.md index aeaa5fb22..fae0bf6e4 100644 --- a/unison-src/transcripts/squash.output.md +++ b/unison-src/transcripts/squash.output.md @@ -13,7 +13,7 @@ Let's look at some examples. We'll start with a namespace with just the builtins - □ 1. #4vt616ak19 (start of history) + □ 1. #svtklo709a (start of history) .> fork builtin builtin2 @@ -42,21 +42,21 @@ Now suppose we `fork` a copy of builtin, then rename `Nat.+` to `frobnicate`, th Note: The most recent namespace hash is immediately below this message. - ⊙ 1. #6k85v9fd02 + ⊙ 1. #k7oo4v3lfh > Moves: Original name New name Nat.frobnicate Nat.+ - ⊙ 2. #0rpodsf1gq + ⊙ 2. #cvqfq5n5g8 > Moves: Original name New name Nat.+ Nat.frobnicate - □ 3. #4vt616ak19 (start of history) + □ 3. #svtklo709a (start of history) ``` If we merge that back into `builtin`, we get that same chain of history: @@ -71,21 +71,21 @@ If we merge that back into `builtin`, we get that same chain of history: Note: The most recent namespace hash is immediately below this message. - ⊙ 1. #6k85v9fd02 + ⊙ 1. #k7oo4v3lfh > Moves: Original name New name Nat.frobnicate Nat.+ - ⊙ 2. #0rpodsf1gq + ⊙ 2. #cvqfq5n5g8 > Moves: Original name New name Nat.+ Nat.frobnicate - □ 3. #4vt616ak19 (start of history) + □ 3. #svtklo709a (start of history) ``` Let's try again, but using a `merge.squash` (or just `squash`) instead. The history will be unchanged: @@ -106,7 +106,7 @@ Let's try again, but using a `merge.squash` (or just `squash`) instead. The hist - □ 1. #4vt616ak19 (start of history) + □ 1. #svtklo709a (start of history) ``` The churn that happened in `mybuiltin` namespace ended up back in the same spot, so the squash merge of that namespace with our original namespace had no effect. @@ -485,13 +485,13 @@ This checks to see that squashing correctly preserves deletions: Note: The most recent namespace hash is immediately below this message. - ⊙ 1. #h1ecefevst + ⊙ 1. #feds6g84di - Deletes: Nat.* Nat.+ - □ 2. #4vt616ak19 (start of history) + □ 2. #svtklo709a (start of history) ``` Notice that `Nat.+` and `Nat.*` are deleted by the squash, and we see them deleted in one atomic step in the history.