hix-0.8.0: Haskell/Nix development build tools
Safe HaskellNone
LanguageGHC2021

Hix.Preproc

Documentation

type Regex = IndexedTraversal' Int ByteString Match Source #

fromPreludeConfig :: PreprocConfig -> PreludeConfig -> Prelude Source #

data CabalConfig Source #

Constructors

CabalConfig 

Fields

Instances

Instances details
Generic CabalConfig Source # 
Instance details

Defined in Hix.Preproc

Associated Types

type Rep CabalConfig 
Instance details

Defined in Hix.Preproc

type Rep CabalConfig = D1 ('MetaData "CabalConfig" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "CabalConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "extensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Builder]) :*: (S1 ('MetaSel ('Just "ghcOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Builder]) :*: S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Prelude)))))

Methods

from :: CabalConfig -> Rep CabalConfig x #

to :: Rep CabalConfig x -> CabalConfig #

Show CabalConfig Source # 
Instance details

Defined in Hix.Preproc

Methods

showsPrec :: Int -> CabalConfig -> ShowS #

show :: CabalConfig -> String #

showList :: [CabalConfig] -> ShowS #

type Rep CabalConfig Source # 
Instance details

Defined in Hix.Preproc

type Rep CabalConfig = D1 ('MetaData "CabalConfig" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "CabalConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "extensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Builder]) :*: (S1 ('MetaSel ('Just "ghcOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Builder]) :*: S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Prelude)))))

newtype DummyExportName Source #

Constructors

DummyExportName 

Fields

Instances

Instances details
IsString DummyExportName Source # 
Instance details

Defined in Hix.Preproc

Methods

fromString :: String -> DummyExportName #

Generic DummyExportName Source # 
Instance details

Defined in Hix.Preproc

Associated Types

type Rep DummyExportName 
Instance details

Defined in Hix.Preproc

type Rep DummyExportName = D1 ('MetaData "DummyExportName" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'True) (C1 ('MetaCons "DummyExportName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDummyExportName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from :: DummyExportName -> Rep DummyExportName x #

to :: Rep DummyExportName x -> DummyExportName #

Show DummyExportName Source # 
Instance details

Defined in Hix.Preproc

Methods

showsPrec :: Int -> DummyExportName -> ShowS #

show :: DummyExportName -> String #

showList :: [DummyExportName] -> ShowS #

Eq DummyExportName Source # 
Instance details

Defined in Hix.Preproc

Methods

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

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

Ord DummyExportName Source # 
Instance details

Defined in Hix.Preproc

Methods

compare :: DummyExportName -> DummyExportName -> Ordering #

(<) :: DummyExportName -> DummyExportName -> Bool #

(<=) :: DummyExportName -> DummyExportName -> Bool #

(>) :: DummyExportName -> DummyExportName -> Bool #

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

max :: DummyExportName -> DummyExportName -> DummyExportName #

min :: DummyExportName -> DummyExportName -> DummyExportName #

type Rep DummyExportName Source # 
Instance details

Defined in Hix.Preproc

type Rep DummyExportName = D1 ('MetaData "DummyExportName" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'True) (C1 ('MetaCons "DummyExportName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDummyExportName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

noMatch :: Text -> Path b File -> ExceptT Error IO a Source #

takeLine :: ByteString -> Maybe (ByteString, ByteString) Source #

nl :: Builder Source #

lineB :: Builder -> Builder Source #

line :: ByteString -> Builder Source #

joinLinesReverse :: [ByteString] -> ByteString Source #

joinLinesReverseBuilder :: [ByteString] -> Builder Source #

extension :: Extension -> Maybe Builder Source #

languagePragma :: [Builder] -> Builder Source #

extensionsPragma :: CabalConfig -> Maybe Builder Source #

optionsPragma :: Builder -> Builder Source #

noImplicitPreludeRegex :: Regex Source #

commentRegex :: Regex Source #

moduleRegex :: Regex Source #

moduleEndRegex :: Regex Source #

importsEndRegex :: Regex Source #

importRegex :: Regex Source #

containsNoImplicitPrelude :: ByteString -> Bool Source #

isComment :: ByteString -> Bool Source #

isModule :: ByteString -> Maybe ByteString Source #

isModuleEnd :: ByteString -> Bool Source #

isImportsEnd :: ByteString -> Bool Source #

isImport :: ByteString -> Bool Source #

data Phase Source #

Constructors

PreModule 
ModuleStart 
ModuleExports 
Imports 

Instances

Instances details
Generic Phase Source # 
Instance details

Defined in Hix.Preproc

Associated Types

type Rep Phase 
Instance details

Defined in Hix.Preproc

type Rep Phase = D1 ('MetaData "Phase" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) ((C1 ('MetaCons "PreModule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ModuleStart" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ModuleExports" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Imports" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Phase -> Rep Phase x #

to :: Rep Phase x -> Phase #

Show Phase Source # 
Instance details

Defined in Hix.Preproc

Methods

showsPrec :: Int -> Phase -> ShowS #

show :: Phase -> String #

showList :: [Phase] -> ShowS #

Eq Phase Source # 
Instance details

Defined in Hix.Preproc

Methods

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

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

type Rep Phase Source # 
Instance details

Defined in Hix.Preproc

type Rep Phase = D1 ('MetaData "Phase" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) ((C1 ('MetaCons "PreModule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ModuleStart" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ModuleExports" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Imports" 'PrefixI 'False) (U1 :: Type -> Type)))

data PreludeAction Source #

Constructors

PreludeDefault 
PreludeNoImplicit 
PreludeReplaced 

Instances

Instances details
Generic PreludeAction Source # 
Instance details

Defined in Hix.Preproc

Associated Types

type Rep PreludeAction 
Instance details

Defined in Hix.Preproc

type Rep PreludeAction = D1 ('MetaData "PreludeAction" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "PreludeDefault" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PreludeNoImplicit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PreludeReplaced" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: PreludeAction -> Rep PreludeAction x #

to :: Rep PreludeAction x -> PreludeAction #

Show PreludeAction Source # 
Instance details

Defined in Hix.Preproc

Methods

showsPrec :: Int -> PreludeAction -> ShowS #

show :: PreludeAction -> String #

showList :: [PreludeAction] -> ShowS #

Eq PreludeAction Source # 
Instance details

Defined in Hix.Preproc

Methods

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

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

type Rep PreludeAction Source # 
Instance details

Defined in Hix.Preproc

type Rep PreludeAction = D1 ('MetaData "PreludeAction" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "PreludeDefault" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PreludeNoImplicit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PreludeReplaced" 'PrefixI 'False) (U1 :: Type -> Type)))

data CustomPrelude Source #

Constructors

CustomPrelude Prelude PreludeAction 
NoCustomPrelude 

Instances

Instances details
Generic CustomPrelude Source # 
Instance details

Defined in Hix.Preproc

Associated Types

type Rep CustomPrelude 
Instance details

Defined in Hix.Preproc

type Rep CustomPrelude = D1 ('MetaData "CustomPrelude" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "CustomPrelude" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Prelude) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PreludeAction)) :+: C1 ('MetaCons "NoCustomPrelude" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: CustomPrelude -> Rep CustomPrelude x #

to :: Rep CustomPrelude x -> CustomPrelude #

Show CustomPrelude Source # 
Instance details

Defined in Hix.Preproc

Methods

showsPrec :: Int -> CustomPrelude -> ShowS #

show :: CustomPrelude -> String #

showList :: [CustomPrelude] -> ShowS #

type Rep CustomPrelude Source # 
Instance details

Defined in Hix.Preproc

type Rep CustomPrelude = D1 ('MetaData "CustomPrelude" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "CustomPrelude" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Prelude) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PreludeAction)) :+: C1 ('MetaCons "NoCustomPrelude" 'PrefixI 'False) (U1 :: Type -> Type))

notPre :: Phase -> Bool Source #

pattern NotPre :: Phase Source #

inModule :: Phase -> Bool Source #

pattern InModule :: Phase Source #

preludeRegex :: Regex Source #

replacePrelude :: ByteString -> Prelude -> Maybe ByteString Source #

parenRegex :: Regex Source #

dummyExportPlaceholder :: ByteString Source #

dummyExportPlaceholderRegex :: Regex Source #

insertExport :: ByteString -> ByteString Source #

moduleExportsRegex :: Regex Source #

moduleExports :: ByteString -> [ByteString] Source #

data Header Source #

Constructors

Header 

Fields

Instances

Instances details
Generic Header Source # 
Instance details

Defined in Hix.Preproc

Associated Types

type Rep Header 
Instance details

Defined in Hix.Preproc

type Rep Header = D1 ('MetaData "Header" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "Header" 'PrefixI 'True) ((S1 ('MetaSel ('Just "moduleLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ByteString]) :*: (S1 ('MetaSel ('Just "importLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ByteString]) :*: S1 ('MetaSel ('Just "rest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Builder))) :*: ((S1 ('MetaSel ('Just "moduleEndLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "importsEndLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomPrelude) :*: S1 ('MetaSel ('Just "exportsSelf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))))

Methods

from :: Header -> Rep Header x #

to :: Rep Header x -> Header #

Show Header Source # 
Instance details

Defined in Hix.Preproc

Methods

showsPrec :: Int -> Header -> ShowS #

show :: Header -> String #

showList :: [Header] -> ShowS #

type Rep Header Source # 
Instance details

Defined in Hix.Preproc

type Rep Header = D1 ('MetaData "Header" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "Header" 'PrefixI 'True) ((S1 ('MetaSel ('Just "moduleLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ByteString]) :*: (S1 ('MetaSel ('Just "importLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ByteString]) :*: S1 ('MetaSel ('Just "rest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Builder))) :*: ((S1 ('MetaSel ('Just "moduleEndLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "importsEndLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomPrelude) :*: S1 ('MetaSel ('Just "exportsSelf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))))

data ScanState Source #

Constructors

ScanState 

Fields

Instances

Instances details
Generic ScanState Source # 
Instance details

Defined in Hix.Preproc

Associated Types

type Rep ScanState 
Instance details

Defined in Hix.Preproc

type Rep ScanState = D1 ('MetaData "ScanState" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "ScanState" 'PrefixI 'True) (((S1 ('MetaSel ('Just "phase") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Phase) :*: S1 ('MetaSel ('Just "moduleLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ByteString])) :*: (S1 ('MetaSel ('Just "importLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ByteString]) :*: S1 ('MetaSel ('Just "moduleLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))) :*: ((S1 ('MetaSel ('Just "importsLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomPrelude)) :*: (S1 ('MetaSel ('Just "moduleName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ByteString)) :*: S1 ('MetaSel ('Just "exportsSelf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))))

Methods

from :: ScanState -> Rep ScanState x #

to :: Rep ScanState x -> ScanState #

Show ScanState Source # 
Instance details

Defined in Hix.Preproc

Methods

showsPrec :: Int -> ScanState -> ShowS #

show :: ScanState -> String #

showList :: [ScanState] -> ShowS #

type Rep ScanState Source # 
Instance details

Defined in Hix.Preproc

type Rep ScanState = D1 ('MetaData "ScanState" "Hix.Preproc" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "ScanState" 'PrefixI 'True) (((S1 ('MetaSel ('Just "phase") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Phase) :*: S1 ('MetaSel ('Just "moduleLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ByteString])) :*: (S1 ('MetaSel ('Just "importLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ByteString]) :*: S1 ('MetaSel ('Just "moduleLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))) :*: ((S1 ('MetaSel ('Just "importsLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomPrelude)) :*: (S1 ('MetaSel ('Just "moduleName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ByteString)) :*: S1 ('MetaSel ('Just "exportsSelf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))))

scanHeader :: Maybe Prelude -> ByteString -> Header Source #

customPreludeImport :: Prelude -> Builder Source #

needPreludeExtensions :: PreludeAction -> Bool Source #

pattern NeedPreludeExtensions :: PreludeAction Source #

needDummy :: CustomPrelude -> Bool Source #

pattern NeedDummy :: CustomPrelude Source #

preludeExtensions :: CustomPrelude -> Builder Source #

explicitPreludeImport :: Builder -> CustomPrelude -> Builder Source #

dummyDecl :: CustomPrelude -> Builder -> DummyExportName -> Builder Source #

replaceDummy :: CustomPrelude -> Bool -> DummyExportName -> ByteString -> ByteString Source #

assemble :: Path Abs File -> Header -> Maybe Builder -> Maybe Builder -> DummyExportName -> Builder Source #

preprocessModule :: Path Abs File -> CabalConfig -> DummyExportName -> ByteString -> Builder Source #

preprocessWith :: PreprocOptions -> CabalConfig -> M () Source #

fromConfig :: Maybe (Path Abs Dir) -> Path Abs File -> Either PreprocConfig JsonConfig -> M CabalConfig Source #

fromCabal :: BuildInfo -> CabalConfig Source #

fromCabalFile :: Path Abs File -> M CabalConfig Source #

preprocess :: PreprocOptions -> M () Source #