Nix.Value

Documentation

data NValueF p m r

An NValue' is the most reduced form of an NExpr after evaluation is completed. s is related to the type of errors that might occur during construction or use of a value.

Constructors

NVConstantF NAtom

NVStrF NixString

A string has a value and a context, which can be used to record what a string has been build from

NVPathF FilePath

NVListF [r]

NVSetF (AttrSet r) (AttrSet SourcePos)

NVClosureF (Params ()) (p -> m r)

A function is a closed set of parameters representing the "call signature", used at application time to check the type of arguments passed to the function. Since it supports default values which may depend on other values within the final argument set, this dependency is represented as a set of pending evaluations. The arguments are finally normalized into a set which is passed to the function.

Note that 'm r' is being used here because effectively a function and its set of default arguments is "never fully evaluated". This enforces in the type that it must be re-evaluated for each call.

NVBuiltinF String (p -> m r)

A builtin function is itself already in normal form. Also, it may or may not choose to evaluate its argument in the production of a result.

Instances

Functor m => Functor (NValueF p m)

Defined in Nix.Value

Methods

fmap :: (a -> b) -> NValueF p m a -> NValueF p m b

(<$) :: a -> NValueF p m b -> NValueF p m a

Foldable (NValueF p m)

This Foldable instance only folds what the value actually is known to contain at time of fold.

Defined in Nix.Value

Methods

fold :: Monoid m0 => NValueF p m m0 -> m0

foldMap :: Monoid m0 => (a -> m0) -> NValueF p m a -> m0

foldr :: (a -> b -> b) -> b -> NValueF p m a -> b

foldr' :: (a -> b -> b) -> b -> NValueF p m a -> b

foldl :: (b -> a -> b) -> b -> NValueF p m a -> b

foldl' :: (b -> a -> b) -> b -> NValueF p m a -> b

foldr1 :: (a -> a -> a) -> NValueF p m a -> a

foldl1 :: (a -> a -> a) -> NValueF p m a -> a

toList :: NValueF p m a -> [a]

null :: NValueF p m a -> Bool

length :: NValueF p m a -> Int

elem :: Eq a => a -> NValueF p m a -> Bool

maximum :: Ord a => NValueF p m a -> a

minimum :: Ord a => NValueF p m a -> a

sum :: Num a => NValueF p m a -> a

product :: Num a => NValueF p m a -> a

Eq1 (NValueF p m)

Defined in Nix.Value.Equal

Methods

liftEq :: (a -> b -> Bool) -> NValueF p m a -> NValueF p m b -> Bool

Show r => Show (NValueF p m r)

Defined in Nix.Value

Methods

showsPrec :: Int -> NValueF p m r -> ShowS

show :: NValueF p m r -> String

showList :: [NValueF p m r] -> ShowS

Generic (NValueF p m r)

Defined in Nix.Value

Associated Types

type Rep (NValueF p m r) :: Type -> Type

Methods

from :: NValueF p m r -> Rep (NValueF p m r) x

to :: Rep (NValueF p m r) x -> NValueF p m r

type Rep (NValueF p m r)

Defined in Nix.Value

