Nix.Atoms

Documentation

data NAtom

Atoms are values that evaluate to themselves. In other words - this is a constructors that are literals in Nix. This means that they appear in both the parsed AST (in the form of literals) and the evaluated form as themselves. Once HNix parsed or evaluated into atom - that is a literal further after, for any further evaluation it is in all cases stays constantly itself. "atom", Ancient Greek \( atomos \) - "indivisible" particle, indivisible expression.

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. false or true.

NNull

Null values. There's only one of this variant: null.

Instances

Eq NAtom

Defined in Nix.Atoms

Methods

(==) :: NAtom -> NAtom -> Bool

(/=) :: NAtom -> NAtom -> Bool

Data NAtom

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

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

Defined in Nix.Atoms

Methods

readsPrec :: Int -> ReadS NAtom

readList :: ReadS [NAtom]

readPrec :: ReadPrec NAtom

readListPrec :: ReadPrec [NAtom]

Show NAtom

Defined in Nix.Atoms

Methods

showsPrec :: Int -> NAtom -> ShowS

show :: NAtom -> String

showList :: [NAtom] -> ShowS

Generic NAtom

Defined in Nix.Atoms

Associated Types

type Rep NAtom :: Type -> Type

Methods

from :: NAtom -> Rep NAtom x

to :: Rep NAtom x -> NAtom

Hashable NAtom

Defined in Nix.Atoms

Methods

hashWithSalt :: Int -> NAtom -> Int

hash :: NAtom -> Int

ToJSON NAtom

Defined in Nix.Atoms

Methods

toJSON :: NAtom -> Value

toEncoding :: NAtom -> Encoding

toJSONList :: [NAtom] -> Value

toEncodingList :: [NAtom] -> Encoding

FromJSON NAtom

Defined in Nix.Atoms

Methods

parseJSON :: Value -> Parser NAtom

parseJSONList :: Value -> Parser [NAtom]

Binary NAtom

Defined in Nix.Atoms

Methods

put :: NAtom -> Put

get :: Get NAtom

putList :: [NAtom] -> Put

NFData NAtom

Defined in Nix.Atoms

Methods

rnf :: NAtom -> ()

Serialise NAtom

Defined in Nix.Atoms

Methods

encode :: NAtom -> Encoding

decode :: Decoder s NAtom

encodeList :: [NAtom] -> Encoding

decodeList :: Decoder s [NAtom]

type Rep NAtom

Defined in Nix.Atoms

type Rep NAtom = D1 ('MetaData "NAtom" "Nix.Atoms" "hnix-0.14.0.1-Fzm3zdkT3bS72DgKNAbJjt" '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

Translate an atom into its Nix representation.