streaming.ipkg

package streaming

authors    = "MarcelineVQ"
version    = "0.7.4.1"
readme     = "README.md"

homepage   = "https://github.com/MarcelineVQ/idris2-streaming"
sourceloc  = "https://github.com/MarcelineVQ/idris2-streaming.git"
bugtracker = "https://github.com/MarcelineVQ/idris2-streaming/issues"

license    = "CC0 (refer to LICENSE file)"
brief      = "Effectful Streaming for Idris"
modules =
 -- Public
    Streaming
  , Streaming.Streams
  , Streaming.Bytes
  , Streaming.Char
  , Streaming.Encoding.UTF8
  , Streaming.Encoding.Base64
  , Streaming.Encoding.Base64.Alphabet

  , Streaming.Network.Curl

  , Data.Functor.Of
  , Data.Functor.Compose

  , Data.AVL

  , Data.Proxy
  , Data.LazyList

 -- Internal
  , Streaming.API
  , Streaming.Internal

  , Util -- Don't expect this one to always exist.

sourcedir = "src"

main = Streaming

depends = base, contrib, network
        , managed, curl