mirror of
https://github.com/github/semantic.git
synced 2025-01-03 21:16:12 +03:00
Correct the docs for Algorithm.
This commit is contained in:
parent
5a0c44971e
commit
0747f9474a
@ -33,7 +33,7 @@ data AlgorithmF term diff result where
|
||||
-- | An 'Algorithm' to try one of two alternatives.
|
||||
Alt :: a -> a -> AlgorithmF term diff a
|
||||
|
||||
-- | The free applicative for 'AlgorithmF'. This enables us to construct diff values using <$> and <*> notation.
|
||||
-- | The free(r) monad for 'AlgorithmF'. This enables us to construct algorithms to diff using '<$>', '<*>', '>>=', and do-notation.
|
||||
type Algorithm term diff = Freer (AlgorithmF term diff)
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user