Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Typechecker.TypeVar

Documentation

Constructors

Universal v
Existential b v

Instances details

Functor (TypeVar b) Source #
Instance details Defined in Unison.Typechecker.TypeVar Methods fmap :: (a -> b0) -> TypeVar b a -> TypeVar b b0 # (<$) :: a -> TypeVar b b0 -> TypeVar b a #
Show v => Show (TypeVar b v) Source #
Instance details Defined in Unison.Typechecker.TypeVar Methods showsPrec :: Int -> TypeVar b v -> ShowS # show :: TypeVar b v -> String # showList :: [TypeVar b v] -> ShowS #
Eq v => Eq (TypeVar b v) Source #
Instance details Defined in Unison.Typechecker.TypeVar Methods (==) :: TypeVar b v -> TypeVar b v -> Bool # (/=) :: TypeVar b v -> TypeVar b v -> Bool #
Ord v => Ord (TypeVar b v) Source #
Instance details Defined in Unison.Typechecker.TypeVar Methods compare :: TypeVar b v -> TypeVar b v -> Ordering # (<) :: TypeVar b v -> TypeVar b v -> Bool # (<=) :: TypeVar b v -> TypeVar b v -> Bool # (>) :: TypeVar b v -> TypeVar b v -> Bool # (>=) :: TypeVar b v -> TypeVar b v -> Bool # max :: TypeVar b v -> TypeVar b v -> TypeVar b v # min :: TypeVar b v -> TypeVar b v -> TypeVar b v #
Var v => Var (TypeVar b v) Source #
Instance details Defined in Unison.Typechecker.TypeVar Methods freshIn :: Set (TypeVar b v) -> TypeVar b v -> TypeVar b v #
Var v => Var (TypeVar b v) Source #
Instance details Defined in Unison.Typechecker.TypeVar Methods typed :: Type -> TypeVar b v # typeOf :: TypeVar b v -> Type # freshId :: TypeVar b v -> Word64 # freshenId :: Word64 -> TypeVar b v -> TypeVar b v #