How do I assign the right type signature to this curried function in typescript?










-1















I am new to typescript & generics and working with a Maybe monad. I have created this small utility function using Ramda:



const fromEmpty = R.ifElse(hasLength, Just, Maybe.zero);


The closest signature I can infer from this is:



type EmptyFunc<T> = (val: T) => Maybe<T>;


It's a function takes in an array and returns a function that returns a Maybe of that array.



I tried doing



const fromEmpty(<U extends EmptyFunc<U>) = R.ifElse(hasLength, Just, Maybe.zero);


But that doesn't work. It returns error TS1005: ',' expected.



What is the right way to work with curried functions in typescript?










share|improve this question


























    -1















    I am new to typescript & generics and working with a Maybe monad. I have created this small utility function using Ramda:



    const fromEmpty = R.ifElse(hasLength, Just, Maybe.zero);


    The closest signature I can infer from this is:



    type EmptyFunc<T> = (val: T) => Maybe<T>;


    It's a function takes in an array and returns a function that returns a Maybe of that array.



    I tried doing



    const fromEmpty(<U extends EmptyFunc<U>) = R.ifElse(hasLength, Just, Maybe.zero);


    But that doesn't work. It returns error TS1005: ',' expected.



    What is the right way to work with curried functions in typescript?










    share|improve this question
























      -1












      -1








      -1








      I am new to typescript & generics and working with a Maybe monad. I have created this small utility function using Ramda:



      const fromEmpty = R.ifElse(hasLength, Just, Maybe.zero);


      The closest signature I can infer from this is:



      type EmptyFunc<T> = (val: T) => Maybe<T>;


      It's a function takes in an array and returns a function that returns a Maybe of that array.



      I tried doing



      const fromEmpty(<U extends EmptyFunc<U>) = R.ifElse(hasLength, Just, Maybe.zero);


      But that doesn't work. It returns error TS1005: ',' expected.



      What is the right way to work with curried functions in typescript?










      share|improve this question














      I am new to typescript & generics and working with a Maybe monad. I have created this small utility function using Ramda:



      const fromEmpty = R.ifElse(hasLength, Just, Maybe.zero);


      The closest signature I can infer from this is:



      type EmptyFunc<T> = (val: T) => Maybe<T>;


      It's a function takes in an array and returns a function that returns a Maybe of that array.



      I tried doing



      const fromEmpty(<U extends EmptyFunc<U>) = R.ifElse(hasLength, Just, Maybe.zero);


      But that doesn't work. It returns error TS1005: ',' expected.



      What is the right way to work with curried functions in typescript?







      typescript functional-programming currying ramda.js






      share|improve this question













      share|improve this question











      share|improve this question




      share|improve this question










      asked Nov 11 '18 at 8:46









      Amit ErandoleAmit Erandole

      4,022164982




      4,022164982






















          1 Answer
          1






          active

          oldest

          votes


















          1














          The declaration



          type EmptyFunc<T> = (val: T) => Maybe<T>;


          declares a family of different function types EmptyFunc<number>, EmptyFunc<string>, etc., each of which works for only the specified type T. You probably meant



          type EmptyFunc = <T>(val: T) => Maybe<T>;


          which declares the type EmptyFunc of a single generic function that works for all types T. Then to apply this type to fromEmpty, just write:



          const fromEmpty: EmptyFunc = R.ifElse(hasLength, Just, Maybe.zero);


          (I'm unable to test this myself since you didn't give the definitions of hasLength, Just, and Maybe.) If that wasn't what you were asking, please clarify the question.






          share|improve this answer






















            Your Answer






            StackExchange.ifUsing("editor", function ()
            StackExchange.using("externalEditor", function ()
            StackExchange.using("snippets", function ()
            StackExchange.snippets.init();
            );
            );
            , "code-snippets");

            StackExchange.ready(function()
            var channelOptions =
            tags: "".split(" "),
            id: "1"
            ;
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function()
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled)
            StackExchange.using("snippets", function()
            createEditor();
            );

            else
            createEditor();

            );

            function createEditor()
            StackExchange.prepareEditor(
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader:
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            ,
            onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            );



            );













            draft saved

            draft discarded


















            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53247124%2fhow-do-i-assign-the-right-type-signature-to-this-curried-function-in-typescript%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            1














            The declaration



            type EmptyFunc<T> = (val: T) => Maybe<T>;


            declares a family of different function types EmptyFunc<number>, EmptyFunc<string>, etc., each of which works for only the specified type T. You probably meant



            type EmptyFunc = <T>(val: T) => Maybe<T>;


            which declares the type EmptyFunc of a single generic function that works for all types T. Then to apply this type to fromEmpty, just write:



            const fromEmpty: EmptyFunc = R.ifElse(hasLength, Just, Maybe.zero);


            (I'm unable to test this myself since you didn't give the definitions of hasLength, Just, and Maybe.) If that wasn't what you were asking, please clarify the question.






            share|improve this answer



























              1














              The declaration



              type EmptyFunc<T> = (val: T) => Maybe<T>;


              declares a family of different function types EmptyFunc<number>, EmptyFunc<string>, etc., each of which works for only the specified type T. You probably meant



              type EmptyFunc = <T>(val: T) => Maybe<T>;


              which declares the type EmptyFunc of a single generic function that works for all types T. Then to apply this type to fromEmpty, just write:



              const fromEmpty: EmptyFunc = R.ifElse(hasLength, Just, Maybe.zero);


              (I'm unable to test this myself since you didn't give the definitions of hasLength, Just, and Maybe.) If that wasn't what you were asking, please clarify the question.






              share|improve this answer

























                1












                1








                1







                The declaration



                type EmptyFunc<T> = (val: T) => Maybe<T>;


                declares a family of different function types EmptyFunc<number>, EmptyFunc<string>, etc., each of which works for only the specified type T. You probably meant



                type EmptyFunc = <T>(val: T) => Maybe<T>;


                which declares the type EmptyFunc of a single generic function that works for all types T. Then to apply this type to fromEmpty, just write:



                const fromEmpty: EmptyFunc = R.ifElse(hasLength, Just, Maybe.zero);


                (I'm unable to test this myself since you didn't give the definitions of hasLength, Just, and Maybe.) If that wasn't what you were asking, please clarify the question.






                share|improve this answer













                The declaration



                type EmptyFunc<T> = (val: T) => Maybe<T>;


                declares a family of different function types EmptyFunc<number>, EmptyFunc<string>, etc., each of which works for only the specified type T. You probably meant



                type EmptyFunc = <T>(val: T) => Maybe<T>;


                which declares the type EmptyFunc of a single generic function that works for all types T. Then to apply this type to fromEmpty, just write:



                const fromEmpty: EmptyFunc = R.ifElse(hasLength, Just, Maybe.zero);


                (I'm unable to test this myself since you didn't give the definitions of hasLength, Just, and Maybe.) If that wasn't what you were asking, please clarify the question.







                share|improve this answer












                share|improve this answer



                share|improve this answer










                answered Nov 11 '18 at 14:03









                Matt McCutchenMatt McCutchen

                13.5k819




                13.5k819



























                    draft saved

                    draft discarded
















































                    Thanks for contributing an answer to Stack Overflow!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid


                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.

                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53247124%2fhow-do-i-assign-the-right-type-signature-to-this-curried-function-in-typescript%23new-answer', 'question_page');

                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    Popular posts from this blog

                    𛂒𛀶,𛀽𛀑𛂀𛃧𛂓𛀙𛃆𛃑𛃷𛂟𛁡𛀢𛀟𛁤𛂽𛁕𛁪𛂟𛂯,𛁞𛂧𛀴𛁄𛁠𛁼𛂿𛀤 𛂘,𛁺𛂾𛃭𛃭𛃵𛀺,𛂣𛃍𛂖𛃶 𛀸𛃀𛂖𛁶𛁏𛁚 𛂢𛂞 𛁰𛂆𛀔,𛁸𛀽𛁓𛃋𛂇𛃧𛀧𛃣𛂐𛃇,𛂂𛃻𛃲𛁬𛃞𛀧𛃃𛀅 𛂭𛁠𛁡𛃇𛀷𛃓𛁥,𛁙𛁘𛁞𛃸𛁸𛃣𛁜,𛂛,𛃿,𛁯𛂘𛂌𛃛𛁱𛃌𛂈𛂇 𛁊𛃲,𛀕𛃴𛀜 𛀶𛂆𛀶𛃟𛂉𛀣,𛂐𛁞𛁾 𛁷𛂑𛁳𛂯𛀬𛃅,𛃶𛁼

                    Edmonton

                    Crossroads (UK TV series)