Safe Haskell	None
Language	Haskell2010

Nix.Type.Infer

Synopsis

Documentation

Constructors

EqConst Type Type
ExpInstConst Type Scheme
ImpInstConst Type (Set TVar) Type

Instances details

Eq Constraint Source #
Instance details Defined in Nix.Type.Infer Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Ord Constraint Source #
Instance details Defined in Nix.Type.Infer Methods compare :: Constraint -> Constraint -> Ordering # (<) :: Constraint -> Constraint -> Bool # (<=) :: Constraint -> Constraint -> Bool # (>) :: Constraint -> Constraint -> Bool # (>=) :: Constraint -> Constraint -> Bool # max :: Constraint -> Constraint -> Constraint # min :: Constraint -> Constraint -> Constraint #
Show Constraint Source #
Instance details Defined in Nix.Type.Infer Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #

Constructors

UnificationFail Type Type
InfiniteType TVar Type
UnboundVariables [Text]
Ambigious [Constraint]
UnificationMismatch [Type] [Type]

Instances details

Eq TypeError Source #
Instance details Defined in Nix.Type.Infer Methods (==) :: TypeError -> TypeError -> Bool # (/=) :: TypeError -> TypeError -> Bool #
Ord TypeError Source #
Instance details Defined in Nix.Type.Infer Methods compare :: TypeError -> TypeError -> Ordering # (<) :: TypeError -> TypeError -> Bool # (<=) :: TypeError -> TypeError -> Bool # (>) :: TypeError -> TypeError -> Bool # (>=) :: TypeError -> TypeError -> Bool # max :: TypeError -> TypeError -> TypeError # min :: TypeError -> TypeError -> TypeError #
Show TypeError Source #
Instance details Defined in Nix.Type.Infer Methods showsPrec :: Int -> TypeError -> ShowS # show :: TypeError -> String # showList :: [TypeError] -> ShowS #

Constructors

TypeInferenceErrors [TypeError]
TypeInferenceAborted
forall s.Exception s => EvaluationError s

Instances details

Show InferError Source #
Instance details Defined in Nix.Type.Infer Methods showsPrec :: Int -> InferError -> ShowS # show :: InferError -> String # showList :: [InferError] -> ShowS #
Semigroup InferError Source #
Instance details Defined in Nix.Type.Infer Methods (<>) :: InferError -> InferError -> InferError # sconcat :: NonEmpty InferError -> InferError # stimes :: Integral b => b -> InferError -> InferError #
Monoid InferError Source #
Instance details Defined in Nix.Type.Infer Methods mempty :: InferError # mappend :: InferError -> InferError -> InferError # mconcat :: [InferError] -> InferError #
Exception InferError Source #
Instance details Defined in Nix.Type.Infer Methods toException :: InferError -> SomeException # fromException :: SomeException -> Maybe InferError # displayException :: InferError -> String #

Substitution of the basic type definition by a type variable.

Constructors

Instances details

Eq Subst Source #
Instance details Defined in Nix.Type.Infer Methods (==) :: Subst -> Subst -> Bool # (/=) :: Subst -> Subst -> Bool #
Ord Subst Source #
Instance details Defined in Nix.Type.Infer Methods compare :: Subst -> Subst -> Ordering # (<) :: Subst -> Subst -> Bool # (<=) :: Subst -> Subst -> Bool # (>) :: Subst -> Subst -> Bool # (>=) :: Subst -> Subst -> Bool # max :: Subst -> Subst -> Subst # min :: Subst -> Subst -> Subst #
Show Subst Source #
Instance details Defined in Nix.Type.Infer Methods showsPrec :: Int -> Subst -> ShowS # show :: Subst -> String # showList :: [Subst] -> ShowS #
Semigroup Subst Source #
Instance details Defined in Nix.Type.Infer Methods (<>) :: Subst -> Subst -> Subst # sconcat :: NonEmpty Subst -> Subst # stimes :: Integral b => b -> Subst -> Subst #
Monoid Subst Source #
Instance details Defined in Nix.Type.Infer Methods mempty :: Subst # mappend :: Subst -> Subst -> Subst # mconcat :: [Subst] -> Subst #