Nix.Value

Documentation

data NValueF 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 Text (DList Text)

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 ()) (m (NValue m) -> m (NValue m))

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 (m (NValue m) -> m (NValue m))

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

Applicative m => ToNix Bool m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: Bool -> m (NValueNF m)

Applicative m => ToNix Float m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: Float -> m (NValueNF m)

Applicative m => ToNix Int m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: Int -> m (NValueNF m)

Applicative m => ToNix Integer m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: Integer -> m (NValueNF m)

Applicative m => ToNix () m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: () -> m (NValueNF m)

Applicative m => ToNix ByteString m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: ByteString -> m (NValueNF m)

Applicative m => ToNix Text m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: Text -> m (NValueNF m)

Applicative m => ToNix Path m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: Path -> m (NValueNF m)

Convertible e m => FromNix Bool m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m Bool

fromNixMay :: NValueNF m -> m (Maybe Bool)

Convertible e m => FromNix Float m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m Float

fromNixMay :: NValueNF m -> m (Maybe Float)

Convertible e m => FromNix Int m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m Int

fromNixMay :: NValueNF m -> m (Maybe Int)

Convertible e m => FromNix Integer m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m Integer

fromNixMay :: NValueNF m -> m (Maybe Integer)

Convertible e m => FromNix () m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m ()

fromNixMay :: NValueNF m -> m (Maybe ())

Convertible e m => FromNix ByteString m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m ByteString

fromNixMay :: NValueNF m -> m (Maybe ByteString)

(Convertible e m, MonadEffects m) => FromNix Text m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m Text

fromNixMay :: NValueNF m -> m (Maybe Text)

(Convertible e m, MonadEffects m, MonadThunk (NValue m) (NThunk m) m) => FromNix Value m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m Value

fromNixMay :: NValueNF m -> m (Maybe Value)

Convertible e m => FromNix Path m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m Path

fromNixMay :: NValueNF m -> m (Maybe Path)

Applicative m => ToValue Bool m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: Bool -> m (NValueNF m)

Applicative m => ToValue Float m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: Float -> m (NValueNF m)

Applicative m => ToValue Int m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: Int -> m (NValueNF m)

Applicative m => ToValue Integer m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: Integer -> m (NValueNF m)

Applicative m => ToValue () m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: () -> m (NValueNF m)

Applicative m => ToValue ByteString m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: ByteString -> m (NValueNF m)

Applicative m => ToValue Text m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: Text -> m (NValueNF m)

Applicative m => ToValue Path m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: Path -> m (NValueNF m)

Convertible e m => FromValue Bool m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m Bool

fromValueMay :: NValueNF m -> m (Maybe Bool)

Convertible e m => FromValue Float m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m Float

fromValueMay :: NValueNF m -> m (Maybe Float)

Convertible e m => FromValue Int m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m Int

fromValueMay :: NValueNF m -> m (Maybe Int)

Convertible e m => FromValue Integer m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m Integer

fromValueMay :: NValueNF m -> m (Maybe Integer)

Convertible e m => FromValue () m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m ()

fromValueMay :: NValueNF m -> m (Maybe ())

Convertible e m => FromValue ByteString m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m ByteString

fromValueMay :: NValueNF m -> m (Maybe ByteString)

(Convertible e m, MonadEffects m) => FromValue Text m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m Text

fromValueMay :: NValueNF m -> m (Maybe Text)

(Convertible e m, MonadEffects m) => FromValue Value m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m Value

fromValueMay :: NValueNF m -> m (Maybe Value)

Convertible e m => FromValue Path m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m Path

fromValueMay :: NValueNF m -> m (Maybe Path)

Functor (NValueF m)

Defined in Nix.Value

Methods

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

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

Foldable (NValueF m)

Defined in Nix.Value

Methods

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

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

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

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

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

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

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

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

toList :: NValueF m a -> [a]

null :: NValueF m a -> Bool

length :: NValueF m a -> Int

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

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

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

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

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

Traversable (NValueF m)

Defined in Nix.Value

Methods

traverse :: Applicative f => (a -> f b) -> NValueF m a -> f (NValueF m b)

sequenceA :: Applicative f => NValueF m (f a) -> f (NValueF m a)

mapM :: Monad m0 => (a -> m0 b) -> NValueF m a -> m0 (NValueF m b)

