Safe Haskell	Safe-Inferred
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 [(VarName, Type)]

Instances

Instances details

Monoid Assumption Source #
Instance details Defined in Nix.Type.Assumption Methods mempty :: Assumption # mappend :: Assumption -> Assumption -> Assumption # mconcat :: [Assumption] -> Assumption #
Semigroup Assumption Source #
Instance details Defined in Nix.Type.Assumption Methods (<>) :: Assumption -> Assumption -> Assumption # sconcat :: NonEmpty Assumption -> Assumption # stimes :: Integral b => b -> Assumption -> Assumption #
Show Assumption Source #
Instance details Defined in Nix.Type.Assumption Methods showsPrec :: Int -> Assumption -> ShowS # show :: Assumption -> String # showList :: [Assumption] -> ShowS #
Eq Assumption Source #
Instance details Defined in Nix.Type.Assumption Methods (==) :: Assumption -> Assumption -> Bool # (/=) :: Assumption -> Assumption -> Bool #
One Assumption Source #
Instance details Defined in Nix.Type.Assumption Associated Types type OneItem Assumption # Methods one :: OneItem Assumption -> Assumption #
type OneItem Assumption Source #
Instance details Defined in Nix.Type.Assumption type OneItem Assumption = (VarName, Type)

empty :: Assumption Source #

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

remove :: Assumption -> VarName -> Assumption Source #

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

keys :: Assumption -> [VarName] Source #

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

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