Safe Haskell	Safe-Inferred
Language	GHC2021

Hix.Preproc

Documentation

type Regex = IndexedTraversal' Int ByteString Match Source #

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

data CabalConfig Source #

Constructors

CabalConfig
Fields extensions :: [Builder] ghcOptions :: [Builder] prelude :: Maybe Prelude

Instances

Instances details

Generic CabalConfig Source #
Instance details Defined in Hix.Preproc Associated Types type Rep CabalConfig :: Type -> Type # 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.6.9-IXVGj3uQpBlH45J56StoKp" 'False) (C1 ('MetaCons "CabalConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "extensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Builder]) :: (S1 ('MetaSel ('Just "ghcOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Builder]) :: S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Prelude)))))

newtype DummyExportName Source #

Constructors

DummyExportName
Fields unDummyExportName :: ByteString

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 :: Type -> Type # 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.6.9-IXVGj3uQpBlH45J56StoKp" '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 :: 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.6.9-IXVGj3uQpBlH45J56StoKp" '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 :: 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.6.9-IXVGj3uQpBlH45J56StoKp" '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 :: 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.6.9-IXVGj3uQpBlH45J56StoKp" 'False) (C1 ('MetaCons "CustomPrelude" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Prelude) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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 moduleLines :: [ByteString] importLines :: [ByteString] rest :: Builder moduleEndLine :: Int importsEndLine :: Int prelude :: CustomPrelude exportsSelf :: Bool

Instances

data ScanState Source #

Constructors

ScanState
Fields phase :: Phase moduleLines :: [ByteString] importLines :: [ByteString] moduleLength :: Int importsLength :: Int prelude :: CustomPrelude moduleName :: Maybe ByteString exportsSelf :: Bool

Instances

Instances details

Generic ScanState Source #
Instance details Defined in Hix.Preproc Associated Types type Rep ScanState :: Type -> Type # 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.6.9-IXVGj3uQpBlH45J56StoKp" 'False) (C1 ('MetaCons "ScanState" 'PrefixI 'True) (((S1 ('MetaSel ('Just "phase") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phase) :: S1 ('MetaSel ('Just "moduleLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ByteString])) :: (S1 ('MetaSel ('Just "importLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ByteString]) :: S1 ('MetaSel ('Just "moduleLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :: ((S1 ('MetaSel ('Just "importsLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CustomPrelude)) :: (S1 ('MetaSel ('Just "moduleName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ByteString)) :*: S1 ('MetaSel ('Just "exportsSelf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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 #

Generic Header Source #
Instance details Defined in Hix.Preproc Associated Types type Rep Header :: Type -> Type # 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.6.9-IXVGj3uQpBlH45J56StoKp" 'False) (C1 ('MetaCons "Header" 'PrefixI 'True) ((S1 ('MetaSel ('Just "moduleLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ByteString]) :: (S1 ('MetaSel ('Just "importLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ByteString]) :: S1 ('MetaSel ('Just "rest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Builder))) :: ((S1 ('MetaSel ('Just "moduleEndLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "importsEndLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :: (S1 ('MetaSel ('Just "prelude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CustomPrelude) :: S1 ('MetaSel ('Just "exportsSelf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))