Safe Haskell	None
Language	Haskell2010

Nix.Parser

Documentation

parseNixFile :: MonadIO m => FilePath -> m (Result NExpr) Source #

parseNixFileLoc :: MonadIO m => FilePath -> m (Result NExprLoc) Source #

parseNixText :: Text -> Result NExpr Source #

parseNixTextLoc :: Text -> Result NExprLoc Source #

parseFromFileEx :: MonadIO m => Parser a -> FilePath -> m (Result a) Source #

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

data Result a Source #

Constructors

Success a
Failure Doc

Instances

Show a => Show (Result a) Source #
Methods showsPrec :: Int -> Result a -> ShowS # show :: Result a -> String # showList :: [Result a] -> ShowS #

reservedNames :: HashSet Text Source #

data OperatorInfo Source #

Constructors

OperatorInfo
Fields precedence :: Int associativity :: NAssoc operatorName :: Text

Instances

Eq OperatorInfo Source #
Methods (==) :: OperatorInfo -> OperatorInfo -> Bool # (/=) :: OperatorInfo -> OperatorInfo -> Bool #
Data OperatorInfo Source #
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 :: (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 Source #
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 Source #
Methods showsPrec :: Int -> OperatorInfo -> ShowS # show :: OperatorInfo -> String # showList :: [OperatorInfo] -> ShowS #
Generic OperatorInfo Source #
Associated Types type Rep OperatorInfo :: * -> * # Methods from :: OperatorInfo -> Rep OperatorInfo x # to :: Rep OperatorInfo x -> OperatorInfo #
type Rep OperatorInfo Source #
type Rep OperatorInfo = D1 * (MetaData "OperatorInfo" "Nix.Parser" "hnix-0.5.1-1AEILKRXuiNL8eYeTMwPu7" False) (C1 * (MetaCons "OperatorInfo" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "precedence") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)) ((::) (S1 * (MetaSel (Just Symbol "associativity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * NAssoc)) (S1 * (MetaSel (Just Symbol "operatorName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))))

data NSpecialOp Source #

Constructors

NHasAttrOp
NSelectOp

Instances

Eq NSpecialOp Source #
Methods (==) :: NSpecialOp -> NSpecialOp -> Bool # (/=) :: NSpecialOp -> NSpecialOp -> Bool #
Data NSpecialOp Source #
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 :: (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 Source #
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 Source #
Methods showsPrec :: Int -> NSpecialOp -> ShowS # show :: NSpecialOp -> String # showList :: [NSpecialOp] -> ShowS #
Generic NSpecialOp Source #
Associated Types type Rep NSpecialOp :: * -> * # Methods from :: NSpecialOp -> Rep NSpecialOp x # to :: Rep NSpecialOp x -> NSpecialOp #
NFData NSpecialOp Source #
Methods rnf :: NSpecialOp -> () #
type Rep NSpecialOp Source #
type Rep NSpecialOp = D1 * (MetaData "NSpecialOp" "Nix.Parser" "hnix-0.5.1-1AEILKRXuiNL8eYeTMwPu7" False) ((:+:) * (C1 * (MetaCons "NHasAttrOp" PrefixI False) (U1 )) (C1 (MetaCons "NSelectOp" PrefixI False) (U1 *)))

data NAssoc Source #

Constructors

NAssocNone
NAssocLeft
NAssocRight

Instances

Eq NAssoc Source #
Methods (==) :: NAssoc -> NAssoc -> Bool # (/=) :: NAssoc -> NAssoc -> Bool #
Data NAssoc Source #
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 :: (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 Source #
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 Source #
Methods showsPrec :: Int -> NAssoc -> ShowS # show :: NAssoc -> String # showList :: [NAssoc] -> ShowS #
Generic NAssoc Source #
Associated Types type Rep NAssoc :: * -> * # Methods from :: NAssoc -> Rep NAssoc x # to :: Rep NAssoc x -> NAssoc #
NFData NAssoc Source #
Methods rnf :: NAssoc -> () #
type Rep NAssoc Source #
type Rep NAssoc = D1 * (MetaData "NAssoc" "Nix.Parser" "hnix-0.5.1-1AEILKRXuiNL8eYeTMwPu7" False) ((:+:) * (C1 * (MetaCons "NAssocNone" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "NAssocLeft" PrefixI False) (U1 )) (C1 (MetaCons "NAssocRight" PrefixI False) (U1 *))))

data NOperatorDef Source #

Instances

Eq NOperatorDef Source #
Methods (==) :: NOperatorDef -> NOperatorDef -> Bool # (/=) :: NOperatorDef -> NOperatorDef -> Bool #
Data NOperatorDef Source #
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 :: (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 Source #
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 Source #
Methods showsPrec :: Int -> NOperatorDef -> ShowS # show :: NOperatorDef -> String # showList :: [NOperatorDef] -> ShowS #
Generic NOperatorDef Source #
Associated Types type Rep NOperatorDef :: * -> * # Methods from :: NOperatorDef -> Rep NOperatorDef x # to :: Rep NOperatorDef x -> NOperatorDef #
NFData NOperatorDef Source #
Methods rnf :: NOperatorDef -> () #
type Rep NOperatorDef Source #
type Rep NOperatorDef = D1 * (MetaData "NOperatorDef" "Nix.Parser" "hnix-0.5.1-1AEILKRXuiNL8eYeTMwPu7" False) ((:+:) * (C1 * (MetaCons "NUnaryDef" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * NUnaryOp)))) ((:+:) * (C1 * (MetaCons "NBinaryDef" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * NBinaryOp)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * NAssoc))))) (C1 * (MetaCons "NSpecialDef" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * NSpecialOp)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * NAssoc)))))))

getUnaryOperator :: NUnaryOp -> OperatorInfo Source #

getBinaryOperator :: NBinaryOp -> OperatorInfo Source #

getSpecialOperator :: NSpecialOp -> OperatorInfo Source #