type Rep (NValueF p m r) = D1 (MetaData "NValueF" "Nix.Value" "hnix-0.6.1-1597pjcbiB2Cib3HzwJZxT" False) ((C1 (MetaCons "NVConstantF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NAtom)) :+: (C1 (MetaCons "NVStrF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NixString)) :+: C1 (MetaCons "NVPathF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath)))) :+: ((C1 (MetaCons "NVListF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [r])) :+: C1 (MetaCons "NVSetF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AttrSet r)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AttrSet SourcePos)))) :+: (C1 (MetaCons "NVClosureF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Params ())) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (p -> m r))) :+: C1 (MetaCons "NVBuiltinF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (p -> m r))))))

lmapNValueF :: Functor m => (b -> a) -> NValueF a m r -> NValueF b m r

hoistNValueF :: (forall x. m x -> n x) -> NValueF p m a -> NValueF p n a

sequenceNValueF :: (Functor n, Monad m, Applicative n) => (forall x. n x -> m x) -> NValueF p m (n a) -> n (NValueF p m a)

bindNValueF :: (Monad m, Monad n) => (forall x. n x -> m x) -> (a -> n b) -> NValueF p m a -> n (NValueF p m b)

liftNValueF :: (MonadTrans u, Monad m) => NValueF p m a -> NValueF p (u m) a

unliftNValueF :: (MonadTrans u, Monad m) => (forall x. u m x -> m x) -> NValueF p (u m) a -> NValueF p m a

type MonadDataContext f (m :: * -> *) = (Comonad f, Applicative f, Traversable f, Monad m)

newtype NValue' t f m a

At the time of constructor, the expected arguments to closures are values that may contain thunks. The type of such thunks are fixed at that time.

Constructors

NValue

Fields

• _nValue :: f (NValueF (NValue t f m) m a)

Instances

Convertible e t f m => ToValue Bool m (NExprF (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Bool -> m (NExprF (NValue t f m))

Convertible e t f m => ToValue () m (NExprF (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: () -> m (NExprF (NValue t f m))

(Convertible e t f m, ToValue a m (Deeper (NValue' t f m (NValue t f m)))) => ToValue a m (Deeper (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: a -> m (Deeper (NValue t f m))

(Convertible e t f m, FromValue a m (NValue' t f m (NValue t f m))) => FromValue a m (Deeper (NValue' t f m (NValue t f m)))

Defined in Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m a

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe a)

(Convertible e t f m, MonadValue (NValue t f m) m, FromValue a m (Deeper (NValue' t f m (NValue t f m)))) => FromValue a m (Deeper (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: Deeper (NValue t f m) -> m a

fromValueMay :: Deeper (NValue t f m) -> m (Maybe a)

(HasCitations1 m v f, HasCitations m v t) => HasCitations m v (NValue t f m)

Defined in Nix.Pretty

Methods

citations :: NValue t f m -> [Provenance m v]

addProvenance :: Provenance m v -> NValue t f m -> NValue t f m

(Convertible e t f m, ToValue a m (NValue' t f m (NValue t f m))) => ToValue a m (NValue t f m)

Defined in Nix.Convert

Methods

toValue :: a -> m (NValue t f m)

(Convertible e t f m, MonadValue (NValue t f m) m, FromValue a m (NValue' t f m (NValue t f m))) => FromValue a m (NValue t f m)

Defined in Nix.Convert

Methods

fromValue :: NValue t f m -> m a

fromValueMay :: NValue t f m -> m (Maybe a)

HasCitations1 m v f => HasCitations m v (NValue' t f m a)

Defined in Nix.Pretty

Methods

citations :: NValue' t f m a -> [Provenance m v]

addProvenance :: Provenance m v -> NValue' t f m a -> NValue' t f m a

Convertible e t f m => ToValue Bool m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Bool -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue Float m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Float -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue Int m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Int -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue Integer m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Integer -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue () m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: () -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue ByteString m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: ByteString -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue SourcePos m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: SourcePos -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue NixLikeContextValue m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: NixLikeContextValue -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue NixString m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: NixString -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue StorePath m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: StorePath -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue Path m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Path -> m (NValue' t f m (NValue t f m))

Convertible e t f m => FromValue Bool m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Bool

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Bool)

Convertible e t f m => FromValue Float m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Float

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Float)

Convertible e t f m => FromValue Int m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Int

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Int)

Convertible e t f m => FromValue Integer m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Integer

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Integer)

Convertible e t f m => FromValue () m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m ()

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe ())

Convertible e t f m => FromValue ByteString m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m ByteString

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe ByteString)

(Convertible e t f m, MonadValue (NValue t f m) m, MonadEffects t f m) => FromValue NixString m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m NixString

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe NixString)

(Convertible e t f m, MonadValue (NValue t f m) m) => FromValue Path m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Path

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Path)

HasCitations1 m (StdValue m) (StdCited m)

Defined in Nix.Standard

Methods

citations1 :: StdCited m a -> [Provenance m (StdValue m)]

addProvenance1 :: Provenance m (StdValue m) -> StdCited m a -> StdCited m a

HasCitations m (StdValue m) (StdThunk m)

Defined in Nix.Standard

Methods

citations :: StdThunk m -> [Provenance m (StdValue m)]

addProvenance :: Provenance m (StdValue m) -> StdThunk m -> StdThunk m

HasCitations1 m (NValue t f m) (Cited t f m)

Defined in Nix.Cited.Basic

Methods

citations1 :: Cited t f m a -> [Provenance m (NValue t f m)]

addProvenance1 :: Provenance m (NValue t f m) -> Cited t f m a -> Cited t f m a

MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) m

Defined in Nix.Standard

Methods

currentScopes :: m (Scopes m (StdValue m))

clearScopes :: m r -> m r

pushScopes :: Scopes m (StdValue m) -> m r -> m r

lookupVar :: Text -> m (Maybe (StdValue m))

(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValue (StdValue m) m

Defined in Nix.Standard

Methods

defer :: m (StdValue m) -> m (StdValue m)

demand :: StdValue m -> (StdValue m -> m r) -> m r

inform :: StdValue m -> (m (StdValue m) -> m (StdValue m)) -> m (StdValue m)

(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadThunk (StdThunk m) m (StdValue m)

Defined in Nix.Standard

Methods

thunk :: m (StdValue m) -> m (StdThunk m)

thunkId :: StdThunk m -> ThunkId m

queryM :: StdThunk m -> m r -> (StdValue m -> m r) -> m r

force :: StdThunk m -> (StdValue m -> m r) -> m r

forceEff :: StdThunk m -> (StdValue m -> m r) -> m r

further :: StdThunk m -> (m (StdValue m) -> m (StdValue m)) -> m (StdThunk m)

(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue [a] m (Deeper (NValue' t f m (NValue t f m)))

Defined in Nix.Convert

Methods

toValue :: [a] -> m (Deeper (NValue' t f m (NValue t f m)))

(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue (AttrSet a) m (Deeper (NValue' t f m (NValue t f m)))

Defined in Nix.Convert

Methods

toValue :: AttrSet a -> m (Deeper (NValue' t f m (NValue t f m)))

(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue [a] m (Deeper (NValue' t f m (NValue t f m)))

Defined in Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m [a]

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe [a])

(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue (AttrSet a) m (Deeper (NValue' t f m (NValue t f m)))

Defined in Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m (AttrSet a)

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe (AttrSet a))

Convertible e t f m => ToValue [NValue t f m] m (NValue' t f m (NValue t f m))

With ToValue, we can always act recursively

Defined in Nix.Convert

Methods

toValue :: [NValue t f m] -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue (AttrSet (NValue t f m)) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: AttrSet (NValue t f m) -> m (NValue' t f m (NValue t f m))

Convertible e t f m => FromValue [NValue t f m] m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m [NValue t f m]

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe [NValue t f m])

Convertible e t f m => FromValue (AttrSet (NValue t f m)) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m (AttrSet (NValue t f m))

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe (AttrSet (NValue t f m)))

ComonadEnv [Provenance m (StdValue m)] (StdCited m)

Defined in Nix.Standard

Methods

ask :: StdCited m a -> [Provenance m (StdValue m)]

ComonadEnv [Provenance m (NValue t f m)] (Cited t f m)

Defined in Nix.Cited.Basic

Methods

ask :: Cited t f m a -> [Provenance m (NValue t f m)]

(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue (AttrSet a, AttrSet SourcePos) m (Deeper (NValue' t f m (NValue t f m)))

Defined in Nix.Convert

Methods

toValue :: (AttrSet a, AttrSet SourcePos) -> m (Deeper (NValue' t f m (NValue t f m)))

(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue (AttrSet a, AttrSet SourcePos) m (Deeper (NValue' t f m (NValue t f m)))

Defined in Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m (AttrSet a, AttrSet SourcePos)

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe (AttrSet a, AttrSet SourcePos))

Convertible e t f m => ToValue (AttrSet (NValue t f m), AttrSet SourcePos) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: (AttrSet (NValue t f m), AttrSet SourcePos) -> m (NValue' t f m (NValue t f m))

Convertible e t f m => FromValue (AttrSet (NValue t f m), AttrSet SourcePos) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m (AttrSet (NValue t f m), AttrSet SourcePos)

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe (AttrSet (NValue t f m), AttrSet SourcePos))

Monad m => MonadReader (Context r (StdValue r)) (StandardTF r m)

Defined in Nix.Standard

Methods

ask :: StandardTF r m (Context r (StdValue r))

local :: (Context r (StdValue r) -> Context r (StdValue r)) -> StandardTF r m a -> StandardTF r m a

reader :: (Context r (StdValue r) -> a) -> StandardTF r m a

(Functor f, Functor m) => Functor (NValue' t f m)

Defined in Nix.Value

Methods

fmap :: (a -> b) -> NValue' t f m a -> NValue' t f m b

(<$) :: a -> NValue' t f m b -> NValue' t f m a

Foldable f => Foldable (NValue' t f m)

Defined in Nix.Value

Methods

fold :: Monoid m0 => NValue' t f m m0 -> m0

foldMap :: Monoid m0 => (a -> m0) -> NValue' t f m a -> m0

foldr :: (a -> b -> b) -> b -> NValue' t f m a -> b

foldr' :: (a -> b -> b) -> b -> NValue' t f m a -> b

foldl :: (b -> a -> b) -> b -> NValue' t f m a -> b

foldl' :: (b -> a -> b) -> b -> NValue' t f m a -> b

foldr1 :: (a -> a -> a) -> NValue' t f m a -> a

foldl1 :: (a -> a -> a) -> NValue' t f m a -> a

toList :: NValue' t f m a -> [a]

null :: NValue' t f m a -> Bool

length :: NValue' t f m a -> Int

elem :: Eq a => a -> NValue' t f m a -> Bool

maximum :: Ord a => NValue' t f m a -> a

minimum :: Ord a => NValue' t f m a -> a

sum :: Num a => NValue' t f m a -> a

product :: Num a => NValue' t f m a -> a

(Eq t, Eq1 f, Eq1 m) => Eq1 (NValue' t f m)

Defined in Nix.Value.Equal

Methods

liftEq :: (a -> b -> Bool) -> NValue' t f m a -> NValue' t f m b -> Bool

Comonad f => Show1 (NValue' t f m)

Defined in Nix.Value

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> NValue' t f m a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [NValue' t f m a] -> ShowS

MonadNix e t f m => MonadEval (NValue t f m) m

Defined in Nix.Exec

Methods

freeVariable :: Text -> m (NValue t f m)

synHole :: Text -> m (NValue t f m)

attrMissing :: NonEmpty Text -> Maybe (NValue t f m) -> m (NValue t f m)

evaledSym :: Text -> NValue t f m -> m (NValue t f m)

evalCurPos :: m (NValue t f m)

evalConstant :: NAtom -> m (NValue t f m)

evalString :: NString (m (NValue t f m)) -> m (NValue t f m)

evalLiteralPath :: FilePath -> m (NValue t f m)

evalEnvPath :: FilePath -> m (NValue t f m)

evalUnary :: NUnaryOp -> NValue t f m -> m (NValue t f m)

evalBinary :: NBinaryOp -> NValue t f m -> m (NValue t f m) -> m (NValue t f m)

evalWith :: m (NValue t f m) -> m (NValue t f m) -> m (NValue t f m)

evalIf :: NValue t f m -> m (NValue t f m) -> m (NValue t f m) -> m (NValue t f m)

evalAssert :: NValue t f m -> m (NValue t f m) -> m (NValue t f m)

evalApp :: NValue t f m -> m (NValue t f m) -> m (NValue t f m)

evalAbs :: Params (m (NValue t f m)) -> (forall a. m (NValue t f m) -> (AttrSet (m (NValue t f m)) -> m (NValue t f m) -> m (a, NValue t f m)) -> m (a, NValue t f m)) -> m (NValue t f m)

evalError :: Exception s => s -> m a

(Comonad f, Show a) => Show (NValue' t f m a)

Defined in Nix.Value

Methods

showsPrec :: Int -> NValue' t f m a -> ShowS

show :: NValue' t f m a -> String

showList :: [NValue' t f m a] -> ShowS

Generic (NValue' t f m a)

Defined in Nix.Value

Associated Types

type Rep (NValue' t f m a) :: Type -> Type

Methods

from :: NValue' t f m a -> Rep (NValue' t f m a) x

to :: Rep (NValue' t f m a) x -> NValue' t f m a

type Rep (NValue' t f m a)

Defined in Nix.Value

type Rep (NValue' t f m a) = D1 (MetaData "NValue'" "Nix.Value" "hnix-0.6.1-1597pjcbiB2Cib3HzwJZxT" True) (C1 (MetaCons "NValue" PrefixI True) (S1 (MetaSel (Just "_nValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f (NValueF (NValue t f m) m a)))))

sequenceNValue' :: (Functor n, Traversable f, Monad m, Applicative n) => (forall x. n x -> m x) -> NValue' t f m (n a) -> n (NValue' t f m a)

bindNValue' :: (Traversable f, Monad m, Monad n) => (forall x. n x -> m x) -> (a -> n b) -> NValue' t f m a -> n (NValue' t f m b)

hoistNValue' :: (Functor m, Functor n, Functor f) => (forall x. n x -> m x) -> (forall x. m x -> n x) -> NValue' t f m a -> NValue' t f n a

liftNValue' :: (MonadTrans u, Monad m, Functor (u m), Functor f) => (forall x. u m x -> m x) -> NValue' t f m a -> NValue' t f (u m) a

unliftNValue' :: (MonadTrans u, Monad m, Functor (u m), Functor f) => (forall x. u m x -> m x) -> NValue' t f (u m) a -> NValue' t f m a

iterNValue' :: forall t f m a r. MonadDataContext f m => (a -> (NValue' t f m a -> r) -> r) -> (NValue' t f m r -> r) -> NValue' t f m a -> r

type NValue t f m = Free (NValue' t f m) t

An NValueNF is a fully evaluated value in normal form. An 'NValue f t m' is a value in head normal form, where only the "top layer" has been evaluated. An action of type 'm (NValue f t m)' is a pending evualation that has yet to be performed. An t is either a pending evaluation, or a value in head normal form. A NThunkSet is a set of mappings from keys to thunks.

The Free structure is used here to represent the possibility that cycles may appear during normalization.

hoistNValue :: (Functor m, Functor n, Functor f) => (forall x. n x -> m x) -> (forall x. m x -> n x) -> NValue t f m -> NValue t f n

liftNValue :: (MonadTrans u, Monad m, Functor (u m), Functor f) => (forall x. u m x -> m x) -> NValue t f m -> NValue t f (u m)

unliftNValue :: (MonadTrans u, Monad m, Functor (u m), Functor f) => (forall x. u m x -> m x) -> NValue t f (u m) -> NValue t f m

iterNValue :: forall t f m r. MonadDataContext f m => (t -> (NValue t f m -> r) -> r) -> (NValue' t f m r -> r) -> NValue t f m -> r

iterNValueM :: (MonadDataContext f m, Monad n) => (forall x. n x -> m x) -> (t -> (NValue t f m -> n r) -> n r) -> (NValue' t f m (n r) -> n r) -> NValue t f m -> n r

pattern NVThunk :: forall (f :: Type -> Type) a. a -> Free f a

nvThunk :: Applicative f => t -> NValue t f m

pattern NVConstant' :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => NAtom -> NValue' t w m a

pattern NVConstant :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => NAtom -> Free (NValue' t w m) a

nvConstant' :: Applicative f => NAtom -> NValue' t f m r

nvConstant :: Applicative f => NAtom -> NValue t f m

pattern NVStr' :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => NixString -> NValue' t w m a

pattern NVStr :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => NixString -> Free (NValue' t w m) a

nvStr' :: Applicative f => NixString -> NValue' t f m r

nvStr :: Applicative f => NixString -> NValue t f m

pattern NVPath' :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => FilePath -> NValue' t w m a

pattern NVPath :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => FilePath -> Free (NValue' t w m) a

nvPath' :: Applicative f => FilePath -> NValue' t f m r

nvPath :: Applicative f => FilePath -> NValue t f m

pattern NVList' :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => [a] -> NValue' t w m a

pattern NVList :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => [Free (NValue' t w m) a] -> Free (NValue' t w m) a

nvList' :: Applicative f => [r] -> NValue' t f m r

nvList :: Applicative f => [NValue t f m] -> NValue t f m

pattern NVSet' :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => AttrSet a -> AttrSet SourcePos -> NValue' t w m a

pattern NVSet :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => AttrSet (Free (NValue' t w m) a) -> AttrSet SourcePos -> Free (NValue' t w m) a

nvSet' :: Applicative f => HashMap Text r -> HashMap Text SourcePos -> NValue' t f m r

nvSet :: Applicative f => HashMap Text (NValue t f m) -> HashMap Text SourcePos -> NValue t f m

pattern NVClosure' :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => Params () -> (NValue t w m -> m a) -> NValue' t w m a

pattern NVClosure :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => Params () -> (NValue t w m -> m (Free (NValue' t w m) a)) -> Free (NValue' t w m) a

nvClosure' :: (Applicative f, Functor m) => Params () -> (NValue t f m -> m r) -> NValue' t f m r

nvClosure :: (Applicative f, Functor m) => Params () -> (NValue t f m -> m (NValue t f m)) -> NValue t f m

pattern NVBuiltin' :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => String -> (NValue t w m -> m a) -> NValue' t w m a

pattern NVBuiltin :: forall (w :: Type -> Type) t (m :: Type -> Type) a. Comonad w => String -> (NValue t w m -> m (Free (NValue' t w m) a)) -> Free (NValue' t w m) a

nvBuiltin' :: (Applicative f, Functor m) => String -> (NValue t f m -> m r) -> NValue' t f m r

nvBuiltin :: (Applicative f, Functor m) => String -> (NValue t f m -> m (NValue t f m)) -> NValue t f m

builtin :: forall m f t. (MonadThunk t m (NValue t f m), MonadDataContext f m) => String -> (NValue t f m -> m (NValue t f m)) -> m (NValue t f m)

builtin2 :: (MonadThunk t m (NValue t f m), MonadDataContext f m) => String -> (NValue t f m -> NValue t f m -> m (NValue t f m)) -> m (NValue t f m)

builtin3 :: (MonadThunk t m (NValue t f m), MonadDataContext f m) => String -> (NValue t f m -> NValue t f m -> NValue t f m -> m (NValue t f m)) -> m (NValue t f m)

data TStringContext

Constructors

NoContext

HasContext

Instances

Show TStringContext

Defined in Nix.Value

Methods

showsPrec :: Int -> TStringContext -> ShowS

show :: TStringContext -> String

showList :: [TStringContext] -> ShowS

data ValueType

Constructors

TInt

TFloat

TBool

TNull

TString TStringContext

TList

TSet

TClosure

TPath

TBuiltin

Instances

Show ValueType

Defined in Nix.Value

Methods

showsPrec :: Int -> ValueType -> ShowS

show :: ValueType -> String

showList :: [ValueType] -> ShowS

valueType :: NValueF a m r -> ValueType

describeValue :: ValueType -> String

showValueType :: (MonadThunk t m (NValue t f m), Comonad f) => NValue t f m -> m String

data ValueFrame t f m

Constructors

ForcingThunk t

ConcerningValue (NValue t f m)

Comparison (NValue t f m) (NValue t f m)

Addition (NValue t f m) (NValue t f m)

Multiplication (NValue t f m) (NValue t f m)

Division (NValue t f m) (NValue t f m)

Coercion ValueType ValueType

CoercionToJson (NValue t f m)

CoercionFromJson Value

Expectation ValueType (NValue t f m)

Instances

(Comonad f, Show t) => Show (ValueFrame t f m)

Defined in Nix.Value

Methods

showsPrec :: Int -> ValueFrame t f m -> ShowS

show :: ValueFrame t f m -> String

showList :: [ValueFrame t f m] -> ShowS

MonadDataErrorContext t f m => Exception (ValueFrame t f m)

Defined in Nix.Value

Methods

toException :: ValueFrame t f m -> SomeException

fromException :: SomeException -> Maybe (ValueFrame t f m)

displayException :: ValueFrame t f m -> String

type MonadDataErrorContext t f m = (Show t, Typeable t, Typeable m, Typeable f, MonadDataContext f m)

_NVBuiltinF :: Applicative f => ((String, p -> m r) -> f (String, p -> m r)) -> NValueF p m r -> f (NValueF p m r)

_NVClosureF :: Applicative f => ((Params (), p -> m r) -> f (Params (), p -> m r)) -> NValueF p m r -> f (NValueF p m r)

_NVSetF :: Applicative f => ((AttrSet r, AttrSet SourcePos) -> f (AttrSet r, AttrSet SourcePos)) -> NValueF p m r -> f (NValueF p m r)

_NVListF :: Applicative f => ([r] -> f [r]) -> NValueF p m r -> f (NValueF p m r)

_NVPathF :: Applicative f => (FilePath -> f FilePath) -> NValueF p m r -> f (NValueF p m r)

_NVStrF :: Applicative f => (NixString -> f NixString) -> NValueF p m r -> f (NValueF p m r)

_NVConstantF :: Applicative f => (NAtom -> f NAtom) -> NValueF p m r -> f (NValueF p m r)

nValue :: Functor f1 => (f2 (NValueF (NValue t1 f2 m1) m1 a1) -> f1 (f3 (NValueF (NValue t2 f3 m2) m2 a2))) -> NValue' t1 f2 m1 a1 -> f1 (NValue' t2 f3 m2 a2)

key :: (Traversable f, Applicative g) => VarName -> LensLike' g (NValue' t f m a) (Maybe a)