Nix.Value.Equal

Documentation

checkComparable :: (Framed e m, MonadDataErrorContext t f m) => NValue t f m -> NValue t f m -> m ()

alignEqM :: (Align f, Traversable f, Monad m) => (a -> b -> m Bool) -> f a -> f b -> m Bool

Checks whether two containers are equal, using the given item equality predicate. If there are any item slots that don't match between the two containers, the result will be False.

alignEq :: (Align f, Traversable f) => (a -> b -> Bool) -> f a -> f b -> Bool

isDerivationM :: Monad m => (t -> m (Maybe NixString)) -> AttrSet t -> m Bool

isDerivation :: Monad m => (t -> Maybe NixString) -> AttrSet t -> Bool

valueFEqM :: Monad n => (AttrSet a -> AttrSet a -> n Bool) -> (a -> a -> n Bool) -> NValueF p m a -> NValueF p m a -> n Bool

valueFEq :: (AttrSet a -> AttrSet a -> Bool) -> (a -> a -> Bool) -> NValueF p m a -> NValueF p m a -> Bool

compareAttrSetsM :: Monad m => (t -> m (Maybe NixString)) -> (t -> t -> m Bool) -> AttrSet t -> AttrSet t -> m Bool

compareAttrSets :: (t -> Maybe NixString) -> (t -> t -> Bool) -> AttrSet t -> AttrSet t -> Bool

valueEqM :: forall t f m. (MonadThunk t m (NValue t f m), Comonad f) => NValue t f m -> NValue t f m -> m Bool

thunkEqM :: (MonadThunk t m (NValue t f m), Comonad f) => t -> t -> m Bool

Orphan instances

Eq1 (NValueF p m)

Methods

liftEq :: (a -> b -> Bool) -> NValueF p m a -> NValueF p m b -> Bool

(Eq t, Eq1 f, Eq1 m) => Eq1 (NValue' t f m)

Methods

liftEq :: (a -> b -> Bool) -> NValue' t f m a -> NValue' t f m b -> Bool