diff options
Diffstat (limited to 'TypeVar.hs')
-rw-r--r-- | TypeVar.hs | 27 |
1 files changed, 27 insertions, 0 deletions
@@ -11,6 +11,13 @@ module TypeVar ( Var(..), + nullNumber, + nullName, + nullTyOp, + nullType, + nullConst, + nullVar, + mkEqualsType, typeFunc, typeBool, @@ -60,6 +67,26 @@ instance Show Var where +nullNumber :: Number +nullNumber = 0 + +nullTyOp :: TypeOp +nullTyOp = TypeOp nullName + +nullType :: Type +nullType = TypeVar nullName + +nullName :: Name +nullName = Name [] "" + +nullConst :: Const +nullConst = Const nullName + +nullVar :: Var +nullVar = Var nullName nullType + + + mkEqualsType :: Type -> Type mkEqualsType ty = typeFunc ty (typeFunc ty typeBool) |