Modulehnix-0.17.0Haskell2010

Nix.Value.Equal

11 values

Packagehnix-0.17.0
Exports11
LanguageHaskell2010
LicenceBSD-3-Clause
SourceEqual.hs

valuecheckComparable

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

valuealignEqM

:: (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.

valuealignEq

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

valueisDerivationM

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

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

valuevalueFEqM

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

valuevalueFEq

:: AttrSet a -> AttrSet a -> Bool
-> a -> a -> Bool
-> NValueF p m a
-> NValueF p m a
-> Bool

valuecompareAttrSetsM

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

valuecompareAttrSets

:: t -> Maybe NixString
-> t -> t -> Bool
-> AttrSet t
-> AttrSet t
-> Bool

valuevalueEqM

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

valuethunkEqM

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