Modulehnix-0.17.0Haskell2010

Nix.Value.Equal

Synopsis

value checkComparable
value alignEqM
value alignEq
value isDerivationM
value isDerivation
value valueFEqM
value valueFEq
value compareAttrSetsM
value compareAttrSets
value valueEqM
value thunkEqM

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

Source#

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