sequence :: Monad m0 => NValueF m (m0 a) -> m0 (NValueF m a)

(Applicative m, ToNix a m (NValueNF m)) => ToNix [a] m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: [a] -> m (NValueNF m)

(Convertible e m, FromValue a m (NValueNF m), Show a) => FromNix [a] m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m [a]

fromNixMay :: NValueNF m -> m (Maybe [a])

(ToValue a m (NValueNF m), Applicative m) => ToValue [a] m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: [a] -> m (NValueNF m)

(Convertible e m, FromValue a m (NValueNF m), Show a) => FromValue [a] m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m [a]

fromValueMay :: NValueNF m -> m (Maybe [a])

Show (NValueF m (NThunk m))

Defined in Nix.Value

Methods

showsPrec :: Int -> NValueF m (NThunk m) -> ShowS

show :: NValueF m (NThunk m) -> String

showList :: [NValueF m (NThunk m)] -> ShowS

Show (NValueF m (Fix (NValueF m)))

Defined in Nix.Value

Methods

showsPrec :: Int -> NValueF m (Fix (NValueF m)) -> ShowS

show :: NValueF m (Fix (NValueF m)) -> String

showList :: [NValueF m (Fix (NValueF m))] -> ShowS

Generic (NValueF m r)

Defined in Nix.Value

Associated Types

type Rep (NValueF m r) :: * -> *

Methods

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

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

Applicative m => ToNix (Text, DList Text) m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: (Text, DList Text) -> m (NValueNF m)

Applicative m => ToNix (HashMap Text (NValueNF m), HashMap Text SourcePos) m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: (HashMap Text (NValueNF m), HashMap Text SourcePos) -> m (NValueNF m)

Applicative m => ToNix (HashMap Text (NValueNF m)) m (NValueNF m)

Defined in Nix.Convert

Methods

toNix :: HashMap Text (NValueNF m) -> m (NValueNF m)

(Convertible e m, MonadEffects m) => FromNix (Text, DList Text) m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m (Text, DList Text)

fromNixMay :: NValueNF m -> m (Maybe (Text, DList Text))

Convertible e m => FromNix (HashMap Text (NValueNF m), HashMap Text SourcePos) m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m (HashMap Text (NValueNF m), HashMap Text SourcePos)

fromNixMay :: NValueNF m -> m (Maybe (HashMap Text (NValueNF m), HashMap Text SourcePos))

Convertible e m => FromNix (HashMap Text (NValueNF m)) m (NValueNF m)

Defined in Nix.Convert

Methods

fromNix :: NValueNF m -> m (HashMap Text (NValueNF m))

fromNixMay :: NValueNF m -> m (Maybe (HashMap Text (NValueNF m)))

Applicative m => ToValue (Text, DList Text) m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: (Text, DList Text) -> m (NValueNF m)

Applicative m => ToValue (HashMap Text (NValueNF m), HashMap Text SourcePos) m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: (HashMap Text (NValueNF m), HashMap Text SourcePos) -> m (NValueNF m)

Applicative m => ToValue (HashMap Text (NValueNF m)) m (NValueNF m)

Defined in Nix.Convert

Methods

toValue :: HashMap Text (NValueNF m) -> m (NValueNF m)

(Convertible e m, MonadEffects m) => FromValue (Text, DList Text) m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m (Text, DList Text)

fromValueMay :: NValueNF m -> m (Maybe (Text, DList Text))

Convertible e m => FromValue (HashMap Text (NValueNF m), HashMap Text SourcePos) m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m (HashMap Text (NValueNF m), HashMap Text SourcePos)

fromValueMay :: NValueNF m -> m (Maybe (HashMap Text (NValueNF m), HashMap Text SourcePos))

Convertible e m => FromValue (HashMap Text (NValueNF m)) m (NValueNF m)

Defined in Nix.Convert

Methods

fromValue :: NValueNF m -> m (HashMap Text (NValueNF m))

fromValueMay :: NValueNF m -> m (Maybe (HashMap Text (NValueNF m)))

type Rep (NValueF m r)

Defined in Nix.Value

