Nix.Type.Assumption

Documentation

newtype Assumption

Constructors

Assumption

Fields

• assumptions :: [(Name, Type)]

Instances

Eq Assumption

Defined in Nix.Type.Assumption

Methods

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

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

Show Assumption

Defined in Nix.Type.Assumption

Methods

showsPrec :: Int -> Assumption -> ShowS

show :: Assumption -> String

showList :: [Assumption] -> ShowS

empty :: Assumption

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

remove :: Assumption -> Name -> Assumption

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

keys :: Assumption -> [Name]

merge :: Assumption -> Assumption -> Assumption

mergeAssumptions :: [Assumption] -> Assumption

singleton :: Name -> Type -> Assumption