Safe Haskell	None
Language	Haskell2010

Nix.Eval

Synopsis

Documentation

data NValueF m r Source #

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) Source #
Methods fmap :: (a -> b) -> NValueF m a -> NValueF m b # (<$) :: a -> NValueF m b -> NValueF m a #
Show f => Show (NValueF m f) Source #
Methods showsPrec :: Int -> NValueF m f -> ShowS # show :: NValueF m f -> String # showList :: [NValueF m f] -> ShowS #
Generic (NValueF m r) Source #
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) Source #
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) Source #

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

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

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

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

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

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