GithubHelp home page GithubHelp logo

lue-bird / elm-bounded-nat Goto Github PK

View Code? Open in Web Editor NEW
1.0 1.0 1.0 887 KB

natural number in a typed range

Home Page: https://package.elm-lang.org/packages/lue-bird/elm-bounded-nat/latest/

License: MIT License

Elm 17.09% HTML 82.91%
natural-number type-safe elm type-level nat

elm-bounded-nat's Introduction

๐Ÿฆ hi! Happy to chat on mastodon or @lue-bird:matrix.org

elm-bounded-nat's People

Contributors

elm-review-bot avatar indique avatar lue-bird avatar

Stargazers

 avatar

Watchers

 avatar

Forkers

elm-review-bot

elm-bounded-nat's Issues

can't be used with elm-intellij

@MartinSStewart's experience:

I was going to try out lue-bird/elm-typesafe-array but it seems like the type signatures in elm-bounded-nat are so large that elm-intellij can no longer be used after I install the package.
I'm guessing there isn't much you can do about it but I figured I'd let you know

For reference, I only need to define an array with 1 to 3 elements

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.