Nix.Parser

Main module for parsing Nix expressions.

Documentation

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

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

parseNixText :: Text -> Result NExpr

parseNixTextLoc :: Text -> Result NExprLoc

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

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

type Parser = ParsecT Void Text (State SourcePos)

parseFromText :: Parser a -> Text -> Result a

type Result a = Either (Doc Void) a

reservedNames :: HashSet VarName

data OperatorInfo

Constructors

OperatorInfo

Fields

• precedence :: Int
• associativity :: NAssoc
• operatorName :: Text

Instances

Eq OperatorInfo

Defined in Nix.Parser

Methods

(==) :: OperatorInfo -> OperatorInfo -> Bool

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

Data OperatorInfo

Defined in Nix.Parser

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OperatorInfo -> c OperatorInfo

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OperatorInfo

toConstr :: OperatorInfo -> Constr

dataTypeOf :: OperatorInfo -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OperatorInfo)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OperatorInfo)

gmapT :: (forall b. Data b => b -> b) -> OperatorInfo -> OperatorInfo

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OperatorInfo -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OperatorInfo -> r

gmapQ :: (forall d. Data d => d -> u) -> OperatorInfo -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> OperatorInfo -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OperatorInfo -> m OperatorInfo

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OperatorInfo -> m OperatorInfo

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OperatorInfo -> m OperatorInfo

Ord OperatorInfo

Defined in Nix.Parser

Methods

compare :: OperatorInfo -> OperatorInfo -> Ordering

(<) :: OperatorInfo -> OperatorInfo -> Bool

(<=) :: OperatorInfo -> OperatorInfo -> Bool

(>) :: OperatorInfo -> OperatorInfo -> Bool

(>=) :: OperatorInfo -> OperatorInfo -> Bool

max :: OperatorInfo -> OperatorInfo -> OperatorInfo

min :: OperatorInfo -> OperatorInfo -> OperatorInfo

Show OperatorInfo

Defined in Nix.Parser

Methods

showsPrec :: Int -> OperatorInfo -> ShowS

show :: OperatorInfo -> String

showList :: [OperatorInfo] -> ShowS

Generic OperatorInfo

Defined in Nix.Parser

Associated Types

type Rep OperatorInfo :: Type -> Type

Methods

from :: OperatorInfo -> Rep OperatorInfo x

to :: Rep OperatorInfo x -> OperatorInfo

type Rep OperatorInfo

Defined in Nix.Parser

