Modulehnix-0.17.0Haskell2010

Nix.Parser

Main module for parsing Nix expressions.

7 types
1 class
24 values

Packagehnix-0.17.0
Exports32
LanguageHaskell2010
LicenceBSD-3-Clause
SourceParser.hs

valueparseNixFile :: MonadFile m => Path -> m (Result NExpr)

valueparseNixFileLoc :: MonadFile m => Path -> m (Result NExprLoc)

valueparseNixText :: Text -> Result NExpr

valueparseNixTextLoc :: Text -> Result NExprLoc

valueparseExpr :: MonadFail m => Text -> m NExpr

valueparseFromFileEx :: MonadFile m => Parser a -> Path -> m (Result a)

typetype Parser = ParsecT Void Text (State SourcePos)

valueparseFromText :: Parser a -> Text -> Result a

typetype Result a = Either (Doc Void) a

valuereservedNames :: HashSet VarName

datadata NAssoc

Constructors

NAssocLeft
NAssoc
Bidirectional associativity, or simply: associative property.
NAssocRight

Instances7Eq, Data, Ord, Show, Generic, NFData, …

Eq NAssocDefined in hnix-0.17.0 · Nix.Parser
Data NAssocDefined in hnix-0.17.0 · Nix.Parser
Ord NAssocDefined in hnix-0.17.0 · Nix.Parser
Show NAssocDefined in hnix-0.17.0 · Nix.Parser
Generic NAssocDefined in hnix-0.17.0 · Nix.Parser
NFData NAssocDefined in hnix-0.17.0 · Nix.Parser
type Rep NAssoc = D1 ('MetaData "NAssoc" "Nix.Parser" "hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7" 'False) (C1 ('MetaCons "NAssocLeft" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "NAssoc" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NAssocRight" 'PrefixI 'False) U1))Defined in hnix-0.17.0 · Nix.Parser

newtypenewtype NOpPrecedence

Constructors

NOpPrecedence Int

Instances10Bounded, Enum, Eq, Data, Num, Ord, …

Bounded NOpPrecedenceDefined in hnix-0.17.0 · Nix.Parser
Enum NOpPrecedenceDefined in hnix-0.17.0 · Nix.Parser
Eq NOpPrecedenceDefined in hnix-0.17.0 · Nix.Parser
Data NOpPrecedenceDefined in hnix-0.17.0 · Nix.Parser
Num NOpPrecedenceDefined in hnix-0.17.0 · Nix.Parser
Ord NOpPrecedenceDefined in hnix-0.17.0 · Nix.Parser
Show NOpPrecedenceDefined in hnix-0.17.0 · Nix.Parser
Generic NOpPrecedenceDefined in hnix-0.17.0 · Nix.Parser
NFData NOpPrecedenceDefined in hnix-0.17.0 · Nix.Parser
type Rep NOpPrecedence = D1 ('MetaData "NOpPrecedence" "Nix.Parser" "hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7" 'True) (C1 ('MetaCons "NOpPrecedence" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))Defined in hnix-0.17.0 · Nix.Parser

newtypenewtype NOpName

Constructors

NOpName Text

Instances9Eq, Data, Ord, Show, IsString, Generic, …

Eq NOpNameDefined in hnix-0.17.0 · Nix.Parser
Data NOpNameDefined in hnix-0.17.0 · Nix.Parser
Ord NOpNameDefined in hnix-0.17.0 · Nix.Parser
Show NOpNameDefined in hnix-0.17.0 · Nix.Parser
IsString NOpNameDefined in hnix-0.17.0 · Nix.Parser
Generic NOpNameDefined in hnix-0.17.0 · Nix.Parser
NFData NOpNameDefined in hnix-0.17.0 · Nix.Parser
ToString NOpNameDefined in hnix-0.17.0 · Nix.Parser
type Rep NOpName = D1 ('MetaData "NOpName" "Nix.Parser" "hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7" 'True) (C1 ('MetaCons "NOpName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))Defined in hnix-0.17.0 · Nix.Parser

datadata NSpecialOp

Constructors

NHasAttrOp
NSelectOp
NTerm
For special handling of internal special cases.

Instances8Eq, Data, Ord, Show, Generic, NFData, …

Eq NSpecialOpDefined in hnix-0.17.0 · Nix.Parser
Data NSpecialOpDefined in hnix-0.17.0 · Nix.Parser
Ord NSpecialOpDefined in hnix-0.17.0 · Nix.Parser
Show NSpecialOpDefined in hnix-0.17.0 · Nix.Parser
Generic NSpecialOpDefined in hnix-0.17.0 · Nix.Parser
NFData NSpecialOpDefined in hnix-0.17.0 · Nix.Parser
NOp NSpecialOpDefined in hnix-0.17.0 · Nix.Parser
type Rep NSpecialOp = D1 ('MetaData "NSpecialOp" "Nix.Parser" "hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7" 'False) (C1 ('MetaCons "NHasAttrOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "NSelectOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NTerm" 'PrefixI 'False) U1))Defined in hnix-0.17.0 · Nix.Parser

datadata NOperatorDef

Single operator grammar entries.

Constructors

NAppDef NAppOp NAssoc NOpPrecedence NOpName
NUnaryDef NUnaryOp NAssoc NOpPrecedence NOpName
NBinaryDef NBinaryOp NAssoc NOpPrecedence NOpName
NSpecialDef NSpecialOp NAssoc NOpPrecedence NOpName

Instances8Eq, Data, Ord, Show, Generic, NFData, …

Eq NOperatorDefDefined in hnix-0.17.0 · Nix.Parser
Data NOperatorDefDefined in hnix-0.17.0 · Nix.Parser
Ord NOperatorDefDefined in hnix-0.17.0 · Nix.Parser
Show NOperatorDefDefined in hnix-0.17.0 · Nix.Parser
Generic NOperatorDefDefined in hnix-0.17.0 · Nix.Parser
NFData NOperatorDefDefined in hnix-0.17.0 · Nix.Parser
NOp NOperatorDefDefined in hnix-0.17.0 · Nix.Parser
type Rep NOperatorDef = D1 ('MetaData "NOperatorDef" "Nix.Parser" "hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7" 'False) ((C1 ('MetaCons "NAppDef" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAppOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAssoc)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NOpPrecedence) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NOpName))) :+: C1 ('MetaCons "NUnaryDef" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NUnaryOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAssoc)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NOpPrecedence) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NOpName)))) :+: (C1 ('MetaCons "NBinaryDef" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NBinaryOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAssoc)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NOpPrecedence) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NOpName))) :+: C1 ('MetaCons "NSpecialDef" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NSpecialOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAssoc)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NOpPrecedence) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NOpName)))))Defined in hnix-0.17.0 · Nix.Parser

