Nix.Normal

Documentation

newtype NormalLoop t f m

Constructors

NormalLoop (NValue t f m)

Instances

(Comonad f, Show t) => Show (NormalLoop t f m)

Defined in Nix.Normal

Methods

showsPrec :: Int -> NormalLoop t f m -> ShowS

show :: NormalLoop t f m -> String

showList :: [NormalLoop t f m] -> ShowS

MonadDataErrorContext t f m => Exception (NormalLoop t f m)

Defined in Nix.Normal

Methods

toException :: NormalLoop t f m -> SomeException

fromException :: SomeException -> Maybe (NormalLoop t f m)

displayException :: NormalLoop t f m -> String

normalizeValue :: forall e t m f. (Framed e m, MonadThunk t m (NValue t f m), MonadDataErrorContext t f m, Ord (ThunkId m)) => (forall r. t -> (NValue t f m -> m r) -> m r) -> NValue t f m -> m (NValue t f m)

Normalize the value as much as possible, leaving only detected cycles.

normalForm :: (Framed e m, MonadThunk t m (NValue t f m), MonadDataErrorContext t f m, HasCitations m (NValue t f m) t, HasCitations1 m (NValue t f m) f, Ord (ThunkId m)) => NValue t f m -> m (NValue t f m)

normalForm_ :: (Framed e m, MonadThunk t m (NValue t f m), MonadDataErrorContext t f m, Ord (ThunkId m)) => NValue t f m -> m ()

stubCycles :: forall t f m. (MonadDataContext f m, HasCitations m (NValue t f m) t, HasCitations1 m (NValue t f m) f) => NValue t f m -> NValue t f m

removeEffects :: (MonadThunk t m (NValue t f m), MonadDataContext f m) => NValue t f m -> m (NValue t f m)

opaque :: Applicative f => NValue t f m

dethunk :: (MonadThunk t m (NValue t f m), MonadDataContext f m) => t -> m (NValue t f m)