Îõ³h&   Safe-Inferred'ç disk-bytes&Represents the on-disk storage where  are stored. disk-bytes*Rough estimate of the current size of the  , in bytes.  Safe-Inferred'%  disk-bytesÝA sequence of bytes that is stored on disk -- if and only if the value is evaluated to WHNF.ˆThe value is subject to normal garbage collection: When the value is no longer referenced, the disk memory will be freed (eventually).  disk-bytes#Offload a sequence of bytes onto a .òNOTE: The result must be evaluated to WHNF before the data actually on disk! Also keep in mind that the original   needs to be garbage collected. disk-bytes)Read the sequence of bytes back into RAM.  Safe-Inferred'ÊŽ disk-bytesÜA sequence of bytes that is stored on disk ”@ if and only if the value is evaluated to WHNF.ˆThe value is subject to normal garbage collection: When the value is no longer referenced, the disk memory will be freed (eventually).áFor estimating the memory cost: Even though the bulk of the data is kept on disk, each WHNF of  occupies roughly ~100Ù bytes of RAM; this is due to administrative overhead like weak pointers and finalizers. disk-bytes%Make a weak pointer for our purposes. disk-bytes#Offload a sequence of bytes onto a .åNOTE: The result must be evaluated to WHNF before the data is actually on disk! Also, the original  > needs to be garbage collected in for its RAM to become free. disk-bytes)Read the sequence of bytes back into RAM. Safe-Inferred'Ñ disk-bytes Create a à in memory for the purpose of testing and profiling ”@ by swapping  for à and looking at the heap profile of your program, you can quickly find out whether the use of  really helps. Ignores the  argument.   Safe-Inferred"' ¯ disk-bytes*Operations to be performed on the database disk-bytes Throw an - that indicates that the file already exists. disk-bytesObtain the size of the ( in bytes. Here, this is the file size. disk-bytes*Create a new file and use it for storing .ÆThrow an error if the file already exists, delete the file after use. disk-bytes*Worker thread for sequencing SQL commands. !"#$%&'()*+,-./012345 Safe-Inferred' ó6            !"   # $ % & ' $ ( ) * +  ,  -     . / 0 1 23)disk-bytes-0.1.0.0-JTTLhtNZ0VD1faQA8lAEZDSystem.Mem.DiskSystem.Mem.Disk.DiskApi DiskBytesSystem.Mem.Disk.BytesPlainSystem.Mem.Disk.BytesSystem.Mem.Disk.MemorywithDiskMemorywithDiskSqliteSystem.Mem.Disk.SqliteDisk getDiskSize toDiskBytes fromDiskBytesputdeletegetbytestring-0.11.3.1Data.ByteString.Internal ByteStringaddFinalizerBytesbaseGHC.IOFilePathdbcounter getDiskSize_ mkDiskApiput_get_delete_CmdthrowIfAlreadyExistsGHC.IO.ExceptionIOError withThreadSqlCmdssdelete_sget_sput_DeletePutGetchanpathwithFilemkDatabaseThreadwithSqlinitSql finalizeSqlcmdSql