hix-0.4.2: Haskell/Nix development build tools
Safe HaskellSafe-Inferred
LanguageGHC2021

Hix.Bootstrap

Documentation

data ExprAttr Source #

Constructors

ExprAttr 

Fields

ExprAttrNil 

Instances

Instances details
Generic ExprAttr Source # 
Instance details

Defined in Hix.Bootstrap

Associated Types

type Rep ExprAttr :: Type -> Type #

Methods

from :: ExprAttr -> Rep ExprAttr x #

to :: Rep ExprAttr x -> ExprAttr #

Show ExprAttr Source # 
Instance details

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> ExprAttr -> ShowS #

show :: ExprAttr -> String #

showList :: [ExprAttr] -> ShowS #

Eq ExprAttr Source # 
Instance details

Defined in Hix.Bootstrap

Methods

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

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

type Rep ExprAttr Source # 
Instance details

Defined in Hix.Bootstrap

type Rep ExprAttr = D1 ('MetaData "ExprAttr" "Hix.Bootstrap" "hix-0.4.2-72Zy03fjb49A5gBp9RPuGO" 'False) (C1 ('MetaCons "ExprAttr" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)) :+: C1 ('MetaCons "ExprAttrNil" 'PrefixI 'False) (U1 :: Type -> Type))

data Expr Source #

Constructors

ExprString Text 
ExprLit Text 
ExprList [Expr] 
ExprAttrs [ExprAttr] 
ExprPrefix Text Expr 

Instances

Instances details
Generic Expr Source # 
Instance details

Defined in Hix.Bootstrap

Associated Types

type Rep Expr :: Type -> Type #

Methods

from :: Expr -> Rep Expr x #

to :: Rep Expr x -> Expr #

Show Expr Source # 
Instance details

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> Expr -> ShowS #

show :: Expr -> String #

showList :: [Expr] -> ShowS #

Eq Expr Source # 
Instance details

Defined in Hix.Bootstrap

Methods

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

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

type Rep Expr Source # 
Instance details

Defined in Hix.Bootstrap

type Rep Expr = D1 ('MetaData "Expr" "Hix.Bootstrap" "hix-0.4.2-72Zy03fjb49A5gBp9RPuGO" 'False) ((C1 ('MetaCons "ExprString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "ExprLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "ExprList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Expr])) :+: (C1 ('MetaCons "ExprAttrs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ExprAttr])) :+: C1 ('MetaCons "ExprPrefix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)))))

exprStrings :: [Text] -> Expr Source #

data CabalInfo Source #

Constructors

CabalInfo 

Fields

Instances

Instances details
Generic CabalInfo Source # 
Instance details

Defined in Hix.Bootstrap

Associated Types

type Rep CabalInfo :: Type -> Type #

Methods

from :: CabalInfo -> Rep CabalInfo x #

to :: Rep CabalInfo x -> CabalInfo #

Show CabalInfo Source # 
Instance details

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> CabalInfo -> ShowS #

show :: CabalInfo -> String #

showList :: [CabalInfo] -> ShowS #

Eq CabalInfo Source # 
Instance details

Defined in Hix.Bootstrap

Methods

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

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

type Rep CabalInfo Source # 
Instance details

Defined in Hix.Bootstrap

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

data ComponentType Source #

Constructors

Library 
Executable Text 
Benchmark Text 
Test Text 

Instances

Instances details
Generic ComponentType Source # 
Instance details

Defined in Hix.Bootstrap

Associated Types

type Rep ComponentType :: Type -> Type #

Methods

from :: ComponentType -> Rep ComponentType x #

to :: Rep ComponentType x -> ComponentType #

Show ComponentType Source # 
Instance details

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> ComponentType -> ShowS #

show :: ComponentType -> String #

showList :: [ComponentType] -> ShowS #

Eq ComponentType Source # 
Instance details

Defined in Hix.Bootstrap

Methods

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

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

type Rep ComponentType Source # 
Instance details

Defined in Hix.Bootstrap

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

data PreludeWithVersion Source #

Constructors

PreludeWithVersion 

Fields

Instances

Instances details
Generic PreludeWithVersion Source # 
Instance details

Defined in Hix.Bootstrap

Associated Types

type Rep PreludeWithVersion :: Type -> Type #

Methods

from :: PreludeWithVersion -> Rep PreludeWithVersion x #

to :: Rep PreludeWithVersion x -> PreludeWithVersion #

Show PreludeWithVersion Source # 
Instance details

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> PreludeWithVersion -> ShowS #

