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 NAssoc

Constructors

NAssocLeft

NAssoc

Bidirectional associativity, or simply: associative property.

NAssocRight

Instances

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

Generic NAssoc

Defined in Nix.Parser

Associated Types

type Rep NAssoc :: Type -> Type

Methods

from :: NAssoc -> Rep NAssoc x

to :: Rep NAssoc x -> NAssoc

Show NAssoc

Defined in Nix.Parser

Methods

showsPrec :: Int -> NAssoc -> ShowS

show :: NAssoc -> String

showList :: [NAssoc] -> ShowS

NFData NAssoc

Defined in Nix.Parser

Methods

rnf :: NAssoc -> ()

Eq NAssoc

Defined in Nix.Parser

Methods

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

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

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

type Rep NAssoc

Defined in Nix.Parser

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

newtype NOpPrecedence

Constructors

NOpPrecedence Int

Instances

Data NOpPrecedence

Defined in Nix.Parser

Methods

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

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

toConstr :: NOpPrecedence -> Constr

dataTypeOf :: NOpPrecedence -> DataType

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

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

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

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

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

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

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

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

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

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

Bounded NOpPrecedence

Defined in Nix.Parser

Methods

minBound :: NOpPrecedence

maxBound :: NOpPrecedence

Enum NOpPrecedence

Defined in Nix.Parser

Methods

succ :: NOpPrecedence -> NOpPrecedence

pred :: NOpPrecedence -> NOpPrecedence

toEnum :: Int -> NOpPrecedence

fromEnum :: NOpPrecedence -> Int

enumFrom :: NOpPrecedence -> [NOpPrecedence]

enumFromThen :: NOpPrecedence -> NOpPrecedence -> [NOpPrecedence]

enumFromTo :: NOpPrecedence -> NOpPrecedence -> [NOpPrecedence]

enumFromThenTo :: NOpPrecedence -> NOpPrecedence -> NOpPrecedence -> [NOpPrecedence]

Generic NOpPrecedence

Defined in Nix.Parser

Associated Types

type Rep NOpPrecedence :: Type -> Type

Methods

from :: NOpPrecedence -> Rep NOpPrecedence x

to :: Rep NOpPrecedence x -> NOpPrecedence

Num NOpPrecedence

Defined in Nix.Parser

Methods

(+) :: NOpPrecedence -> NOpPrecedence -> NOpPrecedence

(-) :: NOpPrecedence -> NOpPrecedence -> NOpPrecedence

(*) :: NOpPrecedence -> NOpPrecedence -> NOpPrecedence

negate :: NOpPrecedence -> NOpPrecedence

abs :: NOpPrecedence -> NOpPrecedence

signum :: NOpPrecedence -> NOpPrecedence

fromInteger :: Integer -> NOpPrecedence

Show NOpPrecedence

Defined in Nix.Parser

Methods

showsPrec :: Int -> NOpPrecedence -> ShowS

show :: NOpPrecedence -> String

showList :: [NOpPrecedence] -> ShowS

NFData NOpPrecedence

Defined in Nix.Parser

Methods

rnf :: NOpPrecedence -> ()

Eq NOpPrecedence

Defined in Nix.Parser

Methods

(==) :: NOpPrecedence -> NOpPrecedence -> Bool

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

Ord NOpPrecedence

Defined in Nix.Parser

Methods

compare :: NOpPrecedence -> NOpPrecedence -> Ordering

(<) :: NOpPrecedence -> NOpPrecedence -> Bool

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

(>) :: NOpPrecedence -> NOpPrecedence -> Bool

(>=) :: NOpPrecedence -> NOpPrecedence -> Bool

max :: NOpPrecedence -> NOpPrecedence -> NOpPrecedence

min :: NOpPrecedence -> NOpPrecedence -> NOpPrecedence

type Rep NOpPrecedence

Defined in Nix.Parser

