Permalink
Commits on Jul 5, 2017
  1. Added `normalizeWith` function. (#79)

    aleator authored and Gabriel439 committed Jul 5, 2017
    Added `normalizeWith` function to complement `typeWith`.
    Dhall is so very attractive base for simple DSLs that I felt it
    needed to be pushed over the edge.
    
    Naturally, using `normalizeWith` loses all the nice features of Dhall.
    If your context isn't total or strongly normalizing then embedding it
    to Dhall will not improve things.
  2. Added a `loadWith` function. (#84)

    aleator authored and Gabriel439 committed Jul 5, 2017
    This allows loading dhall 'modules' using a custom typing
    context. See #83
  3. Raw input (#85)

    aleator authored and Gabriel439 committed Jul 5, 2017
    Added a function that allows doing `input` from a closed
    Dhall `Expr` instead of text. This is hugely useful when
    working with Dhall in AST level (for example, using custom
    types / normalization). For example, suppose that you have
    built a custom primitive that requires a record as an argument.
    With `rawInput` you can just extract the record into a Haskell
    data type and process it without need to work with maps and other
    bits of AST.
    
    For context of this commit, see #79 (and also #26).