packages feed

Agda-2.3.2.2: src/compat/Data/ByteString/Lazy.hs

module Data.ByteString.Lazy
    ( ByteString
    , null, tail, head, splitAt
    , hGetContents
    , unpack
    ) where

import Prelude hiding (head)
import qualified Prelude
import System.IO

type ByteString = String

unpack :: ByteString -> [Int]
unpack = map fromEnum

head :: ByteString -> Int
head = fromEnum . Prelude.head