Database | |
1 (Type/Class) | Streamly.External.LMDB.Internal, Streamly.External.LMDB |
2 (Data Constructor) | Streamly.External.LMDB.Internal |
defaultDeleteOptions | Streamly.External.LMDB.Internal |
defaultLimits | Streamly.External.LMDB.Internal, Streamly.External.LMDB |
defaultReadOptions | Streamly.External.LMDB.Internal, Streamly.External.LMDB |
defaultWriteOptions | Streamly.External.LMDB.Internal, Streamly.External.LMDB |
deleteAssumeExists | Streamly.External.LMDB.Internal |
deleteLMDB | Streamly.External.LMDB.Internal, Streamly.External.LMDB |
DeleteOptions | |
1 (Type/Class) | Streamly.External.LMDB.Internal |
2 (Data Constructor) | Streamly.External.LMDB.Internal |
detectUserErrors | Streamly.External.LMDB.Internal |