Documenting how to construct algebraic datatypes from python

[purescript-python]

Documenting how to construct algebraic datatypes from python

[thautwarm]

for

data C = Ctor Int Int

to create Ctor:

def new(t): return {'.t': t}
Ctor(1, new(Ctor))

Ctor.create(1)(2)

Sorry for late reply!
I'm now working for some technique meetup, will add documemtations after Aug 15

[thautwarm]

for enums, like Nothing,

nothing = Nothing.value

[mikesol]

Thanks!

I tried this, but it looks like the problem still persists:

-- snippet from Main.purs
addM :: Maybe Int -> Maybe Int -> Maybe Int
addM a b = (+) <$> a <*> b

# testMain.py
import pspy.Main.pure as Main
import pspy.Data.Maybe.pure as Maybe

print(Maybe.Just.create(1))
print(Main.addM(Maybe.Just.create(1))(Maybe.Just.create(2)))

yields

{'value0': 1, '.t': <function ps_Just at 0x7f19302ea710>}
{'.t': <function ps_Nothing at 0x7f1930349b90>}

Thanks in advance for your help!

[thautwarm]

Sorry, purescripto 0.8.9 didn't release. Now pip install -U purescripto fixes all.

[thautwarm]

In [9]: import purescript_test.Main.pure as Main 
   ...: import purescript_test.Data.Maybe.pure as Maybe 
   ...:  
   ...: print(Maybe.Just.create(1)) 
   ...: print(Main.addM(Maybe.Just.create(1))(Maybe.Just.create(2)))                                                                   
{'value0': 1, '.t': <function ps_Just at 0x7f8ec3bf0c10>}
{'value0': 3, '.t': <function ps_Just at 0x7f8ec3bf0c10>}