Nix.Type.Infer

Documentation

data Constraint

Constructors

EqConst Type Type

ExpInstConst Type Scheme

ImpInstConst Type (Set TVar) Type

Instances

Eq Constraint

Defined in Nix.Type.Infer

Methods

(==) :: Constraint -> Constraint -> Bool

(/=) :: Constraint -> Constraint -> Bool

Ord Constraint

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

Defined in Nix.Type.Infer

Methods

showsPrec :: Int -> Constraint -> ShowS

show :: Constraint -> String

showList :: [Constraint] -> ShowS

data TypeError

Constructors

UnificationFail Type Type

InfiniteType TVar Type

UnboundVariables [Text]

Ambigious [Constraint]

UnificationMismatch [Type] [Type]

Instances

Eq TypeError

Defined in Nix.Type.Infer

Methods

(==) :: TypeError -> TypeError -> Bool

(/=) :: TypeError -> TypeError -> Bool

Show TypeError

Defined in Nix.Type.Infer

Methods

showsPrec :: Int -> TypeError -> ShowS

show :: TypeError -> String

showList :: [TypeError] -> ShowS

data InferError

Constructors

TypeInferenceErrors [TypeError]

TypeInferenceAborted

forall s.Exception s => EvaluationError s

Instances

Show InferError

Defined in Nix.Type.Infer

Methods

showsPrec :: Int -> InferError -> ShowS

show :: InferError -> String

showList :: [InferError] -> ShowS

Semigroup InferError

Defined in Nix.Type.Infer

Methods

(<>) :: InferError -> InferError -> InferError

sconcat :: NonEmpty InferError -> InferError

stimes :: Integral b => b -> InferError -> InferError

Monoid InferError

Defined in Nix.Type.Infer

Methods

mempty :: InferError

mappend :: InferError -> InferError -> InferError

mconcat :: [InferError] -> InferError

Exception InferError

Defined in Nix.Type.Infer

Methods

toException :: InferError -> SomeException

fromException :: SomeException -> Maybe InferError

displayException :: InferError -> String

newtype Subst

Constructors

Subst (Map TVar Type)

Instances

Eq Subst

Defined in Nix.Type.Infer

Methods

(==) :: Subst -> Subst -> Bool

(/=) :: Subst -> Subst -> Bool

Ord Subst

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

Defined in Nix.Type.Infer

Methods

showsPrec :: Int -> Subst -> ShowS

show :: Subst -> String

showList :: [Subst] -> ShowS

Semigroup Subst

Defined in Nix.Type.Infer

Methods

(<>) :: Subst -> Subst -> Subst

sconcat :: NonEmpty Subst -> Subst

stimes :: Integral b => b -> Subst -> Subst

Monoid Subst

Defined in Nix.Type.Infer

Methods

mempty :: Subst

mappend :: Subst -> Subst -> Subst

mconcat :: [Subst] -> Subst

inferTop :: Env -> [(Text, NExpr)] -> Either InferError Env