Nix.Eval

Documentation

data NValueF m r

An NValue is the most reduced form of an NExpr after evaluation is completed.

Constructors

NVConstant NAtom

NVStr Text

NVList [r]

NVSet (Map Text r)

NVFunction (Params r) (NValue m -> m r)

NVLiteralPath FilePath

NVEnvPath FilePath

Instances

Functor m => Functor (NValueF m)

Methods

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

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

Show f => Show (NValueF m f)

Methods

showsPrec :: Int -> NValueF m f -> ShowS

show :: NValueF m f -> String

showList :: [NValueF m f] -> 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

type Rep (NValueF m r)

type Rep (NValueF m r) = D1 * (MetaData "NValueF" "Nix.Eval" "hnix-0.4.0-Ceu7qnqs8HfFdzUe608zID" False) ((:+:) * ((:+:) * (C1 * (MetaCons "NVConstant" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * NAtom))) ((:+:) * (C1 * (MetaCons "NVStr" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) (C1 * (MetaCons "NVList" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [r]))))) ((:+:) * ((:+:) * (C1 * (MetaCons "NVSet" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Map Text r)))) (C1 * (MetaCons "NVFunction" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Params r))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (NValue m -> m r)))))) ((:+:) * (C1 * (MetaCons "NVLiteralPath" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FilePath))) (C1 * (MetaCons "NVEnvPath" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FilePath))))))

type NValue m = Fix (NValueF m)

valueText :: Functor m => NValue m -> Text

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

evalExpr :: MonadFix m => NExpr -> NValue m -> m (NValue m)

evalString :: Monad m => NValue m -> NString (NValue m -> m (NValue m)) -> m Text

evalBinds :: Monad m => Bool -> NValue m -> [Binding (NValue m -> m (NValue m))] -> m (Map Text (NValue m))

evalSelector :: Monad m => Bool -> NValue m -> NAttrPath (NValue m -> m (NValue m)) -> m [Text]