hnix-0.10.1: Haskell implementation of the Nix language
Safe HaskellNone
LanguageHaskell2010

Nix.Type.Infer

Documentation

data TypeError Source #

Instances

Instances details
Eq TypeError Source # 
Instance details

Defined in Nix.Type.Infer

Show TypeError Source # 
Instance details

Defined in Nix.Type.Infer

newtype Subst Source #

Constructors

Subst (Map TVar Type) 

Instances

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 #