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)

Methods

toNix :: Bool -> m (NValueNF m)

Applicative m => ToNix Float m (NValueNF m)

Methods

toNix :: Float -> m (NValueNF m)

Applicative m => ToNix Int m (NValueNF m)

Methods

toNix :: Int -> m (NValueNF m)

Applicative m => ToNix Integer m (NValueNF m)

Methods

toNix :: Integer -> m (NValueNF m)

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

Methods

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

Applicative m => ToNix ByteString m (NValueNF m)

Methods

toNix :: ByteString -> m (NValueNF m)

Applicative m => ToNix Text m (NValueNF m)

Methods

toNix :: Text -> m (NValueNF m)

Applicative m => ToNix Path m (NValueNF m)

Methods

toNix :: Path -> m (NValueNF m)

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

Methods

fromNix :: NValueNF m -> m Bool

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

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

Methods

fromNix :: NValueNF m -> m Float

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

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

Methods

fromNix :: NValueNF m -> m Int

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

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

Methods

fromNix :: NValueNF m -> m Integer

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

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

Methods

fromNix :: NValueNF m -> m ()

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

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

Methods

fromNix :: NValueNF m -> m ByteString

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

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

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)

Methods

fromNix :: NValueNF m -> m Value

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

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

Methods

fromNix :: NValueNF m -> m Path

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

Applicative m => ToValue Bool m (NValueNF m)

Methods

toValue :: Bool -> m (NValueNF m)

Applicative m => ToValue Float m (NValueNF m)

Methods

toValue :: Float -> m (NValueNF m)

Applicative m => ToValue Int m (NValueNF m)

Methods

toValue :: Int -> m (NValueNF m)

Applicative m => ToValue Integer m (NValueNF m)

Methods

toValue :: Integer -> m (NValueNF m)

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

Methods

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

Applicative m => ToValue ByteString m (NValueNF m)

Methods

toValue :: ByteString -> m (NValueNF m)

Applicative m => ToValue Text m (NValueNF m)

Methods

toValue :: Text -> m (NValueNF m)

Applicative m => ToValue Path m (NValueNF m)

Methods

toValue :: Path -> m (NValueNF m)

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

Methods

fromValue :: NValueNF m -> m Bool

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

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

Methods

fromValue :: NValueNF m -> m Float

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

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

Methods

fromValue :: NValueNF m -> m Int

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

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

Methods

fromValue :: NValueNF m -> m Integer

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

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

Methods

fromValue :: NValueNF m -> m ()

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

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

Methods

fromValue :: NValueNF m -> m ByteString

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

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

Methods

fromValue :: NValueNF m -> m Text

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

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

Methods

fromValue :: NValueNF m -> m Value

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

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

Methods

fromValue :: NValueNF m -> m Path

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

Functor (NValueF m)

Methods

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

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

Foldable (NValueF m)

Methods

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

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

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)

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 m => (a -> m b) -> NValueF m a -> m (NValueF m b)

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

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

Methods

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

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

Methods

fromNix :: NValueNF m -> m [a]

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

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

Methods

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

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

Methods

fromValue :: NValueNF m -> m [a]

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

Show (NValueF m (NThunk m))

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)))

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)

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)

Methods

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

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

Methods

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

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

Methods

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

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

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)

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)

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)

Methods

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

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

Methods

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

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

Methods

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

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

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)

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)

Methods

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

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

type Rep (NValueF m r)

