hnix-0.17.0: Haskell implementation of the Nix language
Safe HaskellNone
LanguageHaskell2010

Nix.Parser

Description

Main module for parsing Nix expressions.

Synopsis

Documentation

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

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

parseNixText :: Text -> Result NExpr Source #

parseNixTextLoc :: Text -> Result NExprLoc Source #

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

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

type Parser = ParsecT Void Text (State SourcePos) Source #

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

type Result a = Either (Doc Void) a Source #

reservedNames :: HashSet VarName Source #

data NAssoc Source #

Constructors

NAssocLeft 
NAssoc

Bidirectional associativity, or simply: associative property.

NAssocRight 

Instances

Instances details
NFData NAssoc Source # 
Instance details

Defined in Nix.Parser

Methods

rnf :: NAssoc -> () #

Data NAssoc Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Associated Types

type Rep NAssoc 
Instance details

Defined in Nix.Parser

type Rep NAssoc = D1 ('MetaData "NAssoc" "Nix.Parser" "hnix-0.17.0-70ystd6u6qm9QLpKYxOC5P" '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)))

Methods

from :: NAssoc -> Rep NAssoc x #

to :: Rep NAssoc x -> NAssoc #

Show NAssoc Source # 
Instance details

Defined in Nix.Parser

Methods

showsPrec :: Int -> NAssoc -> ShowS #

show :: NAssoc -> String #

showList :: [NAssoc] -> ShowS #

Eq NAssoc Source # 
Instance details

Defined in Nix.Parser

Methods

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

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

Ord NAssoc Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

type Rep NAssoc = D1 ('MetaData "NAssoc" "Nix.Parser" "hnix-0.17.0-70ystd6u6qm9QLpKYxOC5P" '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 Source #

Constructors

NOpPrecedence Int 

Instances

Instances details
NFData NOpPrecedence Source # 
Instance details

Defined in Nix.Parser

Methods

rnf :: NOpPrecedence -> () #

Data NOpPrecedence Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Methods

minBound :: NOpPrecedence #

maxBound :: NOpPrecedence #

Enum NOpPrecedence Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Associated Types

type Rep NOpPrecedence 
Instance details

Defined in Nix.Parser

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

Methods

from :: NOpPrecedence -> Rep NOpPrecedence x #

to :: Rep NOpPrecedence x -> NOpPrecedence #

Num NOpPrecedence Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Methods

showsPrec :: Int -> NOpPrecedence -> ShowS #

show :: NOpPrecedence -> String #

showList :: [NOpPrecedence] -> ShowS #

Eq NOpPrecedence Source # 
Instance details

Defined in Nix.Parser

Methods

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

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

Ord NOpPrecedence Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

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

newtype NOpName Source #

Constructors

NOpName Text 

Instances

Instances details
NFData NOpName Source # 
Instance details

Defined in Nix.Parser

Methods

rnf :: NOpName -> () #

Data NOpName Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Methods

fromString :: String -> NOpName #

Generic NOpName Source # 
Instance details

Defined in Nix.Parser

Associated Types

type Rep NOpName 
Instance details

Defined in Nix.Parser

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

Methods

from :: NOpName -> Rep NOpName x #

to :: Rep NOpName x -> NOpName #

Show NOpName Source # 
Instance details

Defined in Nix.Parser

Methods

showsPrec :: Int -> NOpName -> ShowS #

show :: NOpName -> String #

showList :: [NOpName] -> ShowS #

Eq NOpName Source # 
Instance details

Defined in Nix.Parser

Methods

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

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

Ord NOpName Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Methods

toString :: NOpName -> String Source #

type Rep NOpName Source # 
Instance details

Defined in Nix.Parser

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

data NSpecialOp Source #

Constructors

NHasAttrOp 
NSelectOp 
NTerm

For special handling of internal special cases.

Instances

Instances details
NFData NSpecialOp Source # 
Instance details

Defined in Nix.Parser

Methods

rnf :: NSpecialOp -> () #

Data NSpecialOp Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Associated Types

type Rep NSpecialOp 
Instance details

Defined in Nix.Parser

type Rep NSpecialOp = D1 ('MetaData "NSpecialOp" "Nix.Parser" "hnix-0.17.0-70ystd6u6qm9QLpKYxOC5P" '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)))

Methods

from :: NSpecialOp -> Rep NSpecialOp x #

to :: Rep NSpecialOp x -> NSpecialOp #

Show NSpecialOp Source # 
Instance details

Defined in Nix.Parser

Methods

showsPrec :: Int -> NSpecialOp -> ShowS #

