std.effect.io.read

type Read a = {
    read : a -> Int -> IO (Option (Array Byte)),
    read_to_end : a -> IO (Array Byte)
}

type Buffered r = { reader : r, buf : Reference (Array Byte), capacity : Int }

let read x0 x1 : forall a a0 .
        [Read a]
            -> a
            -> Int
            -> Eff [| lift : Lift IO | a0 |] (Option (Array Byte))

let read_to_end x0 : forall a a0 . [Read a] -> a -> Eff [| lift : Lift IO | a0 |] (Array Byte)

let read_to_string x0 : forall a a0 . [Read a] -> a -> Eff [| lift : Lift IO | a0 |] (Option String)

let default_read_to_end x0 x1 : forall a a0 .
        (a -> Int -> IO (Option (Array Byte)))
            -> a
            -> Eff [| lift : Lift IO | a0 |] (Array Byte)

let buffered : forall a . [Read a] -> a -> Buffered a

let buffered_with_capacity : forall a . [Read a] -> Int -> a -> Buffered a

let read_buffered : forall r . [Read r] -> Read (Buffered r)

let disposable_buffered : forall r . [Disposable r] -> Disposable (Buffered r)