rowtype-yoga / purescript-literals Goto Github PK

I'm not sure how useful it could be but by providing this general evaluator maybe we can achieve some interesting type level defaults for day to day use etc.

Do you think it is worth a PR?

My propositions:

• literals as we have multiple of them now

• typelevel-literals

• reflected or reflected-literals

I think that literal is a bit to generic. Of course naming is a mainly matter of personal opinion so I understand if you just close this issue :-P

I'd like to add this back to the package set (and also untagged-union). A new release of this would be a good start.

Building with spago bundle-app yields the following error:

✘ [ERROR] Unexpected "_null"

    output/Literals.Null/foreign.js:1:7:
      1 │ export _null = null;
        ╵        ~~~~~

If we add these literals we are going to cover the whole set of basic constructs of PS and be able to define "nearly all" "static / simple" values on the type level.

The question is if it is feasible... ;-)