Safe Haskell	None
Language	Haskell2010

Nix.Atoms

Synopsis

data NAtom
- = NURI Text
- | NInt Integer
- | NFloat Float
- | NBool Bool
- | NNull
atomText :: NAtom -> Text

Documentation

data NAtom Source #

Atoms are values that evaluate to themselves. This means that they appear in both the parsed AST (in the form of literals) and the evaluated form.

Constructors

NURI Text	An URI like `https://example.com`.
NInt Integer	An integer. The c nix implementation currently only supports integers that fit in the range of `Int64`.
NFloat Float	A floating point number
NBool Bool	Booleans.
NNull	Null values. There's only one of this variant.

Instances

Instances details

Eq NAtom Source #
Instance details Defined in Nix.Atoms Methods (==) :: NAtom -> NAtom -> Bool # (/=) :: NAtom -> NAtom -> Bool #
Data NAtom Source #
Instance details Defined in Nix.Atoms Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NAtom -> c NAtom # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NAtom # toConstr :: NAtom -> Constr # dataTypeOf :: NAtom -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NAtom) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NAtom) # gmapT :: (forall b. Data b => b -> b) -> NAtom -> NAtom # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NAtom -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NAtom -> r # gmapQ :: (forall d. Data d => d -> u) -> NAtom -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NAtom -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NAtom -> m NAtom # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NAtom -> m NAtom # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NAtom -> m NAtom #
Ord NAtom Source #
Instance details Defined in Nix.Atoms Methods compare :: NAtom -> NAtom -> Ordering # (<) :: NAtom -> NAtom -> Bool # (<=) :: NAtom -> NAtom -> Bool # (>) :: NAtom -> NAtom -> Bool # (>=) :: NAtom -> NAtom -> Bool # max :: NAtom -> NAtom -> NAtom # min :: NAtom -> NAtom -> NAtom #
Read NAtom Source #
Instance details Defined in Nix.Atoms Methods readsPrec :: Int -> ReadS NAtom # readList :: ReadS [NAtom] # readPrec :: ReadPrec NAtom # readListPrec :: ReadPrec [NAtom] #
Show NAtom Source #
Instance details Defined in Nix.Atoms Methods showsPrec :: Int -> NAtom -> ShowS # show :: NAtom -> String # showList :: [NAtom] -> ShowS #
Generic NAtom Source #
Instance details Defined in Nix.Atoms Associated Types type Rep NAtom :: Type -> Type # Methods from :: NAtom -> Rep NAtom x # to :: Rep NAtom x -> NAtom #
Hashable NAtom Source #
Instance details Defined in Nix.Atoms Methods hashWithSalt :: Int -> NAtom -> Int # hash :: NAtom -> Int #
ToJSON NAtom Source #
Instance details Defined in Nix.Expr.Types Methods toJSON :: NAtom -> Value # toEncoding :: NAtom -> Encoding # toJSONList :: [NAtom] -> Value # toEncodingList :: [NAtom] -> Encoding #
FromJSON NAtom Source #
Instance details Defined in Nix.Expr.Types Methods parseJSON :: Value -> Parser NAtom # parseJSONList :: Value -> Parser [NAtom] #
Binary NAtom Source #
Instance details Defined in Nix.Expr.Types Methods put :: NAtom -> Put # get :: Get NAtom # putList :: [NAtom] -> Put #
NFData NAtom Source #
Instance details Defined in Nix.Atoms Methods rnf :: NAtom -> () #
Serialise NAtom Source #
Instance details Defined in Nix.Atoms Methods encode :: NAtom -> Encoding # decode :: Decoder s NAtom # encodeList :: [NAtom] -> Encoding # decodeList :: Decoder s [NAtom] #
type Rep NAtom Source #
Instance details Defined in Nix.Atoms type Rep NAtom = D1 ('MetaData "NAtom" "Nix.Atoms" "hnix-0.9.0-inplace" 'False) ((C1 ('MetaCons "NURI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "NInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) :+: (C1 ('MetaCons "NFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float)) :+: (C1 ('MetaCons "NBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "NNull" 'PrefixI 'False) (U1 :: Type -> Type))))

atomText :: NAtom -> Text Source #

Translate an atom into its nix representation.