Distribution.Types.Mixin

Documentation

data Mixin

Invariant: if mixinLibraryName is LSubLibName, it's not the same as mixinPackageName. In other words, the same invariant as Dependency has.

Constructors

Mixin

Fields

• mixinPackageName :: PackageName
• mixinLibraryName :: LibraryName
• mixinIncludeRenaming :: IncludeRenaming

Instances

Parsec Mixin

>>> simpleParsec "mylib" :: Maybe Mixin
Just (Mixin {mixinPackageName = PackageName "mylib", mixinLibraryName = LMainLibName, mixinIncludeRenaming = IncludeRenaming {includeProvidesRn = DefaultRenaming, includeRequiresRn = DefaultRenaming}})

>>> simpleParsec "thatlib:sublib" :: Maybe Mixin
Just (Mixin {mixinPackageName = PackageName "thatlib", mixinLibraryName = LSubLibName (UnqualComponentName "sublib"), mixinIncludeRenaming = IncludeRenaming {includeProvidesRn = DefaultRenaming, includeRequiresRn = DefaultRenaming}})

>>> simpleParsec "thatlib:thatlib" :: Maybe Mixin
Just (Mixin {mixinPackageName = PackageName "thatlib", mixinLibraryName = LMainLibName, mixinIncludeRenaming = IncludeRenaming {includeProvidesRn = DefaultRenaming, includeRequiresRn = DefaultRenaming}})

Sublibrary syntax is accepted since cabal-version: 3.4.

>>> map (`simpleParsec'` "mylib:sub") [CabalSpecV3_0, CabalSpecV3_4] :: [Maybe Mixin]
[Nothing,Just (Mixin {mixinPackageName = PackageName "mylib", mixinLibraryName = LSubLibName (UnqualComponentName "sub"), mixinIncludeRenaming = IncludeRenaming {includeProvidesRn = DefaultRenaming, includeRequiresRn = DefaultRenaming}})]

Defined in Distribution.Types.Mixin

Methods

parsec :: CabalParsing m => m Mixin

Pretty Mixin

Defined in Distribution.Types.Mixin

Methods

pretty :: Mixin -> Doc

prettyVersioned :: CabalSpecVersion -> Mixin -> Doc

Structured Mixin

Defined in Distribution.Types.Mixin

Methods

structure :: Proxy Mixin -> Structure

structureHash' :: Tagged Mixin MD5

Data Mixin

Defined in Distribution.Types.Mixin

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mixin -> c Mixin

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mixin

toConstr :: Mixin -> Constr

dataTypeOf :: Mixin -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Mixin)

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

gmapT :: (forall b. Data b => b -> b) -> Mixin -> Mixin

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mixin -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mixin -> r

gmapQ :: (forall d. Data d => d -> u) -> Mixin -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Mixin -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Mixin -> m Mixin

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Mixin -> m Mixin

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Mixin -> m Mixin

Generic Mixin

Defined in Distribution.Types.Mixin

Associated Types

type Rep Mixin :: Type -> Type

Methods

from :: Mixin -> Rep Mixin x

to :: Rep Mixin x -> Mixin

Read Mixin

Defined in Distribution.Types.Mixin

Methods

readsPrec :: Int -> ReadS Mixin

readList :: ReadS [Mixin]

readPrec :: ReadPrec Mixin

readListPrec :: ReadPrec [Mixin]

Show Mixin

Defined in Distribution.Types.Mixin

Methods

showsPrec :: Int -> Mixin -> ShowS

show :: Mixin -> String

showList :: [Mixin] -> ShowS

Binary Mixin

Defined in Distribution.Types.Mixin

Methods

put :: Mixin -> Put

get :: Get Mixin

putList :: [Mixin] -> Put

NFData Mixin

Defined in Distribution.Types.Mixin

Methods

rnf :: Mixin -> ()

Eq Mixin

Defined in Distribution.Types.Mixin

Methods

(==) :: Mixin -> Mixin -> Bool

(/=) :: Mixin -> Mixin -> Bool

Ord Mixin

Defined in Distribution.Types.Mixin

Methods

compare :: Mixin -> Mixin -> Ordering

(<) :: Mixin -> Mixin -> Bool

(<=) :: Mixin -> Mixin -> Bool

(>) :: Mixin -> Mixin -> Bool

(>=) :: Mixin -> Mixin -> Bool

max :: Mixin -> Mixin -> Mixin

min :: Mixin -> Mixin -> Mixin

type Rep Mixin

Defined in Distribution.Types.Mixin

type Rep Mixin = D1 ('MetaData "Mixin" "Distribution.Types.Mixin" "Cabal-syntax-3.12.1.0-IdRA6VeQqeX5uBVqXABfjL" 'False) (C1 ('MetaCons "Mixin" 'PrefixI 'True) (S1 ('MetaSel ('Just "mixinPackageName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageName) :*: (S1 ('MetaSel ('Just "mixinLibraryName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LibraryName) :*: S1 ('MetaSel ('Just "mixinIncludeRenaming") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IncludeRenaming))))

mkMixin :: PackageName -> LibraryName -> IncludeRenaming -> Mixin

Smart constructor of Mixin, enforces invariant.

Since: 3.4.0.0

normaliseMixin :: Mixin -> Mixin

Restore invariant