Safe Haskell	None
Language	Haskell2010

Nix.Parser

Synopsis

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
- = Success a
- | Failure (Doc Void)
reservedNames :: HashSet Text
data OperatorInfo = OperatorInfo {
- precedence :: Int
- associativity :: NAssoc
- operatorName :: Text
}
data NSpecialOp
- = NHasAttrOp
- | NSelectOp
data NAssoc
- = NAssocNone
- | NAssocLeft
- | NAssocRight
data NOperatorDef
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
nixFloat :: Parser NExprLoc
nixInt :: Parser NExprLoc
nixBool :: Parser NExprLoc
nixNull :: Parser NExprLoc
symbol :: Text -> Parser Text
whiteSpace :: Parser ()

Documentation

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

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

parseNixText :: Text -> Result NExpr Source #

parseNixTextLoc :: Text -> Result NExprLoc Source #

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

type Parser = ParsecT Void Text Identity Source #

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

data Result a Source #

Constructors

Success a
Failure (Doc Void)

Instances

Instances details

Functor Result Source #
Instance details Defined in Nix.Parser Methods fmap :: (a -> b) -> Result a -> Result b # (<$) :: a -> Result b -> Result a #
Show a => Show (Result a) Source #
Instance details Defined in Nix.Parser 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

Instances details

Eq OperatorInfo Source #
Instance details Defined in Nix.Parser Methods (==) :: OperatorInfo -> OperatorInfo -> Bool # (/=) :: OperatorInfo -> OperatorInfo -> Bool #
Data OperatorInfo 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) -> 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 Source #
Instance details 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 Source #
Instance details Defined in Nix.Parser Methods showsPrec :: Int -> OperatorInfo -> ShowS # show :: OperatorInfo -> String # showList :: [OperatorInfo] -> ShowS #
Generic OperatorInfo Source #
Instance details 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 Source #
Instance details Defined in Nix.Parser type Rep OperatorInfo = D1 ('MetaData "OperatorInfo" "Nix.Parser" "hnix-0.9.0-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 Source #

Constructors

NHasAttrOp
NSelectOp

Instances

Instances details

Eq NSpecialOp Source #
Instance details Defined in Nix.Parser Methods (==) :: NSpecialOp -> NSpecialOp -> Bool # (/=) :: NSpecialOp -> NSpecialOp -> Bool #
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 #
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 #
Show NSpecialOp Source #
Instance details Defined in Nix.Parser Methods showsPrec :: Int -> NSpecialOp -> ShowS # show :: NSpecialOp -> String # showList :: [NSpecialOp] -> ShowS #
Generic NSpecialOp Source #
Instance details Defined in Nix.Parser Associated Types type Rep NSpecialOp :: Type -> Type # Methods from :: NSpecialOp -> Rep NSpecialOp x # to :: Rep NSpecialOp x -> NSpecialOp #
NFData NSpecialOp Source #
Instance details Defined in Nix.Parser Methods rnf :: NSpecialOp -> () #
type Rep NSpecialOp Source #
Instance details Defined in Nix.Parser type Rep NSpecialOp = D1 ('MetaData "NSpecialOp" "Nix.Parser" "hnix-0.9.0-inplace" 'False) (C1 ('MetaCons "NHasAttrOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NSelectOp" 'PrefixI 'False) (U1 :: Type -> Type))

data NAssoc Source #

Constructors

NAssocNone
NAssocLeft
NAssocRight

Instances

Instances details

Eq NAssoc Source #
Instance details Defined in Nix.Parser Methods (==) :: NAssoc -> NAssoc -> Bool # (/=) :: NAssoc -> NAssoc -> Bool #
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 #
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 #
Show NAssoc Source #
Instance details Defined in Nix.Parser Methods showsPrec :: Int -> NAssoc -> ShowS # show :: NAssoc -> String # showList :: [NAssoc] -> ShowS #
Generic NAssoc Source #
Instance details Defined in Nix.Parser Associated Types type Rep NAssoc :: Type -> Type # Methods from :: NAssoc -> Rep NAssoc x # to :: Rep NAssoc x -> NAssoc #
NFData NAssoc Source #
Instance details Defined in Nix.Parser Methods rnf :: NAssoc -> () #
type Rep NAssoc Source #
Instance details Defined in Nix.Parser type Rep NAssoc = D1 ('MetaData "NAssoc" "Nix.Parser" "hnix-0.9.0-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 Source #

Instances

Instances details

Eq NOperatorDef Source #
Instance details Defined in Nix.Parser Methods (==) :: NOperatorDef -> NOperatorDef -> Bool # (/=) :: NOperatorDef -> NOperatorDef -> Bool #
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 #
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 #
Show NOperatorDef Source #
Instance details Defined in Nix.Parser Methods showsPrec :: Int -> NOperatorDef -> ShowS # show :: NOperatorDef -> String # showList :: [NOperatorDef] -> ShowS #
Generic NOperatorDef Source #
Instance details Defined in Nix.Parser Associated Types type Rep NOperatorDef :: Type -> Type # Methods from :: NOperatorDef -> Rep NOperatorDef x # to :: Rep NOperatorDef x -> NOperatorDef #
NFData NOperatorDef Source #
Instance details Defined in Nix.Parser Methods rnf :: NOperatorDef -> () #
type Rep NOperatorDef Source #
Instance details Defined in Nix.Parser type Rep NOperatorDef = D1 ('MetaData "NOperatorDef" "Nix.Parser" "hnix-0.9.0-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)))))