type Rep OperatorInfo = D1 ('MetaData "OperatorInfo" "Nix.Parser" "hnix-0.16.0-8yNt853wvoc5yRPRKlu02G" 'False) (C1 ('MetaCons "OperatorInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "precedence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "associativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAssoc) :*: S1 ('MetaSel ('Just "operatorName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data NSpecialOp

Constructors

NHasAttrOp

NSelectOp

Instances

Eq NSpecialOp

Defined in Nix.Parser

Methods

(==) :: NSpecialOp -> NSpecialOp -> Bool

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

Data NSpecialOp

Defined in Nix.Parser

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NSpecialOp -> c NSpecialOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NSpecialOp

toConstr :: NSpecialOp -> Constr

dataTypeOf :: NSpecialOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NSpecialOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NSpecialOp)

gmapT :: (forall b. Data b => b -> b) -> NSpecialOp -> NSpecialOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NSpecialOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NSpecialOp -> r

gmapQ :: (forall d. Data d => d -> u) -> NSpecialOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NSpecialOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NSpecialOp -> m NSpecialOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NSpecialOp -> m NSpecialOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NSpecialOp -> m NSpecialOp

Ord NSpecialOp

Defined in Nix.Parser

Methods

compare :: NSpecialOp -> NSpecialOp -> Ordering

(<) :: NSpecialOp -> NSpecialOp -> Bool

(<=) :: NSpecialOp -> NSpecialOp -> Bool

(>) :: NSpecialOp -> NSpecialOp -> Bool

(>=) :: NSpecialOp -> NSpecialOp -> Bool

max :: NSpecialOp -> NSpecialOp -> NSpecialOp

min :: NSpecialOp -> NSpecialOp -> NSpecialOp

Show NSpecialOp

Defined in Nix.Parser

Methods

showsPrec :: Int -> NSpecialOp -> ShowS

show :: NSpecialOp -> String

showList :: [NSpecialOp] -> ShowS

Generic NSpecialOp

Defined in Nix.Parser

Associated Types

type Rep NSpecialOp :: Type -> Type

Methods

from :: NSpecialOp -> Rep NSpecialOp x

to :: Rep NSpecialOp x -> NSpecialOp

NFData NSpecialOp

Defined in Nix.Parser

Methods

rnf :: NSpecialOp -> ()

type Rep NSpecialOp

Defined in Nix.Parser

type Rep NSpecialOp = D1 ('MetaData "NSpecialOp" "Nix.Parser" "hnix-0.16.0-8yNt853wvoc5yRPRKlu02G" 'False) (C1 ('MetaCons "NHasAttrOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NSelectOp" 'PrefixI 'False) (U1 :: Type -> Type))

data NAssoc

Constructors

NAssocNone

NAssocLeft

NAssocRight

Instances

Eq NAssoc

Defined in Nix.Parser

Methods

(==) :: NAssoc -> NAssoc -> Bool

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

Data NAssoc

Defined in Nix.Parser

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NAssoc -> c NAssoc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NAssoc

toConstr :: NAssoc -> Constr

dataTypeOf :: NAssoc -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NAssoc)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NAssoc)

gmapT :: (forall b. Data b => b -> b) -> NAssoc -> NAssoc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NAssoc -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NAssoc -> r

gmapQ :: (forall d. Data d => d -> u) -> NAssoc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NAssoc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NAssoc -> m NAssoc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NAssoc -> m NAssoc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NAssoc -> m NAssoc

Ord NAssoc

Defined in Nix.Parser

Methods

compare :: NAssoc -> NAssoc -> Ordering

(<) :: NAssoc -> NAssoc -> Bool

(<=) :: NAssoc -> NAssoc -> Bool

(>) :: NAssoc -> NAssoc -> Bool

(>=) :: NAssoc -> NAssoc -> Bool

max :: NAssoc -> NAssoc -> NAssoc

min :: NAssoc -> NAssoc -> NAssoc

Show NAssoc

Defined in Nix.Parser

Methods

showsPrec :: Int -> NAssoc -> ShowS

show :: NAssoc -> String

showList :: [NAssoc] -> ShowS

Generic NAssoc

Defined in Nix.Parser

Associated Types

type Rep NAssoc :: Type -> Type

Methods

from :: NAssoc -> Rep NAssoc x

to :: Rep NAssoc x -> NAssoc

NFData NAssoc

Defined in Nix.Parser

Methods

rnf :: NAssoc -> ()

type Rep NAssoc

Defined in Nix.Parser

type Rep NAssoc = D1 ('MetaData "NAssoc" "Nix.Parser" "hnix-0.16.0-8yNt853wvoc5yRPRKlu02G" 'False) (C1 ('MetaCons "NAssocNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NAssocLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NAssocRight" 'PrefixI 'False) (U1 :: Type -> Type)))

data NOperatorDef

Instances

Eq NOperatorDef

Defined in Nix.Parser

Methods

(==) :: NOperatorDef -> NOperatorDef -> Bool

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

Data NOperatorDef

Defined in Nix.Parser

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NOperatorDef -> c NOperatorDef

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NOperatorDef

toConstr :: NOperatorDef -> Constr

dataTypeOf :: NOperatorDef -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NOperatorDef)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NOperatorDef)

gmapT :: (forall b. Data b => b -> b) -> NOperatorDef -> NOperatorDef

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NOperatorDef -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NOperatorDef -> r

gmapQ :: (forall d. Data d => d -> u) -> NOperatorDef -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NOperatorDef -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NOperatorDef -> m NOperatorDef

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NOperatorDef -> m NOperatorDef

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NOperatorDef -> m NOperatorDef

Ord NOperatorDef

Defined in Nix.Parser

Methods

compare :: NOperatorDef -> NOperatorDef -> Ordering

(<) :: NOperatorDef -> NOperatorDef -> Bool

(<=) :: NOperatorDef -> NOperatorDef -> Bool

(>) :: NOperatorDef -> NOperatorDef -> Bool

(>=) :: NOperatorDef -> NOperatorDef -> Bool

max :: NOperatorDef -> NOperatorDef -> NOperatorDef

min :: NOperatorDef -> NOperatorDef -> NOperatorDef

Show NOperatorDef

Defined in Nix.Parser

Methods

showsPrec :: Int -> NOperatorDef -> ShowS

show :: NOperatorDef -> String

showList :: [NOperatorDef] -> ShowS

Generic NOperatorDef

Defined in Nix.Parser

Associated Types

type Rep NOperatorDef :: Type -> Type

Methods

from :: NOperatorDef -> Rep NOperatorDef x

to :: Rep NOperatorDef x -> NOperatorDef

NFData NOperatorDef

Defined in Nix.Parser

Methods

rnf :: NOperatorDef -> ()

type Rep NOperatorDef

Defined in Nix.Parser

type Rep NOperatorDef = D1 ('MetaData "NOperatorDef" "Nix.Parser" "hnix-0.16.0-8yNt853wvoc5yRPRKlu02G" 'False) (C1 ('MetaCons "NUnaryDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NUnaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "NBinaryDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAssoc) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NBinaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: C1 ('MetaCons "NSpecialDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAssoc) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NSpecialOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

getUnaryOperator :: NUnaryOp -> OperatorInfo

getBinaryOperator :: NBinaryOp -> OperatorInfo

getSpecialOperator :: NSpecialOp -> OperatorInfo

nixExpr :: Parser NExprLoc

nixExprAlgebra :: 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.

nixSet :: Parser NExprLoc

nixBinders :: Parser [Binding NExprLoc]

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

nixSym :: Parser NExprLoc

nixPath :: Parser NExprLoc

nixString :: Parser NExprLoc

nixUri :: Parser NExprLoc

nixSearchPath :: Parser NExprLoc

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

nixFloat :: Parser NExprLoc

nixInt :: Parser NExprLoc

nixBool :: Parser NExprLoc

nixNull :: Parser NExprLoc

whiteSpace :: Parser ()