hnix-0.3.4: Haskell implementation of the Nix language

Safe HaskellNone
LanguageHaskell2010

Nix.Parser.Operators

Documentation

data NSpecialOp Source #

Constructors

NHasAttrOp 
NSelectOp 
NAppOp 

Instances

Eq NSpecialOp Source # 
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 # 
Show NSpecialOp Source # 
Generic NSpecialOp Source # 

Associated Types

type Rep NSpecialOp :: * -> * #

type Rep NSpecialOp Source # 
type Rep NSpecialOp = D1 (MetaData "NSpecialOp" "Nix.Parser.Operators" "hnix-0.3.4-IZ2bVOjITJv37qFnIRebIG" False) ((:+:) (C1 (MetaCons "NHasAttrOp" PrefixI False) U1) ((:+:) (C1 (MetaCons "NSelectOp" PrefixI False) U1) (C1 (MetaCons "NAppOp" PrefixI False) U1)))

data NAssoc Source #

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 # 
Show NAssoc Source # 
Generic NAssoc Source # 

Associated Types

type Rep NAssoc :: * -> * #

Methods

from :: NAssoc -> Rep NAssoc x #

to :: Rep NAssoc x -> NAssoc #

type Rep NAssoc Source # 
type Rep NAssoc = D1 (MetaData "NAssoc" "Nix.Parser.Operators" "hnix-0.3.4-IZ2bVOjITJv37qFnIRebIG" 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 # 
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 # 
Show NOperatorDef Source # 
Generic NOperatorDef Source # 

Associated Types

type Rep NOperatorDef :: * -> * #

type Rep NOperatorDef Source # 

data OperatorInfo Source #

Instances

Eq OperatorInfo Source # 
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 # 
Show OperatorInfo Source # 
Generic OperatorInfo Source # 

Associated Types

type Rep OperatorInfo :: * -> * #

type Rep OperatorInfo Source # 
type Rep OperatorInfo = D1 (MetaData "OperatorInfo" "Nix.Parser.Operators" "hnix-0.3.4-IZ2bVOjITJv37qFnIRebIG" 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 String)))))