Re: [Haskell-cafe] Are explicit exports and local imports desirable in a production application?

16 Sep 2020

      On Wed, 16 Sep 2020, Ignat Insarov wrote:
...
...
You need explicit exports in the public interface, in my example module
"A".
How so?
My example should be like so:

module A.Internal where

data T = Private Integer

module A (
    T,  -- do not export constructor
    f,
    ) where

import A.Internal (T(Private))

f :: FooBar
f = do something with Private

You would need the export list in A for exposing T, but not Private.

Re: [Haskell-cafe] Are explicit exports and local imports desirable in a production application?

Henning Thielemann