hol-1.3: Higher order logic

License	MIT
Maintainer	Joe Leslie-Hurd <joe@gilith.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell98

HOL.TypeOp

Description

Documentation

name :: TypeOp -> Name Source #

prov :: TypeOp -> TypeOpProv Source #

mkUndef :: Name -> TypeOp Source #

isUndef :: TypeOp -> Bool Source #

class HasOps a where Source #

Minimal complete definition

Methods

ops :: a -> Set TypeOp Source #

Instances

HasOps TermData Source #
Methods ops :: TermData -> Set TypeOp Source #
HasOps Term Source #
Methods ops :: Term -> Set TypeOp Source #
HasOps Var Source #
Methods ops :: Var -> Set TypeOp Source #
HasOps TypeData Source #
Methods ops :: TypeData -> Set TypeOp Source #
HasOps Type Source #
Methods ops :: Type -> Set TypeOp Source #
HasOps TypeOp Source #
Methods ops :: TypeOp -> Set TypeOp Source #
HasOps TermAlpha Source #
Methods ops :: TermAlpha -> Set TypeOp Source #
HasOps Sequent Source #
Methods ops :: Sequent -> Set TypeOp Source #
HasOps Thm Source #
Methods ops :: Thm -> Set TypeOp Source #
HasOps Theory Source #
Methods ops :: Theory -> Set TypeOp Source #
HasOps a => HasOps [a] Source #
Methods ops :: [a] -> Set TypeOp Source #
HasOps a => HasOps (Set a) Source #
Methods ops :: Set a -> Set TypeOp Source #

boolName :: Name Source #

bool :: TypeOp Source #

funName :: Name Source #

fun :: TypeOp Source #

indName :: Name Source #

ind :: TypeOp Source #

primitives :: Set TypeOp Source #

productName :: Name Source #

sumName :: Name Source #

naturalName :: Name Source #