show :: PreludeWithVersion -> String #

showList :: [PreludeWithVersion] -> ShowS #

Eq PreludeWithVersion Source # 
Instance details

Defined in Hix.Bootstrap

Methods

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

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

type Rep PreludeWithVersion Source # 
Instance details

Defined in Hix.Bootstrap

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

data HixComponent Source #

Constructors

HixComponent 

Fields

Instances

Instances details
Generic HixComponent Source # 
Instance details

Defined in Hix.Bootstrap

Associated Types

type Rep HixComponent :: Type -> Type #

Methods

from :: HixComponent -> Rep HixComponent x #

to :: Rep HixComponent x -> HixComponent #

Show HixComponent Source # 
Instance details

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> HixComponent -> ShowS #

show :: HixComponent -> String #

showList :: [HixComponent] -> ShowS #

Eq HixComponent Source # 
Instance details

Defined in Hix.Bootstrap

Methods

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

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

type Rep HixComponent Source # 
Instance details

Defined in Hix.Bootstrap

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

data HixPackage Source #

Constructors

HixPackage 

Fields

Instances

Instances details
Generic HixPackage Source # 
Instance details

Defined in Hix.Bootstrap

Associated Types

type Rep HixPackage :: Type -> Type #

Methods

from :: HixPackage -> Rep HixPackage x #

to :: Rep HixPackage x -> HixPackage #

Show HixPackage Source # 
Instance details

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> HixPackage -> ShowS #

show :: HixPackage -> String #

showList :: [HixPackage] -> ShowS #

Eq HixPackage Source # 
Instance details

Defined in Hix.Bootstrap

Methods

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

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

type Rep HixPackage Source # 
Instance details

Defined in Hix.Bootstrap

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

indent :: Functor t => Int -> t Text -> t Text Source #

withSemicolon :: NonEmpty Text -> NonEmpty Text Source #

renderAttrs :: Int -> [ExprAttr] -> [Text] Source #

renderExpr :: Int -> Expr -> NonEmpty Text Source #

renderRootExpr :: Expr -> Text Source #

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

class RenderCabalOption a where Source #

Methods

renderCabalOption :: a -> Text Source #

Instances

Instances details
RenderCabalOption ShortText Source # 
Instance details

Defined in Hix.Bootstrap

Methods

renderCabalOption :: ShortText -> Text Source #

RenderCabalOption String Source # 
Instance details

Defined in Hix.Bootstrap

Methods

renderCabalOption :: String -> Text Source #

Pretty a => RenderCabalOption a Source # 
Instance details

Defined in Hix.Bootstrap

Methods

renderCabalOption :: a -> Text Source #

checkEmpty :: Text -> Expr -> ExprAttr Source #

singleOpt :: RenderCabalOption a => Text -> (e -> Maybe a) -> e -> ExprAttr Source #

single :: RenderCabalOption a => Text -> (e -> a) -> e -> ExprAttr Source #

multiOpt :: RenderCabalOption a => Text -> (e -> Maybe [a]) -> e -> ExprAttr Source #

multi :: RenderCabalOption a => Text -> (e -> [a]) -> e -> ExprAttr Source #

multiOrSingle :: forall a e. RenderCabalOption a => Text -> (e -> [a]) -> e -> ExprAttr Source #

mkAttrs :: [e -> ExprAttr] -> e -> [ExprAttr] Source #

knownPackageKeys :: PackageDescription -> [ExprAttr] Source #

metaPackageKeys :: PackageDescription -> [ExprAttr] Source #

ghcFlavour :: PerCompilerFlavor a -> a Source #

notDefaultGhcOption :: String -> Bool Source #

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

notBase :: Dependency -> Bool Source #

convertComponent :: ComponentType -> BuildInfo -> HixComponent Source #

convertLibrary :: Library -> HixComponent Source #

convertExecutable :: UnqualComponentName -> Executable -> HixComponent Source #

convertTestsuite :: UnqualComponentName -> TestSuite -> HixComponent Source #

convertBenchmark :: UnqualComponentName -> Benchmark -> HixComponent Source #

convert :: CabalInfo -> HixPackage Source #

renderComponent :: HixComponent -> ExprAttr Source #

flakePackage :: HixPackage -> ExprAttr Source #

mainPackage :: [HixPackage] -> ExprAttr Source #

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

bootstrapFiles :: BootstrapProjectConfig -> M [ProjectFile] Source #

bootstrapProject :: BootstrapProjectConfig -> M () Source #