hnix-0.9.0: Haskell implementation of the Nix language
Safe HaskellNone
LanguageHaskell2010

Nix.Type.Assumption

Documentation

newtype Assumption Source #

Constructors

Assumption 

Fields

Instances

Instances details
Eq Assumption Source # 
Instance details

Defined in Nix.Type.Assumption

Methods

(==) :: Assumption -> Assumption -> Bool #

(/=) :: Assumption -> Assumption -> Bool #

Show Assumption Source # 
Instance details

Defined in Nix.Type.Assumption

Methods

showsPrec :: Int -> Assumption -> ShowS #

show :: Assumption -> String #

showList :: [Assumption] -> ShowS #

empty :: Assumption Source #

lookup :: Name -> Assumption -> [Type] Source #

remove :: Assumption -> Name -> Assumption Source #

extend :: Assumption -> (Name, Type) -> Assumption Source #

keys :: Assumption -> [Name] Source #

merge :: Assumption -> Assumption -> Assumption Source #

mergeAssumptions :: [Assumption] -> Assumption Source #

singleton :: Name -> Type -> Assumption Source #