hol-1.3: Higher order logic

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

HOL.TypeData

Description

 

Documentation

mkVar :: TypeVar -> TypeData Source #

destVar :: TypeData -> Maybe TypeVar Source #

isVar :: TypeData -> Bool Source #

eqVar :: TypeVar -> TypeData -> Bool Source #

mkOp :: TypeOp -> [Type] -> TypeData Source #

destOp :: TypeData -> Maybe (TypeOp, [Type]) Source #

isOp :: TypeData -> Bool Source #

destGivenOp :: TypeOp -> TypeData -> Maybe [Type] Source #

isGivenOp :: TypeOp -> TypeData -> Bool Source #

size :: TypeData -> Size Source #

isNullaryOp :: TypeOp -> TypeData -> Bool Source #

destUnaryOp :: TypeOp -> TypeData -> Maybe Type Source #

isUnaryOp :: TypeOp -> TypeData -> Bool Source #

destBinaryOp :: TypeOp -> TypeData -> Maybe (Type, Type) Source #

isBinaryOp :: TypeOp -> TypeData -> Bool Source #