Cabal-3.11.0.0: A framework for packaging Haskell software
Safe HaskellNone
LanguageHaskell2010

Distribution.Backpack.ModuleShape

Description

See https://github.com/ezyang/ghc-proposals/blob/backpack/proposals/0000-backpack.rst

Synopsis

Module shapes

data ModuleShape Source #

A ModuleShape describes the provisions and requirements of a library. We can extract a ModuleShape from an InstalledPackageInfo.

Constructors

ModuleShape 

Fields

Instances

Instances details
ModSubst ModuleShape Source # 
Instance details

Defined in Distribution.Backpack.ModuleShape

Methods

modSubst :: OpenModuleSubst -> ModuleShape -> ModuleShape Source #

Structured ModuleShape Source # 
Instance details

Defined in Distribution.Backpack.ModuleShape

Methods

structure :: Proxy ModuleShape -> Structure Source #

structureHash' :: Tagged ModuleShape MD5

Generic ModuleShape Source # 
Instance details

Defined in Distribution.Backpack.ModuleShape

Associated Types

type Rep ModuleShape 
Instance details

Defined in Distribution.Backpack.ModuleShape

type Rep ModuleShape = D1 ('MetaData "ModuleShape" "Distribution.Backpack.ModuleShape" "Cabal-3.11.0.0-affb" 'False) (C1 ('MetaCons "ModuleShape" 'PrefixI 'True) (S1 ('MetaSel ('Just "modShapeProvides") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpenModuleSubst) :*: S1 ('MetaSel ('Just "modShapeRequires") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ModuleName))))

Methods

from :: ModuleShape -> Rep ModuleShape x Source #

to :: Rep ModuleShape x -> ModuleShape Source #

Show ModuleShape Source # 
Instance details

Defined in Distribution.Backpack.ModuleShape

Methods

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

show :: ModuleShape -> String Source #

showList :: [ModuleShape] -> ShowS Source #

Binary ModuleShape Source # 
Instance details

Defined in Distribution.Backpack.ModuleShape

Methods

put :: ModuleShape -> Put #

get :: Get ModuleShape #

putList :: [ModuleShape] -> Put #

Eq ModuleShape Source # 
Instance details

Defined in Distribution.Backpack.ModuleShape

Methods

(==) :: ModuleShape -> ModuleShape -> Bool #

(/=) :: ModuleShape -> ModuleShape -> Bool #

type Rep ModuleShape Source # 
Instance details

Defined in Distribution.Backpack.ModuleShape

type Rep ModuleShape = D1 ('MetaData "ModuleShape" "Distribution.Backpack.ModuleShape" "Cabal-3.11.0.0-affb" 'False) (C1 ('MetaCons "ModuleShape" 'PrefixI 'True) (S1 ('MetaSel ('Just "modShapeProvides") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpenModuleSubst) :*: S1 ('MetaSel ('Just "modShapeRequires") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ModuleName))))

emptyModuleShape :: ModuleShape Source #

The default module shape, with no provisions and no requirements.

shapeInstalledPackage :: InstalledPackageInfo -> ModuleShape Source #