HOL.TypeData
Description
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 #