Safe Haskell	None
Language	Haskell2010

Nix.Type.Assumption

Description

Basing on the Nix (Hindley–Milner) type system (that provides decidable type inference): gathering assumptions (inference evidence) about polymorphic types.

Documentation

newtype Assumption Source #

Constructors

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

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 #