type Rep (NValueF m r) = D1 (MetaData "NValueF" "Nix.Value" "hnix-0.5.2-ETCv3tuhAW86poVV9kTEZx" 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 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DList Text))) :+: 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 (m (NValue m) -> m (NValue m)))) :+: C1 (MetaCons "NVBuiltinF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (m (NValue m) -> m (NValue m)))))))

type NValueNF m = Fix (NValueF m)

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

type ValueSet m = AttrSet (NThunk m)

data Provenance m

Constructors

Provenance

Fields

• _lexicalScope :: Scopes m (NThunk m)
• _originExpr :: NExprLocF (Maybe (NValue m))

  When calling the function x: x + 2 with argument x = 3, the originExpr for the resulting value will be 3 + 2, while the contextExpr will be (x: x + 2) 3, preserving not only the result of the call, but what was called and with what arguments.

data NThunk m

Constructors

NThunk

Fields

• _thunkProvenance :: [Provenance m]
• _baseThunk :: Thunk m (NValue m)

Instances

(MonadThunk (NValue m) (NThunk m) m, ToNix a m (NValue m)) => ToNix a m (NThunk m)

Defined in Nix.Convert

Methods

toNix :: a -> m (NThunk m)

(MonadThunk (NValue m) (NThunk m) m, FromNix a m (NValue m)) => FromNix a m (NThunk m)

Defined in Nix.Convert

Methods

fromNix :: NThunk m -> m a

fromNixMay :: NThunk m -> m (Maybe a)

(MonadThunk (NValue m) (NThunk m) m, ToValue a m (NValue m)) => ToValue a m (NThunk m)

Defined in Nix.Convert

Methods

toValue :: a -> m (NThunk m)

(MonadThunk (NValue m) (NThunk m) m, FromValue a m (NValue m)) => FromValue a m (NThunk m)

Defined in Nix.Convert

Methods

fromValue :: NThunk m -> m a

fromValueMay :: NThunk m -> m (Maybe a)

Show (NThunk m)

Defined in Nix.Value

Methods

showsPrec :: Int -> NThunk m -> ShowS

show :: NThunk m -> String

showList :: [NThunk m] -> ShowS

MonadThunk (NValue m) (NThunk m) m => ToNix (NThunk m) m (NValue m)

Defined in Nix.Convert

Methods

toNix :: NThunk m -> m (NValue m)

MonadThunk (NValue m) (NThunk m) m => FromNix (NThunk m) m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m (NThunk m)

fromNixMay :: NValue m -> m (Maybe (NThunk m))

Applicative m => ToValue [NThunk m] m (NValue m)

Defined in Nix.Convert

Methods

toValue :: [NThunk m] -> m (NValue m)

Convertible e m => FromValue [NThunk m] m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m [NThunk m]

fromValueMay :: NValue m -> m (Maybe [NThunk m])

(Convertible e m, MonadThunk (NValue m) (NThunk m) m) => FromValue (NThunk m) m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m (NThunk m)

fromValueMay :: NValue m -> m (Maybe (NThunk m))

MonadNix e m => MonadThunk (NValue m) (NThunk m) m

Defined in Nix.Exec

Methods

thunk :: m (NValue m) -> m (NThunk m)

force :: NThunk m -> (NValue m -> m r) -> m r

value :: NValue m -> NThunk m

Show (NValueF m (NThunk m))

Defined in Nix.Value

Methods

showsPrec :: Int -> NValueF m (NThunk m) -> ShowS

show :: NValueF m (NThunk m) -> String

showList :: [NValueF m (NThunk m)] -> ShowS

Applicative m => ToNix (HashMap Text (NThunk m), HashMap Text SourcePos) m (NValue m)

Defined in Nix.Convert

Methods

toNix :: (HashMap Text (NThunk m), HashMap Text SourcePos) -> m (NValue m)

Convertible e m => FromNix (HashMap Text (NThunk m), HashMap Text SourcePos) m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m (HashMap Text (NThunk m), HashMap Text SourcePos)

fromNixMay :: NValue m -> m (Maybe (HashMap Text (NThunk m), HashMap Text SourcePos))

Applicative m => ToValue (HashMap Text (NThunk m), HashMap Text SourcePos) m (NValue m)

Defined in Nix.Convert

Methods

toValue :: (HashMap Text (NThunk m), HashMap Text SourcePos) -> m (NValue m)

Applicative m => ToValue (HashMap Text (NThunk m)) m (NValue m)

Defined in Nix.Convert

Methods

toValue :: HashMap Text (NThunk m) -> m (NValue m)

Convertible e m => FromValue (HashMap Text (NThunk m), HashMap Text SourcePos) m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m (HashMap Text (NThunk m), HashMap Text SourcePos)

fromValueMay :: NValue m -> m (Maybe (HashMap Text (NThunk m), HashMap Text SourcePos))

Convertible e m => FromValue (HashMap Text (NThunk m)) m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m (HashMap Text (NThunk m))

fromValueMay :: NValue m -> m (Maybe (HashMap Text (NThunk m)))

Monad m => MonadReader (Context (Lazy m) (NThunk (Lazy m))) (Lazy m)

Defined in Nix.Exec

Methods

ask :: Lazy m (Context (Lazy m) (NThunk (Lazy m)))

local :: (Context (Lazy m) (NThunk (Lazy m)) -> Context (Lazy m) (NThunk (Lazy m))) -> Lazy m a -> Lazy m a

reader :: (Context (Lazy m) (NThunk (Lazy m)) -> a) -> Lazy m a

data NValue m

Constructors

NValue

Fields

• _valueProvenance :: [Provenance m]
• _baseValue :: NValueF m (NThunk m)

Instances

Applicative m => ToNix Bool m (NValue m)

Defined in Nix.Convert

Methods

toNix :: Bool -> m (NValue m)

Applicative m => ToNix Float m (NValue m)

Defined in Nix.Convert

Methods

toNix :: Float -> m (NValue m)

Applicative m => ToNix Int m (NValue m)

Defined in Nix.Convert

Methods

toNix :: Int -> m (NValue m)

Applicative m => ToNix Integer m (NValue m)

Defined in Nix.Convert

Methods

toNix :: Integer -> m (NValue m)

Applicative m => ToNix () m (NValue m)

Defined in Nix.Convert

Methods

toNix :: () -> m (NValue m)

Applicative m => ToNix ByteString m (NValue m)

Defined in Nix.Convert

Methods

toNix :: ByteString -> m (NValue m)

Applicative m => ToNix Text m (NValue m)

Defined in Nix.Convert

Methods

toNix :: Text -> m (NValue m)

(Convertible e m, MonadThunk (NValue m) (NThunk m) m) => ToNix Value m (NValue m)

Defined in Nix.Convert

Methods

toNix :: Value -> m (NValue m)

Applicative m => ToNix Path m (NValue m)

Defined in Nix.Convert

Methods

toNix :: Path -> m (NValue m)

Convertible e m => FromNix Bool m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m Bool

fromNixMay :: NValue m -> m (Maybe Bool)

Convertible e m => FromNix Float m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m Float

fromNixMay :: NValue m -> m (Maybe Float)

Convertible e m => FromNix Int m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m Int

fromNixMay :: NValue m -> m (Maybe Int)

Convertible e m => FromNix Integer m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m Integer

fromNixMay :: NValue m -> m (Maybe Integer)

Convertible e m => FromNix () m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m ()

fromNixMay :: NValue m -> m (Maybe ())

Convertible e m => FromNix ByteString m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m ByteString

fromNixMay :: NValue m -> m (Maybe ByteString)

(Convertible e m, MonadEffects m, MonadThunk (NValue m) (NThunk m) m) => FromNix Text m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m Text

fromNixMay :: NValue m -> m (Maybe Text)

(Convertible e m, MonadEffects m, MonadThunk (NValue m) (NThunk m) m) => FromNix Value m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m Value

fromNixMay :: NValue m -> m (Maybe Value)

(Convertible e m, MonadThunk (NValue m) (NThunk m) m) => FromNix Path m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m Path

fromNixMay :: NValue m -> m (Maybe Path)

Applicative m => ToValue Bool m (NValue m)

Defined in Nix.Convert

Methods

toValue :: Bool -> m (NValue m)

Applicative m => ToValue Float m (NValue m)

Defined in Nix.Convert

Methods

toValue :: Float -> m (NValue m)

Applicative m => ToValue Int m (NValue m)

Defined in Nix.Convert

Methods

toValue :: Int -> m (NValue m)

Applicative m => ToValue Integer m (NValue m)

Defined in Nix.Convert

Methods

toValue :: Integer -> m (NValue m)

Applicative m => ToValue () m (NValue m)

Defined in Nix.Convert

Methods

toValue :: () -> m (NValue m)

Applicative m => ToValue ByteString m (NValue m)

Defined in Nix.Convert

Methods

toValue :: ByteString -> m (NValue m)

Applicative m => ToValue Text m (NValue m)

Defined in Nix.Convert

Methods

toValue :: Text -> m (NValue m)

(Convertible e m, MonadThunk (NValue m) (NThunk m) m) => ToValue Value m (NValue m)

Defined in Nix.Convert

Methods

toValue :: Value -> m (NValue m)

MonadThunk (NValue m) (NThunk m) m => ToValue SourcePos m (NValue m)

Defined in Nix.Convert

Methods

toValue :: SourcePos -> m (NValue m)

Applicative m => ToValue Path m (NValue m)

Defined in Nix.Convert

Methods

toValue :: Path -> m (NValue m)

Convertible e m => FromValue Bool m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m Bool

fromValueMay :: NValue m -> m (Maybe Bool)

Convertible e m => FromValue Float m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m Float

fromValueMay :: NValue m -> m (Maybe Float)

Convertible e m => FromValue Int m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m Int

fromValueMay :: NValue m -> m (Maybe Int)

Convertible e m => FromValue Integer m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m Integer

fromValueMay :: NValue m -> m (Maybe Integer)

Convertible e m => FromValue () m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m ()

fromValueMay :: NValue m -> m (Maybe ())

Convertible e m => FromValue ByteString m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m ByteString

fromValueMay :: NValue m -> m (Maybe ByteString)

(Convertible e m, MonadThunk (NValue m) (NThunk m) m, MonadEffects m) => FromValue Text m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m Text

fromValueMay :: NValue m -> m (Maybe Text)

(Convertible e m, MonadThunk (NValue m) (NThunk m) m) => FromValue Path m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m Path

fromValueMay :: NValue m -> m (Maybe Path)

Eq (NValue m)

Defined in Nix.Value

Methods

(==) :: NValue m -> NValue m -> Bool

(/=) :: NValue m -> NValue m -> Bool

Ord (NValue m)

Defined in Nix.Value

Methods

compare :: NValue m -> NValue m -> Ordering

(<) :: NValue m -> NValue m -> Bool

(<=) :: NValue m -> NValue m -> Bool

(>) :: NValue m -> NValue m -> Bool

(>=) :: NValue m -> NValue m -> Bool

max :: NValue m -> NValue m -> NValue m

min :: NValue m -> NValue m -> NValue m

Show (NValue m)

Defined in Nix.Value

Methods

showsPrec :: Int -> NValue m -> ShowS

show :: NValue m -> String

showList :: [NValue m] -> ShowS

MonadNix e m => MonadEval (NValue m) m

Defined in Nix.Exec

Methods

freeVariable :: Text -> m (NValue m)

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

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

evalCurPos :: m (NValue m)

evalConstant :: NAtom -> m (NValue m)

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

evalLiteralPath :: FilePath -> m (NValue m)

evalEnvPath :: FilePath -> m (NValue m)

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

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

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

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

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

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

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

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

(Convertible e m, MonadThunk (NValue m) (NThunk m) m, ToNix a m (NValue m)) => ToNix [a] m (NValue m)

Defined in Nix.Convert

Methods

toNix :: [a] -> m (NValue m)

MonadThunk (NValue m) (NThunk m) m => ToNix (NThunk m) m (NValue m)

Defined in Nix.Convert

Methods

toNix :: NThunk m -> m (NValue m)

(Convertible e m, MonadThunk (NValue m) (NThunk m) m, FromNix a m (NValue m)) => FromNix [a] m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m [a]

fromNixMay :: NValue m -> m (Maybe [a])

MonadThunk (NValue m) (NThunk m) m => FromNix (NThunk m) m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m (NThunk m)

fromNixMay :: NValue m -> m (Maybe (NThunk m))

Applicative m => ToValue [NThunk m] m (NValue m)

Defined in Nix.Convert

Methods

toValue :: [NThunk m] -> m (NValue m)

Convertible e m => FromValue [NThunk m] m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m [NThunk m]

fromValueMay :: NValue m -> m (Maybe [NThunk m])

(Convertible e m, MonadThunk (NValue m) (NThunk m) m) => FromValue (NThunk m) m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m (NThunk m)

fromValueMay :: NValue m -> m (Maybe (NThunk m))

MonadNix e m => MonadThunk (NValue m) (NThunk m) m

Defined in Nix.Exec

Methods

thunk :: m (NValue m) -> m (NThunk m)

force :: NThunk m -> (NValue m -> m r) -> m r

value :: NValue m -> NThunk m

Applicative m => ToNix (Text, DList Text) m (NValue m)

Defined in Nix.Convert

Methods

toNix :: (Text, DList Text) -> m (NValue m)

Applicative m => ToNix (HashMap Text (NThunk m), HashMap Text SourcePos) m (NValue m)

Defined in Nix.Convert

Methods

toNix :: (HashMap Text (NThunk m), HashMap Text SourcePos) -> m (NValue m)

(Convertible e m, MonadThunk (NValue m) (NThunk m) m, ToNix a m (NValue m)) => ToNix (HashMap Text a) m (NValue m)

Defined in Nix.Convert

Methods

toNix :: HashMap Text a -> m (NValue m)

(Convertible e m, MonadEffects m, MonadThunk (NValue m) (NThunk m) m) => FromNix (Text, DList Text) m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m (Text, DList Text)

fromNixMay :: NValue m -> m (Maybe (Text, DList Text))

Convertible e m => FromNix (HashMap Text (NThunk m), HashMap Text SourcePos) m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m (HashMap Text (NThunk m), HashMap Text SourcePos)

fromNixMay :: NValue m -> m (Maybe (HashMap Text (NThunk m), HashMap Text SourcePos))

(Convertible e m, MonadThunk (NValue m) (NThunk m) m, FromNix a m (NValue m)) => FromNix (HashMap Text a) m (NValue m)

Defined in Nix.Convert

Methods

fromNix :: NValue m -> m (HashMap Text a)

fromNixMay :: NValue m -> m (Maybe (HashMap Text a))

Applicative m => ToValue (Text, DList Text) m (NValue m)

Defined in Nix.Convert

Methods

toValue :: (Text, DList Text) -> m (NValue m)

Applicative m => ToValue (HashMap Text (NThunk m), HashMap Text SourcePos) m (NValue m)

Defined in Nix.Convert

Methods

toValue :: (HashMap Text (NThunk m), HashMap Text SourcePos) -> m (NValue m)

Applicative m => ToValue (HashMap Text (NThunk m)) m (NValue m)

Defined in Nix.Convert

Methods

toValue :: HashMap Text (NThunk m) -> m (NValue m)

(Convertible e m, MonadThunk (NValue m) (NThunk m) m, MonadEffects m) => FromValue (Text, DList Text) m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m (Text, DList Text)

fromValueMay :: NValue m -> m (Maybe (Text, DList Text))

Convertible e m => FromValue (HashMap Text (NThunk m), HashMap Text SourcePos) m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m (HashMap Text (NThunk m), HashMap Text SourcePos)

fromValueMay :: NValue m -> m (Maybe (HashMap Text (NThunk m), HashMap Text SourcePos))

Convertible e m => FromValue (HashMap Text (NThunk m)) m (NValue m)

Defined in Nix.Convert

Methods

fromValue :: NValue m -> m (HashMap Text (NThunk m))

fromValueMay :: NValue m -> m (Maybe (HashMap Text (NThunk m)))

addProvenance :: (NValue m -> Provenance m) -> NValue m -> NValue m

pattern NVConstant :: forall (m :: * -> *). NAtom -> NValue m

nvConstant :: NAtom -> NValue m

nvConstantP :: Provenance m -> NAtom -> NValue m

pattern NVStr :: forall (m :: * -> *). Text -> DList Text -> NValue m

nvStr :: Text -> DList Text -> NValue m

nvStrP :: Provenance m -> Text -> DList Text -> NValue m

pattern NVPath :: forall (m :: * -> *). FilePath -> NValue m

nvPath :: FilePath -> NValue m

nvPathP :: Provenance m -> FilePath -> NValue m

pattern NVList :: forall (m :: * -> *). [NThunk m] -> NValue m

nvList :: [NThunk m] -> NValue m

nvListP :: Provenance m -> [NThunk m] -> NValue m

pattern NVSet :: forall (m :: * -> *). AttrSet (NThunk m) -> AttrSet SourcePos -> NValue m

nvSet :: AttrSet (NThunk m) -> AttrSet SourcePos -> NValue m

nvSetP :: Provenance m -> AttrSet (NThunk m) -> AttrSet SourcePos -> NValue m

pattern NVClosure :: forall (m :: * -> *). Params () -> (m (NValue m) -> m (NValue m)) -> NValue m

nvClosure :: Params () -> (m (NValue m) -> m (NValue m)) -> NValue m

nvClosureP :: Provenance m -> Params () -> (m (NValue m) -> m (NValue m)) -> NValue m

pattern NVBuiltin :: forall (m :: * -> *). String -> (m (NValue m) -> m (NValue m)) -> NValue m

nvBuiltin :: String -> (m (NValue m) -> m (NValue m)) -> NValue m

nvBuiltinP :: Provenance m -> String -> (m (NValue m) -> m (NValue m)) -> NValue m

checkComparable :: (Framed e m, Typeable m) => NValue m -> NValue m -> m ()

builtin :: Monad m => String -> (m (NValue m) -> m (NValue m)) -> m (NValue m)

builtin2 :: Monad m => String -> (m (NValue m) -> m (NValue m) -> m (NValue m)) -> m (NValue m)

builtin3 :: Monad m => String -> (m (NValue m) -> m (NValue m) -> m (NValue m) -> m (NValue m)) -> m (NValue m)

isClosureNF :: Monad m => NValueNF m -> Bool

thunkEq :: MonadThunk (NValue m) (NThunk m) m => NThunk m -> NThunk m -> m Bool

alignEqM :: (Align f, Traversable f, Monad m) => (a -> b -> m Bool) -> f a -> f b -> m Bool

Checks whether two containers are equal, using the given item equality predicate. If there are any item slots that don't match between the two containers, the result will be False.

isDerivation :: MonadThunk (NValue m) (NThunk m) m => AttrSet (NThunk m) -> m Bool

valueEq :: MonadThunk (NValue m) (NThunk m) m => NValue m -> NValue m -> m Bool

data ValueType

Constructors

TInt

TFloat

TBool

TNull

TString

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 m r -> ValueType

describeValue :: ValueType -> String

data ValueFrame m

Constructors

ForcingThunk

ConcerningValue (NValue m)

Comparison (NValue m) (NValue m)

Addition (NValue m) (NValue m)

Multiplication (NValue m) (NValue m)

Division (NValue m) (NValue m)

Coercion ValueType ValueType

CoercionToJsonNF (NValueNF m)

CoercionFromJson Value

ExpectationNF ValueType (NValueNF m)

Expectation ValueType (NValue m)

Instances

Show (ValueFrame m)

Defined in Nix.Value

Methods

showsPrec :: Int -> ValueFrame m -> ShowS

show :: ValueFrame m -> String

showList :: [ValueFrame m] -> ShowS

Typeable m => Exception (ValueFrame m)

Defined in Nix.Value

Methods

toException :: ValueFrame m -> SomeException

fromException :: SomeException -> Maybe (ValueFrame m)

displayException :: ValueFrame m -> String

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

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

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

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

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

_NVStrF :: Applicative f => ((Text, DList Text) -> f (Text, DList Text)) -> NValueF m r -> f (NValueF m r)

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

originExpr :: Functor f => (NExprLocF (Maybe (NValue m)) -> f (NExprLocF (Maybe (NValue m)))) -> Provenance m -> f (Provenance m)

lexicalScope :: Functor f => (Scopes m (NThunk m) -> f (Scopes m (NThunk m))) -> Provenance m -> f (Provenance m)

baseThunk :: Functor f => (Thunk m (NValue m) -> f (Thunk m (NValue m))) -> NThunk m -> f (NThunk m)

thunkProvenance :: Functor f => ([Provenance m] -> f [Provenance m]) -> NThunk m -> f (NThunk m)

baseValue :: Functor f => (NValueF m (NThunk m) -> f (NValueF m (NThunk m))) -> NValue m -> f (NValue m)

valueProvenance :: Functor f => ([Provenance m] -> f [Provenance m]) -> NValue m -> f (NValue m)

alterF :: (Eq k, Hashable k, Functor f) => (Maybe v -> f (Maybe v)) -> k -> HashMap k v -> f (HashMap k v)

hashAt :: VarName -> Lens' (AttrSet v) (Maybe v)

key :: Applicative f => VarName -> LensLike' f (NValue m) (Maybe (NThunk m))