Python constrの例

コード例 #1

ファイル: Types.py プロジェクト: khskrede/mehh

def IO(a):
    print "MEH!"
    return hh.constr("IO", a[0])

コード例 #2

ファイル: Types.py プロジェクト: khskrede/mehh

def Izh(args):
    a0 = args
    return hh.constr("I#", a0)

コード例 #3

ファイル: Unit.py プロジェクト: khskrede/mehh

#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 = "()"

コード例 #4

ファイル: Types.py プロジェクト: khskrede/mehh

def Czh(args):
    a0 = args
    return hh.constr("C#", a0)

コード例 #5

ファイル: Prim.py プロジェクト: khskrede/mehh

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)