def IO(a):
print "MEH!"
return hh.constr("IO", a[0])
def Izh(args):
a0 = args
return hh.constr("I#", a0)
#TODO
import haskell.haskell as hh
#@hh.expose_primitive(0)
#def Z0T():
# return hh.constr("()")
Z0T = hh.constr("()")
#class Z0T(hh.Value):
# _immutable_fields_ = ["value"]
# def __init__(self):
# self.value = "()"
def Czh(args):
a0 = args
return hh.constr("C#", a0)
from haskell import haskell as hh
a = hh.Var("a")
b = hh.Var("b")
ZLzmzgZR = hh.constr("->", a, b)
#def ZLzmzgZR(a, b):
# return hh.constr("->", a, b)
#-----------------------
# Char#
#-----------------------
class Charzh(hh.Value):
_immutable_fields_ = ["value"]
def __init__(self, char):
self.char = char
@hh.expose_primitive(2)
def gtCharzh(args):
a0, a1 = args
assert isinstance(a0, Charzh)
assert isinstance(a1, Charzh)
return Charzh(a0.value > a1.value)
