Hix.Bootstrap

Documentation

data ExprAttr

Constructors

ExprAttr

Fields

• name :: Text
• value :: Expr

ExprAttrNil

Instances

Generic ExprAttr

Defined in Hix.Bootstrap

Associated Types

type Rep ExprAttr :: Type -> Type

Methods

from :: ExprAttr -> Rep ExprAttr x

to :: Rep ExprAttr x -> ExprAttr

Show ExprAttr

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> ExprAttr -> ShowS

show :: ExprAttr -> String

showList :: [ExprAttr] -> ShowS

Eq ExprAttr

Defined in Hix.Bootstrap

Methods

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

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

type Rep ExprAttr

Defined in Hix.Bootstrap

type Rep ExprAttr = D1 ('MetaData "ExprAttr" "Hix.Bootstrap" "hix-0.6.1-FehBjbuHf2y2ubHG97UkG2" '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

Constructors

ExprString Text

ExprLit Text

ExprList [Expr]

ExprAttrs [ExprAttr]

ExprPrefix Text Expr

Instances

Generic Expr

Defined in Hix.Bootstrap

Associated Types

type Rep Expr :: Type -> Type

Methods

from :: Expr -> Rep Expr x

to :: Rep Expr x -> Expr

Show Expr

Defined in Hix.Bootstrap

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Eq Expr

Defined in Hix.Bootstrap

Methods

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

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

type Rep Expr

Defined in Hix.Bootstrap

type Rep Expr = D1 ('MetaData "Expr" "Hix.Bootstrap" "hix-0.6.1-FehBjbuHf2y2ubHG97UkG2" '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

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.6.1-FehBjbuHf2y2ubHG97UkG2" '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

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.6.1-FehBjbuHf2y2ubHG97UkG2" '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

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.6.1-FehBjbuHf2y2ubHG97UkG2" '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

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.6.1-FehBjbuHf2y2ubHG97UkG2" '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

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.6.1-FehBjbuHf2y2ubHG97UkG2" '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

withSemicolon :: NonEmpty Text -> NonEmpty Text

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

renderExpr :: Int -> Expr -> NonEmpty Text

renderRootExpr :: Expr -> Text

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

class RenderCabalOption a where

Methods

renderCabalOption :: a -> Text

Instances

RenderCabalOption ShortText

Defined in Hix.Bootstrap

Methods

renderCabalOption :: ShortText -> Text

RenderCabalOption String

Defined in Hix.Bootstrap

Methods

renderCabalOption :: String -> Text

Pretty a => RenderCabalOption a

Defined in Hix.Bootstrap

Methods

renderCabalOption :: a -> Text

checkEmpty :: Text -> Expr -> ExprAttr

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

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

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

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

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

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

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 -> 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 ()