Nix.Normal

Documentation

newtype NormalLoop m

Constructors

NormalLoop (NValue m)

Instances

Show (NormalLoop m)

Defined in Nix.Normal

Methods

showsPrec :: Int -> NormalLoop m -> ShowS

show :: NormalLoop m -> String

showList :: [NormalLoop m] -> ShowS

Typeable m => Exception (NormalLoop m)

Defined in Nix.Normal

Methods

toException :: NormalLoop m -> SomeException

fromException :: SomeException -> Maybe (NormalLoop m)

displayException :: NormalLoop m -> String

normalFormBy :: forall e m. (Framed e m, MonadVar m, Typeable m) => (forall r. NThunk m -> (NValue m -> m r) -> m r) -> Int -> NValue m -> m (NValueNF m)

normalForm :: (Framed e m, MonadVar m, Typeable m, MonadThunk (NValue m) (NThunk m) m) => NValue m -> m (NValueNF m)

embed :: forall m. MonadThunk (NValue m) (NThunk m) m => NValueNF m -> m (NValue m)

valueText :: forall e m. (Framed e m, MonadEffects m, Typeable m) => Bool -> NValueNF m -> m (Text, DList Text)

valueTextNoContext :: (Framed e m, MonadEffects m, Typeable m) => Bool -> NValueNF m -> m Text