hnix-0.5.1: Haskell implementation of the Nix language

Safe Haskell	None
Language	Haskell2010

Nix.Type.Infer

Documentation

data Constraint Source #

Constructors

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

Instances

Eq Constraint Source #
Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Ord Constraint Source #
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 #
Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #

data TypeError Source #

Constructors

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

Instances

Eq TypeError Source #
Methods (==) :: TypeError -> TypeError -> Bool # (/=) :: TypeError -> TypeError -> Bool #
Show TypeError Source #
Methods showsPrec :: Int -> TypeError -> ShowS # show :: TypeError -> String # showList :: [TypeError] -> ShowS #

data InferError Source #

Constructors

TypeInferenceErrors [TypeError]
TypeInferenceAborted
Exception s => EvaluationError s

Instances

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

newtype Subst Source #

Constructors

Subst (Map TVar Type)

Instances

Eq Subst Source #
Methods (==) :: Subst -> Subst -> Bool # (/=) :: Subst -> Subst -> Bool #
Ord Subst Source #
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 #
Methods showsPrec :: Int -> Subst -> ShowS # show :: Subst -> String # showList :: [Subst] -> ShowS #
Semigroup Subst Source #
Methods (<>) :: Subst -> Subst -> Subst # sconcat :: NonEmpty Subst -> Subst # stimes :: Integral b => b -> Subst -> Subst #
Monoid Subst Source #
Methods mempty :: Subst # mappend :: Subst -> Subst -> Subst # mconcat :: [Subst] -> Subst #

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