grab: Applicative non-linear consumption

[ control, library, mit ] [ Propose Tags ]

The Grab type

A grab consumes some portion (none, part, or all) of its input bag, and returns a residue consisting of the unconsumed input, some monoidal log (e.g. a list of error messages), and some desideratum (the object of desire) produced from the consumed input, or Nothing if the grab failed.

newtype Grab bag residue log desideratum =
  Grab (
    bag -> (residue, log, Maybe desideratum)
  )

Grabs are useful as parsers for inputs such as JSON objects or lists of form parameters, where the input data is not necessarily given linearly in the same order in which we want to consume it.

Applicative composition

A Simple grab (where the bag and residue are the same type) has an Applicative instance.

instance (bag ~ residue, Monoid log) =>
    Applicative (Grab bag residue log)

For example, we can create two simple list grabs, one that grabs multiples of two, and the other that grabs multiples of three:

twos, threes :: Monoid log =>
    Control.Grab.Simple [Integer] log [Integer]
twos   = partition (Data.List.partition (\x -> mod x 2 == 0))
threes = partition (Data.List.partition (\x -> mod x 3 == 0))
λ> runGrabMaybe ((,) <$> twos @() <*> threes @()) [1..10]
Just ([2,4,6,8,10],[3,9])

Notice that the second part of the resulting tuple contains only the odd multiples of three. Because twos runs first, it consumes 6 before the threes can get it.

Pipeline composition

a / b is a pipeline of two grabs, where the desideratum from a is the bag for b.

(/) :: Semigroup log
    => Grab bag residue log x
    -> Grab x  _residue log desideratum
    -> Grab bag residue log desideratum
λ> runGrabMaybe (twos @() / threes @()) [1..10]
Just [6]
λ> runGrabMaybe ((,) <$> (twos @() / threes @()) <*> threes @()) [1..10]
Just ([6],[3,9])
Versions [faq] 0.0.0.1
Dependencies base (>=4.12.0.0 && <4.13) [details]
License MIT
Copyright 2019 Typeclass Consulting, LLC
Author Chris Martin
Maintainer Chris Martin, Julie Moronuki
Category Control
Home page https://github.com/typeclasses/grab
Bug tracker https://github.com/typeclasses/grab/issues
Uploaded by chris_martin at Thu Jun 13 22:02:27 UTC 2019
Distributions NixOS:0.0.0.1
Downloads 61 total (17 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-06-13 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees