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)