Idris2Doc : System.UV.Util

System.UV.Util

(source)
Definitions
idris_uv : String -> String
  Totality: total
  Visibility: public export
boolToInt32 : Bool -> Int32
  Totality: total
  Visibility: export
int32ToBool : Int32 -> Bool
  Totality: total
  Visibility: export
accumLines : ByteString -> ByteString -> (List ByteString, ByteString)
  Totality: total
  Visibility: export
accumLinesN : ByteString -> List ByteString -> (List ByteString, ByteString)
  Totality: total
  Visibility: export