Safe Haskell | None |
---|---|
Language | Haskell2010 |
Basing on the Nix (Hindley–Milner) type system (that provides decidable type inference): gathering assumptions (inference evidence) about polymorphic types.
Documentation
newtype Assumption Source #
Assumption | |
|
Instances
Eq Assumption Source # | |
Defined in Nix.Type.Assumption (==) :: Assumption -> Assumption -> Bool # (/=) :: Assumption -> Assumption -> Bool # | |
Show Assumption Source # | |
Defined in Nix.Type.Assumption showsPrec :: Int -> Assumption -> ShowS # show :: Assumption -> String # showList :: [Assumption] -> ShowS # | |
Semigroup Assumption Source # | |
Defined in Nix.Type.Assumption (<>) :: Assumption -> Assumption -> Assumption # sconcat :: NonEmpty Assumption -> Assumption # stimes :: Integral b => b -> Assumption -> Assumption # | |
Monoid Assumption Source # | |
Defined in Nix.Type.Assumption mempty :: Assumption # mappend :: Assumption -> Assumption -> Assumption # mconcat :: [Assumption] -> Assumption # | |
One Assumption Source # | |
type OneItem Assumption Source # | |
Defined in Nix.Type.Assumption |
empty :: Assumption 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 #