Permalink
Switch branches/tags
Commits on Oct 26, 2018
Commits on Oct 16, 2018
  1. Export `{Integer,Natural}/toDouble` from `package.dhall` (#12)

    Gabriel439 committed Oct 16, 2018
    
    * Also export `Natural/toDouble` in `Natural/package.dhall`
Commits on Sep 20, 2018
  1. Parenthesize right-associative output (#11)

    Gabriel439 committed Sep 20, 2018
    This is related to dhall-lang/dhall-lang#233
    
    Specifically, `List/fold` and `Natural/fold` produce right-associated operators,
    so the output must now be explicitly parenthesized since the default
    associativity is specified to be left-associativity
Commits on Sep 10, 2018
  1. Add `{Integer,Natural}/toDouble` (#10)

    Gabriel439 committed Sep 10, 2018
    I had forgotten to mirror these to the official Prelude when I added them to
    the Prelude used by the Haskell implementation
  2. Use new `Some` and `None` constructors (#9)

    Gabriel439 committed Sep 10, 2018
    This also removes `./Optional/{Some,None}` since they are now obsolete
Commits on Jul 5, 2018
  1. Add Function/compose (#4)

    ocharles committed Jul 5, 2018
Commits on Jun 28, 2018
Commits on Jun 25, 2018
  1. Add utilities for working with `dhall-json` (#6)

    Gabriel439 committed Jun 25, 2018
    dhall-lang/dhall-json#32 added `dhall-json`
    support for preserving the alternative names for unions when converting
    to JSON.  This adds two types to the Prelude to make working with this
    feature more convenient
Commits on Jun 20, 2018
  1. Add utilities to generate homogeneous records (#5)

    f-f committed Jun 20, 2018
    - Add polymorphic `keyValue` to have rows with arbitrary value type
    - Add a monomorphic variant of it, `keyText`
Commits on May 30, 2018
Commits on May 19, 2018
  1. Update Prelude to reflect changes to `Natural` literals (#1)

    Gabriel439 committed May 19, 2018
    The Prelude examples and code now reflect the fact that `Natural`
    numbers don't require a leading `+`
    
    Most of the examples change to use `Natural` literals since they are now
    the more visually pleasing literal
Commits on May 11, 2018
  1. Create dedicated Prelude repository

    Gabriel Gonzalez
    Gabriel Gonzalez committed May 11, 2018
    This initial commit transfers the Prelude from
    https://github.com/dhall-lang/dhall-haskell as of revision
    fa4569eaaf6023bf49957707904c527477c187ae to this language-independent repository
    dedicated to the Prelude