.

DataTypes.purs

module DataTypes where

data Foo = Foo

mkFoo = Foo

data Bar = Bar

data Baz = Baz1 | Baz2

HidingImport.purs

module HidingImport where

import Prelude
import Data.Maybe hiding (fromMaybe)

foo :: Maybe Unit
foo = Just unit

ImplicitImport.purs

module ImplicitImport where

import Prelude
import Data.Maybe

foo :: Maybe Unit
foo = Just unit

ImplicitQualifiedImport.purs

module ImplicitQualifiedImport where

import Prelude
import Data.Array as M
import Data.Maybe as M

foo :: M.Maybe Unit
foo = M.Just unit

UnusedDctorExplicitImport.purs

module UnusedDctorExplicitImport where

import Prelude
import DataTypes (Foo(..), Baz(Baz1, Baz2))

myfoo :: Foo
myfoo = Foo

mybaz :: Baz
mybaz = Baz2

UnusedDctorExplicitImportRetainsDctor.purs

module UnusedDctorExplicitImportRetainsDctor where

import Prelude
import DataTypes (Foo(Foo), Baz(Baz1, Baz2))

myfoo :: Foo
myfoo = Foo

mybaz :: Baz
mybaz = Baz2

UnusedDctorImport.purs

module UnusedDctorImport where

import Prelude
import DataTypes (Foo(..), mkFoo, Bar(..))

foo :: Foo
foo = mkFoo

bar :: Bar
bar = Bar

UnusedDctorImportRetainsDctor.purs

module UnusedDctorImportRetainsDctor where

import Prelude
import DataTypes (Foo(..), mkFoo, Bar(Bar))

foo :: Foo
foo = mkFoo

bar :: Bar
bar = Bar

UnusedExplicitImport.purs

module UnusedExplicitImport where

import Data.Maybe (Maybe(..), fromMaybe)

foo :: Maybe Int
foo = Just 3

UnusedExplicitImportRetainsDctor.purs

module UnusedExplicitImportRetainsDctor where

import Data.Maybe (Maybe(Just), fromMaybe)

foo :: Maybe Int
foo = Just 3