Hix.Bootstrap

Documentation

data CabalInfo

Constructors

CabalInfo

Fields

• path :: Path Rel Dir
• info :: GenericPackageDescription

Instances

Generic CabalInfo

Defined in Hix.Bootstrap

Associated Types

type Rep CabalInfo :: Type -> Type

Methods

from :: CabalInfo -> Rep CabalInfo x

to :: Rep CabalInfo x -> CabalInfo

Show CabalInfo

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> CabalInfo -> ShowS

show :: CabalInfo -> String

showList :: [CabalInfo] -> ShowS

Eq CabalInfo

Defined in Hix.Bootstrap

Methods

(==) :: CabalInfo -> CabalInfo -> Bool

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

type Rep CabalInfo

Defined in Hix.Bootstrap

type Rep CabalInfo = D1 ('MetaData "CabalInfo" "Hix.Bootstrap" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "CabalInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Path Rel Dir)) :*: S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 GenericPackageDescription)))

data ComponentType

Constructors

Library

Executable Text

Benchmark Text

Test Text

Instances

Generic ComponentType

Defined in Hix.Bootstrap

Associated Types

type Rep ComponentType :: Type -> Type

Methods

from :: ComponentType -> Rep ComponentType x

to :: Rep ComponentType x -> ComponentType

Show ComponentType

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> ComponentType -> ShowS

show :: ComponentType -> String

showList :: [ComponentType] -> ShowS

Eq ComponentType

Defined in Hix.Bootstrap

Methods

(==) :: ComponentType -> ComponentType -> Bool

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

type Rep ComponentType

Defined in Hix.Bootstrap

type Rep ComponentType = D1 ('MetaData "ComponentType" "Hix.Bootstrap" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) ((C1 ('MetaCons "Library" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Executable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) :+: (C1 ('MetaCons "Benchmark" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Test" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

data PreludeWithVersion

Constructors

PreludeWithVersion

Fields

• prelude :: Prelude
• dep :: Maybe Dependency

Instances

Generic PreludeWithVersion

Defined in Hix.Bootstrap

Associated Types

type Rep PreludeWithVersion :: Type -> Type

Methods

from :: PreludeWithVersion -> Rep PreludeWithVersion x

to :: Rep PreludeWithVersion x -> PreludeWithVersion

Show PreludeWithVersion

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> PreludeWithVersion -> ShowS

show :: PreludeWithVersion -> String

showList :: [PreludeWithVersion] -> ShowS

Eq PreludeWithVersion

Defined in Hix.Bootstrap

Methods

(==) :: PreludeWithVersion -> PreludeWithVersion -> Bool

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

type Rep PreludeWithVersion

Defined in Hix.Bootstrap

type Rep PreludeWithVersion = D1 ('MetaData "PreludeWithVersion" "Hix.Bootstrap" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "PreludeWithVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Prelude) :*: S1 ('MetaSel ('Just "dep") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Dependency))))

data HixComponent

Constructors

HixComponent

Fields

• special :: ComponentType
• known :: [ExprAttr]
• prelude :: Maybe PreludeWithVersion

Instances

Generic HixComponent

Defined in Hix.Bootstrap

Associated Types

type Rep HixComponent :: Type -> Type

Methods

from :: HixComponent -> Rep HixComponent x

to :: Rep HixComponent x -> HixComponent

Show HixComponent

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> HixComponent -> ShowS

show :: HixComponent -> String

showList :: [HixComponent] -> ShowS

Eq HixComponent

Defined in Hix.Bootstrap

Methods

(==) :: HixComponent -> HixComponent -> Bool

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

type Rep HixComponent

Defined in Hix.Bootstrap

type Rep HixComponent = D1 ('MetaData "HixComponent" "Hix.Bootstrap" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "HixComponent" 'PrefixI 'True) (S1 ('MetaSel ('Just "special") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ComponentType) :*: (S1 ('MetaSel ('Just "known") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ExprAttr]) :*: S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe PreludeWithVersion)))))

data HixPackage

Constructors

HixPackage

Fields

• name :: PackageName
• src :: Path Rel Dir
• known :: [ExprAttr]
• meta :: [ExprAttr]
• description :: ExprAttr
• components :: [HixComponent]

Instances

Generic HixPackage

Defined in Hix.Bootstrap

Associated Types

type Rep HixPackage :: Type -> Type

Methods

from :: HixPackage -> Rep HixPackage x

to :: Rep HixPackage x -> HixPackage

Show HixPackage

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> HixPackage -> ShowS

show :: HixPackage -> String

showList :: [HixPackage] -> ShowS

Eq HixPackage

Defined in Hix.Bootstrap

Methods

(==) :: HixPackage -> HixPackage -> Bool

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

type Rep HixPackage

Defined in Hix.Bootstrap

type Rep HixPackage = D1 ('MetaData "HixPackage" "Hix.Bootstrap" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "HixPackage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PackageName) :*: (S1 ('MetaSel ('Just "src") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Path Rel Dir)) :*: S1 ('MetaSel ('Just "known") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ExprAttr]))) :*: (S1 ('MetaSel ('Just "meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ExprAttr]) :*: (S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExprAttr) :*: S1 ('MetaSel ('Just "components") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [HixComponent])))))

readCabal :: Path Abs Dir -> Path Rel File -> M CabalInfo

knownPackageKeys :: PackageDescription -> [ExprAttr]

metaPackageKeys :: PackageDescription -> [ExprAttr]

ghcFlavour :: PerCompilerFlavor a -> a

notDefaultGhcOption :: String -> Bool

knownComponentKeys :: Maybe Prelude -> BuildInfo -> (Maybe PreludeWithVersion, [ExprAttr])

notBase :: Dependency -> Bool

convertComponent :: ComponentType -> BuildInfo -> [ExprAttr] -> HixComponent

convertLibrary :: Library -> HixComponent

convertExecutable :: UnqualComponentName -> Executable -> HixComponent

convertTestsuite :: UnqualComponentName -> TestSuite -> HixComponent

convertBenchmark :: UnqualComponentName -> Benchmark -> HixComponent

convert :: CabalInfo -> HixPackage

renderComponent :: HixComponent -> ExprAttr

flakePackage :: HixPackage -> ExprAttr

mainPackage :: [HixPackage] -> ExprAttr

flake :: BootstrapProjectConfig -> [HixPackage] -> Expr

bootstrapFiles :: BootstrapProjectConfig -> M [ProjectFile]

bootstrapProject :: BootstrapProjectConfig -> M ()