Cabal-3.2.1.0: A framework for packaging Haskell software
Safe Haskell None
Language Haskell2010

Distribution.Types.ModuleRenaming

Synopsis

Documentation

data ModuleRenaming Source #

Renaming applied to the modules provided by a package. The boolean indicates whether or not to also include all of the original names of modules. Thus, ModuleRenaming False [] is "don't expose any modules, and ModuleRenaming True [( Data.Bool , Bool )] is, "expose all modules, but also expose Data.Bool as Bool ". If a renaming is omitted you get the DefaultRenaming .

(NB: This is a list not a map so that we can preserve order.)

Constructors

ModuleRenaming [( ModuleName , ModuleName )]

A module renaming/thinning; e.g., (A as B, C as C) brings B and C into scope.

DefaultRenaming

The default renaming, bringing all exported modules into scope.

HidingRenaming [ ModuleName ]

Hiding renaming, e.g., hiding (A, B) , bringing all exported modules into scope except the hidden ones.

Instances

Instances details
Eq ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

(==) :: ModuleRenaming -> ModuleRenaming -> Bool Source #

(/=) :: ModuleRenaming -> ModuleRenaming -> Bool Source #

Data ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> ModuleRenaming -> c ModuleRenaming Source #

gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c ModuleRenaming Source #

toConstr :: ModuleRenaming -> Constr Source #

dataTypeOf :: ModuleRenaming -> DataType Source #

dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c ModuleRenaming ) Source #

dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c ModuleRenaming ) Source #

gmapT :: ( forall b. Data b => b -> b) -> ModuleRenaming -> ModuleRenaming Source #

gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> ModuleRenaming -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> ModuleRenaming -> r Source #

gmapQ :: ( forall d. Data d => d -> u) -> ModuleRenaming -> [u] Source #

gmapQi :: Int -> ( forall d. Data d => d -> u) -> ModuleRenaming -> u Source #

gmapM :: Monad m => ( forall d. Data d => d -> m d) -> ModuleRenaming -> m ModuleRenaming Source #

gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> ModuleRenaming -> m ModuleRenaming Source #

gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> ModuleRenaming -> m ModuleRenaming Source #

Ord ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

compare :: ModuleRenaming -> ModuleRenaming -> Ordering Source #

(<) :: ModuleRenaming -> ModuleRenaming -> Bool Source #

(<=) :: ModuleRenaming -> ModuleRenaming -> Bool Source #

(>) :: ModuleRenaming -> ModuleRenaming -> Bool Source #

(>=) :: ModuleRenaming -> ModuleRenaming -> Bool Source #

max :: ModuleRenaming -> ModuleRenaming -> ModuleRenaming Source #

min :: ModuleRenaming -> ModuleRenaming -> ModuleRenaming Source #

Read ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

readsPrec :: Int -> ReadS ModuleRenaming Source #

readList :: ReadS [ ModuleRenaming ] Source #

readPrec :: ReadPrec ModuleRenaming Source #

readListPrec :: ReadPrec [ ModuleRenaming ] Source #

Show ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

showsPrec :: Int -> ModuleRenaming -> ShowS Source #

show :: ModuleRenaming -> String Source #

showList :: [ ModuleRenaming ] -> ShowS Source #

Generic ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Associated Types

type Rep ModuleRenaming :: Type -> Type Source #

Methods

from :: ModuleRenaming -> Rep ModuleRenaming x Source #

to :: Rep ModuleRenaming x -> ModuleRenaming Source #

Binary ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

put :: ModuleRenaming -> Put Source #

get :: Get ModuleRenaming Source #

putList :: [ ModuleRenaming ] -> Put Source #

NFData ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

rnf :: ModuleRenaming -> () Source #

Structured ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

structure :: Proxy ModuleRenaming -> Structure Source #

structureHash' :: Tagged ModuleRenaming MD5

Pretty ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

pretty :: ModuleRenaming -> Doc Source #

prettyVersioned :: CabalSpecVersion -> ModuleRenaming -> Doc Source #

Parsec ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

Methods

parsec :: CabalParsing m => m ModuleRenaming Source #

type Rep ModuleRenaming Source #
Instance details

Defined in Distribution.Types.ModuleRenaming

type Rep ModuleRenaming = D1 (' MetaData "ModuleRenaming" "Distribution.Types.ModuleRenaming" "Cabal-3.2.1.0-3w1fQQbNnuQ5xlFGwVXcPy" ' False ) ( C1 (' MetaCons "ModuleRenaming" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [( ModuleName , ModuleName )])) :+: ( C1 (' MetaCons "DefaultRenaming" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "HidingRenaming" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [ ModuleName ]))))

interpModuleRenaming :: ModuleRenaming -> ModuleName -> Maybe ModuleName Source #

Interpret a ModuleRenaming as a partial map from ModuleName to ModuleName . For efficiency, you should partially apply it with ModuleRenaming and then reuse it.

defaultRenaming :: ModuleRenaming Source #

The default renaming, if something is specified in build-depends only.

isDefaultRenaming :: ModuleRenaming -> Bool Source #

Tests if its the default renaming; we can use a more compact syntax in IncludeRenaming in this case.