hol-1.4: Higher order logic

Safe Haskell	Safe-Inferred
Language	Haskell2010

HOL.TypeVar

Description

Documentation

mk :: Name -> TypeVar Source #

dest :: TypeVar -> Name Source #

eqName :: Name -> TypeVar -> Bool Source #

alpha :: TypeVar Source #

beta :: TypeVar Source #

class HasVars a where Source #

Methods

vars :: a -> Set TypeVar Source #

Instances

Instances details

HasVars TermData Source #
Instance details Defined in HOL.TypeVar Methods vars :: TermData -> Set TypeVar Source #
HasVars Term Source #
Instance details Defined in HOL.TypeVar Methods vars :: Term -> Set TypeVar Source #
HasVars Var Source #
Instance details Defined in HOL.TypeVar Methods vars :: Var -> Set TypeVar Source #
HasVars TypeData Source #
Instance details Defined in HOL.TypeVar Methods vars :: TypeData -> Set TypeVar Source #
HasVars Type Source #
Instance details Defined in HOL.TypeVar Methods vars :: Type -> Set TypeVar Source #
HasVars TypeVar Source #
Instance details Defined in HOL.TypeVar Methods vars :: TypeVar -> Set TypeVar Source #
HasVars TermAlpha Source #
Instance details Defined in HOL.TermAlpha Methods vars :: TermAlpha -> Set TypeVar Source #
HasVars Sequent Source #
Instance details Defined in HOL.Sequent Methods vars :: Sequent -> Set TypeVar Source #
HasVars Thm Source #
Instance details Defined in HOL.Thm Methods vars :: Thm -> Set TypeVar Source #
HasVars a => HasVars [a] Source #
Instance details Defined in HOL.TypeVar Methods vars :: [a] -> Set TypeVar Source #
HasVars a => HasVars (Set a) Source #
Instance details Defined in HOL.TypeVar Methods vars :: Set a -> Set TypeVar Source #