hnix-0.5.1: Haskell implementation of the Nix language

Safe Haskell	None
Language	Haskell2010

Nix.Type.Assumption

Documentation

newtype Assumption Source #

Constructors

Assumption
Fields assumptions :: [(Name, Type)]

Instances

Eq Assumption Source #
Methods (==) :: Assumption -> Assumption -> Bool # (/=) :: Assumption -> Assumption -> Bool #
Show Assumption Source #
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 #