Distribution.Backpack.ModuleShape

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

Module shapes

data ModuleShape

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

Constructors

ModuleShape

Fields

• modShapeProvides :: OpenModuleSubst
• modShapeRequires :: Set ModuleName

Instances

Eq ModuleShape

Methods

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

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

Show ModuleShape

Methods

showsPrec :: Int -> ModuleShape -> ShowS

show :: ModuleShape -> String

showList :: [ModuleShape] -> ShowS

Generic ModuleShape

Associated Types

type Rep ModuleShape :: * -> *

Methods

from :: ModuleShape -> Rep ModuleShape x

to :: Rep ModuleShape x -> ModuleShape

Binary ModuleShape

Methods

put :: ModuleShape -> Put

get :: Get ModuleShape

putList :: [ModuleShape] -> Put

ModSubst ModuleShape

Methods

modSubst :: OpenModuleSubst -> ModuleShape -> ModuleShape

type Rep ModuleShape

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

emptyModuleShape :: ModuleShape

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

shapeInstalledPackage :: InstalledPackageInfo -> ModuleShape