std.effect.io.write

type Write a = { write_slice : a -> Array Byte -> Int -> Int -> IO Int, flush : a -> IO () }

let write_slice x0 x1 x2 x3 : forall a a0 .
        [Write a]
            -> a
            -> Array Byte
            -> Int
            -> Int
            -> Eff [| lift : Lift IO | a0 |] Int

let write x0 x1 : forall a a0 . [Write a] -> a -> Array Byte -> Eff [| lift : Lift IO | a0 |] Int

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

let write_string x0 x1 : forall a a0 . [Write a] -> a -> String -> Eff [| lift : Lift IO | a0 |] ()

let flush x0 : forall a a0 . [Write a] -> a -> Eff [| lift : Lift IO | a0 |] ()

let buffered : forall w . [Write w] -> w -> Buffered w

let buffered_with_capacity : forall w . [Write w] -> Int -> w -> Buffered w

let write_buffered : forall w . [Write w] -> Write (Buffered w)

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