Skip to content

Instantly share code, notes, and snippets.

@robotlolita

robotlolita/control.monad.basics.ls

Last active December 29, 2015 13:29
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save robotlolita/7678044 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save robotlolita/7678044 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. Quildreen Motta revised this gist Nov 27, 2013. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion control.monad.basics.ls
    View file
    Original file line number Diff line number Diff line change
    @@ -5,7 +5,7 @@
    #
    # + type: (Monad m) => m -> [m a] -> m [a]
    export sequence = (m, ms) --> do
    return (`ms.reduce-right` m.of []) perform
    return ms.reduce-right perform, m.of []
    # where:
    function perform(m1, m2) => do
    x <- m1.chain
  2. Quildreen Motta revised this gist Nov 27, 2013. 1 changed file with 7 additions and 0 deletions.
    7 changes: 7 additions & 0 deletions sequence.hs
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,7 @@
    -- | Evaluate each action in the sequence from left to right,
    -- and collect the results.
    sequence :: Monad m => [m a] -> m [a]

    sequence ms = foldr k (return []) ms
    where
    k m m' = do { x <- m; xs <- m'; return (x:xs) }
  3. Quildreen Motta created this gist Nov 27, 2013.
    14 changes: 14 additions & 0 deletions control.monad.basics.ls
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,14 @@
    # ## Function: sequence
    #
    # Evaluates each action in sequence, left to right, collecting the
    # results.
    #
    # + type: (Monad m) => m -> [m a] -> m [a]
    export sequence = (m, ms) --> do
    return (`ms.reduce-right` m.of []) perform
    # where:
    function perform(m1, m2) => do
    x <- m1.chain
    xs <- m2.chain
    xs.push x
    m.of xs