Nix.Atoms

Documentation

data NAtom

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

NInt !Integer

An integer. The c nix implementation currently only supports integers that fit in the range of Int64.

NBool !Bool

Booleans.

NNull

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

NUri !Text

URIs, which are just string literals, but do not need quotes.

Instances

Eq NAtom

Methods

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

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

Data NAtom

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 :: (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

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

Show NAtom

Methods

showsPrec :: Int -> NAtom -> ShowS

show :: NAtom -> String

showList :: [NAtom] -> ShowS

Generic NAtom

Associated Types

type Rep NAtom :: * -> *

Methods

from :: NAtom -> Rep NAtom x

to :: Rep NAtom x -> NAtom

type Rep NAtom

type Rep NAtom = D1 * (MetaData "NAtom" "Nix.Atoms" "hnix-0.4.0-Ceu7qnqs8HfFdzUe608zID" False) ((:+:) * ((:+:) * (C1 * (MetaCons "NInt" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Integer))) (C1 * (MetaCons "NBool" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Bool)))) ((:+:) * (C1 * (MetaCons "NNull" PrefixI False) (U1 *)) (C1 * (MetaCons "NUri" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Text)))))

class ToAtom t where

Minimal complete definition

toAtom

Methods

toAtom :: t -> NAtom

Instances

ToAtom Bool

Methods

toAtom :: Bool -> NAtom

ToAtom Int

Methods

toAtom :: Int -> NAtom

ToAtom Integer

Methods

toAtom :: Integer -> NAtom

class FromAtom t where

Minimal complete definition

fromAtom, fromAtoms, fromAtomSet

Methods

fromAtom :: NAtom -> t

fromAtoms :: [NAtom] -> t

fromAtomSet :: HashMap Text NAtom -> t

convert :: (ToAtom prim, FromAtom t) => prim -> t

Convert a primitive into something which can be made from a constant. So for example `convert 1 :: Expression`

atomToEnvString :: NAtom -> Text

Conversion to environment variables for constants.