valuenixExpr :: Parser NExprLoc

valuenixExprAlgebra :: Parser NExprLoc

Nix expression algebra parser. "Expression algebra" is to explain megaparsec use of the term Expression (parser for language algebraic coperators without any statements (without let etc.)), which is essentially an algebra inside the language.

valuenixSet :: Parser NExprLoc

valuenixBinders :: Parser [Binding NExprLoc]

valuenixSelector :: Parser (AnnUnit SrcSpan (NAttrPath NExprLoc))

valuenixSym :: Parser NExprLoc

valuenixPath :: Parser NExprLoc

valuenixString :: Parser NExprLoc

valuenixUri :: Parser NExprLoc

valuenixSearchPath :: Parser NExprLoc

A path surrounded by angle brackets, indicating that it should be looked up in the NIX_PATH environment variable at evaluation.

valuenixFloat :: Parser NExprLoc

valuenixInt :: Parser NExprLoc

valuenixBool :: Parser NExprLoc

valuenixNull :: Parser NExprLoc

valuewhiteSpace :: Parser ()

classclass NOp a where

Class to get a private free construction to abstract away the gap between the Nix operation types NUnaryOp, NBinaryOp, NSpecialOp. And in doing remove OperatorInfo from existance.

Methods

getOpDef :: a -> NOperatorDef
getOpAssoc :: a -> NAssoc
getOpPrecedence :: a -> NOpPrecedence
getOpName :: a -> NOpName

Instances5NOp

NOp NBinaryOpDefined in hnix-0.17.0 · Nix.Parser
NOp NUnaryOpDefined in hnix-0.17.0 · Nix.Parser
NOp NAppOpDefined in hnix-0.17.0 · Nix.Parser
NOp NOperatorDefDefined in hnix-0.17.0 · Nix.Parser
NOp NSpecialOpDefined in hnix-0.17.0 · Nix.Parser

valueappOpDef :: NOperatorDef

Functional application operator definition, left associative, high precedence.