hol-1.3: Higher order logic

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

HOL.Data

Description

 

Documentation

data Type Source #

Instances

Eq Type Source # 

Methods

(==) :: Type -> Type -> Bool #

(/=) :: Type -> Type -> Bool #

Ord Type Source # 

Methods

compare :: Type -> Type -> Ordering #

(<) :: Type -> Type -> Bool #

(<=) :: Type -> Type -> Bool #

(>) :: Type -> Type -> Bool #

(>=) :: Type -> Type -> Bool #

max :: Type -> Type -> Type #

min :: Type -> Type -> Type #

Show Type Source # 

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

HasOps Type Source # 

Methods

ops :: Type -> Set TypeOp Source #

HasVars Type Source # 

Methods

vars :: Type -> Set TypeVar Source #

CanSubst Type Source # 
CanSubst Type Source # 
Printable Type Source # 
Objective Type Source # 

data Var Source #

Constructors

Var Name Type 

Instances

Eq Var Source # 

Methods

(==) :: Var -> Var -> Bool #

(/=) :: Var -> Var -> Bool #

Ord Var Source # 

Methods

compare :: Var -> Var -> Ordering #

(<) :: Var -> Var -> Bool #

(<=) :: Var -> Var -> Bool #

(>) :: Var -> Var -> Bool #

(>=) :: Var -> Var -> Bool #

max :: Var -> Var -> Var #

min :: Var -> Var -> Var #

Show Var Source # 

Methods

showsPrec :: Int -> Var -> ShowS #

show :: Var -> String #

showList :: [Var] -> ShowS #

HasOps Var Source # 

Methods

ops :: Var -> Set TypeOp Source #

HasVars Var Source # 

Methods

vars :: Var -> Set TypeVar Source #

CanSubst Var Source # 
HasFree Var Source # 
CanSubst Var Source # 
Printable Var Source # 
Objective Var Source # 

data Term Source #