type Rep (NValueF m r) = D1 * (MetaData "NValueF" "Nix.Value" "hnix-0.5.1-1AEILKRXuiNL8eYeTMwPu7" False) ((:+:) * ((:+:) * (C1 * (MetaCons "NVConstantF" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * NAtom))) ((:+:) * (C1 * (MetaCons "NVStrF" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DList Text))))) (C1 * (MetaCons "NVPathF" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FilePath))))) ((:+:) * ((:+:) * (C1 * (MetaCons "NVListF" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [r]))) (C1 * (MetaCons "NVSetF" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AttrSet r))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AttrSet SourcePos)))))) ((:+:) * (C1 * (MetaCons "NVClosureF" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Params ()))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (m (NValue m) -> m (NValue m)))))) (C1 * (MetaCons "NVBuiltinF" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)) (S1 * (MetaSel (Nothing 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)

Methods

toNix :: a -> m (NThunk m)

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

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)

Methods

toValue :: a -> m (NThunk m)

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

Methods

fromValue :: NThunk m -> m a

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

Show (NThunk m)

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)

Methods

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

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

Methods

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

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

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

Methods

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

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

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)

Methods

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

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

Show (NValueF m (NThunk m))

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)

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)

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)

Methods

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

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

Methods

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

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

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)

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)

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)

Methods

toNix :: Bool -> m (NValue m)

Applicative m => ToNix Float m (NValue m)

Methods

toNix :: Float -> m (NValue m)

Applicative m => ToNix Int m (NValue m)

Methods

toNix :: Int -> m (NValue m)

Applicative m => ToNix Integer m (NValue m)

Methods

toNix :: Integer -> m (NValue m)

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

Methods

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

Applicative m => ToNix ByteString m (NValue m)

Methods

toNix :: ByteString -> m (NValue m)

Applicative m => ToNix Text m (NValue m)

Methods

toNix :: Text -> m (NValue m)

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

Methods

toNix :: Value -> m (NValue m)

Applicative m => ToNix Path m (NValue m)

Methods

toNix :: Path -> m (NValue m)

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

Methods

fromNix :: NValue m -> m Bool

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

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

Methods

fromNix :: NValue m -> m Float

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

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

Methods

fromNix :: NValue m -> m Int

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

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

Methods

fromNix :: NValue m -> m Integer

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

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

Methods

fromNix :: NValue m -> m ()

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

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

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)

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)

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)

Methods

fromNix :: NValue m -> m Path

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

Applicative m => ToValue Bool m (NValue m)

Methods

toValue :: Bool -> m (NValue m)

Applicative m => ToValue Float m (NValue m)

Methods

toValue :: Float -> m (NValue m)

Applicative m => ToValue Int m (NValue m)

Methods

toValue :: Int -> m (NValue m)

Applicative m => ToValue Integer m (NValue m)

Methods

toValue :: Integer -> m (NValue m)

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

Methods

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

Applicative m => ToValue ByteString m (NValue m)

Methods

toValue :: ByteString -> m (NValue m)

Applicative m => ToValue Text m (NValue m)

Methods

toValue :: Text -> m (NValue m)

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

Methods

toValue :: Value -> m (NValue m)

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

Methods

toValue :: SourcePos -> m (NValue m)

Applicative m => ToValue Path m (NValue m)

Methods

toValue :: Path -> m (NValue m)

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

Methods

fromValue :: NValue m -> m Bool

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

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

Methods

fromValue :: NValue m -> m Float

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

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

Methods

fromValue :: NValue m -> m Int

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

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

Methods

fromValue :: NValue m -> m Integer

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

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

Methods

fromValue :: NValue m -> m ()

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

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

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)

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)

Methods

fromValue :: NValue m -> m Path

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

Eq (NValue m)

Methods

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

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

Ord (NValue m)

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)

Methods

showsPrec :: Int -> NValue m -> ShowS

show :: NValue m -> String

showList :: [NValue m] -> ShowS

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

Methods

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

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

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)

Methods

fromNix :: NValue m -> m [a]

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

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

Methods

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

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

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

Methods

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

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

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)

Methods

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

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

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

Methods

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

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

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)

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)

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)

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)

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)

Methods

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

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

Methods

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

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

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)

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)

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)

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

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)

Methods

showsPrec :: Int -> ValueFrame m -> ShowS

show :: ValueFrame m -> String

showList :: [ValueFrame m] -> ShowS

Typeable (* -> *) m => Exception (ValueFrame m)

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))