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

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.3.4-IZ2bVOjITJv37qFnIRebIG" 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))))))

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]