type Rep NOpPrecedence = D1 ('MetaData "NOpPrecedence" "Nix.Parser" "hnix-0.17.0-8saIMbclRB9HPH4JCEpCXn" 'True) (C1 ('MetaCons "NOpPrecedence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype NOpName

Constructors

NOpName Text

Instances

Data NOpName

Defined in Nix.Parser

Methods

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

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

toConstr :: NOpName -> Constr

dataTypeOf :: NOpName -> DataType

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

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

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

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

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

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

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

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

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

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

IsString NOpName

Defined in Nix.Parser

Methods

fromString :: String -> NOpName

Generic NOpName

Defined in Nix.Parser

Associated Types

type Rep NOpName :: Type -> Type

Methods

from :: NOpName -> Rep NOpName x

to :: Rep NOpName x -> NOpName

Show NOpName

Defined in Nix.Parser

Methods

showsPrec :: Int -> NOpName -> ShowS

show :: NOpName -> String

showList :: [NOpName] -> ShowS

NFData NOpName

Defined in Nix.Parser

Methods

rnf :: NOpName -> ()

Eq NOpName

Defined in Nix.Parser

Methods

(==) :: NOpName -> NOpName -> Bool

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

Ord NOpName

Defined in Nix.Parser

Methods

compare :: NOpName -> NOpName -> Ordering

(<) :: NOpName -> NOpName -> Bool

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

(>) :: NOpName -> NOpName -> Bool

(>=) :: NOpName -> NOpName -> Bool

max :: NOpName -> NOpName -> NOpName

min :: NOpName -> NOpName -> NOpName

ToString NOpName

Defined in Nix.Parser

Methods

toString :: NOpName -> String

type Rep NOpName

Defined in Nix.Parser

type Rep NOpName = D1 ('MetaData "NOpName" "Nix.Parser" "hnix-0.17.0-8saIMbclRB9HPH4JCEpCXn" 'True) (C1 ('MetaCons "NOpName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data NSpecialOp

Constructors

NHasAttrOp

NSelectOp

NTerm

For special handling of internal special cases.

Instances

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

Generic NSpecialOp

Defined in Nix.Parser

Associated Types

type Rep NSpecialOp :: Type -> Type

Methods

from :: NSpecialOp -> Rep NSpecialOp x

to :: Rep NSpecialOp x -> NSpecialOp

Show NSpecialOp

Defined in Nix.Parser

Methods

showsPrec :: Int -> NSpecialOp -> ShowS

show :: NSpecialOp -> String

showList :: [NSpecialOp] -> ShowS

NFData NSpecialOp

Defined in Nix.Parser

Methods

rnf :: NSpecialOp -> ()

Eq NSpecialOp

Defined in Nix.Parser

Methods

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

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

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

NOp NSpecialOp

Defined in Nix.Parser

Methods

getOpDef :: NSpecialOp -> NOperatorDef

getOpAssoc :: NSpecialOp -> NAssoc

getOpPrecedence :: NSpecialOp -> NOpPrecedence

getOpName :: NSpecialOp -> NOpName

type Rep NSpecialOp

Defined in Nix.Parser

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

data 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

Instances

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

Generic NOperatorDef

Defined in Nix.Parser

Associated Types

type Rep NOperatorDef :: Type -> Type

Methods

from :: NOperatorDef -> Rep NOperatorDef x

to :: Rep NOperatorDef x -> NOperatorDef

Show NOperatorDef

Defined in Nix.Parser

Methods

showsPrec :: Int -> NOperatorDef -> ShowS

show :: NOperatorDef -> String

showList :: [NOperatorDef] -> ShowS

NFData NOperatorDef

Defined in Nix.Parser

Methods

rnf :: NOperatorDef -> ()

Eq NOperatorDef

Defined in Nix.Parser

Methods

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

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

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

NOp NOperatorDef

Defined in Nix.Parser

Methods

getOpDef :: NOperatorDef -> NOperatorDef

getOpAssoc :: NOperatorDef -> NAssoc

getOpPrecedence :: NOperatorDef -> NOpPrecedence

getOpName :: NOperatorDef -> NOpName

type Rep NOperatorDef

Defined in Nix.Parser

type Rep NOperatorDef

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

class 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

Instances

NOp NBinaryOp

Defined in Nix.Parser

Methods

getOpDef :: NBinaryOp -> NOperatorDef

getOpAssoc :: NBinaryOp -> NAssoc

getOpPrecedence :: NBinaryOp -> NOpPrecedence

getOpName :: NBinaryOp -> NOpName

NOp NUnaryOp

Defined in Nix.Parser

Methods

getOpDef :: NUnaryOp -> NOperatorDef

getOpAssoc :: NUnaryOp -> NAssoc

getOpPrecedence :: NUnaryOp -> NOpPrecedence

getOpName :: NUnaryOp -> NOpName

NOp NOperatorDef

Defined in Nix.Parser

Methods

getOpDef :: NOperatorDef -> NOperatorDef

getOpAssoc :: NOperatorDef -> NAssoc

getOpPrecedence :: NOperatorDef -> NOpPrecedence

getOpName :: NOperatorDef -> NOpName

NOp NSpecialOp

Defined in Nix.Parser

Methods

getOpDef :: NSpecialOp -> NOperatorDef

getOpAssoc :: NSpecialOp -> NAssoc

getOpPrecedence :: NSpecialOp -> NOpPrecedence

getOpName :: NSpecialOp -> NOpName

appOpDef :: NOperatorDef

Functional application operator definition, left associative, high precedence.