Nix.Parser

Documentation

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

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

parseNixText :: Text -> Result NExpr

parseNixTextLoc :: Text -> Result NExprLoc

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

type Parser = ParsecT Void Text Identity

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

data Result a

Constructors

Success a

Failure (Doc Void)

Instances

Functor Result

Defined in Nix.Parser

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

Show a => Show (Result a)

Defined in Nix.Parser

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS

reservedNames :: HashSet Text

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.10.1-inplace" '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.10.1-inplace" '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.10.1-inplace" '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.10.1-inplace" 'False) (C1 ('MetaCons "NUnaryDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NUnaryOp)) :+: (C1 ('MetaCons "NBinaryDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NBinaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAssoc))) :+: C1 ('MetaCons "NSpecialDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NSpecialOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NAssoc)))))

getUnaryOperator :: NUnaryOp -> OperatorInfo

getBinaryOperator :: NBinaryOp -> OperatorInfo

getSpecialOperator :: NSpecialOp -> OperatorInfo

nixToplevelForm :: Parser NExprLoc

nixExpr :: Parser NExprLoc

nixSet :: Parser NExprLoc

nixBinders :: Parser [Binding NExprLoc]

nixSelector :: Parser (Ann 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

symbol :: Text -> Parser Text

whiteSpace :: Parser ()