chu2-2012.11.17.1: src/Chu2/ByteString.agda

module Chu2.ByteString where

open import Data.String
import IO.Primitive as Prim

{-# IMPORT Data.Word #-}
{-# IMPORT Data.ByteString.Internal #-}
{-# IMPORT Data.ByteString.Char8 #-}

postulate
  ByteString  : Set
  pack        : String -> ByteString
  unpack      : ByteString -> String
  empty       : ByteString
  
  

{-# COMPILED_TYPE ByteString Data.ByteString.Char8.ByteString #-}
{-# COMPILED pack Data.ByteString.Char8.pack #-}
{-# COMPILED unpack Data.ByteString.Char8.unpack #-}
{-# COMPILED empty Data.ByteString.Char8.empty #-}