show :: NSpecialOp -> String #

showList :: [NSpecialOp] -> ShowS #

Eq NSpecialOp Source # 
Instance details

Defined in Nix.Parser

Methods

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

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

Ord NSpecialOp Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Methods

getOpDef :: NSpecialOp -> NOperatorDef Source #

getOpAssoc :: NSpecialOp -> NAssoc Source #

getOpPrecedence :: NSpecialOp -> NOpPrecedence Source #

getOpName :: NSpecialOp -> NOpName Source #

type Rep NSpecialOp Source # 
Instance details

Defined in Nix.Parser

type Rep NSpecialOp = D1 ('MetaData "NSpecialOp" "Nix.Parser" "hnix-0.17.0-70ystd6u6qm9QLpKYxOC5P" '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 Source #

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

Instances details
NFData NOperatorDef Source # 
Instance details

Defined in Nix.Parser

Methods

rnf :: NOperatorDef -> () #

Data NOperatorDef Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Associated Types

type Rep NOperatorDef 
Instance details

Defined in Nix.Parser

type Rep NOperatorDef

Methods

from :: NOperatorDef -> Rep NOperatorDef x #

to :: Rep NOperatorDef x -> NOperatorDef #

Show NOperatorDef Source # 
Instance details

Defined in Nix.Parser

Methods

showsPrec :: Int -> NOperatorDef -> ShowS #

show :: NOperatorDef -> String #

showList :: [NOperatorDef] -> ShowS #

Eq NOperatorDef Source # 
Instance details

Defined in Nix.Parser

Methods

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

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

Ord NOperatorDef Source # 
Instance details

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 Source # 
Instance details

Defined in Nix.Parser

Methods

getOpDef :: NOperatorDef -> NOperatorDef Source #

getOpAssoc :: NOperatorDef -> NAssoc Source #

getOpPrecedence :: NOperatorDef -> NOpPrecedence Source #

getOpName :: NOperatorDef -> NOpName Source #

type Rep NOperatorDef Source # 
Instance details

Defined in Nix.Parser

type Rep NOperatorDef

nixExpr :: Parser NExprLoc Source #

nixExprAlgebra :: Parser NExprLoc Source #

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 Source #

nixBinders :: Parser [Binding NExprLoc] Source #

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

nixSym :: Parser NExprLoc Source #

nixPath :: Parser NExprLoc Source #

nixString :: Parser NExprLoc Source #

nixUri :: Parser NExprLoc Source #

nixSearchPath :: Parser NExprLoc Source #

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

nixFloat :: Parser NExprLoc Source #

nixInt :: Parser NExprLoc Source #

nixBool :: Parser NExprLoc Source #

nixNull :: Parser NExprLoc Source #

whiteSpace :: Parser () Source #

class NOp a where Source #

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 Source #

getOpAssoc :: a -> NAssoc Source #

getOpPrecedence :: a -> NOpPrecedence Source #

getOpName :: a -> NOpName Source #

Instances

Instances details
NOp NBinaryOp Source # 
Instance details

Defined in Nix.Parser

Methods

getOpDef :: NBinaryOp -> NOperatorDef Source #

getOpAssoc :: NBinaryOp -> NAssoc Source #

getOpPrecedence :: NBinaryOp -> NOpPrecedence Source #

getOpName :: NBinaryOp -> NOpName Source #

NOp NUnaryOp Source # 
Instance details

Defined in Nix.Parser

Methods

getOpDef :: NUnaryOp -> NOperatorDef Source #

getOpAssoc :: NUnaryOp -> NAssoc Source #

getOpPrecedence :: NUnaryOp -> NOpPrecedence Source #

getOpName :: NUnaryOp -> NOpName Source #

NOp NOperatorDef Source # 
Instance details

Defined in Nix.Parser

Methods

getOpDef :: NOperatorDef -> NOperatorDef Source #

getOpAssoc :: NOperatorDef -> NAssoc Source #

getOpPrecedence :: NOperatorDef -> NOpPrecedence Source #

getOpName :: NOperatorDef -> NOpName Source #

NOp NSpecialOp Source # 
Instance details

Defined in Nix.Parser

Methods

getOpDef :: NSpecialOp -> NOperatorDef Source #

getOpAssoc :: NSpecialOp -> NAssoc Source #

getOpPrecedence :: NSpecialOp -> NOpPrecedence Source #

getOpName :: NSpecialOp -> NOpName Source #

appOpDef :: NOperatorDef Source #

Functional application operator definition, left associative, high precedence.