Libraries.Utils.Binary

Definitions

record Binary : Type

Totality: total
Visibility: public export
Constructor: 

MkBin : Buffer -> Integer -> Integer -> Integer -> Binary

Projections:

.buf : Binary -> Buffer

.loc : Binary -> Integer

.size : Binary -> Integer

.used : Binary -> Integer

Hint: 

TTC Binary

.buf : Binary -> Buffer

Visibility: public export

buf : Binary -> Buffer

Visibility: public export

.loc : Binary -> Integer

Visibility: public export

loc : Binary -> Integer

Visibility: public export

.size : Binary -> Integer

Visibility: public export

size : Binary -> Integer

Visibility: public export

.used : Binary -> Integer

Visibility: public export

used : Binary -> Integer

Visibility: public export

newBinary : Buffer -> Integer -> Binary

Visibility: export

blockSize : Int

Visibility: export

avail : Binary -> Integer

Visibility: export

toRead : Binary -> Integer

Visibility: export

appended : Integer -> Binary -> Binary

Visibility: export

incLoc : Integer -> Binary -> Binary

Visibility: export

dumpBin : Binary -> IO ()

Visibility: export

fromBuffer : Buffer -> IO Binary

Visibility: export

writeToFile : String -> Binary -> IO (Either FileError ())

Visibility: export

readFromFile : String -> IO (Either FileError Binary)

Visibility: export